GitPlanet
All Git Users → bitblaze-fuzzball

2 open source projects by bitblaze-fuzzball

[ Open user page on Github ]
1. Fuzzball
FuzzBALL: Vine-based Binary Symbolic Execution
✭ 202
ocaml
2. d-s-se-directed-tests
Binary dynamic, static, and symbolic execution analysis tools for directed test generation
✭ 21
C++cMakefileocamlperlBatchfile
1-2 of 2 user projects