Splitting the Control Flow with Boolean Flags

DOI10.1007/978-3-540-69166-2_21zbMath1149.68367OpenAlexW1869764317MaRDI QIDQ3522080

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)

Related Items

Abstract interpretation of microcontroller code: intervals meet congruences ⋮ The two variable per inequality abstract domain ⋮ Linear Absolute Value Relation Analysis ⋮ A Note on the Inversion Join for Polyhedral Analysis

Uses Software

• Octagon
• ASTREE

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The octagon abstract domain
• Not necessarily closed convex polyhedra and the double description method
• Analyzing String Buffers in C
• Two Variables per Linear Inequality as an Abstract Domain
• Taming the Wrapping of Integer Arithmetic
• The Computational Complexity of Simultaneous Diophantine Approximation Problems
• Theory and practice of constraint handling rules
• Computing Two-Dimensional Integer Hulls
• Systematic design of program transformation frameworks by abstract interpretation
• Programming Languages and Systems
• Programming Languages and Systems
• An Improved Tight Closure Algorithm for Integer Octagonal Constraints
• Static Analysis