<<< Date Index >>>     <<< Thread Index >>>

Re: code analysis, flaw detection, debugging



* Thomas Roessler wrote on Wed, Aug 10, 2005 at 04:19:24PM CEST:
> On 2005-08-10 16:13:17 +0200, SF Markus Elfring wrote:
> 
> > I suggest tool alternatives that can help in software development.
> 
> ... and yes, that's welcome input.

FWIW, the few C source (correctness) patches I have provided not so
recently were all result of quick analyses with splint.

IMHO, any thorough check with splint requires extensive annotation of
mutt sources, and quite a bit of actual code changes, because splint
does not like some coding styles rather common in mutt sources.  YMMV.

Regards,
Ralf