Definition
Google-led continuous fuzzing program for open-source projects, providing developer-authored fuzz entry points and AddressSanitizer-instrumented binaries.
Key Points
- 2026-10-22: anthropic + theorem converted 239 OSS-Fuzz entry points into machine-checked no-crash proofs on RISC-V ASan builds (2026-10-22-anthropic-llm-formal-verification)