Static memory leak detection using full-sparse value-flow analysis

2012 International Symposium on Software Testing and Analysis, ISSTA 2012 - Proceedings

Volumn , Issue , 2012, Pages 254-264

  Sui, Yulei ^a   Ye, Ding ^a   Xue, Jingling ^a  

^a UNIVERSITY OF NEW SOUTH WALES   (Australia)

Author keywords

Memory Leaks; Sparse Value Flow Analysis; Static Analysis

Indexed keywords

ABSTRACT INTERPRETATIONS; C PROGRAMS; CONTEXT SENSITIVITY; FALSE POSITIVE RATES; MEMORY LEAKS; MEMORY LOCATIONS; POINTER ANALYSIS; REACHABILITY PROBLEM; SPARSE VALUE-FLOW ANALYSIS; STATIC MEMORY; VALUE FLOW; VIA ASSIGNMENT;

C (PROGRAMMING LANGUAGE); FLOW GRAPHS; LEAK DETECTION; SOFTWARE TESTING;

STATIC ANALYSIS;

EID: 84865287753     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/04000800.2336784     Document Type: Conference Paper

References (24)

1. D. Bruening and Q. Zhao. Practical memory checking with Dr. Memory. In CGO '11.
2. S. Cherem, L. Princehouse, and R. Rugina. Practical memory leak detection using guarded value-flow analysis. In PLDI '07.
3. F. Chow, S. Chan, S. Liu, R. Lo, and M. Streich. Effective representation of aliases and indirect memory operations in SSA form. In CC '96.
4. J. Clause and A. Orso. LEAKPOINT: pinpointing the causes of memory leaks. In ICSE '10.
5. B. Hardekopf and C. Lin. Flow-sensitive pointer analysis for millions of lines of code. In CGO '11.
6. B. Hardekopf and C. Lin. Semi-sparse flow-sensitive pointer analysis. In POPL '09.
7. D.L. Heine and M.S. Lam. A practical flow-sensitive and context-sensitive C and C++ memory leak detector. PLDI '03.
8. http://clang-analyzer.llvm.org/.
9. Y. Jung and K. Yi. Practical memory leak detector based on parameterized procedural summaries. In ISMM '08.
10. L. Li, C. Cifuentes, and N. Keynes. Boosting the performance of flow-sensitive points-to analysis using value flow. In FSE '11.
11. V.B. Livshits and M.S. Lam. Tracking pointers with path and context sensitivity for bug detection in C programs. FSE '03.
12. N. Nethercote and J. Seward. Valgrind: a framework for heavyweight dynamic binary instrumentation. PLDI '07.
13. G. Novark, E.D. Berger, and B.G. Zorn. Efficiently and precisely locating memory leaks and bloat. PLDI '09.
14. M. Orlovich and R. Rugina. Memory leak analysis by contradiction. SAS '06.
15. T. Reps, S. Horwitz, and M. Sagiv. Precise interprocedural dataflow analysis via graph reachability. In POPL '95.
16. L. Shang, X. Xie, and J. Xue. On-demand dynamic summary-based points-to analysis. In CGO '12.
17. Manu Sridharan and Rastislav Bodík. Refinement-based context-sensitive points-to analysis for Java. In PLDI '06.
18. Y. Sui, S. Ye, J. Xue, and P.C. Yew. SPAS: Scalable path-sensitive pointer analysis on full-sparse SSA. APLAS '11.
19. E. Torlak and S. Chandra. Effective interprocedural resource leak detection. In ICSE '10.
20. Y. Xie and A. Aiken. Context-and path-sensitive memory leak detection. FSE '05.
21. Y. Xie and A. Aiken. Saturn: A scalable framework for error detection using boolean satisfiability. TOPLAS '07.
22. G. Xu, M.D. Bond, F. Qin, and A. Rountev. LeakChaser: helping programmers narrow down causes of memory leaks. In PLDI '11.
23. G. Xu and A. Rountev. Precise memory leak detection for Java software using container profiling. In ICSE '08.
24. H. Yu, J. Xue, W. Huo, X. Feng, and Z. Zhang. Level by level: making flow-and context-sensitive pointer analysis scalable for millions of lines of code. In CGO '10.