A manually vetted dataset for security vulnerability detection in Java projects

A set of tools that gives agents powerful capabilities.

Build an agent harness and control it end-to-end. Open-source SDK for production AI agents in Python & TypeScript - any model, any cloud.

✨ Agentic chat experience in your terminal. Build applications using natural language.

Binary Type Inference Ghidra Plugin

Pangine disassembly ground truth benchmark

Python API for live register analysis of GTIRB functions

RetroWrite -- Retrofitting compiler passes through binary rewriting

Creusot helps you prove your Rust code is correct.

Sound and Cost-effective Fuzzing of Stripped Binaries by Incremental and Stochastic Rewriting

A fast and accurate disassembler

Retypd plugin for Ghidra reverse engineering framework from NSA

LIEF - Library to Instrument Executable Formats (C++, Python, Rust)

Target-centric program analysis.

Acoustic Field simulation for phased-array controllers

Capstone disassembly/disassembler framework for ARM, ARM64 (ARMv8), Alpha, BPF, Ethereum VM, HPPA, LoongArch, M68K, M680X, Mips, MOS65XX, PPC, RISC-V(rv32G/rv64G), SH, Sparc, SystemZ, TMS320C64X, T…

Some helper scripts to set up an environment for angr development.

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

Intermediate Representation for Binary analysis and transformation

Pretty printer from GTIRB to assembly code

llvm2KITTeL

The ABS modeling language and surrounding tools

KITTeL/KoAT

CoFloCo is a static analysis tool written in prolog to infer automatically symbolic complexity bounds of imperative and recursive programs.