GitHub repository: seonmokim/fuzzball
Primary language: OCaml
Description: FuzzBALL: Vine-based Binary Symbolic Execution