#1

High-performance SMT solver for automated theorem proving, constraint solving, and program verification. Supports multiple theories and language…

다중 아키텍처 디스어셈블리 프레임워크로, 20개 이상의 하드웨어 아키텍처에 걸쳐 바이너리 분석, 리버스 엔지니어링, 악성코드 연구를 위한 경량 스레드 안전 API를 제공합니다.

GDB 및 LLDB를 활용한 익스플로잇 개발 및 리버스 엔지니어링을 쉽게


강력하고 사용자 친화적인 바이너리 분석 플랫폼!


Windows, Linux 및 MacOS용 파일 유형을 결정하는 프로그램입니다.

잘 알려진 .NET 디버거 및 어셈블리 편집기 dnSpy의 비공식 부활

Cheat Engine. 모딩에 초점을 맞춘 개발 환경.

자율적 레드 팀 플랫폼; 다중 에이전트 공격 보안 메타 하네스

훌륭한 리버스 엔지니어링 리소스 목록

Windows 시스템용 소프트웨어 설치 스크립트 모음으로, VM에서 리버스 엔지니어링 환경을 쉽게 설정하고 유지 관리할 수 있게 해줍니다.

AI 네이티브 사이버보안을 위한 행동 체계—의도가 통제된 실행이 되고, 증거가 운영 메모리가 되며, 모든 운영이 다음 운영을 개선하는 곳.

AI 네이티브 사이버보안을 위한 행동 체계—의도가 통제된 실행이 되고, 증거가 운영 메모리가 되며, 모든 운영이 다음 운영을 개선하는 곳.

IDA Pro와 언어 모델을 MCP를 통해 연결하는 AI 기반 리버스 엔지니어링 어시스턴트.

Java 8+ Jar 및 Android APK 역공학 제품군 (디컴파일러, 편집기, 디버거 등)