&gt; Many languages provide excellent guarantees, but that does not protect against bugs in the implementation itself (logic).<p>This is the black and white security fallacy. Memory safety problems are, statistically, a huge quantity of security bugs. By eliminating them you drastically reduce the number of bugs.