Region-based shape analysis with tracked locations

DOI10.1145/1040305.1040331zbMath1369.68140OpenAlexW2082827821MaRDI QIDQ5276155

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 managementshape analysismemory leaksstatic error detection

Mathematics Subject Classification ID

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

Related Items (4)

Formal study of functional orbits in finite domains ⋮ Interprocedural Shape Analysis for Effectively Cutpoint-Free Programs ⋮ Region Analysis for Race Detection ⋮ Invariants Synthesis over a Combined Domain for Automated Program Verification

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