[Cryptography] GCC bug 30475

Nemo nemo at self-evident.org
Fri Apr 25 12:24:40 EDT 2014


Bear <bear at sonic.net> writes:

> On Wed, 2014-04-23 at 18:06 -0400, D. Hugh Redelmeier wrote:
>> specs, we don't specify what the result will be.
>> 
>> I want a compiler that says: when you go outside the specs, we'll
>> catch it and tell you (the language can help or hinder this).  The
>> market seems to disagree (John Gilmore has pointed this out).
>> 
>
> Such a compiler would be a very specialized product, but I believe 
> that it would be useful and extraordinarily valuable to some subset
> of programmers.  I have certainly searched for it before now.

GCC and Clang have done some work along these lines with
"-fsanitize-undefined":

  http://stackoverflow.com/questions/20738232/

But (a) it will never be complete and (b) if it ever were complete, the
performance cost would be so high that it would not be C anymore.

 - Nemo
   https://self-evident.org/


More information about the cryptography mailing list