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

龙图腾网获悉电子科技大学申请的专利一种基于符号执行的模糊测试方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN115017516B 。

龙图腾网通过国家知识产权局官网在2025-12-05发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202210624907.X，技术领域涉及：G06F21/57；该发明授权一种基于符号执行的模糊测试方法是由李建平;胡健;顾小丰;李天凯;肖飞;严灿;王广硕设计研发完成，并于2022-06-02向国家知识产权局提交的专利申请。

本一种基于符号执行的模糊测试方法在说明书摘要公布了：本发明提供一种基于符号执行的模糊测试方法，模糊测试工具首先启动符号执行和分析程序；所述符号执行和分析程序构建于二进制层面；符号执行和分析程序接收到请求后调用污点分析程序进行基于二进制符号的污点分析；污点分析程序完成污点分析后生成被污染指令的记录文件，并存放记录文件于模糊测试工具输出目录下的符号执行和分析程序中；符号执行和分析程序分析记录文件通过启发式算法识别记录文件结构得到字段和数据块信息，构建操作数依赖图；符号执行和分析程序按照逆拓扑序遍历操作数依赖图，对每一条二进制指令建立符号化表达完成混合符号执行后回应模糊测试工具。本发明减少了污点分析和符号执行过程中信息的丢失，效率良好，准确度高。

本发明授权一种基于符号执行的模糊测试方法在权利要求书中公布了：1.一种基于符号执行的模糊测试方法，其特征在于，包括以下步骤： 模糊测试工具首先启动符号执行和分析程序，然后向其发起请求；所述符号执行和分析程序构建于二进制层面； 符号执行和分析程序接收到请求后调用污点分析程序进行基于二进制符号的污点分析； 污点分析程序完成污点分析后生成被污染指令的记录文件，并存放记录文件于模糊测试工具输出目录下的符号执行和分析程序中； 符号执行和分析程序分析记录文件通过启发式算法识别记录文件结构得到字段和数据块信息，构建操作数依赖图； 符号执行和分析程序按照逆拓扑序遍历操作数依赖图，对每一条二进制指令建立符号化表达完成混合符号执行后回应模糊测试工具； 其中，污点分析时，将数据流分为六类：从文件读入数据到内存、内存和内存之间转移、内存和寄存器之间转移、寄存器和寄存器之间转移、内存到文件之间的转移以及释放内存导致的数据消失； 系统调用建模为： 记符号R表示寄存器名字到输入数据偏移量和长度的映射，记r表示寄存器名字，Rr→{offset,size}表示寄存器r被来自输入的[offset,offset+size字节污染，r取值于寄存器名字集合R，R具体取值依赖于指令集，offset为文件偏移量，size通常取值为1,2,4,8,16或32； 记符号M是内存地址到输入数据偏移量的映射，Ma→offset表示内存地址a对应字节被输入的第offset字节污染； 文件系统建模为： 记文件打开表F为文件描述符fd到三元组{rdcur,wrcur,N}的映射，其中rdcur和wrcur分别表示此文件描述符对应文件读写指针的偏移量，N为文件信息节点；文件信息节点是一个包含{src,name,I}信息的三元组，其中src表示此文件是不是污染源文件，name为文件名；I用于记录文件的字节被输入的字节污染的映射，Is→offset表示此文件的第s字节被输入的第offset字节污染；文件系统集合B记录全部被污染文件的信息节点N； 其中，启发式算法先将当前指令的操作数的其污点来源与前面指令的运算结果污点来源存在交集，且值相等的情况，认定存在依赖关系，从而构建操作数依赖图；再通过规则识别出魔法数字、校验和字段以及长度字段来识别文件结构； 识别魔法数字的规则为：指令为比较类指令；指令的一个操作数有且仅有一个字段，并且这个字段具有I2S特性，所述I2S特性为输入和程序内状态一致性；指令的另一个操作数为立即数，这个立即数即魔法数字； 识别校验和字段的规则为：指令为比较类指令；比较指令中一个操作数依赖输入的多个字节，并且另一个操作数具有I2S特性或者为立即数； 识别长度字段的规则为：指令为比较类指令，且重复出现；指令中至少有一个操作数包含一个字段且操作数只依赖此字段，并且包含的字段在重复出现中不变化；操作数出现单调递增或递减趋势，通常是连续的整数序列。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人电子科技大学，其通讯地址为：611731 四川省成都市高新区(西区)西源大道2006号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

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