
AgentStalker
End-to-end security audit framework for LLM agents: static AST and taint modeling, attack synthesis, Docker sandbox replay, and deterministic verdict…

End-to-end security audit framework for LLM agents: static AST and taint modeling, attack synthesis, Docker sandbox replay, and deterministic verdict…

Code deobfuscation framework to simplify Mixed Boolean-Arithmetic (MBA) expressions

Open source binary analysis framework and decompiler built on LLVM and QEMU, lifting binaries to a readable intermediate representation for reverse…

MCP-enabled multi-agent framework for declarative YAML-driven agentic workflows, used for AI-assisted code auditing, vulnerability triage, and…

A native APK and DEX decompiler written in Rust

Agentic Framework for Synthesizing CodeQL Queries

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

The first analysis framework for CPU microcode

A Binary Genetic Traits Lexer Framework

Vulnerability detection framework by Binarly's REsearch team

AI Smart Contract Security Analysis and PoC Generation Framework

A reverse engineering framework written in Python.

A Framework for Integrating Application Security into Software Engineering (FIASSE) using the Securable Software Engineering Model (SSEM)

Exploit for CVE-2011-4367 targeting Apache MyFaces JSF implementation, demonstrating a remote code execution vulnerability in the Jakarta Faces…

ReactGuard provides framework- and vulnerability-detection tooling for CVE-2025-55182 (React2Shell)

Multi-architecture disassembly framework providing a lightweight, thread-safe API for binary analysis, reverse engineering, and malware research…

LLVM based static binary analysis framework

Detection scripts and guidance for CVE-2022-22965 (Spring4Shell) vulnerability in Spring Framework, including PowerShell and Bash scanners for…