Software Assurance Reference Dataset

[bearophile via Digitalmars-d]

Walter Bright:

> It's an interesting list, and an opportunity for D. I once said 
> that my job was to put Coverity out of business.

Even if D has wide success, I don't think D will delete all the C 
and C++ code out of existence, so I don't think D will ever put 
Coverity out of business :-)


> The more of these issues D can automatically prevent
> with @safe, the better.

I think D will need/better guns for that, like a more principled 
(formalized, written fully down in specs, eventually even proved) 
management of uniqueness, etc.

Bye,
bearophile