www.digitalmars.com         C & C++   DMDScript  

c++.chat - lint or what?

reply 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?
Jan 23 2006
parent 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".
Jan 23 2006