A Context-Sensitive Pointer Analysis Phase in Open64 Compiler

The precision of the pointer analysis plays an important role in compiler and other software understanding tools. Context-sensitivity is proven to be an effective methods to improve the precision of the final results of pointer analysis. Many context-sensitive pointer analysis methods have been pro-posed, however, few of them have been incorporated into pro-duction compilers. In Open64 compiler, it still uses a flow-insensitive, context-insensitive, and field-insensitive pointer analysis. In this paper, we design and implement a cloning-based inter-procedural context-sensitive pointer analysis in Open64 compiler. We expect that the new pointer analysis phase will improve the performance and give a good infrastructure for any program analysis tool based on Open64 compiler