3 ms·
I am not talking about safe implementations of programs but rather safe implementations of languages. A (kind of bad example because it does not catch everythin
by dependenttypes 6y ago
I am not talking about safe implementations of programs but rather safe implementations of languages. A (kind of bad example because it does not catch everything) is the address sanitiser that clang and gcc have.