ConcoLLMic

ConcoLLMic: 基于智能体（Agent）的混合符号执行（Concolic Execution） 论文 : IEEE S&P 2026 ConcoLLMic 是首个由 LLM 智能体驱动的、语言与理论无关的混合符号执行器。与需要针对特定语言实现、且难以处理约束求解的传统符号执行工具不同，ConcoLLMic： 适用于 任何 编程语言和环境交互 — 支持 C、C++、Python、Java、...，甚至多语言系统；无需额外的环境建模，并能高效处理它们。 处理多样的约束理论 — 包括浮点运算、字符串、结构化数据和位级操作。 实现更优的覆盖率 — 在大约 4 小时内，ConcoLLMic...