{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T23:49:03Z","timestamp":1771026543527,"version":"3.50.1"},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2009,3,1]],"date-time":"2009-03-01T00:00:00Z","timestamp":1235865600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. Comput. Sci. Technol."],"published-print":{"date-parts":[[2009,3]]},"DOI":"10.1007\/s11390-009-9229-0","type":"journal-article","created":{"date-parts":[[2009,4,8]],"date-time":"2009-04-08T18:56:37Z","timestamp":1239216997000},"page":"347-356","source":"Crossref","is-referenced-by-count":11,"title":["Demand-Driven Memory Leak Detection Based on Flow- and Context-Sensitive Pointer Analysis"],"prefix":"10.1007","volume":"24","author":[{"given":"Ji","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiao-Dong","family":"Ma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wei","family":"Dong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hou-Feng","family":"Xu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wan-Wei","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,4,12]]},"reference":[{"key":"9229_CR1","unstructured":"Hastings R, Joyce B. Fast detection of memory leaks and access errors. In Proc. the Winter USENIX Conference, San Francisco, USA, Winter, 1992, pp.125\u2013136."},{"issue":"7","key":"9229_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 \u2014 Practice and Experience, 2000, 30(7): 775\u2013802.","journal-title":"Software \u2014 Practice and Experience"},{"issue":"3","key":"9229_CR3","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1145\/1232420.1232423","volume":"29","author":"Y Xie","year":"2007","unstructured":"Xie Y, Aiken A. Saturn: A scalable framework for error detection using Boolean satisfiability. ACM Trans. Program. Lang. Syst., 2007, 29(3): 16.","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"9229_CR4","doi-asserted-by":"crossref","unstructured":"Evans D. Static detection of dynamic memory errors. In Proc. SIGPLAN Conference on Programming Language Design and Implementation (PLDI\u201996), Philadelphia, USA, May 21\u201324, 1996, pp.44\u201353.","DOI":"10.1145\/231379.231389"},{"key":"9229_CR5","doi-asserted-by":"crossref","unstructured":"Engler D R, Chen D Y, Chou A. Bugs as inconsistent behavior: A general approach to inferring errors in systems code. In Proc. Symposium on Operating Systems Principles, Chateau Lake Louise, Canada, Oct. 21\u201324, 2001, pp.57\u201372.","DOI":"10.1145\/502059.502041"},{"key":"9229_CR6","doi-asserted-by":"crossref","unstructured":"Hallem S, Chelf B, Xie Y, Engler D. A system and language for building system-specific, static analyses. In Proc. the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation (PLDI\u201902), New York, NY, USA, ACM Press, 2002, pp.69\u201382.","DOI":"10.1145\/512529.512539"},{"key":"9229_CR7","doi-asserted-by":"crossref","unstructured":"Orlovich M, Rugina R. Memory leak analysis by contradiction. In Proc. SAS, Seoul, Korea, August 29\u201331, 2006, pp.405\u2013424.","DOI":"10.1007\/11823230_26"},{"key":"9229_CR8","doi-asserted-by":"crossref","unstructured":"Emami M, Ghiya R, Hendren L J. Context-sensitive interprocedural points-to analysis in the presence of function pointers. In Proc. SIGPLAN Conference on Programming Language Design and Implementation, Orlando, USA, June 20\u201324, 1994, pp.242\u2013256.","DOI":"10.1145\/178243.178264"},{"issue":"4","key":"9229_CR9","doi-asserted-by":"crossref","first-page":"848","DOI":"10.1145\/325478.325519","volume":"21","author":"M Hind","year":"1999","unstructured":"Hind M, Burke M, Carini P, Choi J D. Interprocedural pointer alias analysis. ACM Transactions on Programming Languages and Systems, 1999, 21(4): 848\u2013894.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"9229_CR10","doi-asserted-by":"crossref","unstructured":"Rugina R, Rinard M. Pointer analysis for multithreaded programs. In Proc. the ACM SIGPLAN 1999 Conference on Programming Language Design and Implementation (PLDI\u201999), New York, NY, USA, ACM Press, 1999, pp.77\u201390.","DOI":"10.1145\/301618.301645"},{"key":"9229_CR11","unstructured":"Xen source. http:\/\/www.xensource.com\/xen\/about.html ."},{"key":"9229_CR12","doi-asserted-by":"crossref","unstructured":"Wilson R P, Lam M S. Efficient context-sensitive pointer analysis for C programs. In Proc. the ACM SIGPLAN 1995 Conference on Programming Language Design and Implementation (PLDI\u201995), New York, NY, USA, ACM Press, 1995, pp.1\u201312.","DOI":"10.1145\/207110.207111"},{"key":"9229_CR13","doi-asserted-by":"crossref","unstructured":"Duesterwald E, Gupta R, Soffa M L. Demand-driven computation of interprocedural data flow. In Proc. the 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL\u201995), New York, NY, USA, ACM Press, 1995, pp.37\u201348.","DOI":"10.1145\/199448.199461"},{"key":"9229_CR14","doi-asserted-by":"crossref","unstructured":"Horwitz S, Reps T, Sagiv M. Demand interprocedural dataflow analysis. In Proc. the 3rd ACM SIGSOFT Symposium on Foundations of Software Engineering (SIGSOFT\u201995), New York, NY, USA, ACM Press, 1995, pp.104\u2013115.","DOI":"10.1145\/222124.222146"},{"key":"9229_CR15","unstructured":"Sharir M, Pnueli A. Two Approaches to Interprocedural Data Flow Analysis. Program Flow Analysis: Theory and Applications, Muchnick S, Jones N (eds.), Prentice Hall Inc, 1981."},{"issue":"2","key":"9229_CR16","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1145\/383043.381532","volume":"23","author":"B G Ryder","year":"2001","unstructured":"Ryder B G, Landi W A, Stocks P A, Zhang S, Altucher R. A schema for interprocedural modification side-effect analysis with pointer aliasing. ACM Trans. Program. Lang. Syst., 2001, 23(2): 105\u2013186.","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"9229_CR17","unstructured":"Austin T M. Pointer-intensive benchmark suite, version 1.1. 1995, http:\/\/www.cs.wisc.edu\/~austin\/ptr-dist.html ."},{"issue":"6","key":"9229_CR18","doi-asserted-by":"crossref","first-page":"290","DOI":"10.1145\/773473.178446","volume":"29","author":"T M Austin","year":"1994","unstructured":"Austin T M, Breach S E, Sohi G S. Efficient detection of all pointer and array access errors. SIGPLAN Not., 1994, 29(6): 290\u2013301.","journal-title":"SIGPLAN Not."},{"key":"9229_CR19","doi-asserted-by":"crossref","unstructured":"Cherem S, Princehouse L, Rugina R. Practical memory leak detection using guarded value-flow analysis. In Proc. the 2007 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI\u201907), New York, NY, USA, ACM Press, 2007, pp.480\u2013491.","DOI":"10.1145\/1250734.1250789"},{"key":"9229_CR20","doi-asserted-by":"crossref","unstructured":"Heine D L, Lam M S. Static detection of leaks in polymorphic containers. In Proc. ICSE, Shanghai, China, May 20\u201328, 2006, pp.252\u2013261.","DOI":"10.1145\/1134285.1134321"},{"key":"9229_CR21","doi-asserted-by":"crossref","unstructured":"Heine D L, Lam M. A practical flow-sensitive and contextsensitive C and C++ memory leak detector. In Proc. the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation, San Diego, USA, June 9\u201311, 2003, pp.168\u2013181.","DOI":"10.1145\/780822.781150"},{"key":"9229_CR22","doi-asserted-by":"crossref","unstructured":"Xie Y, Aiken A. Context- and path-sensitive memory leak detection. In Proc. the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering (ESEC\/FSE-13), New York, NY, USA, ACM Press, 2005, pp.115\u2013125.","DOI":"10.1145\/1081706.1081728"},{"key":"9229_CR23","doi-asserted-by":"crossref","unstructured":"Nurit Dor, Michael Rodeh, Shmuel Sagiv. Checking cleanness in linked lists. In Proc. Static Analysis Symposium, Santa Barbara, USA, June 29\u2013July 1, 2000, pp.115\u2013134.","DOI":"10.1007\/978-3-540-45099-3_7"},{"key":"9229_CR24","doi-asserted-by":"crossref","unstructured":"Hackett B, Rugina R. Region-based shape analysis with tracked locations. In Proc. the 32nd ACM SIGPLAN\u2013SIGACT Symposium on Principles of Programming Aanguages (POPL\u201905), New York, NY, USA, ACM Press, 2005, pp.310\u2013323.","DOI":"10.1145\/1040305.1040331"}],"container-title":["Journal of Computer Science and Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11390-009-9229-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11390-009-9229-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11390-009-9229-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,24]],"date-time":"2023-05-24T19:58:06Z","timestamp":1684958286000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11390-009-9229-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,3]]},"references-count":24,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2009,3]]}},"alternative-id":["9229"],"URL":"https:\/\/doi.org\/10.1007\/s11390-009-9229-0","relation":{},"ISSN":["1000-9000","1860-4749"],"issn-type":[{"value":"1000-9000","type":"print"},{"value":"1860-4749","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,3]]}}}