RecodeX 重构消息,Wasm并非纯栈机,因有局部变量及缺少stack manipulation操作。