4 ms·
> Writing your code in a safe language makes buffer overflows obsolete Most languages can be safe with a safe implementation and most languages can be unsafe w
by snakeanus 9y ago
> Writing your code in a safe language makes buffer overflows obsolete
Most languages can be safe with a safe implementation and most languages can be unsafe with an unsafe implementation.
Just use a safe implementation next time, or go all-in and formally verify your programs.
- dreamcompiler 9y agoWhat's a "safe implementation" of C?
- snakeanus 9y agoSomething like https://staff.aist.go.jp/y.oiwa/FailSafeC/index-en.html https://staff.aist.go.jp/y.oiwa/FailSafeC/index-en.html or GCC/Clang with the sanitisers.
- pdimitar 9y agoToo generalizing. I don't think -- an example off the top of my head, don't nitpick please -- that Clojure and Erlang/Elixir are that easily exploited with buffer overflows. I'd even say they are immune but I am not a security researcher.