Quote: memory leak detector based on owning pointers; automatically inferred; a class member always or never owns its pointee at public method boundaries; found errors in binutils and apache

Quotation Skeleton

We have developed a type system to formalize … one and only one owning pointer, which holds … another owning pointer. In addition, a pointer-typed class … Programs satisfying this model do not leak memory … algorithm to automatically infer the likely ownership interfaces … leaks and double deletes. The algorithm is sound … report all possible errors. … We applied [our implementation] Clouseau to a suite of … compiler. The tool found a total of 134 … about 9 minutes … [p. 177] [For example, in binutils it reported 279 potential problems of which 66 were errors, in apache it reported 9 potential problems of which 1 was an error].   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Group: memory management   (11 topics, 346 quotes)
Topic: safe use of pointers (102 items)
Topic: owned resources and data objects (12 items)