Unification-based pointer analysis with directional assignments

This publication has 15 references indexed in Scilit:

• Off-line variable substitution for scaling points-to analysis
  Published by Association for Computing Machinery (ACM) ,2000
• Projection merging
  Published by Association for Computing Machinery (ACM) ,2000
• Pointer analysis for programs with structures and casting
  Published by Association for Computing Machinery (ACM) ,1999
• Parametric shape analysis via 3-valued logic
  Published by Association for Computing Machinery (ACM) ,1999
• Partial online cycle elimination in inclusion constraint graphs
  Published by Association for Computing Machinery (ACM) ,1998
• Points-to analysis in almost linear time
  Published by Association for Computing Machinery (ACM) ,1996
• Is it a tree, a DAG, or a cyclic graph? A shape analysis for heap-directed pointers in C
  Published by Association for Computing Machinery (ACM) ,1996
• Efficient context-sensitive pointer analysis for C programs
  Published by Association for Computing Machinery (ACM) ,1995
• Context-sensitive interprocedural points-to analysis in the presence of function pointers
  Published by Association for Computing Machinery (ACM) ,1994
• A safe approximate algorithm for interprocedural aliasing
  Published by Association for Computing Machinery (ACM) ,1992