Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

13

PEPM
2000
ACM

favoriteEmaildiscussreport

113views Software Engineering» more PEPM 2000»

Symbolic Pointer Analysis for Detecting Memory Leaks

13 years 8 months ago

Symbolic Pointer Analysis for Detecting Memory Leaks

Download www.complang.tuwien.ac.at

Bernhard Scholz, Johann Blieberger, Thomas Fahring

Real-time Traffic

PEPM 2000 | Software Engineering |

claim paper

Related Content

» Static memory leak detection using fullsparse valueflow analysis

» On the Usefulness of Liveness for Garbage Collection and Leak Detection

» Path and Context Sensitive Interprocedural Memory Leak Detection

» ARCHER using symbolic pathsensitive analysis to detect memory access errors

» A practical flowsensitive and contextsensitive C and C memory leak detector

» SafeMem Exploiting ECCMemory for Detecting Memory Leaks and Memory Corruption During Produ...

» Symbolic bounds analysis of pointers array indices and accessed memory regions

» Gated memory control for memory monitoring leak detection and garbage collection

» Context and pathsensitive memory leak detection

Post Info
More Details (n/a)

Added	25 Aug 2010
Updated	25 Aug 2010
Type	Conference
Year	2000
Where	PEPM
Authors	Bernhard Scholz, Johann Blieberger, Thomas Fahringer

Comments (0)