Experimental evaluation of numerical domains for inferring ranges

DOI10.1016/j.entcs.2018.03.002OpenAlexW2805304755WikidataQ113317578 ScholiaQ113317578MaRDI QIDQ2130561

Gianluca Amato, Marco Rubino

Publication date: 25 April 2022

Full work available at URL: https://doi.org/10.1016/j.entcs.2018.03.002

zbMATH Keywords

polyhedrastatic analysiswideningabstract interpretationnumerical domains

Mathematics Subject Classification ID

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

Uses Software

• Apron
• PPL
• Soot
• ASTREE
• ALICe

Cites Work

• Discovering invariants via simple component analysis
• The octagon abstract domain
• Precise widening operators for convex polyhedra
• Two Variables per Linear Inequality as an Abstract Domain
• Optimality in goal-dependent analysis of Sharing
• The Abstract Domain of Parallelotopes
• Stratified Static Analysis Based on Variable Dependencies
• Narrowing Operators on Template Abstract Domains
• Verification, Model Checking, and Abstract Interpretation

This page was built for publication: Experimental evaluation of numerical domains for inferring ranges