Title: An Improved Pointer Safe Analysis Algorithm
Abstract: The safety of pointer is quite common in C programs,which affects the safety of a system enormously.The paper focuses the precision of the pointer static analysis,and presents an analysis of the current algorithms,and then proposes an improved pointer static analysis algorithm.Based on the Steensgaard algorithm,the control flow graph is improved,through which a more precise result of pointer analysis is obtained.The result is more precise than the current flow-insensitive pointer analysis.The algorithm is implemented in the compiler,which is the first commercial compiler developed in our lab.The results indicate that the algorithm can improve the precision of pointer analysis.
Publication Year: 2010
Publication Date: 2010-01-01
Language: en
Type: article
Access and Citation
Cited By Count: 1
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot