{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T01:16:06Z","timestamp":1777338966511,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T00:00:00Z","timestamp":1726012800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,9,11]]},"DOI":"10.1145\/3650212.3685300","type":"proceedings-article","created":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T11:44:25Z","timestamp":1726055065000},"page":"1816-1820","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9980-7298","authenticated-orcid":false,"given":"Ningyu","family":"He","sequence":"first","affiliation":[{"name":"Key Lab of HCST (PKU), MOE; SCS, Peking University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6975-8352","authenticated-orcid":false,"given":"Zhehao","family":"Zhao","sequence":"additional","affiliation":[{"name":"Key Lab of HCST (PKU), MOE; SCS, Peking University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-3723-4915","authenticated-orcid":false,"given":"Hanqin","family":"Guan","sequence":"additional","affiliation":[{"name":"Key Lab of HCST (PKU), MOE; SCS, Peking University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-0887-5560","authenticated-orcid":false,"given":"Jikai","family":"Wang","sequence":"additional","affiliation":[{"name":"Huazhong University of Science and Technology, Wuhan, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-9141-3221","authenticated-orcid":false,"given":"Shuo","family":"Peng","sequence":"additional","affiliation":[{"name":"Huazhong University of Science and Technology, Wuhan, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7558-9137","authenticated-orcid":false,"given":"Ding","family":"Li","sequence":"additional","affiliation":[{"name":"Key Lab of HCST (PKU), MOE; SCS, Peking University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"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"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7366-5906","authenticated-orcid":false,"given":"Xiangqun","family":"Chen","sequence":"additional","affiliation":[{"name":"Key Lab of HCST (PKU), MOE; SCS, Peking University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5064-5286","authenticated-orcid":false,"given":"Yao","family":"Guo","sequence":"additional","affiliation":[{"name":"Key Lab of HCST (PKU), MOE; SCS, Peking University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,9,11]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Sr\u0111an Pani\u0107. 2024. Repo of Collections C. https:\/\/github.com\/srdja\/Collections-C"},{"key":"e_1_3_2_1_2_1","unstructured":"Trail of Bits. 2024. Repo of Manticore. https:\/\/github.com\/trailofbits\/manticore"},{"key":"e_1_3_2_1_3_1","unstructured":"Stephen Akinyemi. 2024. Languages that can compile to Wasm. https:\/\/github.com\/appcypher\/awesome-wasm-langs"},{"key":"e_1_3_2_1_4_1","first-page":"209","article-title":"Klee: unassisted and automatic generation of high-coverage tests for complex systems programs","volume":"8","author":"Cadar Cristian","year":"2008","unstructured":"Cristian Cadar, Daniel Dunbar, and Dawson R Engler. 2008. Klee: unassisted and automatic generation of high-coverage tests for complex systems programs.. In OSDI. 8, 209\u2013224.","journal-title":"OSDI."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386014"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062363"},{"key":"e_1_3_2_1_7_1","volume-title":"30th USENIX security symposium (USENIX Security 21). 1271\u20131288.","author":"He Ningyu","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 30th USENIX security symposium (USENIX Security 21). 1271\u20131288."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3597926.3598064"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/QRS54544.2021.00102"},{"key":"e_1_3_2_1_10_1","volume-title":"29th USENIX Security Symposium (USENIX Security 20)","author":"Lehmann Daniel","year":"2020","unstructured":"Daniel Lehmann, Johannes Kinder, and Michael Pradel. 2020. Everything old is new again: Binary security of $WebAssembly$. In 29th USENIX Security Symposium (USENIX Security 20). 217\u2013234."},{"key":"e_1_3_2_1_11_1","volume-title":"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\u00e3o. 2022. Concolic execution for webassembly. In 36th European Conference on Object-Oriented Programming (ECOOP 2022)."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2019.00133"},{"key":"e_1_3_2_1_13_1","unstructured":"SQLite. 2024. Wasm compatible SQLite. https:\/\/sqlite.org\/wasm\/doc\/trunk\/index.md"},{"key":"e_1_3_2_1_14_1","unstructured":"The Gillian Platform. 2024. Repo of Gillian Collections C. https:\/\/github.com\/GillianPlatform\/collections-c-for-gillian"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3576915.3623213"},{"key":"e_1_3_2_1_16_1","unstructured":"WASI. 2022. WebAssembly System Interface. https:\/\/wasi.dev\/"},{"key":"e_1_3_2_1_17_1","unstructured":"WebAssembly. 2021. WASI SDK 14. https:\/\/github.com\/WebAssembly\/wasi-sdk\/releases\/tag\/wasi-sdk-14"},{"key":"e_1_3_2_1_18_1","unstructured":"WebAssembly Community Group. 2022. WebAssembly spcification. https:\/\/webassembly.github.io\/spec\/core\/"},{"key":"e_1_3_2_1_19_1","unstructured":"ymc9. 2023. Projects that use Wasm. https:\/\/dev.to\/zenstack\/what-are-people-building-with-webassembly-2eh4"}],"event":{"name":"ISSTA '24: 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis","location":"Vienna Austria","acronym":"ISSTA '24","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","AITO"]},"container-title":["Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3650212.3685300","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3650212.3685300","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:58:09Z","timestamp":1750294689000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3650212.3685300"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,11]]},"references-count":19,"alternative-id":["10.1145\/3650212.3685300","10.1145\/3650212"],"URL":"https:\/\/doi.org\/10.1145\/3650212.3685300","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"}}]}}