CSSV

This publication has 17 references indexed in Scilit:

• Ultra-fast aliasing analysis using CLA
  Published by Association for Computing Machinery (ACM) ,2001
• On the importance of points-to analysis and other memory disambiguation methods for C programs
  Published by Association for Computing Machinery (ACM) ,2001
• A schema for interprocedural modification side-effect analysis with pointer aliasing
  ACM Transactions on Programming Languages and Systems, 2001
• ABCD
  Published by Association for Computing Machinery (ACM) ,2000
• Symbolic bounds analysis of pointers, array indices, and accessed memory regions
  Published by Association for Computing Machinery (ACM) ,2000
• Unification-based pointer analysis with directional assignments
  Published by Association for Computing Machinery (ACM) ,2000
• Elimination of redundant array subscript range checks
  ACM SIGPLAN Notices, 1995
• 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
• A precise inter-procedural data flow algorithm
  Published by Association for Computing Machinery (ACM) ,1981