A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf
.
A bottom-up pointer analysis using the update history
2009
Information and Software Technology
Pointer analysis is an important part for the source code analysis of C programs. In this paper, we propose a bottom-up and flow-and context-sensitive pointer analysis algorithm, where bottom-up refers to the ability to perform the analysis from callee modules to caller modules. Our approach is based on a new modular pointer analysis domain named the update history that can abstract memory states of a procedure independently of the information on aliases between memory locations and keep the
doi:10.1016/j.infsof.2008.11.003
fatcat:6xjmjw4ptzdlrnsdvlsqqmqsqe