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

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