Re:Lucet: Native WebAssembly Compiler and Runtime
by Rusky on Sunday March 31, 2019 @12:22PM
(#19536385)
Sure, and we use software memory tagging with things like LLVM sanitizers. It's great.
But a) the hardware Wasm needs to support doesn't have tagging, and b) the software equivalent requires support from the allocator and has a large performance penalty.
So yes, it was a deliberate design decision, taken in order to support existing C programs on the Web.
This is really getting tiring- learning from the past is great, but fetishizing it to the point of denying anything new has any value is... not.
So leaving memory tagging out of WASM was a deliberate design decision.
There are already better alternatives to write secure code if using C is not a requirement, so again nothing new on WASM other than its hype.