Lightweight shape analysis based on physical types

DOI10.1007/978-3-030-94583-1_11zbMath1498.68081OpenAlexW4206254495MaRDI QIDQ2152652

Matthieu Lemerre, Olivier Nicole, 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)

Uses Software

• Cyclone

Cites Work

• Unnamed Item
• Unnamed Item
• An array content static analysis based on non-contiguous partitions
• Reduced Product Combination of Abstract Domains for Shapes
• Separating Shape Graphs
• Grammar Analysis and Parsing by Abstract Interpretation
• Shape Analysis of Low-Level C with Overlapping Structures
• Worst-case Analysis of Set Union Algorithms
• Compiling with continuations, continued
• Low-level liquid types
• Semantic-directed clumping of disjunctive abstract states
• Shape Analysis for Composite Data Structures
• Tools and Algorithms for the Construction and Analysis of Systems

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