软件内存安全检测方法及系统

（12）发明专利说明

（21）申请号 CN201810444279.0 （22）申请日 2018.05.10 （71）申请人 清华大学

地址 100084 北京市海淀区清华园北京100084-82信箱

（10）申请公布号 CN1087145B

（43）申请公布日 2020.01.03

书

（72）发明人 姜宇;梁杰;王明哲;陈元亮;顾明;孙家广 （74）专利代理机构 北京路浩知识产权代理有限公司

代理人 王莹

（51）Int.CI

权利要求说明书 说明书 幅图

（）发明名称

软件内存安全检测方法及系统

（57）摘要

本发明实施例提供了一种软件内存安全检

测方法及系统，所述方法通过符号执行确定待测试软件的多个预设测试用例文件，并将所述多个预设测试用例文件分别转换为基于导向性变异的模糊测试的初始输入种子；基于所有初始输入种子，对所述待测试软件进行基于导向性变异的模糊测试，所述导向性变异为根据所述待测试软件中程序的覆盖范围进行的变异。本发明实施例提供的软件内存安全检测方法及系统，充分利用了

符号执行产生的测试用例文件。同时，对模糊测试中的变异进行改进，得到导向性变异方法。将符号执行与导向性变异结合，对所有初始输入种子中满足条件的种子进行导向性变异，提高了变异的有效性，进而节约了资源。

法律状态

法律状态公告日

2018-10-12 2018-10-12 2018-10-12 2018-11-06 2018-11-06 2020-01-03

法律状态信息

公开 公开 公开

实质审查的生效 实质审查的生效 授权

法律状态

公开 公开 公开

实质审查的生效 实质审查的生效 授权

权利要求说明书

软件内存安全检测方法及系统的权利要求说明书内容是....请下载后查看

说明书

软件内存安全检测方法及系统的说明书内容是....请下载后查看