Eunomia: Enabling User-Specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries-Reference-Cited by-同舟云学术

Eunomia: Enabling User-Specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries

Published:2023-07-12 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis
language:
Short-container-title:

Author:

He Ningyu¹,Zhao Zhehao¹,Wang Jikai²,Hu Yubin³,Guo Shengjian⁴,Wang Haoyu²,Liang Guangtai⁵,Li Ding¹,Chen Xiangqun¹,Guo Yao¹

Affiliation:

1. Peking University, China

2. Huazhong University of Science and Technology, China

3. Beijing University of Posts and Telecommunications, China

4. Baidu Security, USA

5. Huawei Cloud Computing Technologies, China

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3597926.3598064

Reference71 articles.

1. Control flow analysis

2. altermarkive. 2022. Crypto miner on webpages. https://github.com/altermarkive/javascript-emscripten-bitcoin-miner altermarkive. 2022. Crypto miner on webpages. https://github.com/altermarkive/javascript-emscripten-bitcoin-miner

3. Enhancing symbolic execution with veritesting

4. A Survey of Symbolic Execution Techniques

5. Inter-Chassis Communication Protocol for Layer 2 Virtual Private Network (L2VPN) Provider Edge (PE) Redundancy

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

2. Wapplique: Testing WebAssembly Runtime via Execution Context-Aware Bytecode Mutation;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

3. SymGX: Detecting Cross-boundary Pointer Vulnerabilities of SGX Applications via Static Symbolic Execution;Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security;2023-11-15

4. BREWasm: A General Static Binary Rewriting Framework for WebAssembly;Static Analysis;2023