基于二叉决策图的别名分析研究-计算机软件与理论专业论文.docxVIP

Abstract One of the typical characteristic of C/C++ program is the existence of alias.With the help of alias analysis, the accuracy of data-flow analysis can be improved and program analyzing tools will be more powerful. Based on the summary of alias analysis effection and current research background, this paper studies the collection of the alias information and designs a binary decision diagram-based alias analysis framework. Firstly, this paper describes the advantages of the use of binary decision diagram as an alias of information record, and gives the algorithms of the structure and ope