English

The parallel implementation of the Astr\'{e}e static analyzer

Programming Languages 2007-05-23 v1 Performance
Authors: David Monniaux
View on arXiv ↗ PDF ↗ DOI ↗

Abstract

The Astr\'{e}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.

Cite

@article{arxiv.cs/0701191,
  title  = {The parallel implementation of the Astr\'{e}e static analyzer},
  author = {David Monniaux},
  journal= {arXiv preprint arXiv:cs/0701191},
  year   = {2007}
}

Related papers

View all related →
Programming Languages · Computer Science
Static Analysis of Run-Time Errors in Embedded Real-Time Parallel C Programs
Antoine Miné
2019-03-14
Distributed, Parallel, and Cluster Computing · Computer Science
Parallelware Tools: An Experimental Evaluation on POWER Systems
Manuel Arenaz, Xavier Martorell
2021-02-05
Software Engineering · Computer Science
Static Analyzers and Potential Future Research Directions for Scala: An Overview
Eljose E Sajan, Yunpeng Zhang, Liang-Chieh Cheng
2019-05-14
Distributed, Parallel, and Cluster Computing · Computer Science
Tools for Analyzing Parallel I/O
Julian M. Kunkel, Eugen Betke, Matt Bryson, Philip Carns +4
2018-07-19
Programming Languages · Computer Science
Unveiling the Power of Intermediate Representations for Static Analysis: A Survey
Bowen Zhang, Wei Chen, Hung-Chun Chiu, Charles Zhang
2024-05-22
Software Engineering · Computer Science
Scaling Symbolic Execution to Large Software Systems
Gabor Horvath, Reka Kovacs, Zoltan Porkolab
2024-08-06
Software Engineering · Computer Science
Support for Debugging Automatically Parallelized Programs
Robert Hood, Gabriele Jost
2007-05-23
Distributed, Parallel, and Cluster Computing · Computer Science
Performance Evaluation of Parallel Algorithms
Donald Ene Vincent Ike Anireh
2022-09-15
Computers and Society · Computer Science
Evaluation of Systems Programming Exercises through Tailored Static Analysis
Roberto Natella
2024-11-07
Statistical Mechanics · Physics
Rigorous proof of a phase transition of parallelizability in a one-dimensional structure assembly
Ikumi Kobayashi, Shin-ichi Sasa
2023-06-01
Programming Languages · Computer Science
An Approach to Static Performance Guarantees for Programs with Run-time Checks
Maximiliano Klemen, Nataliia Stulova, Pedro Lopez-Garcia, José F. Morales +1
2018-04-09
Logic in Computer Science · Computer Science
Pragmatics of Formally Verified Yet Efficient Static Analysis, in particular for Formally Verified Compilers
David Monniaux
2024-07-12
Software Engineering · Computer Science
On the combination of static analysis for software security assessment -- a case study of an open-source e-government project
Anh Nguyen-Duc, Manh Viet Do, Quan Luong Hong, Kiem Nguyen Khac
2021-03-25
Software Engineering · Computer Science
Self-adaptive static analysis
Eric Bodden
2017-10-23
Programming Languages · Computer Science
A Static Analyzer for Large Safety-Critical Software
Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jerôme Feret +4
2016-08-14
Logic in Computer Science · Computer Science
Edit and verify
Radu Grigore, Michał Moskal
2007-08-07
Logic in Computer Science · Computer Science
Verifying Safety-Critical Timing and Memory-Usage Properties of Embedded Software by Abstract Interpretation
Reinhold Heckmann, Christian Ferdinand
2011-11-09
Performance · Computer Science
Using performance analysis tools for parallel-in-time integrators -- Does my time-parallel code do what I think it does?
Robert Speck, Michael Knobloch, Sebastian Lührs, Andreas Gocht
2020-08-31
Software Engineering · Computer Science
Automatically Tailoring Static Analysis to Custom Usage Scenarios
Muhammad Numair Mansur, Benjamin Mariano, Maria Christakis, Jorge A. Navas +1
2020-10-01
Software Engineering · Computer Science
Checkification: A Practical Approach for Testing Static Analysis Truths
Daniela Ferreiro, Ignacio Casso, Jose F. Morales, Pedro López-García +1
2025-05-08
Software Engineering · Computer Science
Deploying Static Analysis
Flash Sheridan
2022-02-25
Artificial Intelligence · Computer Science
Efficient Implementation of the Plan Graph in STAN
M. Fox, D. Long
2011-05-30
Software Engineering · Computer Science
Parallel Program Analysis on Path Ranges
Jan Haltermanna, Marie-Christine Jakobs, Cedric Richter, Heike Wehrheim
2024-06-28
Distributed, Parallel, and Cluster Computing · Computer Science
Technical Report: Using Static Analysis to Compute Benefit of Tolerating Consistency
Duong Nguyen, Arya Tanmay Gupta, Sandeep S. Kulkarni
2022-10-10
Distributed, Parallel, and Cluster Computing · Computer Science
Parallel implementation of the coupled harmonic oscillator
Anas M. Al-Oraiqat
2017-02-09