bitblaze-fuzzball

Pinned Repositories

d-s-se-directed-tests
Binary dynamic, static, and symbolic execution analysis tools for directed test generation
Language:C++22 6 19
fuzzball
FuzzBALL: Vine-based Binary Symbolic Execution
Language:OCaml214 25 958
stp
Simple Theorem Prover.
Language:C++1 3 03
valgrind-vex-for-fuzzball
Fork of Valgrind VEX with fixes for use by FuzzBALL
Language:C0 2 01

bitblaze-fuzzball's Repositories

bitblaze-fuzzball/fuzzball
FuzzBALL: Vine-based Binary Symbolic Execution
Language:OCaml214 25 958
bitblaze-fuzzball/d-s-se-directed-tests
Binary dynamic, static, and symbolic execution analysis tools for directed test generation
Language:C++22 6 19
bitblaze-fuzzball/stp
Simple Theorem Prover.
Language:C++1 3 03
bitblaze-fuzzball/valgrind-vex-for-fuzzball
Fork of Valgrind VEX with fixes for use by FuzzBALL
Language:C0 2 01