Stars
3
results
for source starred repositories
written in OCaml
Clear filter
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