3 ms·

It is not obvious to me why this should guarantee safety.

• jay-barronville 2y ago
  `wasm2c` fully implements the WebAssembly sandbox execution environment [0][1] and has the passing tests to prove it. To be a bit more specific, the .wasm binary you generate initially already has the WebAssembly semantics baked in (obviously) and `wasm2c` creates a portable C translation of the WebAssembly while also ensuring that the execution environment is sandboxed (e.g., the code traps when attempting out-of-bounds memory accesses). [0]: https://webassembly.org https://webassembly.org [1]: https://github.com/WebAssembly/wabt/issues/2289#issuecomment-1709207053 https://github.com/WebAssembly/wabt/issues/2289#issuecomment...