AutoFraming：用 LLM 从 C 代码合成动态帧条件
AutoFraming: Synthesizing Dynamic Frames of C Code with LLMs
AI 导读
研究者提出 AutoFraming，一种基于 LLM 从 C 代码合成 ACSL 帧规范与功能契约的方法，通过分析代码属性图（CPG）提取帧相关信息引导 LLM 生成准确的帧条件。
来源：arXiv cs.AI · arxiv.org
AutoFraming：用 LLM 从 C 代码合成动态帧条件
AutoFraming: Synthesizing Dynamic Frames of C Code with LLMs
研究者提出 AutoFraming，一种基于 LLM 从 C 代码合成 ACSL 帧规范与功能契约的方法，通过分析代码属性图（CPG）提取帧相关信息引导 LLM 生成准确的帧条件。
来源：arXiv cs.AI · arxiv.org