State-Aware Fuzzing of JavaScript Engines with LLM-Guided Instrumentation
StateLens uses LLM-guided instrumentation to fuzz JavaScript engines and found 68 bugs.
StateLens is a fuzzing framework that uses large language models to instrument hidden internal states in JavaScript engines, where ordinary edge coverage plateaus. Agent-style reasoning walks code and developer comments to place high-signal probes, then a dual-feedback loop steers fuzzing toward unexplored semantics such as JIT tiers and hidden-class transitions. The authors report that StateLens beats prior fuzzers and uncovered 68 new bugs. No CVE identifiers or in-the-wild exploitation are stated.
- StateLens targets hidden JS-engine states missed by edge coverage.
- LLM agents pick instrumentation from code and developer comments.
- Dual feedback guides fuzzing toward unexplored engine semantics.
- The evaluation reports 68 new bugs over prior fuzzers.
From the original article
1 min read at arxiv.orgThe security of the modern web depends on the correctness of JavaScript (JS) engines, yet these complex systems remain vulnerable to high-impact bugs. A critical limitation of state-of-the-art fuzzers is the coverage plateau: once a fuzzer saturates the control-flow graph, edge coverage loses its ability to guide discovery.
By Wai Kin Wong · arxiv.org
A short excerpt; the article and its images belong to the publisher. Summary, key facts and assessment above are AI-written from the article and can be wrong.