基于变量符号关联分析的程序状态优化方法

• 作者: 王盼 郭曦
• 来源期刊: 通信学报
• 学科: 工学
• 关键词: 程序分析 符号执行 约束求解器 符号分析
• 年，卷（期）: 2018,（6）
• 所属期刊栏目: 学术论文
• 页码范围: 81-88
• 页数: 8页
• 分类号: TP311
• 字数: 7678字
• 语种: 中文
• DOI: 10.11959/j.issn.1000-436x.2018094

摘要

程序分析是主要的程序属性分析方法,在变量依赖关系、路径覆盖率、测试用例约简等方面有广泛的应用,并取得了大量研究成果.目前,程序分析主要以符号执行工具为核心,但是普遍存在路径条件逻辑表达式难以准确生成和约束求解器性能不够高的问题,从而影响程序分析的效果.以提高路径分析精度为目标,首先分析不同执行路径对应的路径条件,并提取公共的符号表达式以提高符号关联分析的精度,然后逆向生成依赖条件逻辑表达式集合,使用依赖关联分析算法以提高路径分析的精度.实验结果表明,所提方法相对于传统的路径分析方法,有更准确的时间复杂度和更高的路径分析精度.

作者信息

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