cwe_checker finds vulnerable patterns in binary executables
Binary Analysis Framework in Rust
Find the ideal fuzz targets in a Rust codebase
A binary analysis framework written in Rust.
Succinct Compositional Program Graph (SCPG) static analysis engine & 14-diagram UML generator in Rust.
Program analysis playground for a simple, imperative language
🥷 Give your codebase a black belt. Local code intelligence, security analysis, and compiler-backed facts for humans and AI.
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.
Local-first code navigation for large codebases. Parse, index, search, and understand millions of lines of code using structural and semantic retrieval.
Multi-language static analysis for agents, editors, and large repositories.
A benchmark for Rust call-graph generators
Compiler wrappers for building whole-program LLVM bitcode files
CIS is a Rust daemon that builds a versioned code graph over your repository and exposes it to AI agents through the Model Context Protocol. Agents can navigate symbols, search semantically, apply speculative edits with confirm/revert, and merge branches — with crash-safe persistence and background maintenance.
Brainfuck-based generator and exact Rust harness for controlled machine-state tasks; v0.4.0-alpha engineering candidate.
Block-level dataflow analysis engine for Verilog/SystemVerilog designs.
Repository for creating and running benchmarks around the static analysis task of discovering usages of certain code units.
Behavioral compiler for migrating shell automation into a typed Effect IR
Evidence-driven binary-format inference engine in Rust with structural discovery, parser generation, round-trip validation and independent blind evaluation.
Map how a codebase calls itself — who calls what, what a change reaches or breaks, what's reachable or dead — across Rust, TypeScript, Go, Java, and Python. A fast, offline call-graph engine with a CLI and an MCP server, for code navigation by developers, security analysts, and AI agents.
MIR-level critical-section typestate analyzer for Rust — the real-rustc-MIR generalization of guardstate.
To associate your repository with the program-analysis topic, visit your repo's landing page and select "manage topics."