Taming the Wrapping of Integer Arithmetic

DOI10.1007/978-3-540-74061-2_8zbMath1211.68102OpenAlexW1584710274MaRDI QIDQ3611998

Axel Simon, Andy King

Publication date: 3 March 2009

Published in: Static Analysis (Search for Journal in Brave)

Full work available at URL: https://kar.kent.ac.uk/37594/1/content.pdf

Mathematics Subject Classification ID

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

Related Items (9)

Mind the Gap: Bit-vector Interpolation recast over Linear Integer Arithmetic ⋮ Sound Bit-Precise Numerical Domains ⋮ Splitting the Control Flow with Boolean Flags ⋮ Abstract interpretation of microcontroller code: intervals meet congruences ⋮ Incremental closure for systems of two variables per inequality ⋮ Fully Bounded Polyhedral Analysis of Integers with Wrapping ⋮ Transfer Function Synthesis without Quantifier Elimination ⋮ A new abstraction framework for affine transformers ⋮ Incrementally closing octagons

Uses Software

• CSSV
• ASTREE

This page was built for publication: Taming the Wrapping of Integer Arithmetic