2 search results - page 1 / 1 » A practical flow-sensitive and context-sensitive C and C m... |
QSIC
2008
IEEE
13 years 10 months ago
2008
IEEE
This paper presents a practical path and context sensitive inter-procedural analysis method for detecting memory leaks in C programs. A novel memory object model and function summ...
PLDI
2003
ACM
13 years 9 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...