Software Assurance Reference Dataset

[Timon Gehr via Digitalmars-d]

On 06/27/2014 01:47 AM, Andrei Alexandrescu wrote:
> On 6/26/14, 4:16 PM, Timon Gehr wrote:
>> ...
>>
>> You can say "out of scope" or "not a priority" or "this should be
>> realized in third-party tool support" but not "it is impossible".
>
> I also seem to reckon Walter is in the other extreme (he asserts it
> can't be done at all, period).

I don't think it makes sense to imply that I am defending an extreme 
position. I wasn't discussing design choices, truth is not a continuum 
and I was just objecting to the line of reasoning that went like 
"undecidability of the halting problem implies that formal reasoning is 
pointless.", which is clearly untrue.

> My understanding is that it can be done
> but only with annotations or whole program analysis.
> ...

Any way it is done, it doesn't come for free.