ISSN 1000-1239 CN 11-1777/TP

• 软件技术 •

### 程序状态条件合并中变量隐式关联分析方法

1. 1(华中农业大学信息学院计算机科学系 武汉 430070);2(武汉电力职业技术学院电力工程系 武汉 430079) (xguo@mail.hzau.edu.cn)
• 出版日期: 2018-10-01
• 基金资助:
国家自然科学基金项目(61502194)；中央高校基本科研业务费专项资金(2662018JC028)

### Variable Dependent Relation Analysis in Program State Condition Merging

Guo Xi1, Wang Pan2

1. 1(Department of Computer Science, College of Informatics, Huazhong Agriculture University, Wuhan 430070);2(Department of Power Engineering, Wuhan Electric Power Technical College, Wuhan 430079)
• Online: 2018-10-01

Abstract: The main purpose of program analysis is researching the properties of programs. Symbolic execution, which is the current popular analysis method, plays an important role in the aspects of generating efficient test cases, improving the path coverage ratio and so on. The key processes are extracting the path constraint and constraint solving. The current analysis methods have the shortcomings with low efficient of constraint solving, which results to low path coverage ratio. Due to different search strategies used by symbolic execution engine, the process of state merging may exist during symbolic execution, which may result to incorrect path information. This paper aims at improving the efficiency of path analysis, and a high efficient program analysis method is proposed. The shape of conventional symbolic execution tree is improved, and extracting the symbolic expression and path constraints in different paths to improve the efficiency of state merging; and then we use the potential relation analysis to generate the dependent relation set in backward analysis. The algorithm of dependent relation reorder is proposed to improve the path coverage ratio. Experimental results demonstrate that our method can improve the efficiency of state merging and improve the accuracy of path constraint analysis compared with conventional methods of state merging and symbolic execution.