Three improvements to the top-down solver

DOI10.1017/S0960129521000499zbMath1489.68053OpenAlexW4210555564MaRDI QIDQ5084314

Helmut Seidl, Ralf Vogler

Publication date: 24 June 2022

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129521000499

zbMATH Keywords

static analysisabstract interpretationlocal solvers

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• Ciao
• CiaoPP
• Goblint

Cites Work

• Unnamed Item
• Why does Astrée scale up?
• The octagon abstract domain
• Parallelizing irregular and pointer-based computations automatically: Perspectives from logic and constraint programming
• A faster solver for general systems of equations
• Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
• Enhancing Top-Down Solving with Widening and Narrowing
• Static Analysis of Run-Time Errors in Embedded Real-Time Parallel C Programs
• An overview of Ciao and its design philosophy
• Relational Thread-Modular Static Value Analysis by Abstract Interpretation
• Compile-time derivation of variable dependency using abstract interpretation
• On Monadic Parametricity of Second-Order Functionals
• Abstracting Induction by Extrapolation and Interpolation
• Abstract Interpretation Frameworks
• A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs
• Enforcing termination of interprocedural analysis