Partition based alias analyzer for pointers

摘要

An apparatus that provides for the safe and efficient alias analysis for programs written in programming languages which use pointers combines a representation generator with a partitioned based alias analyzer and provides safe alias solutions using partitions to consumers of alias solutions. The source code of the program to be analyzed enters a parser of the representation generator and an abstract syntax tree representation of the syntactic structure of the source program is derived Next, a control flow graph (CFG) builder within the representation generator derives the program's control flow graph for the abstract syntax tree. The control flow graph is then used by the partition based alias analyzer which is divided into three phases; phase one-type one alias effects, phase two-type two alias effects and phase three-function pointer effects, to produce safe alias solutions using partitions.