Context-insensitive alias analysis reconsidered

This publication has 17 references indexed in Scilit:

• Efficient detection of all pointer and array access errors
  Published by Association for Computing Machinery (ACM) ,1994
• Interprocedural may-alias analysis for pointers
  Published by Association for Computing Machinery (ACM) ,1994
• Context-sensitive interprocedural points-to analysis in the presence of function pointers
  Published by Association for Computing Machinery (ACM) ,1994
• Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effects
  Published by Association for Computing Machinery (ACM) ,1993
• Efficiently computing static single assignment form and the control dependence graph
  ACM Transactions on Programming Languages and Systems, 1991
• Analysis of pointers and structures
  Published by Association for Computing Machinery (ACM) ,1990
• The interprocedural analysis and automatic parallelization of Scheme programs
  Higher-Order and Symbolic Computation, 1989
• Dependence analysis for pointer variables
  ACM SIGPLAN Notices, 1989
• Retargetable high-level alias analysis
  Published by Association for Computing Machinery (ACM) ,1986
• The design of a data flow analyzer
  Published by Association for Computing Machinery (ACM) ,1982