★ 2
AutoFraming：用 LLM 为 C 代码合成 ACSL 动态帧规范
该论文提出 AutoFraming，利用代码属性图（CPG）提取与帧条件相关的信息，引导大模型从 C 代码中合成 ACSL 帧规范与功能契约。在 84 个真实系统函数的基准上，92.9% 的函数生成了无错误帧规范，相对现有最优方法提升 179%；另一 51 函数基准成功率从 80.4% 升至 96…
arXiv cs.AI11 天前
共 1 篇相关资讯，按重要度与时间排序，每 3 小时更新。
该论文提出 AutoFraming，利用代码属性图（CPG）提取与帧条件相关的信息，引导大模型从 C 代码中合成 ACSL 帧规范与功能契约。在 84 个真实系统函数的基准上，92.9% 的函数生成了无错误帧规范，相对现有最优方法提升 179%；另一 51 函数基准成功率从 80.4% 升至 96…