A static analyzer for Java, C, C++, and Objective-C

Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

Performant type-checking for python.

magic-trace collects and displays high-resolution traces of what a process is doing

Binary Analysis Platform

Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection

Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)

C Intermediate Language

SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.

BINSEC binary-level open-source platform

FuzzBALL: Vine-based Binary Symbolic Execution

Infrastructure for Reassembleable Disassembling and Transformation

Static analysis framework for C

Release snapshots of the Frama-C platform for source code analysis

An higher-level LLVM binding for OCaml

Program analysis tools developed at Draper on the CBAT project.

A library to help writing wrappers around ocaml code for python

Rdr is a cross-platform binary analysis and reverse engineering library, utilizing a unique symbol map for global analysis.

Xyntia, the black-box deobfuscator

BAP Plugins Repository

C Intermediate Language

Liveness-driven random C code generator

Yacfe (Yet Another C Front-End) is mainly an OCaml API to write style-preserving source-to-source transformations such as refactorings on C source code.

Generation of mutant programs