Stars
3
stars
written in OCaml
Clear filter
FuzzBALL: Vine-based Binary Symbolic Execution
Binary Analysis Platform -- I will try to keep this updated with patches, fixes, etc.