CVE-2026-34945Wasmtime的Winch编译器在处理64位表(memory64提案)的`table.size`指令时存在类型推断错误。此错误导致WebAssembly访客可能读取主机栈上的敏感数据,引发严重的信息泄露风险,影响主机环境的安全性。
该漏洞源于Wasmtime的Winch编译器在实现WebAssembly memory64提案时的逻辑缺陷。编译器在处理`table.size`指令时,错误地将返回值静态类型化为32位整数,而没有动态检查表的索引类型。在Winch的ABI(应用程序二进制接口)机制下,特别是涉及多值返回时,这种类型不匹配导致高32位寄存器未被正确清零,从而泄露了主机栈上的残留数据。攻击者可以通过构造特定的WebAssembly模块,利用此漏洞读取宿主进程栈中的敏感信息,如指针或其他操作数据。