论文选题调研（20260930）：灰盒 Fuzzing、LLM、DGF 与 SMT
5808 字
29 分钟
本文已加密
论文选题调研（20260930）：灰盒 Fuzzing、LLM、DGF 与 SMT
密码保护
此内容已被密码保护，请输入密码查看。
【论文阅读】Gordian: Defusing Logic Bombs in Symbolic Execution with LLM-Generated Ghost Code
【论文阅读】Sleuth: A Switchable Dual-Mode Fuzzer to Investigate Bug Impacts Following a Single PoC
相关文章智能推荐
1
【论文阅读】Agentic Concolic Execution: 让 LLM 接管 Concolic Execution 的建模与求解
论文阅读CONCOLLMIC 将符号化建模与约束求解交给 LLM 智能体，同时保留具体执行、代码执行与 SMT 求解器：相比 KLEE/SymCC/SymSan 平均分支覆盖率提升 115%–233%，相比 AFL++ 提升 81%，发现 11 个未知漏洞（1 个获 CVE-2025-4945），平均成本约 $53.86/项目。
2
【论文阅读】Gordian: Defusing Logic Bombs in Symbolic Execution with LLM-Generated Ghost Code
论文阅读不让 LLM 直接代替 SMT Solver，而是让它生成三种 Ghost Code（Code Inversion、Surrogate Model、Semantic Heap Partitioning）辅助 KLEE——相比传统符号执行覆盖率提升 28.5%–115.2%，相比 LLM 符号执行基线提升 74.1%–189.8%，同时节省 91–96% 的 Token 开销。
3
【论文阅读】Locus: Agentic Predicate Synthesis for Directed Fuzzing
论文阅读ICSE 2026 论文，Locus 结合 LLM Agent 与符号执行，在程序任意中间位置合成捕获执行进度的谓词，为定向模糊测试提供语义里程碑：定向 Fuzzer 平均加速 70.3×，最高 214.2×，并挖出 9 个未修复的零日漏洞。
4
【论文阅读】Sleuth: A Switchable Dual-Mode Fuzzer to Investigate Bug Impacts Following a Single PoC
论文阅读ISSTA 2024 论文，Sleuth 以单个 PoC 为起点自动挖掘同一漏洞的多种 Bug Impact：Crash Summary 指纹、MRG 记忆关联图插桩，配合监控器驱动的"深度/广度"双模式动态切换——86% 的 CVE 中发现新 Impact，总计 856 个。
5
【论文阅读】Exploring Static Taint Analysis in LLMs: A Dynamic Benchmarking Framework for Measurement and Enhancement
论文阅读通过 190 个基础生成单元动态拼装出近乎无限的测试用例，以轻量级动态污点分析自动获取 Ground Truth，再用模型专属的错误总结实现免训练自我纠错——LLMCAPLENS 为评估与提升 LLM 静态污点分析能力提供了一套完整框架。
随机文章随机推荐
京公网安备11011402057358号