原创力文档- 1
- 0
- 约1.58万字
- 约 15页
- 2023-05-17 发布于四川
- 举报
本发明提供一种基于分支覆盖指导的有效符号执行方法及装置，符号执行方法，包括：对被测程序的执行路径进行遍历，基于被测程序的各谓词的依赖关系，获取执行路径对应的执行信息；其中，执行信息包括静态执行信息动态执行信息；基于执行信息，将执行路径覆盖的分支谓词划分到对应的分支谓词集合；基于路径选择器，以及分支谓词集合，确定路径约束；基于路径约束，确定新的执行路径，并基于新的执行路径，得到被测程序对应的符号执行结果。本发明提供的基于分支覆盖指导的有效符号执行方法及装置，可以解决现有技术中挖掘软件程序漏洞的效率
(19)国家知识产权局
(12)发明专利申请
(10)申请公布号 CN 114817927 A
(43)申请公布日 2022.07.29
(21)申请号 202210334184.X
(22)申请日 2022.03.30
(71)申请人 北京邮电大学
地址 100876
文档评论（0）