面向 WebAssembly 的通用静态二进制重写框架
软件工程
2023-05-03 v1
摘要
二进制重写是软件分析中广泛采用的技术。WebAssembly（Wasm）作为一种新兴的字节码格式，已引起我们社区的极大关注。遗憾的是，目前尚无面向 Wasm 的通用二进制重写框架，且现有 Wasm 二进制修改工作易出错且繁琐。本文提出 BREWasm，首个面向 Wasm 的通用静态二进制重写框架，其解决了 Wasm 重写的内在挑战，包括高度复杂的二进制结构、严格的静态语法验证，以及各节之间的耦合。我们在多样化 Wasm 应用上进行了广泛评估，以展示 BREWasm 的效率、正确性与有效性。我们进一步展示了基于 BREWasm 以轻松且用户友好的方式实现多种二进制重写任务这一有前景的方向。
引用
@article{arxiv.2305.01454,
title = {A General Static Binary Rewriting Framework for WebAssembly},
author = {Shangtong Cao and Ningyu He and Yao Guo and Haoyu Wang},
journal= {arXiv preprint arXiv:2305.01454},
year = {2023}
}