AhmadHassan-BTed / OpenHeart

Succinct Compositional Program Graph (SCPG) static analysis engine & 14-diagram UML generator in Rust.

x64dbg / x64dbg

Open-source user-mode binary debugger for Windows, built for reverse engineering and malware analysis of executables without source.

rizinorg / rizin

UNIX-like reverse engineering framework and command-line toolset.

semgrep / semgrep-rules

Semgrep Community Edition rules, maintained by Semgrep and the community. Free to use under the Semgrep Rules License.

morluto / smokinggun

Help your agents find the smoking gun they're looking for. Optimization evidence for agents: find complexity hotspots.

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.

horsicq / DIE-engine

DIE engine

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

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

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.