[发明专利]一种符号执行方法、电子设备以及存储介质有效
| 申请号： | 201811602959.7 | 申请日： | 2018-12-26 |
| 公开（公告）号： | CN111367786B | 公开（公告）日： | 2021-06-08 |
| 发明（设计）人： | 李默;俞科技;陆晓峰 | 申请（专利权）人： | 华为技术有限公司 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36 |
| 代理公司： | 深圳市深佳知识产权代理事务所(普通合伙) 44285 | 代理人： | 王仲凯 |
| 地址： | 518129 广东*** | 国省代码： | 广东;44 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明实施例公开了一种符号执行方法、电子设备以及存储介质，所述方法包括确定代码基本块，根据所述父节点确定初始定义数据、第一约束条件以及第二约束条件，根据所述第一子节点对所述初始定义数据进行携带所述第一约束条件的赋值操作以生成第一存储数据集合，根据所述第二子节点对所述初始定义数据进行携带所述第二约束条件的赋值操作以生成第二存储数据集合。采用本方面所示的符号执行的方法所示可知，在无需对路径进行合并以及复制的操作，即可一次完成对所述代码基本块所包括的所有路径的遍历，提高了对被测试代码所包括的路径进行遍历的效率。 | ||
| 搜索关键词： | 一种 符号 执行 方法 电子设备 以及 存储 介质 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于华为技术有限公司，未经华为技术有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201811602959.7/，转载请声明来源钻瓜专利网。
