Concrete Memory Models for Shape Analysis

DOI10.1016/j.entcs.2010.09.012zbMath1342.68103OpenAlexW1990602059MaRDI QIDQ2814114

Xavier Rival, Pascal Sotin, Bertrand Jeannet

Publication date: 17 June 2016

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2010.09.012

zbMATH Keywords

shape analysisprogramming language semanticsmemory modelsC-like programming languages

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Mechanized semantics for the clight subset of the C language
• Relational inductive shape analysis
• Separating Shape Graphs
• Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic
• Shape Analysis of Low-Level C with Overlapping Structures

This page was built for publication: Concrete Memory Models for Shape Analysis