Splitting the Control Flow with Boolean Flags

DOI10.1007/978-3-540-69166-2_21MaRDI QIDQ3522080zbMATH OpenOpenAlexFDO

Authors Axel Simon

Publication date 28 August 2008

Published in Static Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-69166-2_21

Mathematics Subject Classification ID

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

Recommendations

• Extending constraint-only representation of polyhedra with Boolean constraints
• Analysis of Boolean Programs
• Abstracting numeric constraints with Boolean functions
• Static Analysis in Disjunctive Numerical Domains
• Numeric bounds analysis with conflict-driven learning

Cites work

• An Improved Tight Closure Algorithm for Integer Octagonal Constraints
• Analyzing string buffers in C
• Computing Two-Dimensional Integer Hulls
• scientific article; zbMATH DE number 1670555 (Why is no real title available?)
• scientific article; zbMATH DE number 1234104 (Why is no real title available?)
• scientific article; zbMATH DE number 1744961 (Why is no real title available?)
• Not necessarily closed convex polyhedra and the double description method
• Programming Languages and Systems
• Programming Languages and Systems
• Static Analysis
• Systematic design of program transformation frameworks by abstract interpretation
• Taming the Wrapping of Integer Arithmetic
• The Computational Complexity of Simultaneous Diophantine Approximation Problems
• The octagon abstract domain
• Theory and practice of constraint handling rules
• Two variables per linear inequality as an abstract domain
• Value-range analysis of C programs. Towards proving the absence of buffer overflow vulnerabilities

Cited in

(4)

• Abstract interpretation of microcontroller code: intervals meet congruences
• A note on the inversion join for polyhedral analysis
• Linear absolute value relation analysis
• The two variable per inequality abstract domain

Describes a project that uses

Uses Software

• Octagon
• ASTREE

This page was built for publication: Splitting the Control Flow with Boolean Flags

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3522080)