This repository contains a collection of small examples that demonstrate different kinds of code barriers that stop the fuzzer from exploring certain branches in the code. Some ideas and solutions for helping the fuzzer overcome those barriers are provided as well.
Structure:
<name>{.cpp,.h}contains the example code to be tested
- assert_statements
- checksum
- complex_conditions
- exit_statements
- hardware_dependencies
- hashing
- initialization
- statefulness
All examples can be built and run with CI Fuzz:
cifuzz run <name>_fuzztestFor example, to build the assert_statements example, run:
cifuzz run assert_statements_fuzztest