selective-fuzzer topic

List selective-fuzzer repositories

FuSeBMC

43
Stars
6
Forks
Watchers

FuSeBMC is a novel Energy-Efficient Test Generator that exploits fuzzing and BMC engines to detect security vulnerabilities in real-world C programs.