Trace Partitioning in Abstract Interpretation Based Static Analyzers

This publication has 11 references indexed in Scilit:

• The ASTREÉ Analyzer
  Published by Springer Nature ,2005
• Static Analysis of Digital Filters
  Published by Springer Nature ,2004
• A static analyzer for large safety-critical software
  Published by Association for Computing Machinery (ACM) ,2003
• Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software
  Published by Springer Nature ,2002
• Improving data-flow analysis with path profiles
  Published by Association for Computing Machinery (ACM) ,1998
• Abstract interpretation by dynamic partitioning
  Journal of Functional Programming, 1992
• Static analysis of arithmetical congruences
  International Journal of Computer Mathematics, 1989
• 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