Claude produced formal proofs for code from 123 OSS-Fuzz libraries
Rocq checks the proofs, which hold only for one architecture, single-threaded code, and inputs under 64 MB.
1
Stories per day · 30 days
2 stories, newest first · one card per story
Stories tagged #oss-fuzz
RAISE paper ranks OSS-Fuzz project-days for extra fuzzing
A Random Forest reached ROC-AUC 0.74, and Simple-Regression used 91.60 extra sessions per detected vulnerability versus 171.89 for a median heuristic.