x64dbg / x64dbg
An open-source user mode debugger for Windows. Optimized for reverse engineering and malware analysis.
x64dbg / x64dbg
horsicq / Detect-It-Easy
Program for determining types of files for Windows, Linux and MacOS.
JonathanSalwan / Triton
Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
rizinorg / rizin
UNIX-like reverse engineering framework and command-line toolset.
horsicq / DIE-engine
DIE engine
AhmadHassan-BTed / OpenHeart
Succinct Compositional Program Graph (SCPG) static analysis engine & 14-diagram UML generator in Rust.
jplag / JPlag
State-of-the-Art Source Code Plagiarism & Collusion Detection. Check for plagiarism in a set of programs.
fkie-cad / cwe_checker
cwe_checker finds vulnerable patterns in binary executables
semgrep / semgrep-rules
Semgrep Community Edition rules, maintained by Semgrep and the community. Free to use under the Semgrep Rules License.
angr / angr-management
The official angr GUI.
ix-infrastructure / Ix
Understand any codebase instantly. System intelligence for codebases, built for humans and AI.
secure-software-engineering / phasar
A LLVM-based static analysis framework.
wala / WALA
T.J. Watson Libraries for Analysis, with front ends for Java, Android, and JavaScript, and many common static program analyses.
soot-oss / SootUp
A new version of Soot with a completely overhauled architecture
morluto / smokinggun
Help your agents find the smoking gun they're looking for. Optimization evidence for agents: find complexity hotspots.
xqzme69 / A2MBA-LLVM
LLVM 21 pass plugin for A²MBA architectural and anti-generalization hardening of mixed Boolean-arithmetic expressions.
gromhacks / bonsai-ninja
🥷 Give your codebase a black belt. Local code intelligence, security analysis, and compiler-backed facts for humans and AI.
wavect / semaprax
The AI agent-native systems programming language: Meaning in. Verified machine code out. All target OS, memory managed through Ownership & fully interoperable with existing ecosystems & object-oriented AI Agents with payment capability.