Heap Decomposition for Concurrent Shape Analysis

DOI10.1007/978-3-540-69166-2_24MaRDI QIDQ3522083zbMATH OpenOpenAlexFDO

Authors Roman Manevich, Tal Lev-Ami, Mooly Sagiv, G. Ramalingam, Josh Berdine

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_24

Mathematics Subject Classification ID

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

Recommendations

• Thread Quantification for Concurrent Shape Analysis
• Fragment abstraction for concurrent shape analysis
• Interprocedural Shape Analysis with Separated Heap Abstractions
• Shape-Value Abstraction for Verifying Linearizability
• Static Analysis

Cited in

(6)

• Fragment abstraction for concurrent shape analysis
• Region Analysis for Race Detection
• Thread Quantification for Concurrent Shape Analysis
• Interprocedural Shape Analysis with Separated Heap Abstractions
• A Shape Analysis for Non-linear Data Structures
• Context-aware counter abstraction

Describes a project that uses

Uses Software

• TVLA

This page was built for publication: Heap Decomposition for Concurrent Shape Analysis

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