Practical memory leak detector based on parameterized procedural summaries

摘要: We present a static analyzer that detects memory leaks in C programs. It achieves relatively high accuracy at low cost on SPEC2000 benchmarks and several open-source software packages, demonstrating its practicality competitive edge against other reported analyzers: for set of totaling 1,777 KLOCs, it found 332 bugs with 47 additional false positives (a 12.4% false-positive ratio), the average analysis speed was 720 LOC/sec.We separately analyze each procedure's behavior into summary is used analyzing call sites. Each procedural parameterized by context so can be instantiated different What information to capture has been carefully tuned should not lose any common memory-leak-related behaviors real-world programs.Because procedure summarized conventional fixpoint iteration over abstract semantics la interpretation), naturally handles arbitrary cycles from direct or indirect recursive calls.