OSS-Fuzz - continuous fuzzing for open source software.
7 daysStars12.9k24h gain+14Score9.0
Find trending repositories by name or description.
OSS-Fuzz - continuous fuzzing for open source software.
OSS-Fuzz vulnerabilities for OSV.
Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them