Semi-sparse flow-sensitive pointer analysis
- 21 January 2009
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 44 (1), 226-238
- https://doi.org/10.1145/1594834.1480911
Abstract
No abstract availableThis publication has 40 references indexed in Scilit:
- Error checking with client-driven pointer analysisScience of Computer Programming, 2005
- Compiler support for speculative multithreading architecture with probabilistic points-to analysisACM SIGPLAN Notices, 2003
- Algorithms for computing the static single assignment formJournal of the ACM, 2003
- On sparse evaluation representationsTheoretical Computer Science, 2002
- Compiler support for scalable and efficient memory systemsIEEE Transactions on Computers, 2001
- Modular interprocedural pointer analysis using access pathsACM SIGPLAN Notices, 2000
- Off-line variable substitution for scaling points-to analysisACM SIGPLAN Notices, 2000
- Interprocedural pointer alias analysisACM Transactions on Programming Languages and Systems, 1999
- Efficiently computing Φ-nodes on-the-flyACM Transactions on Programming Languages and Systems, 1995
- Efficiently computing static single assignment form and the control dependence graphACM Transactions on Programming Languages and Systems, 1991