CTF 및 학습

스트립되고 최적화된 bzip2 바이너리에서 하나의 메시지를 출력하는 함수가 무엇인지 REA에 묻는다; 그 답변과 24개의 피호출 함수는 스트립되지 않은 빌드 및 소스 코드와 일치했고, 이 글은 이것이 증명하지 않는 것을 나열한다.

에이전트로 소프트웨어를 분석하는 것부터 기능을 재구축하는 것까지 다루는 한국어 온라인 책의 실습 코드.

A static analysis write-up of Ubuntu's netcat-openbsd binary using REA with Ghidra, with the evidence behind each finding.

Follows the six-digit code calculation of the open-source Aegis authenticator through its released Android APK, and uses a demo clock to show why the code changes every 30 seconds.

A hands-on teaching playbook using a minimal Electron target: extract evidence with file and line references, probe the MCP server and recreate the feature.

익숙한 퍼센트 키의 특이 동작을 설명하고, 그 설명을 공개된 오픈 소스 Calculator 코드와 대조하여 확인합니다.

Follow-along exercises from a Korean video: build your own small Electron app and C program, then analyse them with REA, Ghidra and Claude Code.

Short write-ups that each follow the same discipline: a target, a method and the evidence REA produced.