Sciweavers

38 search results - page 1 / 8
» Detecting memory leaks in managed languages with Cork
Sort
View
SPE
2010
115views more  SPE 2010»
13 years 3 months ago
Detecting memory leaks in managed languages with Cork
Maria Jump, Kathryn S. McKinley
POPL
2007
ACM
14 years 5 months ago
Cork: dynamic memory leak detection for garbage-collected languages
A memory leak in a garbage-collected program occurs when the program inadvertently maintains references to objects that it no longer needs. Memory leaks cause systematic heap grow...
Maria Jump, Kathryn S. McKinley
ISSTA
2012
ACM
11 years 7 months ago
Static memory leak detection using full-sparse value-flow analysis
We introduce a static detector, Saber, for detecting memory leaks in C programs. Leveraging recent advances on sparse pointer analysis, Saber is the first to use a full-sparse va...
Yulei Sui, Ding Ye, Jingling Xue
SIGSOFT
2005
ACM
14 years 6 months ago
Context- and path-sensitive memory leak detection
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...
Yichen Xie, Alexander Aiken
ASPLOS
2006
ACM
13 years 11 months ago
Bell: bit-encoding online memory leak detection
Memory leaks compromise availability and security by crippling performance and crashing programs. Leaks are difficult to diagnose because they have no immediate symptoms. Online ...
Michael D. Bond, Kathryn S. McKinley