(1) 我听说 WebAssembly 通过提供线性内存而安全。我想知道这个线性存储器包含什么?wasm栈和堆是否位于这个内存空间?如果是的话,我认为 wasm 堆栈和粘合代码堆栈(例如 JavaScript、Python 等)是分开的,对吧?
(2)我可以通过使用导入表来了解wasm的内存安全性。换句话说,wasm函数不能调用线性内存之外的任何函数,因为它只能使用索引来调用导入的函数。除此之外,wasm 还提供哪些其他安全功能?可能是上面的堆栈问题。
(3) 看起来wasm中也有控制流完整性。也就是说每个函数的返回地址都是固定的,不能在函数内部修改。这是正确的理解吗?