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