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

Ningyu He, Zhehao Zhao, Jikai Wang, Yubin Hu, Shengjian Guo, Haoyu Wang, Guangtai Liang, Ding Li, Xiangqun Chen, Yao Guo

Browse the full ISSTA paper archive.