{"id":"https://openalex.org/W2888822874","doi":"https://doi.org/10.1145/3297858.3304068","title":"Wasabi","display_name":"Wasabi","publication_year":2019,"publication_date":"2019-04-04","ids":{"openalex":"https://openalex.org/W2888822874","doi":"https://doi.org/10.1145/3297858.3304068","mag":"2888822874"},"language":"en","primary_location":{"id":"doi:10.1145/3297858.3304068","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3297858.3304068","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems","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/A5032121327","display_name":"Daniel Lehmann","orcid":"https://orcid.org/0000-0002-4037-5152"},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technical University of Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Daniel Lehmann","raw_affiliation_strings":["TU Darmstadt, Darmstadt, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Darmstadt, Darmstadt, Germany","institution_ids":["https://openalex.org/I31512782"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5013438083","display_name":"Michael Pradel","orcid":"https://orcid.org/0000-0003-1623-498X"},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technical University of Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Michael Pradel","raw_affiliation_strings":["TU Darmstadt, Darmstadt, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Darmstadt, Darmstadt, Germany","institution_ids":["https://openalex.org/I31512782"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5032121327"],"corresponding_institution_ids":["https://openalex.org/I31512782"],"apc_list":null,"apc_paid":null,"fwci":4.3349,"has_fulltext":false,"cited_by_count":77,"citation_normalized_percentile":{"value":0.95403065,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"1045","last_page":"1058"},"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.9991999864578247,"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.9991999864578247,"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.9979000091552734,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9950000047683716,"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/computer-science","display_name":"Computer science","score":0.846261739730835},{"id":"https://openalex.org/keywords/tracing","display_name":"Tracing","score":0.7438797950744629},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.6981021761894226},{"id":"https://openalex.org/keywords/javascript","display_name":"JavaScript","score":0.5327387452125549},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5083679556846619},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.4773412048816681},{"id":"https://openalex.org/keywords/web-application","display_name":"Web application","score":0.4522276222705841},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.4447164535522461},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.4225902855396271},{"id":"https://openalex.org/keywords/call-graph","display_name":"Call graph","score":0.416368305683136},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.33537063002586365}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.846261739730835},{"id":"https://openalex.org/C138673069","wikidata":"https://www.wikidata.org/wiki/Q322229","display_name":"Tracing","level":2,"score":0.7438797950744629},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6981021761894226},{"id":"https://openalex.org/C544833334","wikidata":"https://www.wikidata.org/wiki/Q2005","display_name":"JavaScript","level":2,"score":0.5327387452125549},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5083679556846619},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.4773412048816681},{"id":"https://openalex.org/C118643609","wikidata":"https://www.wikidata.org/wiki/Q189210","display_name":"Web application","level":2,"score":0.4522276222705841},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.4447164535522461},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.4225902855396271},{"id":"https://openalex.org/C102379954","wikidata":"https://www.wikidata.org/wiki/Q2589940","display_name":"Call graph","level":2,"score":0.416368305683136},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.33537063002586365}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3297858.3304068","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3297858.3304068","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"},{"id":"https://openalex.org/F4320321114","display_name":"Bundesministerium f\u00fcr Bildung und Forschung","ror":"https://ror.org/04pz7b180"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":43,"referenced_works":["https://openalex.org/W145355838","https://openalex.org/W175329226","https://openalex.org/W1668251704","https://openalex.org/W1984248430","https://openalex.org/W1987647365","https://openalex.org/W2036639103","https://openalex.org/W2038461625","https://openalex.org/W2052497937","https://openalex.org/W2060692877","https://openalex.org/W2062340141","https://openalex.org/W2100148636","https://openalex.org/W2102970979","https://openalex.org/W2110852599","https://openalex.org/W2111750124","https://openalex.org/W2137720526","https://openalex.org/W2141018153","https://openalex.org/W2144551802","https://openalex.org/W2149576136","https://openalex.org/W2149603369","https://openalex.org/W2153229512","https://openalex.org/W2153919898","https://openalex.org/W2156487548","https://openalex.org/W2156858199","https://openalex.org/W2159856414","https://openalex.org/W2161992906","https://openalex.org/W2164726441","https://openalex.org/W2166766372","https://openalex.org/W2170922286","https://openalex.org/W2625141509","https://openalex.org/W2758513221","https://openalex.org/W2763314947","https://openalex.org/W2778960843","https://openalex.org/W2786043327","https://openalex.org/W2801568885","https://openalex.org/W2806604031","https://openalex.org/W2884103616","https://openalex.org/W2887682444","https://openalex.org/W2963699895","https://openalex.org/W3136699861","https://openalex.org/W4230695762","https://openalex.org/W4236561850","https://openalex.org/W4239813889","https://openalex.org/W4254906220"],"related_works":["https://openalex.org/W1566603754","https://openalex.org/W2290206096","https://openalex.org/W2949337025","https://openalex.org/W2148261527","https://openalex.org/W3027385388","https://openalex.org/W2621181330","https://openalex.org/W2584011092","https://openalex.org/W2766362161","https://openalex.org/W2795601048","https://openalex.org/W2527850347"],"abstract_inverted_index":{"WebAssembly":[0,102,106],"is":[1,34,86,157],"the":[2,7,24,56,66,114,148],"new":[3],"low-level":[4,53],"language":[5,57],"for":[6,38,42,70,159],"web":[8,31],"and":[9,27,58,139,163,182],"has":[10],"now":[11],"been":[12],"implemented":[13],"in":[14,98],"all":[15],"major":[16],"browsers":[17],"since":[18],"over":[19],"a":[20,35,101,125],"year.":[21],"To":[22],"ensure":[23],"security,":[25],"performance,":[26],"correctness":[28],"of":[29,52,55,116],"future":[30],"applications,":[32],"there":[33],"strong":[36],"need":[37],"dynamic":[39,83,161,171],"analysis":[40,95,121],"tools":[41,47],"WebAssembly.":[43,73],"However,":[44],"building":[45],"such":[46,112],"from":[48],"scratch":[49],"requires":[50],"knowledge":[51],"details":[54],"its":[59],"runtime":[60],"environment.":[61],"This":[62],"paper":[63],"presents":[64],"Wasabi,":[65],"first":[67],"general-purpose":[68],"framework":[69],"dynamically":[71],"analyzing":[72,105],"Wasabi":[74,144],"provides":[75],"an":[76,154],"easy-to-use,":[77],"high-level":[78],"API":[79],"that":[80,123,143,156],"supports":[81],"heavyweight":[82,160],"analyses.":[84],"It":[85],"based":[87],"on":[88,136],"binary":[89],"instrumentation,":[90],"which":[91,128],"inserts":[92],"calls":[93],"to":[94,168],"functions":[96,122],"written":[97],"JavaScript":[99],"into":[100],"binary.":[103],"Dynamically":[104],"comes":[107],"with":[108,120],"several":[109],"unique":[110],"challenges,":[111],"as":[113],"problem":[115],"tracing":[117],"type-polymorphic":[118],"instructions":[119],"have":[124],"fixed":[126],"type,":[127],"we":[129],"address":[130],"through":[131],"on-demand":[132],"monomorphization.":[133],"Our":[134],"evaluation":[135],"compute-intensive":[137],"benchmarks":[138],"real-world":[140],"applications":[141],"shows":[142],"(i)":[145],"faithfully":[146],"preserves":[147],"original":[149],"program":[150],"behavior,":[151],"(ii)":[152],"imposes":[153],"overhead":[155],"reasonable":[158],"analysis,":[162],"(iii)":[164],"makes":[165],"it":[166],"straightforward":[167],"implement":[169],"various":[170],"analyses,":[172],"including":[173],"instruction":[174],"counting,":[175],"call":[176],"graph":[177],"extraction,":[178],"memory":[179],"access":[180],"tracing,":[181],"taint":[183],"analysis.":[184]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":18},{"year":2024,"cited_by_count":15},{"year":2023,"cited_by_count":11},{"year":2022,"cited_by_count":13},{"year":2021,"cited_by_count":8},{"year":2020,"cited_by_count":7},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":1}],"updated_date":"2026-04-28T14:05:53.105641","created_date":"2018-09-07T00:00:00"}