用于验证网络协议解析器的大型语言模型

本研究解决了网络协议解析器在实现与官方协议标准之间的一致性验证问题。通过提出一种基于大型语言模型（LLM）的多智能体框架PARVAL，该框架将自然语言和代码转化为统一的中间表示，进行差异比较，从而自动识别解析器中的不一致性。实验表明，PARVAL能够有效识别实现与RFC标准之间的七个独特漏洞，且误报率仅为5.6%。