[Cryptography] I don't get it.

[Tony Arcieri]

On Tue, Apr 15, 2014 at 1:46 PM, Peter Fairbrother <zenadsl6186 at zen.co.uk>wrote:

> 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.


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.

A language which is easily interoperable with C which can do this is Rust:

http://www.rust-lang.org/

-- 
Tony Arcieri
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.metzdowd.com/pipermail/cryptography/attachments/20140415/ab5cca99/attachment.html>