Definition
Automated testing that feeds semi-random or mutated inputs into program entry points to trigger crashes or invariant violations.
Key Points
- oss-fuzz provides continuous fuzzing for qualifying open-source C/C++ projects
- 2026-10-22: formal-verification proofs can subsume fuzzing for specific RISC-V ASan entry points when machine-checked (2026-10-22-anthropic-llm-formal-verification)