VeriFuzz: Good Seeds for Fuzzing (Competition Contribution)
Ravindra Metta, Raveendra Kumar Medicherla, Hrishikesh Karmarkar · Lecture notes in computer science · 2022
Abstract We present VeriFuzz 1.2 with two new enhancements: (1) unroll the given program to a short depth and use BMC to produceincompletetest inputs, which are extended intocompleteinputs, and (2) if BMC fails for this short unrolling, automatically identify the reason and rerun BMC with a corresponding remedial strategy.