{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,4]],"date-time":"2026-02-04T16:15:39Z","timestamp":1770221739406,"version":"3.49.0"},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2014,12,29]],"date-time":"2014-12-29T00:00:00Z","timestamp":1419811200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Front. Comput. Sci."],"published-print":{"date-parts":[[2015,2]]},"DOI":"10.1007\/s11704-014-3460-8","type":"journal-article","created":{"date-parts":[[2014,12,29]],"date-time":"2014-12-29T05:52:32Z","timestamp":1419832352000},"page":"34-54","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":19,"title":["Melton: a practical and precise memory leak detection tool for C programs"],"prefix":"10.1007","volume":"9","author":[{"given":"Zhenbo","family":"Xu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jian","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhongxing","family":"Xu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,12,29]]},"reference":[{"key":"3460_CR1","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1145\/231379.231389","volume-title":"Proceedings of the ACM SIGPLAN 1996 Conference on Programming Language Design an Implementation","author":"D Evans","year":"1996","unstructured":"Evans D. Static detection of dynamic memory errors. In: Proceedings of the ACM SIGPLAN 1996 Conference on Programming Language Design an Implementation. 1996, 44\u201353"},{"issue":"7","key":"3460_CR2","doi-asserted-by":"crossref","first-page":"775","DOI":"10.1002\/(SICI)1097-024X(200006)30:7<775::AID-SPE309>3.0.CO;2-H","volume":"30","author":"W R Bush","year":"2000","unstructured":"Bush W R, Pincus J D, Sielaff D J. A static analyzer for finding dynamic programming errors. Software-Practice and Experience, 2000, 30(7): 775\u2013802","journal-title":"Software-Practice and Experience"},{"key":"3460_CR3","doi-asserted-by":"crossref","first-page":"168","DOI":"10.1145\/781131.781150","volume-title":"Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation","author":"D L Heine","year":"2003","unstructured":"Heine D L, Lam M S. A practical flow-sensitive and context-sensitive C and C++ memory leak detector. In: Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation. 2003, 168\u2013181"},{"key":"3460_CR4","first-page":"115","volume-title":"Proceedings of the 2005 Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering","author":"Y Xie","year":"2005","unstructured":"Xie Y, Aiken A. Context- and path-sensitive memory leak detection. In: Proceedings of the 2005 Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering. 2005, 115\u2013125"},{"key":"3460_CR5","doi-asserted-by":"crossref","first-page":"405","DOI":"10.1007\/11823230_26","volume-title":"International Static Analysis Symposium","author":"M Orlovich","year":"2006","unstructured":"Orlovich M, Rugina R. Memory leak analysis by contradiction. In: International Static Analysis Symposium. 2006, 405\u2013424"},{"key":"3460_CR6","doi-asserted-by":"crossref","first-page":"480","DOI":"10.1145\/1250734.1250789","volume-title":"Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation","author":"S Cherem","year":"2007","unstructured":"Cherem S, Princehouse L, Rugina R. Practical memory leak detection using guarded value-flow analysis. In: Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation. 2007, 480\u2013491"},{"key":"3460_CR7","doi-asserted-by":"crossref","first-page":"412","DOI":"10.1109\/QSIC.2008.12","volume-title":"Proceedings of the 2008 International Conference on Quality Software","author":"Z Xu","year":"2008","unstructured":"Xu Z, Zhang J. Path and context sensitive inter-procedural memory leak detection. In: Proceedings of the 2008 International Conference on Quality Software. 2008, 412\u2013420"},{"key":"3460_CR8","first-page":"131","volume-title":"Proceedings of the 2008 International Symposium on Memory Management","author":"Y Jung","year":"2008","unstructured":"Jung Y, Yi K. Practical memory leak detector based on parameterized procedural summaries. In: Proceedings of the 2008 International Symposium on Memory Management. 2008, 131\u2013140"},{"key":"3460_CR9","first-page":"347","volume-title":"Journal of Computer Science and Technology","author":"J Wang","year":"2009","unstructured":"Wang J, Ma X D, Dong W, Xu H F, Liu W W. Demand-driven memory leak detection based on flow and context-sensitive pointer analysis. Journal of Computer Science and Technology, 2009, 347\u2013356"},{"key":"3460_CR10","doi-asserted-by":"crossref","first-page":"254","DOI":"10.1145\/2338965.2336784","volume-title":"Proceedings of the 2012 International Symposium on Software Testing and Analysis","author":"Y Sui","year":"2012","unstructured":"Sui Y, Ye D, Xue J. Static memory leak detection using full-sparse value-flow analysis. In: Proceedings of the 2012 International Symposium on Software Testing and Analysis. 2012, 254\u2013264"},{"key":"3460_CR11","doi-asserted-by":"crossref","first-page":"535","DOI":"10.1007\/978-3-642-16558-0_44","volume-title":"Proceedings of the 2010 International Symposium on Leveraging Applications of Formal Methods, Verification and Validation","author":"Z Xu","year":"2010","unstructured":"Xu Z, Kremenek T, Zhang J. A memory model for static analysis of C programs. In: Proceedings of the 2010 International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. 2010, 535\u2013548"},{"key":"3460_CR12","first-page":"125","volume-title":"Proceedings of theWinter USENIX Conference","author":"R Hastings","year":"1992","unstructured":"Hastings R, Joyce B. Purify: fast detection of memory leaks and access errors. In: Proceedings of theWinter USENIX Conference. 1992, 125\u2013138"},{"key":"3460_CR13","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1007\/978-3-540-45070-2_16","volume-title":"Proceedings of the 2003 European Conference on Object-Oriented Programming","author":"N Mitchell","year":"2003","unstructured":"Mitchell N, Sevitsky G. Leakbot: an automated and lightweight tool for diagnosing memory leaks in large java applications. In: Proceedings of the 2003 European Conference on Object-Oriented Programming. 2003, 351\u2013377"},{"key":"3460_CR14","doi-asserted-by":"crossref","first-page":"156","DOI":"10.1145\/1024393.1024412","volume-title":"Proceedings of the 11th International Conference on Architectural Support for Programming Languages and Operating Systems","author":"M Hauswirth","year":"2004","unstructured":"Hauswirth M, Chilimbi T M. Low-overhead memory leak detection using adaptive statistical profiling. In: Proceedings of the 11th International Conference on Architectural Support for Programming Languages and Operating Systems. 2004, 156\u2013164"},{"key":"3460_CR15","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1145\/1168857.1168866","volume-title":"Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems","author":"MD Bond","year":"2006","unstructured":"Bond MD, McKinley K S. Bell: bit-encoding online memory leak detection. In: Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems. 2006, 61\u201372"},{"key":"3460_CR16","first-page":"31","volume-title":"Proceedings of the 34th Annual ACMSIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"M Jump","year":"2007","unstructured":"Jump M, McKinley K S. Cork: dynamic memory leak detection for garbage-collected languages. In: Proceedings of the 34th Annual ACMSIGPLAN-SIGACT Symposium on Principles of Programming Languages. 2007, 31\u201338"},{"key":"3460_CR17","first-page":"151","volume-title":"Proceedings of the 2008 International Conference on Software Engineering","author":"G Xu","year":"2008","unstructured":"Xu G, Rountev A. Precise memory leak detection for java software using container profiling. In: Proceedings of the 2008 International Conference on Software Engineering. 2008, 151\u2013160"},{"key":"3460_CR18","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1007\/978-3-642-12029-9_20","volume-title":"Proceedings of Fundamental Approaches to Software Engineering","author":"D Distefano","year":"2010","unstructured":"Distefano D, Filipovi\u0107 I. Memory leaks detection in java by biabductive inference. In: Proceedings of Fundamental Approaches to Software Engineering. 2010, 278\u2013292"},{"key":"3460_CR19","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1145\/1065010.1065036","volume-title":"Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation","author":"P Godefroid","year":"2005","unstructured":"Godefroid P, Klarlund N, Sen K. DART: Directed automated random testing. In: Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation. 2005, 213\u2013223"},{"key":"3460_CR20","first-page":"263","volume-title":"Proceedings of the 2005 Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering","author":"K Sen","year":"2005","unstructured":"Sen K, Marinov D, Agha G. CUTE: a concolic unit testing engine for c. In: Proceedings of the 2005 Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering. 2005, 263\u2013272"},{"key":"3460_CR21","first-page":"322","volume-title":"Proceedings of the 2006 Conference on Computer and Communications Security","author":"C Cadar","year":"2006","unstructured":"Cadar C, Ganesh V, Pawlowski P M, Dill D L, Engler D R. EXE: Automatically generating inputs of death. In: Proceedings of the 2006 Conference on Computer and Communications Security. 2006, 322\u2013335"},{"key":"3460_CR22","first-page":"351","volume-title":"Proceedings of the 1st Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages","author":"Y Xie","year":"2005","unstructured":"Xie Y, Aiken A. Scalable error detection using Boolean satisfiability. In: Proceedings of the 1st Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages. 2005, 351\u2013363"},{"key":"3460_CR23","first-page":"194","volume-title":"Proceedings of Principles of Programming Languages","author":"G A Kildall","year":"1973","unstructured":"Kildall G A. A unified approach to global program optimization. In: Proceedings of Principles of Programming Languages. 1973, 194\u2013206"},{"key":"3460_CR24","first-page":"515","volume-title":"Proceedings of the 2010 International Conference on Software Engineering","author":"J Clause","year":"2010","unstructured":"Clause J, Orso A. Leakpoint: pinpointing the causes of memory leaks. In: Proceedings of the 2010 International Conference on Software Engineering. 2010, 515\u2013524"},{"key":"3460_CR25","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1145\/143095.143137","volume-title":"Proceedings of the ACM SIGPLAN 1992 Conference on Programming Language Design and Implementation","author":"W Landi","year":"1992","unstructured":"Landi W, Ryder B G. A safe approximate algorithm for interprocedural aliasing. In: Proceedings of the ACM SIGPLAN 1992 Conference on Programming Language Design and Implementation. 1992, 235\u2013248"},{"key":"3460_CR26","unstructured":"Clang: a C language family frontend for LLVM. http:\/\/clang.llvm.org"},{"key":"3460_CR27","unstructured":"Clang static analyzer. http:\/\/clang-analyzer.llvm.org"},{"key":"3460_CR28","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1109\/APSEC.2011.22","volume-title":"Proceedings of the 2011 Asia-Pacific Software Engineering Conference","author":"Z Xu","year":"2011","unstructured":"Xu Z, Zhang J, Xu Z. Memory leak detection based on memory state transition graph. In: Proceedings of the 2011 Asia-Pacific Software Engineering Conference. 2011, 33\u201340"},{"key":"3460_CR29","doi-asserted-by":"crossref","first-page":"519","DOI":"10.1007\/978-3-540-73368-3_52","volume":"4590","author":"V Ganesh","year":"2007","unstructured":"Ganesh V, Dill D L. A decision procedure for bit-vectors and arrays. Lecture Notes in Computer Science, 2007, 4590, 519\u2013531","journal-title":"Lecture Notes in Computer Science"}],"container-title":["Frontiers of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-014-3460-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11704-014-3460-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-014-3460-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,25]],"date-time":"2022-04-25T14:20:54Z","timestamp":1650896454000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11704-014-3460-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,12,29]]},"references-count":29,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2015,2]]}},"alternative-id":["3460"],"URL":"https:\/\/doi.org\/10.1007\/s11704-014-3460-8","relation":{},"ISSN":["2095-2228","2095-2236"],"issn-type":[{"value":"2095-2228","type":"print"},{"value":"2095-2236","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,12,29]]}}}