I've found it too yesterday. It appears that they are concentrating on security rather than correctness - maybe that's why their warnings were meaningless in your case, and since they don't support C++ (at least according to the site) I'd expect they wouldn't catch many C++ language-related programming errors.
--Amos
Shlomi Fish wrote:
On Sun, 16 Nov 2003, Tal, Shachar wrote:
Hi all,
Anyone can recommend or warn against usage of a (preferably Open Source, otherwise customizable) lint-like tool, for static checking of C++ and/or C# code?
There's Splint:
http://www.splint.org/
It is useful for C and C++. I tried it and having realized that I need to add a ton of comments just to override a few errors it reported, for which there was nothing wrong, I gave up on using it. Maybe you'll find it useful.
Regards,
Shlomi Fish
Thanks, Shachar Tal Verint Systems
This electronic message contains information from Verint Systems, which may be privileged and confidential.The information is intended to be for the use of the individual(s) or entity named above.If you are not the intended recipient, be aware that any disclosure, copying, distribution or use of the contents of this information is prohibited.If you have received this electronic message in error, please notify us by replying to this email.
================================================================= To unsubscribe, send mail to [EMAIL PROTECTED] with the word "unsubscribe" in the message body, e.g., run the command echo unsubscribe | mail [EMAIL PROTECTED]
---------------------------------------------------------------------- Shlomi Fish [EMAIL PROTECTED] Home Page: http://t2.technion.ac.il/~shlomif/
Writing a BitKeeper replacement is probably easier at this point than getting its license changed.
Matt Mackall on OFTC.net #offtopic.
================================================================= To unsubscribe, send mail to [EMAIL PROTECTED] with the word "unsubscribe" in the message body, e.g., run the command echo unsubscribe | mail [EMAIL PROTECTED]
---------- Your email is protected by Mailshell ---------- To block spam or change delivery options: http://www.mailshell.com/control.html?a=blshp8b9gc0rxhgk_srox_llfpptvypmvy7j
Wouldn't you rather have amos-sha.com as your personal domain? http://rd.mailshell.com/ad465 Earn up to $3 for each of your friends who signs up with Mailshell! http://rd.mailshell.com/sp5
================================================================= To unsubscribe, send mail to [EMAIL PROTECTED] with the word "unsubscribe" in the message body, e.g., run the command echo unsubscribe | mail [EMAIL PROTECTED]
