{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T02:00:00Z","timestamp":1740103200113,"version":"3.37.3"},"publisher-location":"New York, NY, USA","reference-count":45,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,9,11]]},"DOI":"10.1145\/3650212.3680358","type":"proceedings-article","created":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T11:44:25Z","timestamp":1726055065000},"page":"1262-1273","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["WASMaker: Differential Testing of WebAssembly Runtimes via Semantic-Aware Binary Generation"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0007-4557-3813","authenticated-orcid":false,"given":"Shangtong","family":"Cao","sequence":"first","affiliation":[{"name":"Beijing University of Posts and Telecommunications, Beijing, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9980-7298","authenticated-orcid":false,"given":"Ningyu","family":"He","sequence":"additional","affiliation":[{"name":"Peking University, Beijing, China"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-2988-7042","authenticated-orcid":false,"given":"Xinyu","family":"She","sequence":"additional","affiliation":[{"name":"Huazhong University of Science and Technology, Wuhan, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3466-0165","authenticated-orcid":false,"given":"Yixuan","family":"Zhang","sequence":"additional","affiliation":[{"name":"Peking University, Beijing, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5905-9515","authenticated-orcid":false,"given":"Mu","family":"Zhang","sequence":"additional","affiliation":[{"name":"University of Utah, Salt Lake City, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1100-8633","authenticated-orcid":false,"given":"Haoyu","family":"Wang","sequence":"additional","affiliation":[{"name":"Huazhong University of Science and Technology, Wuhan, China"}]}],"member":"320","published-online":{"date-parts":[[2024,9,11]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2023. Occam\u2019s razor. https:\/\/en.wikipedia.org\/wiki\/Occam"},{"key":"e_1_3_2_1_2_1","unstructured":"Bytecode Alliance. 2023. Github wasm-tools repository. https:\/\/github.com\/bytecodealliance\/wasm-tools\/tree\/main\/crates\/wasm-smith"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3548606.3560624"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2022.102745"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2024.103731"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","unstructured":"Shangtong Cao. 2024. WASMaker: Differential Testing of WebAssembly Runtimes via Semantic-aware Binary Generation. 10.5281\/zenodo.12670309","DOI":"10.5281\/zenodo.12670309"},{"key":"e_1_3_2_1_7_1","volume-title":"BREWasm: A General Static Binary Rewriting Framework for WebAssembly. In International Static Analysis Symposium. Springer, 139\u2013163","author":"Cao Shangtong","year":"2023","unstructured":"Shangtong Cao, Ningyu He, Yao Guo, and Haoyu Wang. 2023. BREWasm: A General Static Binary Rewriting Framework for WebAssembly. In International Static Analysis Symposium. Springer, 139\u2013163."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00127"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908095"},{"key":"e_1_3_2_1_10_1","volume-title":"32nd USENIX Security Symposium (USENIX Security 23)","author":"Deng Zizhuang","year":"2023","unstructured":"Zizhuang Deng, Guozhu Meng, Kai Chen, Tong Liu, Lu Xiang, and Chunyang Chen. 2023. Differential Testing of Cross Deep Learning Framework $APIs$: Revealing Inconsistencies and Vulnerabilities. In 32nd USENIX Security Symposium (USENIX Security 23). 7393\u20137410."},{"key":"e_1_3_2_1_11_1","unstructured":"eosio. 2023. eosio official website. https:\/\/eos.io\/"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3324884.3416571"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062363"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3503921.3503924"},{"key":"e_1_3_2_1_15_1","volume-title":"USENIX Security Symposium. 1271\u20131288","author":"He Ningyu","year":"2021","unstructured":"Ningyu He, Ruiyi Zhang, Haoyu Wang, Lei Wu, Xiapu Luo, Yao Guo, Ting Yu, and Xuxian Jiang. 2021. EOSAFE: Security Analysis of EOSIO Smart Contracts.. In USENIX Security Symposium. 1271\u20131288."},{"key":"e_1_3_2_1_16_1","volume-title":"Eunomia: Enabling User-specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries. arXiv preprint arXiv:2304.07204","author":"He Ningyu","year":"2023","unstructured":"Ningyu He, Zhehao Zhao, Jikai Wang, Yubin Hu, Shengjian Guo, Haoyu Wang, Guangtai Liang, Ding Li, Xiangqun Chen, and Yao Guo. 2023. Eunomia: Enabling User-specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries. arXiv preprint arXiv:2304.07204 (2023)."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.18293\/SEKE2022-165"},{"key":"e_1_3_2_1_18_1","volume-title":"Revealing Performance Issues in Server-side WebAssembly Runtimes via Differential Testing. arXiv preprint arXiv:2309.12167","author":"Jiang Shuyao","year":"2023","unstructured":"Shuyao Jiang, Ruiying Zeng, Zihao Rao, Jiazhen Gu, Yangfan Zhou, and Michael R Lyu. 2023. Revealing Performance Issues in Server-side WebAssembly Runtimes via Differential Testing. arXiv preprint arXiv:2309.12167 (2023)."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP46215.2023.10179357"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2017.8115669"},{"key":"e_1_3_2_1_21_1","volume-title":"Proceedings of the 29th USENIX Conference on Security Symposium. 217\u2013234","author":"Lehmann Daniel","year":"2020","unstructured":"Daniel Lehmann, Johannes Kinder, and Michael Pradel. 2020. Everything old is new again: Binary security of webassembly. In Proceedings of the 29th USENIX Conference on Security Symposium. 217\u2013234."},{"key":"e_1_3_2_1_22_1","volume-title":"Martin Toldam Torp, and Michael Pradel","author":"Lehmann Daniel","year":"2021","unstructured":"Daniel Lehmann, Martin Toldam Torp, and Michael Pradel. 2021. Fuzzm: Finding memory bugs through binary-only instrumentation and fuzzing of webassembly. arXiv preprint arXiv:2110.15433 (2021)."},{"key":"e_1_3_2_1_23_1","volume-title":"Concolic Execution for WebAssembly. In 36th European Conference on Object-Oriented Programming (ECOOP","author":"Marques Filipe","year":"2022","unstructured":"Filipe Marques, Jos\u00e9 Fragoso Santos, Nuno Santos, and Pedro Ad ao. 2022. Concolic Execution for WebAssembly. In 36th European Conference on Object-Oriented Programming (ECOOP 2022). Schloss Dagstuhl-Leibniz-Zentrum f\u00fcr Informatik."},{"key":"e_1_3_2_1_24_1","first-page":"100","article-title":"Differential testing for software","volume":"10","author":"McKeeman William M","year":"1998","unstructured":"William M McKeeman. 1998. Differential testing for software. Digital Technical Journal 10, 1 (1998), 100\u2013107.","journal-title":"Digital Technical Journal"},{"key":"e_1_3_2_1_25_1","unstructured":"MDN. 2023. MDN web docs website. https:\/\/developer.mozilla.org\/en-US\/docs\/WebAssembly\/Rust_to_wasm"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3571208"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2499370.2491967"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2998392.2998397"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/1298568.1298570"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3477314.3507308"},{"key":"e_1_3_2_1_31_1","unstructured":"TinyGo. 2023. TinyGo official docs webpage. https:\/\/tinygo.org\/docs\/guides\/webassembly\/"},{"key":"e_1_3_2_1_32_1","volume-title":"Potential of WebAssembly for Embedded Systems. In 2022 11th Mediterranean Conference on Embedded Computing (MECO). IEEE, 1\u20134.","author":"Wallentowitz Stefan","year":"2022","unstructured":"Stefan Wallentowitz, Bastian Kersting, and Dan Mihai Dumitriu. 2022. Potential of WebAssembly for Embedded Systems. In 2022 11th Mediterranean Conference on Embedded Computing (MECO). IEEE, 1\u20134."},{"key":"e_1_3_2_1_33_1","unstructured":"wamr. 2023. Github wamr repository. https:\/\/github.com\/bytecodealliance\/wasm-micro-runtime"},{"key":"e_1_3_2_1_34_1","unstructured":"WasmBench. 2023. Github WasmBench repository. https:\/\/github.com\/sola-st\/WasmBench"},{"key":"e_1_3_2_1_35_1","unstructured":"WasmEdge. 2023. Github WasmEdge repository. https:\/\/github.com\/WasmEdge\/WasmEdge"},{"key":"e_1_3_2_1_36_1","unstructured":"Wasmer. 2023. Github Wasmer repository. https:\/\/github.com\/wasmerio\/wasmer"},{"key":"e_1_3_2_1_37_1","unstructured":"wasmtime. 2023. Github wasmtime repository. https:\/\/github.com\/bytecodealliance\/wasmtime"},{"key":"e_1_3_2_1_38_1","unstructured":"WebAssembly. 2023. Github WASI repository. https:\/\/github.com\/WebAssembly\/WASI"},{"key":"e_1_3_2_1_39_1","unstructured":"WebAssembly. 2023. Index of WebAssembly instructions. https:\/\/webassembly.github.io\/spec\/core\/appendix\/index-instructions.html"},{"key":"e_1_3_2_1_40_1","unstructured":"WebAssembly. 2023. SIMD proposal for WebAssembly. https:\/\/github.com\/WebAssembly\/simd"},{"key":"e_1_3_2_1_41_1","unstructured":"WebAssembly. 2023. WebAssembly 1.0 specification webpage. https:\/\/www.w3.org\/TR\/wasm-core-1\/#a7-index-of-instructions"},{"key":"e_1_3_2_1_42_1","unstructured":"WebAssembly. 2023. WebAssembly specification webpage. https:\/\/webassembly.github.io\/spec\/core\/binary\/index.html"},{"key":"e_1_3_2_1_43_1","volume-title":"Characterizing and Detecting WebAssembly Runtime Bugs. ACM Transactions on Software Engineering and Methodology","author":"Yixuan Zhang","year":"2023","unstructured":"Zhang Yixuan, Cao Shangtong, Wang Haoyu, Zhenpeng Chen, Luo Xiapu, Mu Dongliang, Ma Yun, Huang Gang, and Liu Xuanzhe. 2023. Characterizing and Detecting WebAssembly Runtime Bugs. ACM Transactions on Software Engineering and Methodology (2023)."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2048147.2048224"},{"key":"e_1_3_2_1_45_1","volume-title":"WADIFF: A Differential Testing Framework for WebAssembly Runtimes. In 2023 38th IEEE\/ACM International Conference on Automated Software Engineering (ASE). IEEE Computer Society, 939\u2013950","author":"Zhou Shiyao","year":"2023","unstructured":"Shiyao Zhou, Muhui Jiang, Weimin Chen, Hao Zhou, Haoyu Wang, and Xiapu Luo. 2023. WADIFF: A Differential Testing Framework for WebAssembly Runtimes. In 2023 38th IEEE\/ACM International Conference on Automated Software Engineering (ASE). IEEE Computer Society, 939\u2013950."}],"event":{"name":"ISSTA '24: 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","AITO"],"location":"Vienna Austria","acronym":"ISSTA '24"},"container-title":["Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3650212.3680358","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T12:06:25Z","timestamp":1726056385000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3650212.3680358"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,11]]},"references-count":45,"alternative-id":["10.1145\/3650212.3680358","10.1145\/3650212"],"URL":"https:\/\/doi.org\/10.1145\/3650212.3680358","relation":{},"subject":[],"published":{"date-parts":[[2024,9,11]]},"assertion":[{"value":"2024-09-11","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}