{"id":"https://openalex.org/W4284676040","doi":"https://doi.org/10.1145/3510003.3510070","title":"Static stack-preserving intra-procedural slicing of webassembly binaries","display_name":"Static stack-preserving intra-procedural slicing of webassembly binaries","publication_year":2022,"publication_date":"2022-05-21","ids":{"openalex":"https://openalex.org/W4284676040","doi":"https://doi.org/10.1145/3510003.3510070"},"language":"en","primary_location":{"id":"doi:10.1145/3510003.3510070","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3510003.3510070","pdf_url":null,"source":{"id":"https://openalex.org/S4363608872","display_name":"Proceedings of the 44th International Conference on Software Engineering","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 44th International Conference on Software Engineering","raw_type":"proceedings-article"},"type":"conference-paper","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/A5061688363","display_name":"Quentin Sti\u00e9venart","orcid":"https://orcid.org/0000-0001-9985-9808"},"institutions":[{"id":"https://openalex.org/I13469542","display_name":"Vrije Universiteit Brussel","ror":"https://ror.org/006e5kg04","country_code":"BE","type":"education","lineage":["https://openalex.org/I13469542"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Quentin Sti\u00e9venart","raw_affiliation_strings":["Vrije Universiteit Brussel, Brussels, Belgium"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Vrije Universiteit Brussel, Brussels, Belgium","institution_ids":["https://openalex.org/I13469542"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5008760456","display_name":"David Binkley","orcid":"https://orcid.org/0000-0003-0059-4024"},"institutions":[{"id":"https://openalex.org/I165556055","display_name":"Loyola University Maryland","ror":"https://ror.org/01by1wp65","country_code":"US","type":"education","lineage":["https://openalex.org/I165556055"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"David W. Binkley","raw_affiliation_strings":["Loyola University Maryland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Loyola University Maryland","institution_ids":["https://openalex.org/I165556055"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5042827940","display_name":"Coen De Roover","orcid":"https://orcid.org/0000-0002-1710-1268"},"institutions":[{"id":"https://openalex.org/I13469542","display_name":"Vrije Universiteit Brussel","ror":"https://ror.org/006e5kg04","country_code":"BE","type":"education","lineage":["https://openalex.org/I13469542"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Coen De Roover","raw_affiliation_strings":["Vrije Universiteit Brussel, Brussels, Belgium"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Vrije Universiteit Brussel, Brussels, Belgium","institution_ids":["https://openalex.org/I13469542"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.2367,"has_fulltext":true,"cited_by_count":18,"citation_normalized_percentile":{"value":0.93487032,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"2031","last_page":"2042"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998999834060669,"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.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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9961000084877014,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/slicing","display_name":"Slicing","score":0.9102146625518799},{"id":"https://openalex.org/keywords/program-slicing","display_name":"Program slicing","score":0.8512818813323975},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8125120997428894},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.7762572765350342},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.7683109045028687},{"id":"https://openalex.org/keywords/suite","display_name":"Suite","score":0.7546796798706055},{"id":"https://openalex.org/keywords/program-comprehension","display_name":"Program comprehension","score":0.5862327814102173},{"id":"https://openalex.org/keywords/stack","display_name":"Stack (abstract data type)","score":0.5672018527984619},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5441319942474365},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.5168669819831848},{"id":"https://openalex.org/keywords/binary-number","display_name":"Binary number","score":0.5163792371749878},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.5136327147483826},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5005552768707275},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.4304819107055664},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.22662213444709778},{"id":"https://openalex.org/keywords/computer-graphics","display_name":"Computer graphics (images)","score":0.09067466855049133},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.08546113967895508}],"concepts":[{"id":"https://openalex.org/C2776190703","wikidata":"https://www.wikidata.org/wiki/Q488148","display_name":"Slicing","level":2,"score":0.9102146625518799},{"id":"https://openalex.org/C91071405","wikidata":"https://www.wikidata.org/wiki/Q1413145","display_name":"Program slicing","level":3,"score":0.8512818813323975},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8125120997428894},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.7762572765350342},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.7683109045028687},{"id":"https://openalex.org/C79581498","wikidata":"https://www.wikidata.org/wiki/Q1367530","display_name":"Suite","level":2,"score":0.7546796798706055},{"id":"https://openalex.org/C2777561058","wikidata":"https://www.wikidata.org/wiki/Q2652119","display_name":"Program comprehension","level":4,"score":0.5862327814102173},{"id":"https://openalex.org/C9395851","wikidata":"https://www.wikidata.org/wiki/Q177929","display_name":"Stack (abstract data type)","level":2,"score":0.5672018527984619},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5441319942474365},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.5168669819831848},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.5163792371749878},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.5136327147483826},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5005552768707275},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.4304819107055664},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.22662213444709778},{"id":"https://openalex.org/C121684516","wikidata":"https://www.wikidata.org/wiki/Q7600677","display_name":"Computer graphics (images)","level":1,"score":0.09067466855049133},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.08546113967895508},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.0},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3510003.3510070","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3510003.3510070","pdf_url":null,"source":{"id":"https://openalex.org/S4363608872","display_name":"Proceedings of the 44th International Conference on Software Engineering","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 44th International Conference on Software Engineering","raw_type":"proceedings-article"},{"id":"pmh:oai:vubissmart:VUBISSMART:2000:161893","is_oa":false,"landing_page_url":"https://biblio.vub.ac.be/vubir/static-stackpreserving-intraprocedural-slicing-of-webassembly-binaries(fc8249f0-708e-4cb4-b841-175d4e7c64ee).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306402573","display_name":"VUBIR (Vrije Universiteit Brussel)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I13469542","host_organization_name":"Vrije Universiteit Brussel","host_organization_lineage":["https://openalex.org/I13469542"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"publishedVersion"},{"id":"pmh:oai:vubissmart:VUBISSMART:2000:191025","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306402573","display_name":"VUBIR (Vrije Universiteit Brussel)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I13469542","host_organization_name":"Vrije Universiteit Brussel","host_organization_lineage":["https://openalex.org/I13469542"],"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":"article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320321730","display_name":"Fonds Wetenschappelijk Onderzoek","ror":"https://ror.org/03qtxy027"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":53,"referenced_works":["https://openalex.org/W1507654557","https://openalex.org/W1546381996","https://openalex.org/W1559721426","https://openalex.org/W1980072053","https://openalex.org/W1990220002","https://openalex.org/W2014311072","https://openalex.org/W2027929331","https://openalex.org/W2056038097","https://openalex.org/W2070229111","https://openalex.org/W2107967474","https://openalex.org/W2108750355","https://openalex.org/W2109518951","https://openalex.org/W2115474251","https://openalex.org/W2115808517","https://openalex.org/W2117385038","https://openalex.org/W2137126136","https://openalex.org/W2140963262","https://openalex.org/W2144344516","https://openalex.org/W2150038380","https://openalex.org/W2156502155","https://openalex.org/W2162310108","https://openalex.org/W2167153801","https://openalex.org/W2171248081","https://openalex.org/W2571891422","https://openalex.org/W2573990504","https://openalex.org/W2625141509","https://openalex.org/W2767011882","https://openalex.org/W2794993894","https://openalex.org/W2888822874","https://openalex.org/W2911349127","https://openalex.org/W2913256667","https://openalex.org/W2932657656","https://openalex.org/W2954419750","https://openalex.org/W2979976652","https://openalex.org/W2991603322","https://openalex.org/W3007850870","https://openalex.org/W3047099936","https://openalex.org/W3090150036","https://openalex.org/W3096391135","https://openalex.org/W3104415792","https://openalex.org/W3104442698","https://openalex.org/W3108990740","https://openalex.org/W3127367985","https://openalex.org/W3149775480","https://openalex.org/W3155555003","https://openalex.org/W3173940409","https://openalex.org/W3198513473","https://openalex.org/W4205786399","https://openalex.org/W4232589676","https://openalex.org/W4237971447","https://openalex.org/W4240459718","https://openalex.org/W4253692155","https://openalex.org/W4291213652"],"related_works":["https://openalex.org/W87824331","https://openalex.org/W2007121005","https://openalex.org/W2123609798","https://openalex.org/W2094122659","https://openalex.org/W2618827452","https://openalex.org/W2034103799","https://openalex.org/W1811150425","https://openalex.org/W2289630902","https://openalex.org/W2352685139","https://openalex.org/W2081659623"],"abstract_inverted_index":{"The":[0],"recently":[1],"introduced":[2],"WebAssembly":[3,30,150],"standard":[4],"aims":[5],"to":[6,28,34,88,117,123,198,210,216],"be":[7,118],"a":[8,20,47,50,58,76,144,184],"portable":[9],"compilation":[10],"target,":[11],"enabling":[12],"the":[13,62,66,69,90,93,102,110,115,120,126,154,158,167,173,189,212],"cross-platform":[14],"distribution":[15],"of":[16,22,61,92,105,129,146,157,166,188,203],"programs":[17,31],"written":[18],"in":[19,32,37,52],"variety":[21],"languages.":[23],"We":[24,137],"propose":[25],"an":[26,170],"approach":[27,74,81,121,142],"slice":[29,116],"order":[33],"enable":[35],"applications":[36],"reverse":[38],"engineering,":[39],"code":[40],"comprehension,":[41],"and":[42,49,139,215],"security":[43],"among":[44],"others.":[45],"Given":[46],"program":[48,55,63],"location":[51],"that":[53,64,82,125,153],"program,":[54],"slicing":[56,80,179],"produces":[57],"minimal":[59],"version":[60],"preserves":[65],"behavior":[67,128],"at":[68,109],"given":[70],"location.":[71],"Specifically,":[72],"our":[73,141,193],"is":[75,164],"static,":[77],"intra-procedural,":[78],"backward":[79],"takes":[83],"into":[84],"account":[85],"WebAssembly-specific":[86],"dependences":[87],"identify":[89],"instructions":[91],"slice.":[94],"To":[95,182],"do":[96],"so":[97],"it":[98],"must":[99],"correctly":[100],"overcome":[101],"considerable":[103],"challenges":[104],"performing":[106],"dependence":[107],"analysis":[108],"binary":[111],"level.":[112],"Furthermore,":[113],"for":[114],"executable,":[119],"needs":[122],"ensure":[124],"stack":[127],"its":[130],"output":[131],"complies":[132],"with":[133],"WebAssembly's":[134],"validation":[135],"requirements.":[136],"implemented":[138],"evaluated":[140],"on":[143],"suite":[145],"8":[147],"386":[148],"real-world":[149],"binaries,":[151],"finding":[152],"average":[155],"size":[156],"495":[159],"204":[160],"868":[161],"slices":[162,190,202],"computed":[163],"53%":[165],"original":[168],"code,":[169],"improvement":[171],"over":[172],"60%":[174],"attained":[175],"by":[176,192],"related":[177],"work":[178],"ARM":[180],"binaries.":[181],"gain":[183],"more":[185],"qualitative":[186],"understanding":[187],"produced":[191],"approach,":[194],"we":[195],"compared":[196],"them":[197],"1":[199],"956":[200],"source-level":[201],"benchmark":[204],"C":[205],"programs.":[206],"This":[207],"inspection":[208],"helps":[209],"illustrate":[211],"slicer's":[213],"strengths":[214],"uncover":[217],"potential":[218],"future":[219],"improvements.":[220]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":9},{"year":2022,"cited_by_count":2}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}