An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software

DOI10.1007/978-3-540-73368-3_42zbMath1135.68366OpenAlexW1553910098MaRDI QIDQ5429331

Sumit Gulwani, Ashish Kumar Tiwari

Publication date: 29 November 2007

Published in: Computer Aided Verification (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73368-3_42

Mathematics Subject Classification ID

Data structures (68P05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (4)

Automatically proving termination and memory safety for programs with pointer arithmetic ⋮ The map equality domain ⋮ Quantitative separation logic and programs with lists ⋮ Region Analysis for Race Detection

This page was built for publication: An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software