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

华为云PaaS技术创新LAB联合北京大学郭耀教授、李锭助理教授研究团队，针对WasmWebAssembly代码孵化开发了一个可工业场景落地的静态符号执行引擎服务Eunomia。

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

0-Day漏洞 Eunomia PaaS webassembly 华为云 静态符号执行引擎
原文中文，约2000字，阅读约需5分钟。发表于：。
阅读原文
分享给好友