Design And Implementation Of Path-sensitiye Interprpcedural Alias Analysis

Alias analysis plays an important role in improving the accuracy of data-flow analysis and constructing more powerful program analyzing tools. Based on analyzing the former framework of alias analysis, a path-sensitive way of interprocedual alias analysis is presented and implemented in this thesis.Firstly, a memorial analysis approach based on alias patterns is designed and implemented by comparing and analyzing different methods of interprocedual alias analysis. This approach uses expanded variables to solve the problem of the abstract presentation of the function alias pattern, and then works out the alias pattern and designs its corresponding compatibility determination strategy by constructing an expression mapping table. Secondly, according to the features of path-sensitivity for alias analysis, a method of detecting unfeasible paths in a control-flow diagram is proposed and implemented. With this method can statically calculating the boolean value of branch statement expression by parsering its abstract syntax tree with the tree parser provided by ANTLR. Finally, experiments about function alias patterns and unfeasible paths detection are conducted, and experimental results illustrate that the methods implemented in this thesis can conduct an interprocedual alias analysis efficiently, inspect out unfeasible paths effectually in the analyzing process, and thus guide an accurate analysis of data-flow.