Talks and Poster Presentations (with Proceedings-Entry):
B. Scholz, J. Blieberger, T. Fahringer:
"Symbolic Pointer Analysis for Detecting Memory Leaks";
Talk: ACM SIGPLAN Workshop on "Partial Evaluation and Semantics-Based Program Manipulation" (PEPM),
Boston, MA, USA;
- 2000-01-23; in: "Proceedings of the Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'00)",
It is well accepted that pointers are a common source of memory
anomalies such as loosing references to dynamic records without
deallocating them (also known as memory leaks). This paper presents a
novel pointer analysis framework that detects memory leaks by
statically analyzing the behavior of programs.
Our approach is based on symbolic evaluation of programs. Symbolic
evaluation is an advanced static symbolic analysis that is centered
around symbolic variable values, assumptions about and constraints
between variable values, and control flow information (path
conditions). As part of symbolic evaluation we introduce a new
symbolic heap algebra for modeling heap operations.
Predicates - defined over the program's input - are derived which
allow to detect memory leaks. Our approach goes beyond previous work
in the field of statically detecting memory leaks by considering
also path conditions which increases the accuracy of our results,
symbolically modeling heap data structures and heap operations.
Examples are used to illustrate the effectiveness of our approach.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
Created from the Publication Database of the Vienna University of Technology.