★ 3
FEAgent：基于程序图的差分代理执行判定代码等价
论文提出 FEAgent，一种选择性代码等价性评估智能体，结合类型化程序图证据与差分代理执行来判断两段程序是否功能等价。它通过分支感知生成器构造区分性输入，由两个盲测 LLM 代理分别预测源与目标程序的可观测行为，并记录证据账本，最终输出等价、不等价或不确定。在 EquiBench 上，直接执行证…
arXiv cs.AI27 天前
#程序分析
共 3 篇相关资讯，按重要度与时间排序，每 3 小时更新。
★ 2
AutoFraming：用 LLM 为 C 代码合成 ACSL 动态帧规范
该论文提出 AutoFraming，利用代码属性图（CPG）提取与帧条件相关的信息，引导大模型从 C 代码中合成 ACSL 帧规范与功能契约。在 84 个真实系统函数的基准上，92.9% 的函数生成了无错误帧规范，相对现有最优方法提升 179%；另一 51 函数基准成功率从 80.4% 升至 96…
arXiv cs.AI11 天前
★ 2