An Improved Pointer Safe Analysis Algorithm

@inproceedings{Ying2010AnIP,
  title={An Improved Pointer Safe Analysis Algorithm},
  author={Hu Ying},
  year={2010}
}
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… CONTINUE READING

Topics from this paper.

Citations

Publications citing this paper.

The rank and relation on C++ array and pointer

  • 2011 6th IEEE Joint International Information Technology and Artificial Intelligence Conference
  • 2011
VIEW 4 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED