Interprocedural shape analysis using separation logic-based transformer summaries

DOI10.1007/978-3-030-65474-0_12zbMath1474.68054OpenAlexW3120385058MaRDI QIDQ2233537

Matthieu Lemerre, Hugo Illous, Xavier Rival

Publication date: 18 October 2021

Full work available at URL: https://hal.inria.fr/hal-03081558/file/sas.pdf

Mathematics Subject Classification ID

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

Related Items (1)

Lifting numeric relational domains to algebraic data types

Cites Work

• Unnamed Item
• Axiomatic approach to total correctness of programs
• Bottom-Up Shape Analysis
• Precise interprocedural analysis through linear algebra
• A semantics for procedure local heaps and its abstractions
• Calling context abstraction with shapes
• Static Analysis
• Static Analysis
• Tools and Algorithms for the Construction and Analysis of Systems

This page was built for publication: Interprocedural shape analysis using separation logic-based transformer summaries