Research On The Technique Of Context-sensitive Pointer Analysis

Pointer analysis aims at approximately identifying the definite or possibletargets pointed by pointer variable through static analyzing the program．It is of greatimportance and a challenging problem in static analysis, which is widely used inprogram analysis, optimization andvalidation．The precise results of pointer analysis as high as possible and outstanding timeefficiency of pointer analysis in the safety analysis plays a very important role.Therefore developed a pointer analysis algorithm, which have as high as possibleprecision and outstanding time efficiency of pointer analysis, has very importantsignificance.The method of inclusion-based pointer analysis is an importantcontext-insensitive pointer analysis, it has good time efficiency for pointer analysis.The wave propagation and deep propagation method,which is the state-of-the-arttechniques of incusion based pointer analysis on-line optimization technology, thetime and space efficiency has been promoted very well than previous algorithms, butit is still the method of context-insensitive pointer analysis, in other words,although its time efficiency has been improved but its results of pointer analysis arestill not precise enough. And the technology of cycle elimination for invocationgraph-based context-sensitive pointer analysis is the state-of-the-art techniques ofcontext-sensitive pointer analysis, which have higher time efficiency and analysisprecision than the similar technology of ontext-sensitive pointer analysis, butcompared with the wave propagation and deep propagation method, its timeefficiency is still not optimistic.Therefore, this paper in view of the deficiency of the deep propagationalgorithm, proposes an improved effective deep propagation algorithm. And then,based on the outstanding time efficiency for pointer analysis of the wave propagationand deep propagation method and the high precision of the technology of cycleelimination for invocation graph-based context-sensitive pointer analysi to proposetwo new context-sensitive wave propagation and deep propagation algorithm, in other words, through using wave or deep propagation method to optimize thetechnology of Cycle elimination for invocation graph-based context-sensitive pointeranalysis. Through the case analysis and experiments using the CIL tools in thecorresponding platform. The experimental results show that the anvanced deeppropagation algorithm is able to achieve deep propagation with smaller memoryoverhead and almost equivalent time cost to the original algorithm and deeppropagation algorithm can detect all the strongly connected components in theconstraint graph during the deep propagation process, and the new context-sensitivewave propagation and deep propagation algorithm are save about9s and10srespectively and ensure the analysis precision when the technology of cycleelimination for invocation graph-based context-sensitive pointer analysis and thenew algorithm.are all analysis the same large scale program.