GitHub repository: kaled-alshmrany/FuSeBMC
Primary language: Python
Description: FuSeBMC is a White-Box Fuzzer that combines FUzzing with Symbolic Execution via Bounded Model Checking to verify intricate properties in real-world C programs.