一种面向网络协议程序分析的状态预处理方法

本发明提出一种面向网络协议程序分析的状态预处理方法，属于网络协议模糊测试技术领域。在所述方法中，采用StatePre三级流水线架构实现网络协议程序的状态预处理，包括知识提取引擎、提示构造器、补丁执行器，并通过LLM作为中枢处理器实现全自动化流程，输入为RFC协议文档和目标程序源代码，输出为经过状态注释优化的可测试程序。本发明用于解决网络协议模糊测试过程中状态注释的粗粒度问题、状态注释的缺失问题、自动化与可扩展性问题。