Does anyone here use a static source code analyzer like lint.  What are some pluses and minuses associated with using this product.  Does anyone use Coverity?

Anuj Goyal <Anuj_member@pathlink.com> writes:

> Does anyone here use a static source code analyzer like lint.  What are some pluses and minuses associated with using this product.  Does anyone use Coverity?

With my Ada background I love static checking :-) For plain C code I like splint (http://www.splint.org). Can be used as a basic lint but really comes into its own when used with higher level annotation. Learning curve applies, of course, but well worth it.

-- 
--  Jerry van Dijk
--  Leiden, Holland
--
--  In case of headache, follow the instructions on the aspirin bottle: --  "Take two tablets" and "Keep away from children".