Re:WebAssembly doesn’t make unsafe languages safe
by int_19h on Sunday November 25, 2018 @07:41PM
(#18530096)
> The problem is that in practice NULL pointers are often caused by other things, like thinking that zero-initialized memory contains a pointer
Which, to be clear, is not a valid assumption wrt portable C or C++.
This is serious enough an issue that for debugging purposes emscripten has a SAFE_HEAP mode which will check for NULL pointers on every access. We'd still need that to look for 0 even if the compiler considered NULL to be something other than 0.