[kazinator]

There's no such thing as hardware memory safety, with absolutely no change to the semantics of the machine as seen by the compiled C program. There are going to be false positives.

[gw2]

> There are going to be false positives

Of course, but compare it with rewriting it to a completely different language.