-Original Message-
From: Oleg Goldshmidt [mailto:[EMAIL PROTECTED]
Sent: Monday, November 17, 2003 8:27 PM
To: Tal, Shachar
Subject: Re: [OT] OSS lint-type static checker?
Tal, Shachar [EMAIL PROTECTED] writes:
I'm talking about code that I gets compiled (for production
Tal, Shachar [EMAIL PROTECTED] writes:
From: Oleg Goldshmidt
Of course, another problem with VC++ is that it often does not
compile perfectly legal C++ code.
More often, the code that VC++ perfectly compiles is not perfect C++
That's less of a problem in this context, isn't it? You
-Original Message-
From: Oleg Goldshmidt [mailto:[EMAIL PROTECTED]
Sent: Tuesday, November 18, 2003 1:22 PM
To: Tal, Shachar
Cc: '[EMAIL PROTECTED]'
Subject: Re: [OT] OSS lint-type static checker?
Tal, Shachar [EMAIL PROTECTED] writes:
From: Oleg Goldshmidt
Of course
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
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?
Thanks,
Shachar Tal
Verint Systems
This electronic message contains information from Verint Systems, which may
be privileged and
Me and a friend have looked such a thing up and down the net
for quite a while but so far haven't found anything. The only
thing we found that gives such a funcionality is PC-Lint for
windows, which is proprietary (and saved my previous workplace
its money's worth tenfold in amount of work time).
16 2003, 15:42,[EMAIL PROTECTED]:
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?
--
Oded
::..
Shai-hulud is a good garbage collector [..]
-- F. Herbert (Children of
16 2003, 15:42,[EMAIL PROTECTED]:
So take this response and one negative-ack. I'd be glad
to hear otherwise.
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?
Me and a friend
Hmm, thanks for the pointer.
Still costs a fortune, but at least there is something available
if we'll really need it.
The valgrind stuff seems to address a completly different set of
programming errors, I don't think it can completly replace static
source code analysis.
Oded Arbel wrote:
16
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
Tal, Shachar [EMAIL PROTECTED] writes:
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?
I found out from experience that switching all sorts of warnings and
checks in gcc/g++ will take
11 matches
Mail list logo