kaled-alshmrany/FuSeBMC

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

Language: C - Size: 86.6 MB - Last synced at: 5 months ago - Pushed at: about 1 year ago - Stars: 46 - Forks: 6