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

Ningyu He, Zhehao Zhao, Jikai Wang, Yubin Hu 0003, Shengjian Guo, Haoyu Wang, Guangtai Liang, Ding Li, Xiangqun Chen, Yao Guo 0001. Eunomia: Enabling User-Specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries. In René Just, Gordon Fraser 0001, editors, Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023, Seattle, WA, USA, July 17-21, 2023. pages 385-397, ACM, 2023. [doi]

Authors

Ningyu He

This author has not been identified. Look up 'Ningyu He' in Google

Zhehao Zhao

This author has not been identified. Look up 'Zhehao Zhao' in Google

Jikai Wang

This author has not been identified. Look up 'Jikai Wang' in Google

Yubin Hu 0003

This author has not been identified. Look up 'Yubin Hu 0003' in Google

Shengjian Guo

This author has not been identified. Look up 'Shengjian Guo' in Google

Haoyu Wang

This author has not been identified. Look up 'Haoyu Wang' in Google

Guangtai Liang

This author has not been identified. Look up 'Guangtai Liang' in Google

Ding Li

This author has not been identified. Look up 'Ding Li' in Google

Xiangqun Chen

This author has not been identified. Look up 'Xiangqun Chen' in Google

Yao Guo 0001

This author has not been identified. Look up 'Yao Guo 0001' in Google