TY  - RPRT
TI  - Eunomia: Enabling User-specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries
AU  - Ningyu He
AU  - Zhehao Zhao
AU  - Jikai Wang
AU  - Yubin Hu
AU  - Shengjian Guo
AU  - Haoyu Wang
AU  - Guangtai Liang
AU  - Ding Li
AU  - Xiangqun Chen
AU  - Yao Guo
PY  - 2023
UR  - https://arxiv.org/abs/2304.07204
ID  - 2304.07204
ER  -