华为云WebAssembly代码静态符号执行技术实现新突破

华为云PaaS技术创新LAB与北京大学研究团队合作开发了静态符号执行引擎服务Eunomia，可应用于工业场景。该引擎提升了Wasm语言的静态符号执行分析效率，并成功发现多个0-Day漏洞。实验结果显示Eunomia在逻辑炸弹和超时案例数量上优于Manticore。该工作被ISSTA2023顶会接收并荣获杰出论文奖。