#
Lists (10)
Sort Name ascending (A-Z)
Starred repositories
7
results
for source starred repositories
written in OCaml
Clear filter
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.
Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection
Program analysis tools developed at Draper on the CBAT project.