#1
z3prover/z3자동 정리 증명, 제약 조건 해결 및 프로그램 검증을 위한 고성능 SMT 해결사. 형식적 분석을 위한 여러 이론 및 언어 바인딩을 지원합니다.
elder-plinius/t3mp3st자율적 레드 팀 플랫폼; 다중 에이전트 공격 보안 메타 하네스
capstone-engine/capstone다중 아키텍처 디스어셈블리 프레임워크로, 20개 이상의 하드웨어 아키텍처에 걸쳐 바이너리 분석, 리버스 엔지니어링, 악성코드 연구를 위한 경량 스레드 안전 API를 제공합니다.
konloch/bytecode-viewerJava 8+ Jar 및 Android APK 역공학 제품군 (디컴파일러, 편집기, 디버거 등)
pwndbg/pwndbgGDB 및 LLDB를 활용한 익스플로잇 개발 및 리버스 엔지니어링을 쉽게
angr/angr강력하고 사용자 친화적인 바이너리 분석 플랫폼!
mrexodia/ida-pro-mcpIDA Pro와 언어 모델을 MCP를 통해 연결하는 AI 기반 리버스 엔지니어링 어시스턴트.
horsicq/detect-it-easyWindows, Linux 및 MacOS용 파일 유형을 결정하는 프로그램입니다.
livecontainer/livecontaineriOS 앱을 실제로 설치하지 않고 실행하세요!
dnspyex/dnspy잘 알려진 .NET 디버거 및 어셈블리 편집기 dnSpy의 비공식 부활
cheat-engine/cheat-engineCheat Engine. 모딩에 초점을 맞춘 개발 환경.
wtsxdev/reverse-engineering훌륭한 리버스 엔지니어링 리소스 목록
rr-debugger/rr다중 스레드 애플리케이션의 결정적 디버깅을 위한 기록 및 재생 프레임워크로, 역방향 실행, 하드웨어 워치포인트, 효율적인 타임트래블 디버깅을 지원합니다.
aflplusplus/aflplusplus퍼저 afl++는 커뮤니티 패치, qemu 5.1 업그레이드, 충돌 없는 커버리지, 향상된 laf-intel 및 redqueen, AFLfast++ 파워 스케줄, MOpt 뮤테이터, unicorn_mode 등 더 많은 기능을 갖춘 afl입니다!
hugsy/gefGEF (GDB Enhanced Features) - Linux에서 익스플로잇 개발자와 리버스 엔지니어를 위한 고급 디버깅 기능을 갖춘 GDB의 현대적인 경험
0xor0ne/awesome-listCybersecurity oriented awesome list
