Region-based shape analysis with tracked locations

DOI10.1145/1040305.1040331MaRDI QIDQ5276155zbMATH OpenOpenAlexFDO

Authors Brian Hackett, Radu Rugina

Publication date 14 July 2017

Published in Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL https://hdl.handle.net/1813/5668

zbMATH Keywords

memory leaksmemory managementshape analysisstatic error detection

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Data structures (68P05)

Recommendations

• Interprocedural Shape Analysis with Separated Heap Abstractions
• scientific article; zbMATH DE number 1693492
• Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic
• Tools and Algorithms for the Construction and Analysis of Systems
• Static Analysis

Cited in

(14)

• Lightweight shape analysis based on physical types
• scientific article; zbMATH DE number 1693492 (Why is no real title available?)
• Concrete memory models for shape analysis
• Invariants synthesis over a combined domain for automated program verification
• Access analysis-based tight localization of abstract memories
• Region Analysis for Race Detection
• Separating shape graphs
• Arithmetic Strengthening for Shape Analysis
• Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic
• Shape analysis with reference set relations
• scientific article; zbMATH DE number 2090862 (Why is no real title available?)
• Formal study of functional orbits in finite domains
• Interprocedural shape analysis for effectively cutpoint-free programs
• Maintaining Doubly-Linked List Invariants in Shape Analysis with Local Reasoning

This page was built for publication: Region-based shape analysis with tracked locations

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