Arithmetic Strengthening for Shape Analysis

DOI10.1007/978-3-540-74061-2_26MaRDI QIDQ3612011zbMATH OpenOpenAlexFDO

Authors S. Magill, Josh Berdine, Byron Cook, Edmund Clarke

Publication date 3 March 2009

Published in Static Analysis (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

Recommendations

• Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic
• scientific article; zbMATH DE number 7361354
• Tools and Algorithms for the Construction and Analysis of Systems
• Region-based shape analysis with tracked locations
• Bottom-Up Shape Analysis

Cited in

(9)

• On the almighty wand
• Quantitative separation logic and programs with lists
• A generic framework for heap and value analyses of object-oriented programming languages
• Temporal property verification as a program analysis task
• Lightweight shape analysis based on physical types
• Proving termination of nonlinear command sequences
• Statically inferring complex heap, array, and numeric invariants
• Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic
• On the Almighty Wand

This page was built for publication: Arithmetic Strengthening for Shape Analysis

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