XJ: Integration of XML processing into JavaTM
Matthew Harren, Mukund Raghavachari, et al.
WWW Alt. 2004
We present practical approximation methods for computing and representing interprocedural aliases for a program written in a language that includes pointers, reference parameters, and recursion. We present the following contributions: (1) a framework for interprocedural pointer alias analysis that handles function pointers by constructing the program call graph while alias analysis is being performed; (2) a flow-sensitive interprocedural pointer alias analysis algorithm; (3) a flow-insensitive interprocedural pointer alias analysis algorithm; (4) a flow-insensitive interprocedural pointer alias analysis algorithm that incorporates kill information to improve precision; (5) empirical measurements of the efficiency and precision of the three interprocedural alias analysis algorithms.
Matthew Harren, Mukund Raghavachari, et al.
WWW Alt. 2004
Martin Hirzel, Johannes Henkel, et al.
ACM SIGPLAN Notices
Jeremy Lau, Matthew Arnold, et al.
PACT 2007
Vugranam C. Sreedhar, Michael Burke, et al.
SIGPLAN Notices (ACM Special Interest Group on Programming Languages)