• Anuj Goyal (3/3) Jan 23 2006 Does anyone here use a static source code analyzer like lint. What are ...
• Jerry van Dijk (11/14) Jan 23 2006 With my Ada background I love static checking :-) For plain C code I lik...

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?

Jerry van Dijk <jerry jvdsys.demon.nl> writes:

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".