hackernews.pink

Top Stories Trending New For You Bookmarks Pink Dossier

hackernews.pink

2 points•0 comments•4d ago•by matt_d•nowarp.io ↗

Compiler Testing – Part 1: Coverage-Guided Fuzzing with Grammars and LLMs

The post surveys coverage-guided fuzzing tailored for smart-contract compilers, explaining how grammar-aware inputs and LLM-assisted tooling help reach deeper compiler passes beyond the lexer and parser. It reports more than 100 bugs across Sui Move, Cairo, Solang, Solidity, and Leo, all triggered by structurally valid programs rather than simple parser crashes. It also details the fuzzing framework, including AFL++–based harnesses, custom mutators, corpus and dictionary strategies, and a triage workflow for deduplication and reporting, plus evaluation results and future work.

Discussion (0)

No comments yet

Top
Trending
New
For You
Bookmarks
Dossier