TAU-HOME.COM
LOADING

AI 리버스 엔지니어링 스튜디오 구축: 20개 GitHub 저장소와 클린룸 검증 루프

리버스 엔지니어링 에이전트 REA 크리에이터가 바이너리를 사양과 검증 코드로 전환하는 20개의 핵심 GitHub 저장소를 공개했습니다. 분석 코어부터 모바일, 로우레벨, 네트워크, 재구축 검증까지의 5단계 워크플로우를 살펴봅니다.

tau · 2026년 10월 29일

#reverse-engineering #ai-agents #developer-tools #clean-room

AI 리버스 엔지니어링 스튜디오 구축: 20개 GitHub 저장소와 클린룸 검증 루프

리버스 엔지니어링 에이전트(REA) 크리에이터가 바이너리 분석부터 사양서 작성, 재구축 및 오라클 검증까지 전 과정을 자동화하는 20개의 선별된 GitHub 저장소를 공개했습니다. 이번 큐레이션은 단일 도구가 아닌, 실무 리버스 엔지니어링 스튜디오를 구축할 수 있도록 5개 영역으로 체계화된 오픈소스 툴셋을 제공합니다.

AI 리버스 엔지니어링 스튜디오 워크플로우 및 20개 오픈소스 저장소 구조도

이미지 출처: @N01ennn / X

공개된 툴셋은 바이너리 분석에서 리팩토링과 테스트 검증에 이르는 전체 파이프라인을 일관되게 연결하며, 개발자와 보안 엔지니어가 자체 AI 기반 분석 환경을 구축할 수 있는 실질적인 레퍼런스를 제공합니다.

5단계 리버스 엔지니어링 스튜디오 툴셋 구조

공개된 20개의 저장소는 분석 목적과 워크플로우 단계에 따라 5개의 모듈로 나뉩니다.

  • 01 / 분석 코어 (Analysis Core): REA(단일 MCP 분석 인터페이스), Ghidra(오픈소스 디컴파일러), GhidraMCP(에이전트 브릿지), ida-pro-mcp(IDA Pro 연동).
  • 02 / 모바일 및 앱 (Mobile & Apps): jadx(Android APK를 Java로 역컴파일), Apktool(APK 압축 해제 및 재빌드), Frida(런타임 훅킹), ILSpy(.NET 디컴파일러).
  • 03 / 바이너리 및 로우레벨 (Binary & Low-Level): radare2(터미널 기반 RE 프레임워크), x64dbg(Windows 디버거), ImHex(패턴 언어를 지원하는 헥스 에디터), angr(심볼릭 실행 분석).
  • 04 / 네트워크 및 런타임 (Network & Runtime): mitmproxy(네트워크 트래픽 인터셉트), dnSpy(.NET 디버그 및 수정), rizin(radare2 포크), raddebugger(에픽게임즈의 디버거).
  • 05 / 재구축 및 검증 (Rebuild & Verify): 엄선된 122개 AI 리버스 엔지니어링 저장소 목록, 저자의 개인 추천 RE 목록, REA 내장 조사 프롬프트.

모든 툴셋은 01번 분석 코어의 MCP 인터페이스 및 브릿지를 중심으로 연동되어 대형 언어 모델과 디컴파일러 간의 유기적인 통신을 지원합니다.

바이너리에서 사양까지: 클린룸 검증 루프

이번 아키텍처의 핵심은 바이트코드 분석에 머물지 않고 코드를 재구축하는 '클린룸 루프(Clean-room loop)' 워크플로우에 있습니다.

워크플로우는 바이너리 -> REA -> SPEC.md -> 재구축 -> 오라클(검증) -> 재시도의 순환 구조로 동작합니다.

  1. 사양 추출: 대상 바이너리를 분석 코어와 REA를 통해 역설계하여 명세서(SPEC.md) 문서로 변환합니다.
  2. 코드 재구축: 추출된 명세를 바탕으로 깨끗한 환경에서 코드를 다시 작성합니다.
  3. 오라클 검증: 원본 바이너리와 재구축된 결과물의 동작을 테스트 오라클을 통해 대조하고, 일치할 때까지 반복 검증합니다.

이 방식을 통해 기존 디컴파일 결과물을 단순히 읽는 것을 넘어, 사양 기반으로 코드를 안전하게 재작성하고 검증하는 자동화 파이프라인을 구성할 수 있습니다.

원문 출처

Impact-Site-Verification: 9b3ebd10-6c45-44cf-a014-5b8c19b7b285