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

eunomia-bpf 项目作为一个为了简化 eBPF 程序的开发、分发、运行而设计的轻量级 eBPF 开发框架的背景和目标；再通过一些简单的实例，展示一下 eunomia-bpf 是如何从云端一行命令下载运行 eBPF 程序、只编写内核态代码。