本文分享自华为云社区《华为云WebAssembly代码静态符号执行技术实现新突破，相关论文被软件工程顶会ISSTA2023接收并荣获杰出论文奖》，作者：华为云软件分析Lab。 WebAssembly（Wasm）最初由W3C 的Mozilla、谷歌、微软、苹果等著名公司合作研发，最初是作为浏览器内应用程序的高性能执行引擎。 因为Wasm的高性能、多语言支持、安全性和可移植等特性，Wasm 也正在从Web走向云、边缘和嵌入式，成为软件创新的热点。鉴于Wasm的优越特性，业界专家一致预测Wasm语言在云计算场景中的应用将会越来越广泛。 然而针对Wasm，业界目前缺乏成熟、高效的静...