OSS-Fuzz

Search everything

Mentions · 7d0
Mentions · 30d2
All mentions3
First seenAug 25, 2026
Last mentioned7d ago

Timeline

3 articles · newest first

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.

The DecoderOct 23, 11:32 UTC · 7d agoAI research2 · 1 read

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.

arXiv cs.CROct 20, 08:18 UTC · 10d agoResearch1

Code review used to be the only way to catch these bugs

Palo Alto Networks' Unit 42 says its NOVA system found 14,090 vulnerabilities in 3,915 open-source projects, mostly non-crashing bugs like access control flaws.

Help Net SecurityAug 25, 18:03 UTC · Aug 25, 2026Research2 · 1 read

Appears with

Googleorganization · 2
Anthropicorganization · 1
Claudeai model · 1
Theoremorganization · 1
Rocqproduct · 1
Googlevendor · 1
Opus 5ai model · 1
Opus 5.5ai model · 1
Unit 42product · 1
Palo Alto Networksvendor · 1
NOVAproduct · 1

Entities are extracted by the model from each article. First seen Aug 25, 2026, last mentioned 7d ago. Watching keeps it in this browser only (no account); the watchlist page and dashboard alerts use it.