46 search results - page 2 / 10 » Symbolic Pointer Analysis for Detecting Memory Leaks |
PLDI
2003
ACM
13 years 11 months ago
2003
ACM
This paper presents a static analysis tool that can automatically find memory leaks and deletions of dangling pointers in large C and C++ applications. We have developed a type s...
HPCA
2005
IEEE
14 years 6 months ago
2005
IEEE
Memory leaks and memory corruption are two major forms of software bugs that severely threaten system availability and security. According to the US-CERT Vulnerability Notes Datab...
PLDI
2000
ACM
13 years 10 months ago
2000
ACM
ACMMSP
2005
ACM
13 years 11 months ago
2005
ACM
ct In the past, program monitoring often operates at the code level, performing checks at function and loop boundaries. Recent research shows that profiling analysis can identify ...
SIGSOFT
2005
ACM
14 years 6 months ago
2005
ACM
We present a context- and path-sensitive algorithm for detecting memory leaks in programs with explicit memory management. Our leak detection algorithm is based on an underlying e...