The parallel implementation of the astrée static analyzer

  • Authors:
  • David Monniaux

  • Affiliations:
  • Centre national de la recherche scientifique (CNRS), École normale supérieure, Laboratoire d’Informatique, Paris, France

  • Venue:
  • APLAS'05 Proceedings of the Third Asian conference on Programming Languages and Systems
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

The Astrée static analyzer is a specialized tool that can prove the absence of runtime errors, including arithmetic overflows, in large critical programs. Keeping analysis times reasonable for industrial use is one of the design objectives. In this paper, we discuss the parallel implementation of the analysis.