Stars
2
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.
FuzzBALL: Vine-based Binary Symbolic Execution