The parallel implementation of the Astrée static analyzerReportar como inadecuado

The parallel implementation of the Astrée static analyzer - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 LIENS - Laboratoire d-informatique de l-école normale supérieure

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.

Keywords : program analysis static analysis parallelization functional data structures

Autor: David Monniaux -



Documentos relacionados