Coverity tool

retard re at tard.com.invalid
Wed Feb 10 12:43:06 PST 2010


Wed, 10 Feb 2010 15:29:06 -0500, Nick Sabalausky wrote:

> "Walter Bright" <newshound1 at digitalmars.com> wrote in message
> news:hkv1mg$s6e$1 at digitalmars.com...
>> retard wrote:
>>> Tue, 09 Feb 2010 18:49:31 -0800, Walter Bright wrote:
>>>
>>>> D has moved a lot towards supplying by default a lot of what Coverity
>>>> claims to do. By making such an expensive tool irrelevant for D, we
>>>> can make D much more cost effective.
>>>
>>> D doesn't provide non-nullable types
>>
>> Yes, there have been a couple long threads about that. Dereferencing a
>> null pointer is a bug, but not a security/safety issue.
>>
>>
> Right, it's just not worthwhile for a language to provide help avoiding
> bugs.

Having such a language would cause unemployment among expensive 
professional programmers. Thus not worth it. That's why non-nullable 
types aren't even worth a try in an experimental branch of dmd unlike 
1000 times more useful features like built-in compiler support for 
regular expressions, opFish or having an integrated email client.



More information about the Digitalmars-d mailing list