每日 Arxiv

本页面整理了世界各地发表的人工智能相关论文。
本页面使用 Google Gemini 汇总而成，并以非盈利为基础运营。
论文版权归作者及相关机构所有，分享时请注明出处。

RFCAudit：用于网络协议功能错误检测的 LLM 代理

Created by
  • Haebom

作者

郑明伟、王成鹏、刘旭伟、郭金耀、冯世伟、张翔宇

RFCAudit：检测基于 LLM 的网络协议实现中的功能错误

大纲

本文强调了确保功能正确性对于保障网络协议实现的可靠性和安全性的重要性，并重点关注检测RFC文档与实现之间的不一致之处。为了克服现有静态分析工具的局限性，我们提出了RFCAudit，这是一个利用大规模语言模型（LLM）来验证协议实现与RFC规范一致性的自主代理。RFCAudit由索引代理和检测代理组成。它分层地概括协议代码语义，并生成用于缩小检测范围的语义索引。检测代理通过基于需求的检索迭代地收集相关的数据结构和功能，以有效识别与RFC规范的潜在不一致之处。通过对六个实际网络协议实现的评估，RFCAudit识别出47个功能错误，准确率为81.9%，其中20个已被开发人员确认或修复。

Takeaways, Limitations

•
Takeaways：
◦
我们提出了一种新方法，利用 LLM 有效地检测复杂网络协议实现中的功能错误。
◦
通过对现实世界网络协议实现的广泛评估证明了该方法的实用性。
◦
部分发现的Bug已得到开发人员的确认和修复，有助于实际代码质量的提升。
•
Limitations：
◦
论文中没有具体提及Limitations。（仅根据摘要很难识别Limitations。）
👍
Made with Slashpage