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

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

在线咨询

联系我们

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

恭喜杭州电子科技大学徐向华获国家专利权

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

龙图腾网恭喜杭州电子科技大学申请的专利基于未覆盖边的有状态协议模糊测试方法及系统获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN119621527B

龙图腾网通过国家知识产权局官网在2025-05-09发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202510154118.8,技术领域涉及:G06F11/3604;该发明授权基于未覆盖边的有状态协议模糊测试方法及系统是由徐向华;洪宇;王然设计研发完成,并于2025-02-12向国家知识产权局提交的专利申请。

基于未覆盖边的有状态协议模糊测试方法及系统在说明书摘要公布了:本发明涉及基于未覆盖边的有状态协议模糊测试方法,其方法包括如下步骤:S1:程序预处理;S2:对种子进行模糊测试;S3:状态选择;S4:种子调度。其系统包括测试准备模块、模糊测试模块、状态选择模块、种子调度模块。本发明通过对待测协议实体程序的源代码进行静态分析捕获其中的枚举类型变量的分配和使用。本发明通过分析程序控制流程图上未被模糊器探索到的代码块信息,来评估一个种子在模糊不同状态时的潜在收益,并分析种子触发的状态信息,让模糊器在选择更容易覆盖新程序分支的状态和种子,使得模糊测试系统的整体漏洞检测效率最大化。

本发明授权基于未覆盖边的有状态协议模糊测试方法及系统在权利要求书中公布了:1.基于未覆盖边的有状态协议模糊测试方法,其特征在于:包括如下步骤:S1:程序预处理;对被测程序进行静态分析,构建程序控制流程图,在桩代码中识别被测程序代码基本块的转移分支,对被测程序进行编译插桩,初始化模糊器状态和种子;S2:对种子进行模糊测试;划分种子的报文序列,对种子的报文序列进行变异并生成成测试用例,将测试用例发送给被测程序,保存覆盖了新程序分支的种子,并分析种子的响应信息和未覆盖信息;S3:状态选择;使用状态的未覆盖信息计算状态价值,根据状态价值选择目标状态进行模糊测试,并获取目标状态的种子队列;S4:种子调度;从目标状态的种子队列中选择种子,使用种子抵达目标状态时的未覆盖边、执行时间等信息计算种子价值,根据种子价值选择种子进行模糊测试;所述步骤S2中具体包括如下步骤:S2.1:遍历当前种子的报文序列并标记触发目标状态的报文位置,生成可以使被测程序抵达目标状态的前缀报文序列,遍历前缀报文序列之后的报文序列,触发状态的报文序列作为中缀报文序列,用于变异,剩下的报文序列为后缀报文序列;S2.2:计算种子变异能量,遍历种子报文序列,根据种子覆盖程序分支的能力和执行时间以及变异轮次,以及触发目标状态时具有的未覆盖边数量,计算变异能量,计算公式如下: ,其中,表示当前种子覆盖的程序分支数量和平均覆盖分支比例,表示当前种子所处的种子深度,表示当前种子触发目标状态时,包含的未覆盖边的数量,表示种子的执行时间;S2.3:分配变异次数;根据变异能量为种子分配整个变异次数;遍历每个前缀报文序列,根据抵达目标状态时报文的未覆盖信息价值,在所有前缀报文序列的未覆盖信息价值的比例分配变异次数,计算公式如下: ,其中,表示前缀报文序列分配的变异次数,表示前缀报文序列包含的未覆盖边数量,表示整个种子分配的变异次数,表示所有前缀报文序列包含的未覆盖边数量和;S2.4:对种子的中缀报文序列应用变异策略,包括位翻转、位加减、位替换,使用前缀报文序列、变异完的中缀报文序列、后缀报文序列组成测试用例,启动被测程序,使用socket套接字将测试用例发送给被测程序,并接收响应报文;S2.5:当测试用例完成发送并接收完响应结果后,读取共享内存中的覆盖率位图,分析覆盖率位图,当覆盖了新的程序分支时,将测试用例保存为种子,并且将全局的覆盖率位图中该分支标记为已覆盖,更新全局的覆盖率位图;S2.6:分析种子的响应报文,为种子建立触发的状态队列和报文结构,重新发送当前测试用例,记录每个报文发送后,收到响应报文时的未覆盖位图,遍历全局未覆盖位图和全局覆盖率位图以及全局未覆盖位图的每个位,记录全局未覆盖位图上模糊次数小于5且没有覆盖的程序分支索引号,并在全局未覆盖位图中该程序分支上记录当前触发的状态;S2.7:遍历种子触发的状态队列,将种子加入到触发状态的种子队列中;S2.8:更新覆盖边最优种子集,遍历每个程序分支,结合触发的状态数量、种子执行时间和未覆盖信息,计算种子的优先级,记录覆盖当前程序分支的最优种子,计算公式如下: ,其中,表示种子触发的状态数量,表示种子包含的未覆盖边数量,表示种子的执行时间。

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

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