GitPlanet
Projects
Users
Categories
Languages
About
All Git Users
→ kaled-alshmrany
1 open source projects by kaled-alshmrany
[ Open user page on Github ]
1.
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
user projects