Efficient Points-to Analysis for Whole-Program Analysis

This publication has 15 references indexed in Scilit:

• Effective whole-program analysis in the presence of pointers
  ACM SIGSOFT Software Engineering Notes, 1998
• The effects of the precision of pointer analysis
  Published by Springer Nature ,1997
• Program decomposition for pointer aliasing
  ACM SIGSOFT Software Engineering Notes, 1996
• Separate computation of alias information for reuse
  IEEE Transactions on Software Engineering, 1996
• Points-to analysis by type inference of programs with structures and unions
  Published by Springer Nature ,1996
• Flow-insensitive interprocedural alias analysis in the presence of pointers
  Published by Springer Nature ,1995
• Context-sensitive interprocedural points-to analysis in the presence of function pointers
  ACM SIGPLAN Notices, 1994
• Efficient computation of interprocedural definition-use chains
  ACM Transactions on Programming Languages and Systems, 1994
• A safe approximate algorithm for interprocedural aliasing
  ACM SIGPLAN Notices, 1992
• Interprocedural slicing using dependence graphs
  ACM Transactions on Programming Languages and Systems, 1990