-
公开(公告)号：CN116521565A
公开(公告)日：2023-08-01
申请号：CN202310556903.7
申请日：2023-05-17
Applicant: 东南大学
Abstract: 本发明公开一种基于权重比较的自动化猜测符号执行方法及装置，方法包含以下步骤：符号化执行程序，初始化程序符号状态；使用启发式搜索对程序进行路径探索；对分支语句节点根据权重选择方向继续搜索；达到最大猜测深度后执行约束求解；根据约束求解结果确定是否回溯并调整节点权重；根据当前最大猜测深度下猜测结果调整最大猜测深度。本发明相比采用普通启发式搜索符号执行方法的方案，减少了约束求解的次数，进而大幅减少了约束求解以及符号执行运行时间；本发明相比采用普通猜测搜索符号执行方法的方案，提升了猜测符号执行的猜测成功率，减少回溯次数，同时通过自动化确定最大猜测深度提升了方法对不同程序的适应性，具有较好的准确率和实用性。
Search Results
1
records
(took 0.014 seconds)
筛选
AND
AND
过滤
NOT
NOT
Scan to Join
