FuSeBMC v4: Improving Code Coverage and Bug Detection via Hybrid Fuzzing and Bounded Model Checking

FuSeBMC v4 is a state-of-the-art hybrid fuzzer that combines bounded model checking and evolutionary fuzzing to achieve high code coverage and detect security vulnerabilities in C programs.