最新资讯
stackoverflow.blog 欢迎来到芯片时代:半导体制造、AI 数据中心与芯片设计的未来 pub.towardsai.net Netflix 科学家建议重采样 LLM 评判:5 次仅将误差棒缩小 13% pub.towardsai.net Jev 作为 LLM 前的静默层:构建提示感知的模型路由器 reddit.com OpenAI 称 Astra 仅满足 10% 安全任务标准 dev.to FreeToken:在自有 GPU 上运行前沿 MoE 模型及其内存需求 dev.to 当 AI Agent 说“完成”时,究竟完成了什么? dev.to 部署 Underdog Bark 3.0 Pro:逐字转写、自定义后端与分块设置 dev.to 为艰难对话构建 AI:五个 Agent、一条安全正则与一位盲评监督者 techcrunch.com Palo Alto Networks 洽谈以 5 亿美元收购 AI Agent 安全初创公司 Clutch theinformation.com 黄仁勋被要求就涉华间谍指控向国会作简报 www.infoq.com Edera 推出 Object Capability Bounded Authority,试图将凭证与 AI Agent 工作负载隔离 wechat 这波杀疯了!旗舰级模型不限量、1个月视频额度免费领
多元动态
登录 注册
智能体 arxiv.org ·

StateLens:基于 LLM 引导插桩的 JavaScript 引擎状态感知模糊测试

原文 我的收藏

该 arXiv 论文提出 StateLens 框架,针对现有 JS 引擎模糊测试的覆盖率平台期问题:当控制流图饱和后,边覆盖率无法区分 JIT 优化层级、hidden class 转换等共享相同边覆盖的深层内部状态。StateLens 采用基于 agent 的 LLM 推理流程,迭代遍历代码与开发者注释,自动筛选高价值插桩目标,区分驱动逻辑的状态变量与无关数据,生成可合成的高信号反馈探针,并通过双反馈机制引导模糊测试器探索未触及的引擎语义。摘要称其显著优于现有模糊测试器并发现 68 个新 bug。

AI推荐理由 arXiv 论文摘要,来源可信、事实明确(作者、提交日期、方法、结果均有陈述)。核心新信息是 StateLens:用 LLM 驱动的 agent 推理流程自动挑选高价值插桩点,把 JS 引擎隐藏内部状态(JIT 优化层级、hidden class 转换)转化为可合成的高信号反馈探针,配合双反馈机制缓解覆盖率平台期;摘要称发现 68 个新 bug。局限:仅有摘要,未提供与基线对比的量化细节、bug 严重性分级或复现材料,68 个 bug 的独立验证情况未知。对 AI 用于安全测试、Agent 工具链和 JS 引擎安全有实际参考价值。

78

正文

Computer Science > Cryptography and Security arXiv:2609.24550 (cs) [Submitted on 21 Sep 2026] Title:State-Aware Fuzzing of JavaScript Engines with LLM-Guided Instrumentation Authors:Wai Kin Wong, Dongwei Xiao, Anthony Cheuk Tung Lai, Ping Fan Ke, Shuai Wang View a PDF of the paper titled State-Aware Fuzzing of JavaScript Engines with LLM-Guided Instrumentation, by Wai Kin Wong and 4 other authors View PDF HTML (experimental) Abstract:The 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. Because complex engine behaviors, such as JIT optimization tiers and hidden class transitions, often share identical edge coverage, standard coverage metrics are blind to the distinct internal states required to trigger deep errors. To bridge this gap, we present StateLens, a framework that employs Large Language Models (LLM) to automate the discovery of deep internal states. Blindly placing instrumentation probes at all states is infeasible due to the vast state space and the high runtime overhead. StateLens introduces a novel agent-based reasoning pipeline that emulates the intuition of a security researcher. By iteratively traversing code and developer comments, our agents intelligently select high-value instrumentation targets, effectively separating logic-driving state variables from irrelevant data. This results in synthesizable, high-signal feedback probes that map the engine's hidden configurations. This instrumentation feeds a dual-feedback mechanism, effectively guiding the fuzzer toward unexplored engine semantics. Our evaluation confirms that StateLens significantly outperforms state-of-the-art fuzzers and uncovering 68 new bugs. Comments: Subjects: Cryptography and Security (cs.CR) Cite as: arXiv:2609.24550 [cs.CR] (or arXiv:2609.24550v1 [cs.CR] for this version) https://doi.org/10.48550/arXiv.2609.24550 Focus to learn more arXiv-issued DOI via DataCite (pending registration) Related DOI: https://doi.org/10.1145/3830418.3843900 Focus to learn more DOI(s) linking to related resources Submission history From: Dongwei Xiao [view email] [v1] Mon, 21 Sep 2026 13:16:21 UTC (195 KB) Full-text links: Access Paper: View a PDF of the paper titled State-Aware Fuzzing of JavaScript Engines with LLM-Guided Instrumentation, by Wai Kin Wong and 4 other authors View PDF HTML (experimental) TeX Source view license Current browse context: cs.CR new | recent | 2026-09 Change to browse by: cs References & Citations NASA ADS Google Scholar Semantic Scholar export BibTeX citation Loading... BibTeX formatted citation × loading... Data provided by: Bookmark Bibliographic Tools Bibliographic and Citation Tools Bibliographic Explorer Toggle Bibliographic Explorer (What is the Explorer?) Connected Papers Toggle Connected Papers (What is Connected Papers?) Litmaps Toggle Litmaps (What is Litmaps?) scite.ai Toggle scite Smart Citations (What are Smart Citations?) Code, Data, Media Code, Data and Media Associated with this Article alphaXiv Toggle alphaXiv (What is alphaXiv?) Links to Code Toggle CatalyzeX Code Finder for Papers (What is CatalyzeX?) DagsHub Toggle DagsHub (What is DagsHub?) GotitPub Toggle Gotit.pub (What is GotitPub?) Huggingface Toggle Hugging Face (What is Huggingface?) ScienceCast Toggle ScienceCast (What is ScienceCast?) Demos Demos Replicate Toggle Replicate (What is Replicate?) Spaces Toggle Hugging Face Spaces (What is Spaces?) Spaces Toggle TXYZ.AI (What is TXYZ.AI?) Related Papers Recommenders and Search Tools Link to Influence Flower Influence Flower (What are Influence Flowers?) Core recommender toggle CORE Recommender (What is CORE?) Author Venue Institution Topic About arXivLabs arXivLabs: experimental projects with community collaborators arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website. Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them. Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs. Which authors of this paper are endorsers? | Disable MathJax (What is MathJax?)

来源报道 · 1 篇 · 以下链接均前往原始媒体

← 返回精选动态 原文

更多内容