2025年12月7日
[论文笔记] Interleaving Static Analysis and LLM Prompting
摘要： Introduction 来自 PLDI’24 的 workshop SOAP。一种交错使用 LLM 和静态分析工具的方法，应用于 C 语言编写的系统代码中函数的错误规范推断问题。 Background EESI C 语言并没有错误处理。开发者会把错误代码作为返回值返回，对这些返回值的处理不当容易引 阅读全文
posted @ 2025-12-07 19:21 sysss 阅读(7) 评论(0) 推荐(0)