恭喜中国科学院信息工程研究所王文智获国家专利权
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
龙图腾网恭喜中国科学院信息工程研究所申请的专利一种面向堆内存错误的检测方法及装置获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN114065208B 。
龙图腾网通过国家知识产权局官网在2025-06-03发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202111202487.8，技术领域涉及：G06F21/57；该发明授权一种面向堆内存错误的检测方法及装置是由王文智;范萌;于爱民;孟丹设计研发完成，并于2021-10-15向国家知识产权局提交的专利申请。
本一种面向堆内存错误的检测方法及装置在说明书摘要公布了：本发明公开了一种面向堆内存错误的检测方法及装置，包括：选取输入参数后，对被测试程序进行concolic执行；当跟踪concolic执行中的每一执行跟踪路径时，对每一分支生成对应的分支约束，对每一与堆相关操作的代码块进行漏洞检测，并对存在与堆相关漏洞的代码块生成漏洞约束；基于每一执行跟踪路径对应的分支约束与漏洞约束，生成该执行跟踪路径的测试用例；将各测试用例分别输入被测试程序，得到经验证的被测试程序堆内存错误。本发明能够有效的增加程序覆盖率的同时尽快找到待分析的目标点，在保持与程序真实运行环境强一致性前提下，最小化系统性能开销，能够检测不同类型的堆内存错误。
本发明授权一种面向堆内存错误的检测方法及装置在权利要求书中公布了：1.一种面向堆内存错误的动态检测方法，其步骤包括：1选取输入参数后，对被测试程序进行concolic执行；2当跟踪concolic执行中的每一执行跟踪路径时，对每一分支生成对应的分支约束，对每一与堆相关操作的代码块进行漏洞检测，并对存在与堆相关漏洞的代码块生成漏洞约束；3基于每一执行跟踪路径对应的分支约束与漏洞约束，生成该执行跟踪路径的测试用例；4将各测试用例分别输入被测试程序，得到经验证的被测试程序堆内存错误。
如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人中国科学院信息工程研究所，其通讯地址为：100093 北京市海淀区闵庄路甲89号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号