
Fault-Injection-Finder
자동으로 오류 주입 공격을 찾고 실행합니다.

자동으로 오류 주입 공격을 찾고 실행합니다.

🔍 게이밍 노트북 다수에 영향을 미치는 Nahimic 오디오 소프트웨어의 로컬 권한 상승 취약점(CVE-2025-68921)을 식별하고 이해합니다.

UNIX 계열 리버스 엔지니어링 프레임워크 및 명령줄 도구 모음

사용자 모드 x86_64 바이너리 에뮬레이터로, 악성코드 분석 및 리버스 엔지니어링을 위한 도구입니다. PE, ELF, 메모리 덤프, 원시 바이너리를 지원하며, 시스템 콜 추적, 네트워크 덤프, 샌드박스 환경에서의 대화형 디버깅 기능을 제공합니다.


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

ZX Spectrum용 Chase H.Q. — 리버스 엔지니어링을 거쳐 이식 가능한 C 언어로 재구성됨

UEFI 펌웨어 분석 및 리버스 엔지니어링 자동화를 위한 IDA 플러그인 및 로더

자동 정리 증명, 제약 조건 해결 및 프로그램 검증을 위한 고성능 SMT 해결사. 형식적 분석을 위한 여러 이론 및 언어 바인딩을 지원합니다.

🔍 리버스 엔지니어, 프로그래머, 그리고 새벽 3시에 작업할 때 자신의 망막을 소중히 여기는 사람들을 위한 헥스 에디터


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

Flutter/Dart AOT 스냅샷용 정적 분석기 — Dart VM을 임베드하거나 실행하지 않고 libapp.so에서 함수 이름, 클래스 계층 구조, 호출 그래프, 동작 신호를 복구합니다. ARM64 및 x86_64, Dart 2.10–3.12를 지원합니다.

Android Dex 및 APK 파일을 읽을 수 있는 Java 소스 코드로 디컴파일하는 명령줄 및 GUI 도구입니다. 리소스 디코딩, 난독 해제 및 Smali 디버깅 기능을 제공합니다.

공격 및 방어 운영을 위해 정적 분석, 바이너리 분석, 퍼징, LLM 기반 취약점 검증, 익스플로잇 생성, 패치 작성을 통합하는 자율 보안 연구 프레임워크입니다.

Open source Windows x64 PE packer and crypter. Compresses and encrypts executables with a custom virtual machine into a self extracting stub.

Run Radmin VPN on Linux via Wine — custom driver, TAP bridge, zero packet loss