{"id":"https://openalex.org/W4411450265","doi":"https://doi.org/10.1145/3729389","title":"Revisiting Optimization-Resilience Claims in Binary Diffing Tools: Insights from LLVM Peephole Optimization Analysis","display_name":"Revisiting Optimization-Resilience Claims in Binary Diffing Tools: Insights from LLVM Peephole Optimization Analysis","publication_year":2025,"publication_date":"2025-06-19","ids":{"openalex":"https://openalex.org/W4411450265","doi":"https://doi.org/10.1145/3729389"},"language":"en","primary_location":{"id":"doi:10.1145/3729389","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3729389","pdf_url":null,"source":{"id":"https://openalex.org/S4404663975","display_name":"Proceedings of the ACM on software engineering.","issn_l":"2994-970X","issn":["2994-970X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by-nc-sa","license_id":"https://openalex.org/licenses/cc-by-nc-sa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Software Engineering","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1145/3729389","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5073206193","display_name":"Xiaolei Ren","orcid":"https://orcid.org/0000-0002-0425-8987"},"institutions":[{"id":"https://openalex.org/I204512498","display_name":"University of Macau","ror":"https://ror.org/01r4q9n85","country_code":"MO","type":"education","lineage":["https://openalex.org/I204512498"]}],"countries":["MO"],"is_corresponding":false,"raw_author_name":"Xiaolei Ren","raw_affiliation_strings":["Macau University of Science and Technology, Taipa, Macao"],"raw_orcid":"https://orcid.org/0000-0002-0425-8987","affiliations":[{"raw_affiliation_string":"Macau University of Science and Technology, Taipa, Macao","institution_ids":["https://openalex.org/I204512498"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5061815063","display_name":"Mengfei Ren","orcid":"https://orcid.org/0000-0001-8548-3299"},"institutions":[{"id":"https://openalex.org/I82495205","display_name":"University of Alabama in Huntsville","ror":"https://ror.org/02zsxwr40","country_code":"US","type":"education","lineage":["https://openalex.org/I82495205"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mengfei Ren","raw_affiliation_strings":["University of Alabama in Huntsville, Huntsville, USA"],"raw_orcid":"https://orcid.org/0000-0001-8548-3299","affiliations":[{"raw_affiliation_string":"University of Alabama in Huntsville, Huntsville, USA","institution_ids":["https://openalex.org/I82495205"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060631912","display_name":"Yu Lei","orcid":"https://orcid.org/0000-0002-1069-5980"},"institutions":[{"id":"https://openalex.org/I189196454","display_name":"The University of Texas at Arlington","ror":"https://ror.org/019kgqr73","country_code":"US","type":"education","lineage":["https://openalex.org/I189196454"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yu Lei","raw_affiliation_strings":["University of Texas at Arlington, Arlington, USA"],"raw_orcid":"https://orcid.org/0000-0002-1069-5980","affiliations":[{"raw_affiliation_string":"University of Texas at Arlington, Arlington, USA","institution_ids":["https://openalex.org/I189196454"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101420644","display_name":"Jiang Ming","orcid":"https://orcid.org/0000-0001-9682-0502"},"institutions":[{"id":"https://openalex.org/I114832834","display_name":"Tulane University","ror":"https://ror.org/04vmvtb21","country_code":"US","type":"education","lineage":["https://openalex.org/I114832834"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jiang Ming","raw_affiliation_strings":["Tulane University, New Orleans, USA"],"raw_orcid":"https://orcid.org/0000-0001-9682-0502","affiliations":[{"raw_affiliation_string":"Tulane University, New Orleans, USA","institution_ids":["https://openalex.org/I114832834"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.1433335,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"2","issue":"FSE","first_page":"2689","last_page":"2711"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/T10260","display_name":"Software Engineering Research","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.9983999729156494,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.9004230499267578},{"id":"https://openalex.org/keywords/binary-translation","display_name":"Binary translation","score":0.7076537609100342},{"id":"https://openalex.org/keywords/optimizing-compiler","display_name":"Optimizing compiler","score":0.5816783905029297},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.5583462715148926},{"id":"https://openalex.org/keywords/program-optimization","display_name":"Program optimization","score":0.5037843585014343},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.4821181297302246},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.33721739053726196},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.24288243055343628}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9004230499267578},{"id":"https://openalex.org/C2778971978","wikidata":"https://www.wikidata.org/wiki/Q2287075","display_name":"Binary translation","level":3,"score":0.7076537609100342},{"id":"https://openalex.org/C190902152","wikidata":"https://www.wikidata.org/wiki/Q1325106","display_name":"Optimizing compiler","level":3,"score":0.5816783905029297},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.5583462715148926},{"id":"https://openalex.org/C139571649","wikidata":"https://www.wikidata.org/wiki/Q1156793","display_name":"Program optimization","level":3,"score":0.5037843585014343},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.4821181297302246},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.33721739053726196},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.24288243055343628}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3729389","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3729389","pdf_url":null,"source":{"id":"https://openalex.org/S4404663975","display_name":"Proceedings of the ACM on software engineering.","issn_l":"2994-970X","issn":["2994-970X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by-nc-sa","license_id":"https://openalex.org/licenses/cc-by-nc-sa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Software Engineering","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3729389","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3729389","pdf_url":null,"source":{"id":"https://openalex.org/S4404663975","display_name":"Proceedings of the ACM on software engineering.","issn_l":"2994-970X","issn":["2994-970X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by-nc-sa","license_id":"https://openalex.org/licenses/cc-by-nc-sa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Software Engineering","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":48,"referenced_works":["https://openalex.org/W589246141","https://openalex.org/W1486212465","https://openalex.org/W1509875415","https://openalex.org/W1690253345","https://openalex.org/W1744150050","https://openalex.org/W1942295288","https://openalex.org/W1984978725","https://openalex.org/W1985205072","https://openalex.org/W2003164052","https://openalex.org/W2009614414","https://openalex.org/W2012604743","https://openalex.org/W2018175892","https://openalex.org/W2030906223","https://openalex.org/W2068211976","https://openalex.org/W2084201645","https://openalex.org/W2130200371","https://openalex.org/W2160145830","https://openalex.org/W2160637255","https://openalex.org/W2165597437","https://openalex.org/W2166924764","https://openalex.org/W2194609298","https://openalex.org/W2340812064","https://openalex.org/W2381207137","https://openalex.org/W2414803796","https://openalex.org/W2466114212","https://openalex.org/W2532962075","https://openalex.org/W2547625248","https://openalex.org/W2577142429","https://openalex.org/W2618635610","https://openalex.org/W2627063456","https://openalex.org/W2731423391","https://openalex.org/W2749008552","https://openalex.org/W2792247670","https://openalex.org/W2886694146","https://openalex.org/W2888698761","https://openalex.org/W2926178846","https://openalex.org/W2963408280","https://openalex.org/W3105926539","https://openalex.org/W3107604447","https://openalex.org/W3109206613","https://openalex.org/W3153398259","https://openalex.org/W3164004581","https://openalex.org/W3166956180","https://openalex.org/W4213092069","https://openalex.org/W4247950230","https://openalex.org/W4285586654","https://openalex.org/W4294733240","https://openalex.org/W4307510779"],"related_works":["https://openalex.org/W2759596553","https://openalex.org/W2577630842","https://openalex.org/W2956382393","https://openalex.org/W2113798250","https://openalex.org/W1488300410","https://openalex.org/W4225492247","https://openalex.org/W4320560513","https://openalex.org/W2083681681","https://openalex.org/W2069117531","https://openalex.org/W1877657449"],"abstract_inverted_index":{"Binary":[0],"diffing":[1,49,80,262],"technique":[2],"aims":[3],"to":[4,52,69,86,100,131,177,223,238],"identify":[5],"differences/similarities":[6],"in":[7,17,47,72,227,286],"executable":[8],"files":[9],"without":[10],"source":[11,67],"code":[12,26,154,198,267],"access.":[13],"Its":[14],"potential":[15],"applications":[16],"various":[18],"software":[19],"security":[20],"tasks,":[21],"such":[22],"as":[23],"vulnerability":[24],"search,":[25],"clone":[27],"detection,":[28],"and":[29,204,240],"malware":[30],"analysis":[31,295],"have":[32,91],"generated":[33],"a":[34,93,119,136,233,253,270],"large":[35],"body":[36],"of":[37,59,121,128,181,244,260],"literature":[38],"over":[39],"the":[40,54,57,64,97,157,162,179,185,200,242,258,290],"past":[41],"few":[42],"years.":[43],"A":[44],"recurring":[45],"theme":[46],"binary":[48,73,79,114,153,197,248,261,287],"research":[50,98,146],"is":[51,63],"evaluate":[53],"resilience":[55,259],"against":[56,264],"impact":[58,112,180,243],"compiler":[60,87],"optimization,":[61,88,221],"which":[62,160],"most":[65,78],"common":[66],"leading":[68,222],"syntactic":[70],"differences":[71,155],"code.":[74,249],"Despite":[75],"claims":[76],"by":[77,165,219],"papers":[81],"that":[82,148,282],"they":[83],"are":[84],"immune":[85],"recent":[89],"studies":[90],"highlighted":[92],"pressing":[94],"need":[95,291],"for":[96,256,273,292],"community":[99],"revisit":[101],"these":[102],"optimization-resilience":[103],"claims.":[104],"In":[105],"this":[106],"paper,":[107],"we":[108],"investigate":[109,178],"peephole":[110,122,149,182,194,220,245],"optimization's":[111],"on":[113,247],"diffing.":[115],"Mainstream":[116],"compilers":[117],"feature":[118],"multitude":[120],"optimization":[123,150,183,187,195,202],"rules,":[124],"facilitating":[125],"local":[126],"rewriting":[127],"input":[129],"programs":[130],"replace":[132],"instruction":[133],"sequences":[134],"within":[135],"window":[137],"(i.e.,":[138],"peephole)":[139],"with":[140,215],"shorter":[141],"and/or":[142],"faster":[143],"equivalents.":[144],"Our":[145,189,230,277],"reveals":[147],"primarily":[151],"affects":[152],"at":[156],"intra-procedural":[158,266],"level,":[159],"contradicts":[161],"assumptions":[163,285],"made":[164],"basic-block":[166,208],"centric":[167,209],"comparison":[168,210],"approaches.":[169],"We":[170],"customized":[171],"an":[172],"LLVM":[173],"translation":[174],"validation":[175],"tool":[176,275],"from":[184],"overall":[186],"process.":[188],"experimental":[190],"results":[191],"demonstrate":[192],"1)":[193],"modifies":[196],"during":[199],"whole":[201],"process,":[203],"2)":[205],"no":[206],"existing":[207,284],"tools":[211,263],"can":[212],"properly":[213],"deal":[214],"all":[216],"changes":[217],"caused":[218],"further":[224],"performance":[225],"loss":[226],"downstream":[228],"applications.":[229],"study":[231],"introduces":[232],"\"peephole-oriented\"":[234],"test":[235],"suite,":[236],"designed":[237],"isolate":[239],"measure":[241],"optimizations":[246],"This":[250],"suite":[251],"provides":[252],"new":[254,271],"perspective":[255],"evaluating":[257],"subtle,":[265],"changes,":[268],"setting":[269],"benchmark":[272],"future":[274],"development.":[276],"findings":[278],"reveal":[279],"critical":[280],"insights":[281],"challenge":[283],"diffing,":[288],"highlighting":[289],"more":[293],"robust":[294],"techniques.":[296]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}