{"id":"https://openalex.org/W7155066641","doi":"https://doi.org/10.48550/arxiv.2604.17717","title":"Revisiting Code Debloating with Ground Truth-based Evaluation","display_name":"Revisiting Code Debloating with Ground Truth-based Evaluation","publication_year":2026,"publication_date":"2026-04-20","ids":{"openalex":"https://openalex.org/W7155066641","doi":"https://doi.org/10.48550/arxiv.2604.17717"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2604.17717","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.17717","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2604.17717","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5134206930","display_name":"Muhammad Bilal","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Bilal, Muhammad","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5134103313","display_name":"Moiz Ali","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ali, Moiz","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5134148734","display_name":"Mohit Kumar","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kumar, Mohit","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011363617","display_name":"Fareed Zaffar","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zaffar, Fareed","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069613308","display_name":"Fahad Shaon","orcid":"https://orcid.org/0000-0001-8278-431X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Shaon, Fahad","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035466033","display_name":"Ashish Gehani","orcid":"https://orcid.org/0000-0002-3940-2467"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Gehani, Ashish","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5028738303","display_name":"Sazzadur Rahaman","orcid":"https://orcid.org/0000-0002-1258-6470"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Rahaman, Sazzadur","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.6625999808311462,"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"}},"topics":[{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.6625999808311462,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.09009999781847,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.0786999985575676,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/imperfect","display_name":"Imperfect","score":0.7702999711036682},{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.620199978351593},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.5544000267982483},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5306000113487244},{"id":"https://openalex.org/keywords/gadget","display_name":"Gadget","score":0.5271000266075134},{"id":"https://openalex.org/keywords/static-program-analysis","display_name":"Static program analysis","score":0.4603999853134155},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.41690000891685486},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4059999883174896},{"id":"https://openalex.org/keywords/dependency","display_name":"Dependency (UML)","score":0.4016999900341034}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.779699981212616},{"id":"https://openalex.org/C2780310539","wikidata":"https://www.wikidata.org/wiki/Q12547192","display_name":"Imperfect","level":2,"score":0.7702999711036682},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.620199978351593},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.5544000267982483},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5306000113487244},{"id":"https://openalex.org/C119770614","wikidata":"https://www.wikidata.org/wiki/Q5516347","display_name":"Gadget","level":2,"score":0.5271000266075134},{"id":"https://openalex.org/C137287247","wikidata":"https://www.wikidata.org/wiki/Q1329550","display_name":"Static program analysis","level":4,"score":0.4603999853134155},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.41690000891685486},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4059999883174896},{"id":"https://openalex.org/C19768560","wikidata":"https://www.wikidata.org/wiki/Q320727","display_name":"Dependency (UML)","level":2,"score":0.4016999900341034},{"id":"https://openalex.org/C2777655017","wikidata":"https://www.wikidata.org/wiki/Q1501161","display_name":"Toolbox","level":2,"score":0.3864000141620636},{"id":"https://openalex.org/C10272871","wikidata":"https://www.wikidata.org/wiki/Q929972","display_name":"Software inspection","level":5,"score":0.3659000098705292},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3630000054836273},{"id":"https://openalex.org/C97256817","wikidata":"https://www.wikidata.org/wiki/Q1462316","display_name":"Spurious relationship","level":2,"score":0.3513999879360199},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3440000116825104},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3276999890804291},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3222000002861023},{"id":"https://openalex.org/C166955791","wikidata":"https://www.wikidata.org/wiki/Q629579","display_name":"Macro","level":2,"score":0.3043999969959259},{"id":"https://openalex.org/C2778361913","wikidata":"https://www.wikidata.org/wiki/Q7248437","display_name":"Program transformation","level":2,"score":0.29319998621940613},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.2892000079154968},{"id":"https://openalex.org/C101317890","wikidata":"https://www.wikidata.org/wiki/Q940053","display_name":"Software maintenance","level":4,"score":0.2874000072479248},{"id":"https://openalex.org/C177225278","wikidata":"https://www.wikidata.org/wiki/Q192674","display_name":"Factoring","level":2,"score":0.287200003862381},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.2840000092983246},{"id":"https://openalex.org/C199519371","wikidata":"https://www.wikidata.org/wiki/Q942695","display_name":"Source lines of code","level":3,"score":0.2800999879837036},{"id":"https://openalex.org/C2777561058","wikidata":"https://www.wikidata.org/wiki/Q2652119","display_name":"Program comprehension","level":4,"score":0.2777000069618225},{"id":"https://openalex.org/C2781067378","wikidata":"https://www.wikidata.org/wiki/Q17027399","display_name":"Interpretability","level":2,"score":0.265500009059906},{"id":"https://openalex.org/C105446022","wikidata":"https://www.wikidata.org/wiki/Q445962","display_name":"Legacy system","level":3,"score":0.26170000433921814}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2604.17717","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.17717","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2604.17717","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.17717","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.6628409028053284}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Program":[0],"debloating":[1,18,41,111],"aims":[2,100],"to":[3,7,43,88,101,172,193,222],"remove":[4,170],"unused":[5],"code":[6,57,175,202],"reduce":[8],"performance":[9,92],"overhead,":[10],"attack":[11],"surfaces,":[12],"and":[13,26,62,131,150,211,227],"maintenance":[14],"costs.":[15],"Over":[16],"time,":[17],"has":[19],"evolved":[20],"across":[21,158],"multiple":[22],"layers":[23],"(container,":[24],"library,":[25],"application),":[27],"each":[28],"building":[29],"on":[30,45],"the":[31,80,90,103,107,145,184],"principles":[32],"of":[33,93,109,119,147,174,207],"application-level":[34,40,94,110],"debloating.":[35,96],"Despite":[36],"its":[37],"central":[38],"role,":[39],"continues":[42],"rely":[44],"imperfect":[46,78],"proxies":[47],"for":[48,55,59,66],"measuring":[49],"performance,":[50],"such":[51,77],"as":[52],"test-case-driven":[53],"evaluation":[54,115],"correctness,":[56],"size":[58],"runtime":[60],"efficiency,":[61],"gadget":[63],"count":[64],"reduction":[65],"estimating":[67],"security":[68],"posture.":[69],"While":[70],"there":[71],"is":[72],"widespread":[73],"skepticism":[74],"about":[75],"using":[76],"proxies,":[79],"community":[81],"still":[82],"lacks":[83],"standardized":[84],"methodologies":[85],"or":[86],"benchmarks":[87],"assess":[89],"true":[91],"software":[95],"This":[97],"experience":[98],"paper":[99],"address":[102],"gap.":[104],"We":[105],"revisit":[106],"foundations":[108],"through":[112,138],"a":[113,155],"ground-truth-based":[114],"paradigm.":[116],"Our":[117,161],"analysis":[118,162],"eight":[120],"state-of-the-art":[121],"debloaters":[122],"-":[123,133],"Blade,":[124],"Chisel,":[125],"Cov,":[126],"CovA,":[127],"Lmcas,":[128],"Trimmer,":[129],"Occam,":[130],"Razor":[132],"uncovers":[134],"insights":[135],"previously":[136],"unattainable":[137],"traditional":[139],"evaluations.":[140],"These":[141],"tools":[142,168],"collectively":[143],"span":[144],"spectrum":[146],"source-to-source,":[148],"IR-to-IR,":[149],"binary-to-binary":[151],"transformation":[152],"paradigms,":[153],"characterizing":[154],"holistic":[156],"reassessment":[157],"abstraction":[159],"levels.":[160],"reveals":[163],"that":[164,176],"while":[165],"dynamic":[166],"analysis-based":[167,181],"often":[169],"up":[171],"94%":[173],"should":[177],"be":[178],"retained,":[179],"static":[180,198],"approaches":[182],"exhibit":[183],"opposite":[185],"behavior,":[186],"showing":[187],"high":[188],"false":[189],"retention":[190],"rates":[191],"due":[192],"coarse-grained":[194],"dependency":[195],"over-approximation.":[196],"Additionally,":[197],"analyses":[199],"may":[200,219],"add":[201],"by":[203],"introducing":[204],"specialized":[205],"variants":[206],"functions.":[208],"False":[209],"retentions":[210],"removals":[212],"not":[213],"only":[214],"cause":[215],"functional":[216],"incorrectness":[217],"but":[218],"also":[220],"lead":[221],"systematic":[223],"inconsistency,":[224],"robustness":[225],"failures,":[226],"exploitable":[228],"vulnerabilities.":[229]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-04-22T00:00:00"}