<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Tue, Apr 15, 2014 at 1:46 PM, Peter Fairbrother <span dir="ltr"><<a href="mailto:zenadsl6186@zen.co.uk" target="_blank">zenadsl6186@zen.co.uk</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">But as far as I can see, almost all of the big holes in the last ten years could have been caught by good code checkers.</blockquote>

<div><br></div><div>The best "code checkers" are these things called "compilers". In a good programming language, it should be possible to statically assert your code is free of memory safety errors.</div>

<div><br></div><div>A language which is easily interoperable with C which can do this is Rust:</div><div><br></div><div><a href="http://www.rust-lang.org/">http://www.rust-lang.org/</a><br></div><div> </div></div>-- <br>
Tony Arcieri<br>

</div></div>