共 50 条
- [1] Static memory leak detection based on a new memory model [J]. PROCEEDINGS OF THE 2016 INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND ENGINEERING APPLICATIONS, 2016, 63 : 389 - 394
- [3] Cork: Dynamic Memory Leak Detection for Garbage-Collected Languages [J]. CONFERENCE RECORD OF POPL 2007: THE 34TH ACM SIGPLAN SIGACT SYMPOSIUM ON PRINCIPLES OF PROGAMMING LANGUAGES, 2007, : 31 - 38
- [6] Melton: a practical and precise memory leak detection tool for C programs [J]. Frontiers of Computer Science, 2015, 9 : 34 - 54
- [8] Practical Memory Leak Detection using Guarded Value-Flow Analysis [J]. PLDI'07: PROCEEDINGS OF THE 2007 ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION, 2007, : 480 - 491
- [9] Detecting memory leaks in managed languages with Cork [J]. SOFTWARE-PRACTICE & EXPERIENCE, 2010, 40 (01): : 1 - 22
- [10] Static Analysis of Memory Leak in Android Applications [J]. PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON MECHATRONICS, MATERIALS, CHEMISTRY AND COMPUTER ENGINEERING 2015 (ICMMCCE 2015), 2015, 39 : 1023 - 1027