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

A code rewrite tool for structural search and replace that supports ~every language.

C Intermediate Language

An automated deductive program verifier.

DOrder -- Automatically Learning Shape Specifications

Program analysis of first order effects