An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software
Authors:
- 29 August 2007
- book chapter
- Published by Springer Nature
- p. 379-392
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- Combining abstract interpreters2006
- A Local Shape Analysis Based on Separation Logic2006
- Interprocedural Shape Analysis with Separated Heap AbstractionsLecture Notes in Computer Science, 2006
- Beyond Reachability: Shape Abstraction in the Presence of Pointer ArithmeticLecture Notes in Computer Science, 2006
- A framework for numeric analysis of array operations2005
- A case study of C source code verification: the Schorr-Waite algorithm2005
- Type-based race detection for Java2000
- Interprocedural may-alias analysis for pointers1994
- Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effects1993
- Analysis of pointers and structures1990