Connection analysis: A practical interprocedural heap analysis for C

This publication has 15 references indexed in Scilit:

• A storeless model of aliasing and its abstractions using finite representations of right-regular equivalence relations
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Taming control flow: a structured approach to eliminating goto statements
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• 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
• Compiling lisp programs for parallel execution
  Higher-Order and Symbolic Computation, 1991
• Analysis of pointers and structures
  Published by Association for Computing Machinery (ACM) ,1990
• Parallelizing programs with recursive data structures
  IEEE Transactions on Parallel and Distributed Systems, 1990
• The interprocedural analysis and automatic parallelization of Scheme programs
  Higher-Order and Symbolic Computation, 1989
• Dependence analysis for pointer variables
  Published by Association for Computing Machinery (ACM) ,1989
• A flexible approach to interprocedural data flow analysis and programs with recursive data structures
  Published by Association for Computing Machinery (ACM) ,1982