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

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