{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:22:01Z","timestamp":1750306921812,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,10,30]],"date-time":"2012-10-30T00:00:00Z","timestamp":1351555200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100004517","name":"Tianjin University","doi-asserted-by":"publisher","award":["12JCZDJC20800"],"award-info":[{"award-number":["12JCZDJC20800"]}],"id":[{"id":"10.13039\/501100004517","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,10,30]]},"DOI":"10.1145\/2430475.2430494","type":"proceedings-article","created":{"date-parts":[[2013,1,22]],"date-time":"2013-01-22T15:29:29Z","timestamp":1358868569000},"page":"1-9","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Interprocedural path-sensitive resource leaks detection for C programs"],"prefix":"10.1145","author":[{"given":"Xiujuan","family":"Ji","sequence":"first","affiliation":[{"name":"Nankai University, Tianjin, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jufeng","family":"Yang","sequence":"additional","affiliation":[{"name":"Nankai University, Tianjin, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jing","family":"Xu","sequence":"additional","affiliation":[{"name":"Nankai University, Tianjin, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lei","family":"Feng","sequence":"additional","affiliation":[{"name":"Nankai University, Tianjin, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaohong","family":"Li","sequence":"additional","affiliation":[{"name":"Nankai University, Tianjin, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2012,10,30]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"http:\/\/www.javaperformancetuning.com\/news\/news116.shtml.  http:\/\/www.javaperformancetuning.com\/news\/news116.shtml."},{"key":"e_1_3_2_1_2_1","first-page":"4039","author":"Service Inquiry London Ambulance","year":"1993","journal-title":"Section"},{"key":"e_1_3_2_1_3_1","unstructured":"http:\/\/issues.apache.org\/jira\/browse\/LUCENE-2106.  http:\/\/issues.apache.org\/jira\/browse\/LUCENE-2106."},{"volume-title":"Proceedings of the International Conference on Dependable Systems and Networks","year":"2003","author":"Bao Yujuan","key":"e_1_3_2_1_4_1"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-024X(200006)30:7%3C775::AID-SPE309%3E3.0.CO;2-H"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1232420.1232423"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081728"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/781131.781150"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250789"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/231379.231389"},{"volume-title":"University of Virginia","year":"2001","author":"Barker","key":"e_1_3_2_1_11_1"},{"key":"e_1_3_2_1_12_1","unstructured":"Splint. http:\/\/lclint.cs.virginia.edu.  Splint. http:\/\/lclint.cs.virginia.edu."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806876"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2008.130"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSNW.2011.5958824"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1976.233817"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512538"},{"key":"e_1_3_2_1_18_1","unstructured":"Daniel Le Berre and Anne Parrain. SAT4J: A satisfiability library for java. http:\/\/www.sat4j.org\/.  Daniel Le Berre and Anne Parrain. SAT4J: A satisfiability library for java. http:\/\/www.sat4j.org\/."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040331"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134321"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1035292.1029011"},{"key":"e_1_3_2_1_22_1","unstructured":"Radu Rugina Maksim Orlovich and Xin Zheng. Crystal: A program analysis system for C. http:\/\/www.cs.cornell.edu\/projects\/crystal.  Radu Rugina Maksim Orlovich and Xin Zheng. Crystal: A program analysis system for C. http:\/\/www.cs.cornell.edu\/projects\/crystal."},{"key":"e_1_3_2_1_23_1","unstructured":"E. R. Rs. Purify: Fast detection of memory leaks and access errors. http:\/\/citeseer.nj.nec.com\/291378.html.  E. R. Rs. Purify: Fast detection of memory leaks and access errors. http:\/\/citeseer.nj.nec.com\/291378.html."},{"key":"e_1_3_2_1_24_1","unstructured":"Chou A. 2003. Static analysis for bug finding in systems software. Ph.D. dissertation. Stanford University Stanford CA.   Chou A. 2003. Static analysis for bug finding in systems software. Ph.D. dissertation. Stanford University Stanford CA."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/11823230_26"}],"event":{"name":"Internetware '12: The Fourth Asia-Pacific Symposium on Internetware","sponsor":["NJU Nanjing University","Tsinghua University Tsinghua University","CCF China Computer Federation","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Qingdao China","acronym":"Internetware '12"},"container-title":["Proceedings of the Fourth Asia-Pacific Symposium on Internetware"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2430475.2430494","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2430475.2430494","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:35:22Z","timestamp":1750235722000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2430475.2430494"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10,30]]},"references-count":25,"alternative-id":["10.1145\/2430475.2430494","10.1145\/2430475"],"URL":"https:\/\/doi.org\/10.1145\/2430475.2430494","relation":{},"subject":[],"published":{"date-parts":[[2012,10,30]]},"assertion":[{"value":"2012-10-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}