Software Assurance Reference Dataset

[Walter Bright via Digitalmars-d]

On 6/26/2014 2:52 AM, Timon Gehr wrote:
> On 06/26/2014 11:35 AM, Walter Bright wrote:
>> On 6/26/2014 2:19 AM, bearophile wrote:
>>> One kind of problem left is to avoid stack overflows.
>>
>> In general, stack overflow checking at compile time is the halting
>> problem.
>
> That is irrelevant to his point because he is not suggesting to solve the
> general problem precisely. Analogously: In general, checking whether some
> variable in e.g. Python is ever assigned a string value is undecidable as well,
> but this does not imply we cannot have 'int' variables in D.

When you're dealing with security issues, which is what this about, you'll need 
a guarantee about stack overflow. Adding annotations is not helpful with this 
because they are not checkable.

Again, what WORKS is a runtime check.