Document
拖动滑块完成拼图
个人中心

预订订单
商城订单
发布专利 发布成果 人才入驻 发布商标 发布需求

请提出您的宝贵建议,有机会获取IP积分或其他奖励

投诉建议

在线咨询

联系我们

龙图腾公众号
首页 专利交易 IP管家助手 科技果 科技人才 积分商城 国际服务 商标交易 会员权益 需求市场 关于龙图腾
 /  免费注册
到顶部 到底部
清空 搜索
当前位置 : 首页 > 专利喜报 > 杭州电子科技大学叶浩宇获国家专利权

杭州电子科技大学叶浩宇获国家专利权

买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!

龙图腾网获悉杭州电子科技大学申请的专利基于长生命周期枚举变量状态的协议模糊测试方法及系统获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN119676131B

龙图腾网通过国家知识产权局官网在2025-11-14发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202510158673.8,技术领域涉及:H04L43/18;该发明授权基于长生命周期枚举变量状态的协议模糊测试方法及系统是由叶浩宇;王然;徐向华设计研发完成,并于2025-02-13向国家知识产权局提交的专利申请。

基于长生命周期枚举变量状态的协议模糊测试方法及系统在说明书摘要公布了:本发明涉及基于长生命周期枚举变量状态的协议模糊测试方法及系统,其方法包括如下步骤:S1:静态枚举声明语句插桩分析阶段;S2:短生命周期枚举变量动态分析阶段;S3:静态赋值语句插桩分析阶段;S4:模糊测试阶段。其系统包括静态分析模块、动态分析模块、网络IO模块和变异反馈模块。本发明通过对待测协议实体程序的源代码进行静态分析捕获其中的枚举类型变量的分配和使用。通过监控这些枚举变量值域的变化来表征状态转换,并构建相应状态树结构,从而实现在不用额外人工分析的情况下对任意待测协议实体程序进行有状态灰盒模糊测试。

本发明授权基于长生命周期枚举变量状态的协议模糊测试方法及系统在权利要求书中公布了:1.基于长生命周期枚举变量状态的协议模糊测试方法,其特征在于:包括如下步骤: S1:进入静态枚举声明语句插桩分析阶段,在本地部署待测协议实体程序,而后编译待测协议实体程序,并使用clang对本地部署待测协议实体程序的所有文件生成对应抽象语法树AST,分析抽象语法树AST节点以判断并插桩所有枚举类型的声明; S2:进入短生命周期枚举变量动态分析阶段,利用对枚举类型的声明语句的插桩来分析该声明变量的生命周期,并剔除仅具有短生命周期的枚举变量的插桩; S3:进入静态赋值语句插桩分析阶段,去除仅具有短生命周期的枚举变量的监控,再次利用分析抽象语法树AST节点来判断并插桩剩余所有枚举变量的赋值语句,并记录它们的取值; S4:进入模糊测试阶段,应用模糊测试的基本原理,通过不断变异初始种子来进行广泛的测试;定义并跟踪待测协议实体程序内部的状态转移;构建种子对应的状态树节点模型,以此评估种子的有效性,并将评估结果反馈给模糊测试过程,指导后续的测试用例生成与选择。

如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人杭州电子科技大学,其通讯地址为:310000 浙江省杭州市钱塘区白杨街道2号大街1158号;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

以上内容由龙图腾AI智能生成。

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。