Alias Analysis Based On Binary Decision Diagram

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 operation of the binary decision diagram. On this basis, using the semantics of the basic logic programming language Datalog, we design the alias information representation and derivation rules.Secondly, in order to collect accurate alias information, this paper designs a mechanism of analyzing the the intraprocedural and interprocedural alias information alternately. The intraprocedural alias analysis presents the way of flow sensitive, field sensitive, path sensitive and type safe analysis. The interprocedural alias analysis uses summary-based context sensitive analysis. The main advantage of such a mechanism is that not only the accuracy of the information can be improved but also the analysis time of the function body and the time expenses can be reduced. Finally, this paper presents the security check based on the alias analysis. This method has been implemented in a safety checking tool for C/C++ programs, and experimental results illustrate that the method is effective.