中国人民解放军国防科技大学陆余良获国家专利权
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
龙图腾网获悉中国人民解放军国防科技大学申请的专利一种面向网络协议程序分析的状态预处理方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN120639523B 。
龙图腾网通过国家知识产权局官网在2025-10-28发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202511127741.0，技术领域涉及：H04L9/40；该发明授权一种面向网络协议程序分析的状态预处理方法是由陆余良;张懿凡;黄晖;陈峰;彭捷;陈乾;廖荣涛设计研发完成，并于2025-08-13向国家知识产权局提交的专利申请。
本一种面向网络协议程序分析的状态预处理方法在说明书摘要公布了：本发明提出一种面向网络协议程序分析的状态预处理方法，属于网络协议模糊测试技术领域。在所述方法中，采用StatePre三级流水线架构实现网络协议程序的状态预处理，包括知识提取引擎、提示构造器、补丁执行器，并通过LLM作为中枢处理器实现全自动化流程，输入为RFC协议文档和目标程序源代码，输出为经过状态注释优化的可测试程序。本发明用于解决网络协议模糊测试过程中状态注释的粗粒度问题、状态注释的缺失问题、自动化与可扩展性问题。
本发明授权一种面向网络协议程序分析的状态预处理方法在权利要求书中公布了：1.一种面向网络协议程序分析的状态预处理方法，其特征在于： 在所述方法中，采用StatePre三级流水线架构实现网络协议程序的状态预处理，包括知识提取引擎、提示构造器、补丁执行器，并通过LLM作为中枢处理器实现全自动化流程，输入为RFC协议文档和目标程序源代码，输出为经过状态注释优化的可测试程序； 所述方法具体包括： 步骤S1、调用知识提取引擎，基于RFC协议文档和目标程序源代码进行知识提取；包括：结构化状态提取、隐式状态推断、源代码-协议对齐； 步骤S2、调用提示构造器，分别为提取出的结构化状态和推断出的隐式状态构建提示，通过构建的提示来生成补丁文件； 步骤S3、调用补丁执行器，通过执行生成的补丁文件进行安全性验证，通过验证后得到经过状态注释优化的可测试程序。
如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人中国人民解放军国防科技大学，其通讯地址为：410073 湖南省长沙市开福区德雅路109号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号
请提出您的宝贵建议，有机会获取IP积分或其他奖励