Precise and efficient static array bound checking for large embedded C programs

This publication has 10 references indexed in Scilit:

• Precise Call Graphs for C Programs with Function Pointers
  Automated Software Engineering, 2004
• A static analyzer for large safety-critical software
  Published by Association for Computing Machinery (ACM) ,2003
• Modular Static Program Analysis
  Published by Springer Nature ,2002
• Ultra-fast aliasing analysis using CLA
  Published by Association for Computing Machinery (ACM) ,2001
• Unification-based pointer analysis with directional assignments
  Published by Association for Computing Machinery (ACM) ,2000
• Abstract Interpretation Frameworks
  Journal of Logic and Computation, 1992
• Abstract interpretation and application to logic programs
  The Journal of Logic Programming, 1992
• Systematic design of program analysis frameworks
  Published by Association for Computing Machinery (ACM) ,1979
• Automatic discovery of linear restraints among variables of a program
  Published by Association for Computing Machinery (ACM) ,1978
• Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
  Published by Association for Computing Machinery (ACM) ,1977