Interprocedural shape analysis for effectively cutpoint-free programs

DOI10.1007/978-3-642-37651-1_17MaRDI QIDQ4916088zbMATH OpenOpenAlexFDO

Authors

Publication date 19 April 2013

Published in Programming Logics (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

Recommendations

• Static Analysis
• Interprocedural Shape Analysis with Separated Heap Abstractions
• Static Analysis
• scientific article; zbMATH DE number 1693492
• Calling context abstraction with shapes

Cites work

• A semantics for procedure local heaps and its abstractions
• BI as an assertion language for mutable data structures
• Compositional shape analysis by means of bi-abduction
• scientific article; zbMATH DE number 1617328 (Why is no real title available?)
• scientific article; zbMATH DE number 1693492 (Why is no real title available?)
• scientific article; zbMATH DE number 3610766 (Why is no real title available?)
• scientific article; zbMATH DE number 2090862 (Why is no real title available?)
• scientific article; zbMATH DE number 2090863 (Why is no real title available?)
• Interprocedural Shape Analysis with Separated Heap Abstractions
• Precise interprocedural dataflow analysis with applications to constant propagation
• Region-based shape analysis with tracked locations
• Scalable Shape Analysis for Systems Code
• Static Analysis
• Static Analysis
• Verification, Model Checking, and Abstract Interpretation

Cited in

(5)

• Interprocedural shape analysis using separation logic-based transformer summaries
• Inference of field-sensitive reachability and cyclicity
• Interprocedural Shape Analysis with Separated Heap Abstractions
• Static Analysis
• Static Analysis

This page was built for publication: Interprocedural shape analysis for effectively cutpoint-free programs

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