31 search results - page 7 / 7 » Static Type Inference for Parametric Classes |
170
click to vote
PLDI
2003
ACM
15 years 8 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...