Static Analysis
From MaRDI portal
Publication:5897438
DOI10.1007/11547662zbMath1141.68375OpenAlexW4229853237MaRDI QIDQ5897438
Noam Rinetzky, Eran Yahav, Mooly Sagiv
Publication date: 31 October 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11547662
Related Items (5)
Abstract Domains for Automated Reasoning about List-Manipulating Programs with Infinite Data ⋮ Precise Interprocedural Analysis in the Presence of Pointers to the Stack ⋮ Interprocedural shape analysis using separation logic-based transformer summaries ⋮ Interprocedural Shape Analysis for Effectively Cutpoint-Free Programs ⋮ Access Analysis-Based Tight Localization of Abstract Memories
This page was built for publication: Static Analysis
