[发明专利]一种基于前向探针的离线符号执行路径搜索方法在审
| 申请号： | 202010085873.2 | 申请日： | 2020-02-11 |
| 公开（公告）号： | CN111400165A | 公开（公告）日： | 2020-07-10 |
| 发明（设计）人： | 魏强;武泽慧;柳晓龙;杜江;李锡星;麻荣宽 | 申请（专利权）人： | 中国人民解放军战略支援部队信息工程大学 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36 |
| 代理公司： | 郑州大通专利商标代理有限公司 41111 | 代理人： | 张立强 |
| 地址： | 450000 河*** | 国省代码： | 河南;41 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明涉及一种基于前向探针的离线符号执行路径搜索方法，当模糊测试工具产生的样本无法遍历新的状态转移时，算法会调用符号执行引擎选取一个队列中的样本，沿着样本执行轨迹从程序入口开始逐个翻转分支点并且尝试求解能够遍历分支点的另一条边的样本，若发现了新的状态转移，即没有被符号执行遍历过，也没有被模糊测试遍历过，则返回真，否则会创建一个动态符号执行探针继续向前执行，若有限步之内没有发现新的状态转移，则返回假。本发明可以提高符号执行技术与模糊测试技术结合算法的覆盖率，准确度较高，提高了遍历新的状态转移的速度，并且对测试效率影响很小；解决了已有算法对于翻转后不能立即产生新的状态转移的分支点不进行约束求解的问题。 | ||
| 搜索关键词： | 一种 基于 探针 离线 符号 执行 路径 搜索 方法 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于中国人民解放军战略支援部队信息工程大学，未经中国人民解放军战略支援部队信息工程大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202010085873.2/，转载请声明来源钻瓜专利网。
