Static Analysis

neurosaki987/qvm-tool

ACE .qvm0로 보호된 PE 이미지를 위한 정적 분석 및 구조 복구 툴킷

lifting-bits/sleigh

Ghidra의 SLEIGH 프로세서 명세 라이브러리를 CMake로 빌드한 것으로, 리버스 엔지니어링 도구를 위한 독립 실행형 디스어셈블리 및 p-code 리프팅 엔진을 제공합니다.

llvmparty/striga

Python으로 작성된 실험적인 x86-64에서 LLVM IR로의 리프터로, 기계어 코드를 분석 가능한 IR로 변환하여 리버스 엔지니어링, 최적화, VM 핸들러 분석에 활용합니다.

revng/revng

LLVM과 QEMU를 기반으로 구축된 오픈 소스 바이너리 분석 프레임워크이자 디컴파일러로, 리버스 엔지니어링을 위해 바이너리를 읽기 쉬운 중간 표현으로 리프팅합니다.

googleprojectzero/maccconc

KCOV 트레이스를 사용하여 Linux 커널 경쟁 조건을 탐구하기 위한 툴킷: 동시 실행 및 메모리 접근을 위한 GUI 및 터미널 뷰어, 그리고 자동 A-B-A 순서 테스트를 제공합니다.

githubsecuritylab/seclab-taskflow-agent

CodeQL 통합과 함께 AI 지원 코드 감사, 취약점 분류 및 보안 연구에 사용되는 선언적 YAML 기반 에이전트 워크플로를 위한 MCP 지원 멀티 에이전트 프레임워크입니다.

githubsecuritylab/seclab-taskflows

웹, Android, iOS 프로젝트 전반에서 소스 코드 감사, 이슈 트리아지, 취약점 탐지를 위한 예시 AI 에이전트 작업 흐름 및 MCP 서버.

quarkslab/qsynthesis

디오브푸스케이션을 위한 그레이박스 신시사이저.

werew/qsynth-artifacts

QSynth를 위한 벤치마크 데이터셋 및 합성 아티팩트로, Tigress로 난독화된 C 함수, x86_64 바이너리, 실행 트레이스, 정답 데이터, 그리고 합성된 AST 결과를 포함합니다.

67-6f-64/antioreans-codedevirtualizer

Themida의 FISH 가상 머신(2.2.5.0-2.2.7.0)을 디버추얼라이즈하여 보호된 바이너리에서 네이티브 코드를 복원하는 IDA 6.8 플러그인으로, 리버스 엔지니어링 연구를 위한 도구입니다.

justasmasiulis/lazy_importer

숨겨진, 리버스 엔지니어링에 비우호적인 방식으로 dll에서 함수를 가져오기 위한 라이브러리

zhengxr930/apex_official

LLM 에이전트 보안을 위한 Defender 프레임워크로, 작업 계약을 컴파일하고, 기능 매니페스트를 검증하며, 벤치마크 공격 사례에 대해 PLANT/WRAP 증명 검사를 통해 효과를 확인합니다.

ssh-pur66/afterimage

게시된 urllib3 수정 사항에 대한 독립적인 오프라인 프로토콜 경계 회귀 테스트로, 고정된 릴리스와 업스트림 출처 표기를 포함합니다.

abraxas/gatex

FortinetHunter (@YogSoth0) 바이너리 크래킹 애플리케이션. FortinetHunter를 위한 CTF의 일부. ELF door: 스트립된 Nuitka onefile, XOR로 스크램블된 Argon2id 검증기, AES-GCM 무결성.

lolcaken/javascript-deobfuscator

javascript-obfuscator 5.x 출력(문자열 배열, 제어 흐름 평탄화, 자기 방어, RC4/base64)을 위한 디오브푸스케이터

ubfx/bindiffhelper

Ghidra Extension to integrate BinDiff for function matching