{"id":"https://openalex.org/W2015927945","doi":"https://doi.org/10.1145/2430475.2430494","title":"Interprocedural path-sensitive resource leaks detection for C programs","display_name":"Interprocedural path-sensitive resource leaks detection for C programs","publication_year":2012,"publication_date":"2012-10-30","ids":{"openalex":"https://openalex.org/W2015927945","doi":"https://doi.org/10.1145/2430475.2430494","mag":"2015927945"},"language":"en","primary_location":{"id":"doi:10.1145/2430475.2430494","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2430475.2430494","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Fourth Asia-Pacific Symposium on Internetware","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5037929638","display_name":"Xiujuan Ji","orcid":null},"institutions":[{"id":"https://openalex.org/I205237279","display_name":"Nankai University","ror":"https://ror.org/01y1kjr75","country_code":"CN","type":"education","lineage":["https://openalex.org/I205237279"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Xiujuan Ji","raw_affiliation_strings":["Nankai University, Tianjin, China","Nankai University, Tianjin, China)"],"affiliations":[{"raw_affiliation_string":"Nankai University, Tianjin, China","institution_ids":["https://openalex.org/I205237279"]},{"raw_affiliation_string":"Nankai University, Tianjin, China)","institution_ids":["https://openalex.org/I205237279"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5089409678","display_name":"Jufeng Yang","orcid":"https://orcid.org/0000-0003-0219-3443"},"institutions":[{"id":"https://openalex.org/I205237279","display_name":"Nankai University","ror":"https://ror.org/01y1kjr75","country_code":"CN","type":"education","lineage":["https://openalex.org/I205237279"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jufeng Yang","raw_affiliation_strings":["Nankai University, Tianjin, China","Nankai University, Tianjin, China)"],"affiliations":[{"raw_affiliation_string":"Nankai University, Tianjin, China","institution_ids":["https://openalex.org/I205237279"]},{"raw_affiliation_string":"Nankai University, Tianjin, China)","institution_ids":["https://openalex.org/I205237279"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042066408","display_name":"Jing Xu","orcid":"https://orcid.org/0000-0001-8532-2241"},"institutions":[{"id":"https://openalex.org/I205237279","display_name":"Nankai University","ror":"https://ror.org/01y1kjr75","country_code":"CN","type":"education","lineage":["https://openalex.org/I205237279"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jing Xu","raw_affiliation_strings":["Nankai University, Tianjin, China","Nankai University, Tianjin, China)"],"affiliations":[{"raw_affiliation_string":"Nankai University, Tianjin, China","institution_ids":["https://openalex.org/I205237279"]},{"raw_affiliation_string":"Nankai University, Tianjin, China)","institution_ids":["https://openalex.org/I205237279"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059665891","display_name":"Lei Feng","orcid":"https://orcid.org/0000-0003-3494-5590"},"institutions":[{"id":"https://openalex.org/I205237279","display_name":"Nankai University","ror":"https://ror.org/01y1kjr75","country_code":"CN","type":"education","lineage":["https://openalex.org/I205237279"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Lei Feng","raw_affiliation_strings":["Nankai University, Tianjin, China","Nankai University, Tianjin, China)"],"affiliations":[{"raw_affiliation_string":"Nankai University, Tianjin, China","institution_ids":["https://openalex.org/I205237279"]},{"raw_affiliation_string":"Nankai University, Tianjin, China)","institution_ids":["https://openalex.org/I205237279"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100451509","display_name":"Xiaohong Li","orcid":"https://orcid.org/0000-0002-0752-6764"},"institutions":[{"id":"https://openalex.org/I205237279","display_name":"Nankai University","ror":"https://ror.org/01y1kjr75","country_code":"CN","type":"education","lineage":["https://openalex.org/I205237279"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaohong Li","raw_affiliation_strings":["Nankai University, Tianjin, China","Nankai University, Tianjin, China)"],"affiliations":[{"raw_affiliation_string":"Nankai University, Tianjin, China","institution_ids":["https://openalex.org/I205237279"]},{"raw_affiliation_string":"Nankai University, Tianjin, China)","institution_ids":["https://openalex.org/I205237279"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5037929638"],"corresponding_institution_ids":["https://openalex.org/I205237279"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.08806446,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"9"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9973999857902527,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.994700014591217,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7692087888717651},{"id":"https://openalex.org/keywords/resource","display_name":"Resource (disambiguation)","score":0.6656850576400757},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.646345317363739},{"id":"https://openalex.org/keywords/leak","display_name":"Leak","score":0.46323105692863464},{"id":"https://openalex.org/keywords/leak-detection","display_name":"Leak detection","score":0.46066442131996155},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.45876210927963257},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.43316712975502014},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.43275177478790283},{"id":"https://openalex.org/keywords/data-flow-analysis","display_name":"Data-flow analysis","score":0.4200100898742676},{"id":"https://openalex.org/keywords/data-flow-diagram","display_name":"Data flow diagram","score":0.37513893842697144},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.3317657709121704},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.23614326119422913},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.2220422923564911},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.21769362688064575},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.19273248314857483},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.10723134875297546},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.08322227001190186}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7692087888717651},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.6656850576400757},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.646345317363739},{"id":"https://openalex.org/C2780378346","wikidata":"https://www.wikidata.org/wiki/Q1349983","display_name":"Leak","level":2,"score":0.46323105692863464},{"id":"https://openalex.org/C2987355568","wikidata":"https://www.wikidata.org/wiki/Q4420957","display_name":"Leak detection","level":3,"score":0.46066442131996155},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.45876210927963257},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.43316712975502014},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.43275177478790283},{"id":"https://openalex.org/C88468194","wikidata":"https://www.wikidata.org/wiki/Q1172416","display_name":"Data-flow analysis","level":3,"score":0.4200100898742676},{"id":"https://openalex.org/C489000","wikidata":"https://www.wikidata.org/wiki/Q747385","display_name":"Data flow diagram","level":2,"score":0.37513893842697144},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.3317657709121704},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.23614326119422913},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.2220422923564911},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.21769362688064575},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.19273248314857483},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.10723134875297546},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.08322227001190186},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C87717796","wikidata":"https://www.wikidata.org/wiki/Q146326","display_name":"Environmental engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2430475.2430494","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2430475.2430494","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Fourth Asia-Pacific Symposium on Internetware","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2848545217","display_name":null,"funder_award_id":"12JCZDJC20800","funder_id":"https://openalex.org/F4320322701","funder_display_name":"Tianjin University"}],"funders":[{"id":"https://openalex.org/F4320321133","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35"},{"id":"https://openalex.org/F4320322701","display_name":"Tianjin University","ror":"https://ror.org/012tb2g32"},{"id":"https://openalex.org/F4320326190","display_name":"Tianjin Science and Technology Committee","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W1492018576","https://openalex.org/W1554164734","https://openalex.org/W1989657183","https://openalex.org/W1991546210","https://openalex.org/W2007181618","https://openalex.org/W2082827821","https://openalex.org/W2084974764","https://openalex.org/W2103714221","https://openalex.org/W2109276114","https://openalex.org/W2121094954","https://openalex.org/W2124377830","https://openalex.org/W2129262850","https://openalex.org/W2130336012","https://openalex.org/W2132397295","https://openalex.org/W2138369269","https://openalex.org/W2158729283","https://openalex.org/W2166140339","https://openalex.org/W4232590519","https://openalex.org/W4236715026","https://openalex.org/W4244800399"],"related_works":["https://openalex.org/W2357422790","https://openalex.org/W1968766800","https://openalex.org/W1553563528","https://openalex.org/W2089419128","https://openalex.org/W2271340062","https://openalex.org/W2356864307","https://openalex.org/W4389695218","https://openalex.org/W2371267147","https://openalex.org/W2391748782","https://openalex.org/W1997045795"],"abstract_inverted_index":{"In":[0],"this":[1],"paper,":[2],"we":[3],"present":[4],"a":[5,148],"new":[6],"tool,":[7],"RL_Detector,":[8],"which":[9],"performs":[10],"static":[11],"analysis":[12],"to":[13,61,96],"detect":[14],"resource":[15,33,40,45,50,91,111],"leaks":[16],"for":[17],"C":[18],"programs.":[19],"The":[20],"algorithm":[21],"is":[22,28,51,94],"inter-procedural":[23],"and":[24,26,69,117,139],"path-sensitive,":[25],"it":[27,56],"based":[29],"on":[30,141],"an":[31,119],"underlying":[32],"management":[34],"property:":[35],"the":[36,49,59,63,67,75,87,90,97,114,124,130,133],"data":[37,76],"flow":[38,77],"from":[39],"allocation":[41],"point":[42],"must":[43],"reach":[44],"deallocation":[46],"point,":[47],"otherwise":[48],"leaked.":[52],"For":[53],"each":[54],"resource,":[55],"symbolically":[57],"executes":[58],"program":[60],"collect":[62],"constraints":[64],"of":[65,85,99,143,145,150],"all":[66,86],"paths":[68],"recorded":[70],"as":[71],"some":[72],"sets.":[73],"Then":[74],"condition":[78],"can":[79],"be":[80],"computed":[81],"through":[82],"these":[83],"sets":[84],"paths.":[88],"Finally,":[89],"leak":[92,112],"detection":[93],"reduced":[95],"satisfiability":[98],"DFC":[100],"(the":[101],"Data":[102],"Flow":[103],"Condition).":[104],"It":[105],"has":[106],"been":[107],"effective":[108],"at":[109],"detecting":[110],"in":[113,118,147],"SPEC2000":[115],"benchmarks":[116],"open":[120],"source":[121],"software":[122],"project,":[123],"actual":[125],"test":[126],"results":[127],"show":[128],"that":[129],"tool":[131],"keeps":[132],"false":[134],"positive":[135],"rate":[136],"below":[137],"10%":[138],"works":[140],"millions":[142],"lines":[144],"code":[146],"matter":[149],"minutes.":[151]},"counts_by_year":[{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}