«

On 2010-01-13, Richard Bos <> wrote:
> Dann Corbit <> wrote:
>
>> 22g2000yqr.googlegroups.com>, says...
>> > Kaz Kylheku wrote:
>> > >
>> > > Splint is almost totally useless when applied to unannotated C source.
>> >
>> > Yes, but "splint -weak" is actually pretty useful on code without
>> > annotations.
>>
>> Even the default setting is fine if you know when to ignore it.
>
> Myeah, but that doesn't say much. Even Dubya's speeches are fine if you
> know when to ignore them. When "when" becomes "always", it is useless.

The person who might be presumed to be the world's expert in knowing what to
ignore from splint output (when splint is run on an un-annotated program)
wasn't happy with the default setting; he encoded his knowledge in the machine,
in the form of the -weak option.