#1
B2R2는 F#으로 작성된 완전 관리형 바이너리 분석 프레임워크입니다. 리버스 엔지니어링, 프로그램 분석, 바이너리 수준 검사를 위한 풍부한 알고리즘, 함수, 도구 세트를 제공합니다.

소프트웨어 프록시에서 생성한 테스트 입력으로 CPU 구현을 퍼징한 다음, 실제 하드웨어에서 실행하여 마이크로아키텍처 결함과 정오표를 탐지합니다.

IDA Pro용 AI 기반 리버스 엔지니어링 플러그인

Karonte는 임베디드 펌웨어에서 다중 바이너리 취약점을 탐지하는 정적 분석 도구입니다.

동적 기호 실행 및 바이너리 분석 프레임워크로, 오염 분석, 제약 조건 해결, Ghidra의 Sleigh를 통한 다중 아키텍처 에뮬레이션, 그리고 자동 취약점 발견을 위한 Python 바인딩을 제공합니다

IDA Pro용 대화형 바이너리 패치 플러그인

Go 기반 Java 직렬화 프로토콜 분석기로, ysoserial 가젯 지원과 데이터 조작 라이브러리를 포함하며 역직렬화 페이로드를 파싱, 덤프 및 생성합니다.

세계 최초의 에이전트 리버스 엔지니어.

간접 동적 시스템 콜, 수정된 TartarusGate 방식을 통한 SSN + 시스템 콜 주소 정렬 + APC Early Bird를 통한 원격 프로세스 인젝션 + 희생 프로세스를 대상 프로세스로 생성 + 생성된 프로세스에 (ACG+BlockDll) 완화 정책 적용 +…

전체 시스템 에뮬레이션을 지원하는 AFL/QEMU 퍼징.

퍼징, 바이너리 분석 및 프로그램 추론을 통해 소프트웨어 취약점을 발견하고 분석하여 보안 연구를 지원하는 자동화된 사이버 추론 시스템입니다.


iOS 플랫폼에서 클래스, 함수를 쉽게 추적하고 메서드의 반환 값을 수정할 수 있는 도구


Python으로 작성된 리버스 엔지니어링 프레임워크입니다.