GitPlanet
Projects
Users
Categories
Languages
About
All Categories
→
No Category
→ selective-fuzzer
Top 1 selective-fuzzer open source projects
FuSeBMC
FuSeBMC is a novel Energy-Efficient Test Generator that exploits fuzzing and BMC engines to detect security vulnerabilities in real-world C programs.
✭ 26
c
C++
python
shell
Makefile
CMake
fuzzing
tracer
bounded-model-checking
smart-seeds
selective-fuzzer
1-1
of
1
selective-fuzzer projects