{"id":"https://openalex.org/W4401328698","doi":"https://doi.org/10.1109/tse.2024.3438119","title":"AddressWatcher: Sanitizer-Based Localization of Memory Leak Fixes","display_name":"AddressWatcher: Sanitizer-Based Localization of Memory Leak Fixes","publication_year":2024,"publication_date":"2024-08-05","ids":{"openalex":"https://openalex.org/W4401328698","doi":"https://doi.org/10.1109/tse.2024.3438119"},"language":"en","primary_location":{"id":"doi:10.1109/tse.2024.3438119","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2024.3438119","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2408.04764","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5031331513","display_name":"Aniruddhan Murali","orcid":"https://orcid.org/0000-0002-4405-1657"},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Aniruddhan Murali","raw_affiliation_strings":["David R. Cheriton School of Computer Science, University of Waterloo, Waterloo, ON, Canada"],"affiliations":[{"raw_affiliation_string":"David R. Cheriton School of Computer Science, University of Waterloo, Waterloo, ON, Canada","institution_ids":["https://openalex.org/I151746483"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5091616761","display_name":"Mahmoud Alfadel","orcid":"https://orcid.org/0000-0002-2621-6104"},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Mahmoud Alfadel","raw_affiliation_strings":["David R. Cheriton School of Computer Science, University of Waterloo, Waterloo, ON, Canada"],"affiliations":[{"raw_affiliation_string":"David R. Cheriton School of Computer Science, University of Waterloo, Waterloo, ON, Canada","institution_ids":["https://openalex.org/I151746483"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029916309","display_name":"Meiyappan Nagappan","orcid":"https://orcid.org/0000-0003-4533-4728"},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Meiyappan Nagappan","raw_affiliation_strings":["David R. Cheriton School of Computer Science, University of Waterloo, Waterloo, ON, Canada"],"affiliations":[{"raw_affiliation_string":"David R. Cheriton School of Computer Science, University of Waterloo, Waterloo, ON, Canada","institution_ids":["https://openalex.org/I151746483"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080710475","display_name":"Meng Xu","orcid":"https://orcid.org/0009-0001-6364-4837"},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Meng Xu","raw_affiliation_strings":["David R. Cheriton School of Computer Science, University of Waterloo, Waterloo, ON, Canada"],"affiliations":[{"raw_affiliation_string":"David R. Cheriton School of Computer Science, University of Waterloo, Waterloo, ON, Canada","institution_ids":["https://openalex.org/I151746483"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101708632","display_name":"C. P. Sun","orcid":"https://orcid.org/0000-0002-0862-2491"},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Chengnian Sun","raw_affiliation_strings":["David R. Cheriton School of Computer Science, University of Waterloo, Waterloo, ON, Canada"],"affiliations":[{"raw_affiliation_string":"David R. Cheriton School of Computer Science, University of Waterloo, Waterloo, ON, Canada","institution_ids":["https://openalex.org/I151746483"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5101708632"],"corresponding_institution_ids":["https://openalex.org/I151746483"],"apc_list":null,"apc_paid":null,"fwci":1.0381,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.77742358,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"50","issue":"9","first_page":"2398","last_page":"2411"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11181","display_name":"Advanced Data Storage Technologies","score":0.9995999932289124,"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"}},"topics":[{"id":"https://openalex.org/T11181","display_name":"Advanced Data Storage Technologies","score":0.9995999932289124,"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"}},{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9994999766349792,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9990000128746033,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8497194051742554},{"id":"https://openalex.org/keywords/hand-sanitizer","display_name":"Hand sanitizer","score":0.6278244256973267},{"id":"https://openalex.org/keywords/leak","display_name":"Leak","score":0.5240705013275146},{"id":"https://openalex.org/keywords/memory-leak","display_name":"Memory leak","score":0.48673251271247864},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.4826367497444153},{"id":"https://openalex.org/keywords/leak-detection","display_name":"Leak detection","score":0.4370734393596649},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4104193449020386},{"id":"https://openalex.org/keywords/memory-management","display_name":"Memory management","score":0.34850308299064636},{"id":"https://openalex.org/keywords/overlay","display_name":"Overlay","score":0.097362220287323},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.06662982702255249}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8497194051742554},{"id":"https://openalex.org/C143432726","wikidata":"https://www.wikidata.org/wiki/Q520181","display_name":"Hand sanitizer","level":2,"score":0.6278244256973267},{"id":"https://openalex.org/C2780378346","wikidata":"https://www.wikidata.org/wiki/Q1349983","display_name":"Leak","level":2,"score":0.5240705013275146},{"id":"https://openalex.org/C156731835","wikidata":"https://www.wikidata.org/wiki/Q751740","display_name":"Memory leak","level":4,"score":0.48673251271247864},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.4826367497444153},{"id":"https://openalex.org/C2987355568","wikidata":"https://www.wikidata.org/wiki/Q4420957","display_name":"Leak detection","level":3,"score":0.4370734393596649},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4104193449020386},{"id":"https://openalex.org/C176649486","wikidata":"https://www.wikidata.org/wiki/Q2308807","display_name":"Memory management","level":3,"score":0.34850308299064636},{"id":"https://openalex.org/C136085584","wikidata":"https://www.wikidata.org/wiki/Q910289","display_name":"Overlay","level":2,"score":0.097362220287323},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.06662982702255249},{"id":"https://openalex.org/C87717796","wikidata":"https://www.wikidata.org/wiki/Q146326","display_name":"Environmental engineering","level":1,"score":0.0},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1109/tse.2024.3438119","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2024.3438119","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2408.04764","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2408.04764","pdf_url":"https://arxiv.org/pdf/2408.04764","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-sa","license_id":"https://openalex.org/licenses/cc-by-nc-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:share.osf.io:6d56f8d7-bcfe-4bdb-8b14-e9ea672b0d07","is_oa":false,"landing_page_url":"https://osf.io/wz4kc","pdf_url":null,"source":{"id":"https://openalex.org/S4306401127","display_name":"OSF Preprints (OSF Preprints)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2799848540","host_organization_name":"Center for Open Science","host_organization_lineage":["https://openalex.org/I2799848540"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Project"},{"id":"pmh:oai:share.osf.io:E00DE-017-3F4","is_oa":false,"landing_page_url":"http://osf.io/wz4kc/","pdf_url":null,"source":{"id":"https://openalex.org/S4306401127","display_name":"OSF Preprints (OSF Preprints)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2799848540","host_organization_name":"Center for Open Science","host_organization_lineage":["https://openalex.org/I2799848540"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"project"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2408.04764","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2408.04764","pdf_url":"https://arxiv.org/pdf/2408.04764","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-sa","license_id":"https://openalex.org/licenses/cc-by-nc-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4401328698.pdf","grobid_xml":"https://content.openalex.org/works/W4401328698.grobid-xml"},"referenced_works_count":20,"referenced_works":["https://openalex.org/W1478599539","https://openalex.org/W1976721395","https://openalex.org/W1992841501","https://openalex.org/W1996567876","https://openalex.org/W2043855508","https://openalex.org/W2158767818","https://openalex.org/W2424036363","https://openalex.org/W2572740268","https://openalex.org/W2898887472","https://openalex.org/W2921384674","https://openalex.org/W2954121408","https://openalex.org/W2998867682","https://openalex.org/W3009050206","https://openalex.org/W3104656873","https://openalex.org/W4210676563","https://openalex.org/W4221033043","https://openalex.org/W4237256801","https://openalex.org/W4239035626","https://openalex.org/W4240590466","https://openalex.org/W6639560864"],"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":{"Memory":[0],"leak":[1,151,165,190,216],"bugs":[2],"are":[3,15],"a":[4,78,101,123,135,150,164,222,261,269],"major":[5],"problem":[6],"in":[7,46,287],"C/C++":[8],"programs.":[9],"They":[10],"occur":[11],"when":[12,73],"memory":[13,27,39,49,63,97,136,189,215,227],"objects":[14,24],"not":[16,107],"deallocated.":[17],"Developers":[18],"need":[19],"to":[20,25,36,57,138,156,185,221,225,249,272],"manually":[21],"deallocate":[22],"these":[23,280],"prevent":[26],"leaks.":[28,40,228],"As":[29],"such,":[30],"several":[31,167],"techniques":[32],"have":[33,44,70],"been":[34],"proposed":[35,42],"automatically":[37,47],"fix":[38,226,259],"Although":[41],"approaches":[43,55,90,118],"merit":[45],"fixing":[48],"leaks,":[50],"they":[51,69],"present":[52],"limitations.":[53],"Static-based":[54],"attempt":[56],"trace":[58],"the":[59,74,86,132,182,266],"complete":[60],"semantics":[61,95,133],"of":[62,81,96,134,163,196,212],"object":[64,98,137],"across":[65,235],"all":[66],"paths.":[67,144],"However,":[68],"scalability-related":[71],"challenges":[72],"target":[75],"program":[76,183,270],"has":[77],"large":[79,274],"number":[80],"paths":[82,162],"(path":[83],"explosion).":[84],"On":[85],"other":[87],"hand,":[88],"dynamic":[89],"can":[91],"spell":[92],"out":[93,211],"precise":[94],"only":[99],"on":[100,141],"single":[102],"execution":[103,110,143,161,184],"path":[104],"(it":[105],"does":[106],"consider":[108],"multiple":[109,142],"paths).":[111],"In":[112,209,255],"this":[113,147],"paper,":[114],"we":[115,230],"complement":[116],"prior":[117],"by":[119,148],"designing":[120],"and":[121,158,187,207,285,294],"implementing":[122],"novel":[124],"framework":[125],"named":[126],"<italic":[127],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[128],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">AddressWatcher</i>.":[129],"AddressWatcher":[130,171,197,218,241],"allows":[131,154],"be":[139],"tracked":[140],"Addresswatcher":[145],"accomplishes":[146],"using":[149,240],"database":[152],"that":[153,178],"one":[155],"store":[157],"compare":[159],"different":[160],"over":[166,198],"test":[168],"cases.":[169],"Also,":[170],"performs":[172],"lightweight":[173],"instrumentation":[174],"during":[175,181],"compile":[176],"time":[177],"is":[179],"utilized":[180],"watch":[186],"track":[188],"read/writes.":[191],"We":[192],"conduct":[193],"an":[194],"evaluation":[195],"five":[199],"popular":[200,237],"packages,":[201],"namely":[202],"binutils,":[203],"openssh,":[204],"tmux,":[205],"openssl":[206],"git.":[208],"23":[210],"50":[213],"real-world":[214],"bugs,":[217],"correctly":[219],"points":[220],"free":[223],"location":[224],"Finally,":[229],"submit":[231],"25":[232],"Pull":[233],"Requests":[234],"12":[236],"OSS":[238],"repositories":[239,289],"suggestions.":[242],"Among":[243],"these,":[244],"21":[245],"were":[246],"merged":[247],"leading":[248],"5":[250],"open":[251],"issues":[252],"being":[253],"addressed.":[254],"fact,":[256],"our":[257,277],"critical":[258],"prompted":[260],"new":[262],"version":[263],"release":[264],"for":[265],"calc":[267],"repository,":[268],"used":[271],"find":[273],"primes.":[275],"Furthermore,":[276],"contributions":[278],"through":[279],"PRs":[281],"sparked":[282],"intense":[283],"discussions":[284],"appreciation":[286],"various":[288],"such":[290],"as":[291],"coturn,":[292],"h2o,":[293],"radare2.":[295]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}