A Shape Analysis for Non-linear Data Structures

DOI10.1007/978-3-642-15769-1_13MaRDI QIDQ4930728zbMATH OpenOpenAlexFDO

Authors Renato Cherini, Lucas Rearte, Javier Blanco

Publication date 1 October 2010

Published in Static Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-15769-1_13

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Data structures (68P05)

Recommendations

• Shape Analysis for Composite Data Structures
• Shape neutral analysis of graph-based data-structures
• scientific article; zbMATH DE number 1940294
• Shape Analysis in the Absence of Pointers and Structure
• Shape Analysis by Graph Decomposition
• A shape analysis for optimizing parallel graph programs
• Shape analysis of sets
• Heap Decomposition for Concurrent Shape Analysis
• Shape and object data analysis

Cited in

(14)

• A semantics for shape
• Data structures and algorithms analysis -- new perspectives. Volume 2: Data structures based on nonlinear relations and data processing methods
• A divide-and-conquer approach for analysing overlaid data structures
• Towards dynamic shaping
• Scalable Shape Analysis for Systems Code
• Shape analysis of low-level C with overlapping structures
• Shape Analysis in the Absence of Pointers and Structure
• Shape neutral analysis of graph-based data-structures
• From shape analysis to termination analysis in linear time
• Learning shape analysis
• Shape Analysis for Composite Data Structures
• Maintaining Doubly-Linked List Invariants in Shape Analysis with Local Reasoning
• Static Analysis
• Shape Analysis by Graph Decomposition

Describes a project that uses

Uses Software

• TVLA
• jStar
• VeriFast

This page was built for publication: A Shape Analysis for Non-linear Data Structures

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