基于依赖条件重构的程序符号值分析方法

• 作者: 王盼 郭曦
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 程序分析 符号执行 关联依赖 约束求解
• 年，卷（期）: 2019,（3）
• 所属期刊栏目: 学术论文
• 页码范围: 630-635
• 页数: 6页
• 分类号: TP311
• 字数: 5408字
• 语种: 中文
• DOI: 10.3969/j.issn.0372-2112.2019.03.016

摘要

符号执行在路径分析、调试和验证等软件分析过程中发挥着重要的作用.但是随着程序规模的增大,有效的执行路径数量程指数级增长,符号执行技术往往难以有较好的分析效果.符号执行分析中的两个瓶颈问题是路径条件表达式的提取和约束求解.状态合并是目前解决状态爆炸的常用分析方法,但是这种抽象的分析方法往往会导致错误的路径信息.依据符号执行引擎采用的搜索策略,符号执行工具在符号变量状态合并中可能会产生不可解的路径条件.提出基于依赖条件重构的程序符号值分析方法,通过综合分析各路径的路径条件逻辑表达式,提取共享的变量符号值从而提高变量状态合并的效率,同时采用逆向关联分析方法产生依赖条件集合从而提高路径分析的精度.实验结果表明该方法相对于传统的状态合并分析方法有更高的执行效率及分析精度.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王盼	武汉电力职业技术学院电力工程系	19	69	4.0	8.0
2	郭曦	华中农业大学信息学院	8	18	3.0	4.0