Efficient Computation of Parameterized Pointer Information for Interprocedural Analyses

This publication has 20 references indexed in Scilit:

• Which pointer analysis should I use?
  ACM SIGSOFT Software Engineering Notes, 2000
• Scalable context-sensitive flow analysis using instantiation constraints
  ACM SIGPLAN Notices, 2000
• Modular interprocedural pointer analysis using access paths
  ACM SIGPLAN Notices, 2000
• Efficient points-to analysis for whole-program analysis
  ACM SIGSOFT Software Engineering Notes, 1999
• Interprocedural pointer alias analysis
  ACM Transactions on Programming Languages and Systems, 1999
• Pointer analysis for programs with structures and casting
  ACM SIGPLAN Notices, 1999
• Context-insensitive alias analysis reconsidered
  ACM SIGPLAN Notices, 1995
• Context-sensitive interprocedural points-to analysis in the presence of function pointers
  ACM SIGPLAN Notices, 1994
• Interprocedural def-use associations for C systems with single level pointers
  IEEE Transactions on Software Engineering, 1994
• A safe approximate algorithm for interprocedural aliasing
  ACM SIGPLAN Notices, 1992