Pointer-Range Analysis

This publication has 22 references indexed in Scilit:

• A Class of Polynomially Solvable Range Constraints for Interval Analysis without Widenings and Narrowings
  Published by Springer Nature ,2004
• Analyzing Memory Accesses in x86 Executables
  Published by Springer Nature ,2004
• Bidwidth analysis with application to silicon compilation
  ACM SIGPLAN Notices, 2000
• Experimental Comparison of Call String and Functional Approaches to Interprocedural Analysis
  Published by Springer Nature ,1999
• Constraint-based array dependence analysis
  ACM Transactions on Programming Languages and Systems, 1998
• Generalized Constant Propagation a study in C
  Published by Springer Nature ,1996
• Polaris: Improving the effectiveness of parallelizing compilers
  Published by Springer Nature ,1995
• A safe approximate algorithm for interprocedural aliasing
  ACM SIGPLAN Notices, 1992
• An implementation of interprocedural bounded regular section analysis
  IEEE Transactions on Parallel and Distributed Systems, 1991
• Economic range checks in pascal
  Software: Practice and Experience, 1978