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.

Binary Analysis Platform

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

Programming Languages Zoo

V2 of Real World OCaml

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

Infrastructure for Reassembleable Disassembling and Transformation

Program analysis tools developed at Draper on the CBAT project.

BAP Plugins Repository