Lightweight shape analysis based on physical types

DOI10.1007/978-3-030-94583-1_11MaRDI QIDQ2152652zbMATH OpenOpenAlexFDO

Authors Olivier Nicole, Matthieu Lemerre, Xavier Rival

Publication date 8 July 2022

Full work available at URL https://doi.org/10.1007/978-3-030-94583-1_11

Mathematics Subject Classification ID

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

Recommendations

• Region-based shape analysis with tracked locations
• Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic
• Arithmetic Strengthening for Shape Analysis
• Languages and Compilers for Parallel Computing
• Concrete memory models for shape analysis

Cites work

• scientific article; zbMATH DE number 1948397 (Why is no real title available?)
• scientific article; zbMATH DE number 7361354 (Why is no real title available?)
• An array content static analysis based on non-contiguous partitions
• Compiling with continuations, continued
• Grammar Analysis and Parsing by Abstract Interpretation
• Low-level liquid types
• Reduced product combination of abstract domains for shapes
• Semantic-directed clumping of disjunctive abstract states
• Separating shape graphs
• Shape Analysis for Composite Data Structures
• Shape analysis of low-level C with overlapping structures
• Tools and Algorithms for the Construction and Analysis of Systems
• Worst-case Analysis of Set Union Algorithms

Describes a project that uses

Uses Software

• Cyclone

This page was built for publication: Lightweight shape analysis based on physical types

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