On Monday 20 June 2005 10:12, Kai Henningsen wrote:
> [EMAIL PROTECTED] (Tommy Vercetti) wrote on 19.06.05 in
<[EMAIL PROTECTED]>:
> > I was looking on different ones, for C, that claimed to have ability to
> > find security problems. One that I found the best, is splint. But it's
> > still not a
[EMAIL PROTECTED] (Tommy Vercetti) wrote on 19.06.05 in <[EMAIL PROTECTED]>:
> I was looking on different ones, for C, that claimed to have ability to find
> security problems. One that I found the best, is splint. But it's still not
> able to find such obvious problem:
Did you look at sparse? T
I complied this list for the local C++ users group several months ago,
it might be helpful.
http://www.nwcpp.org/Misc/Tools_DavidBremner.html
Regards,
David Bremner
On Sunday 19 June 2005 04:48, Gabriel Dos Reis wrote:
> Mathieu Malaterre <[EMAIL PROTECTED]> writes:
> | Gabriel Dos Reis wrote:
> | > Tommy Vercetti <[EMAIL PROTECTED]> writes:
> | > | On Sunday 19 June 2005 03:03, you wrote:
> | > | > Elsa does not parse C++.
> | > |
> | > | Elsa is for C/C++, s
Tommy Vercetti wrote:
> Hi folks
>
> I would like to ask you about source validation software. Software that runs
> trough source code, and attempts to find any possible memory leaks, and other
> problems. Is there anything opensource for C or/and C++ out there ?
My summer research project that
Mathieu Malaterre <[EMAIL PROTECTED]> writes:
| Gabriel Dos Reis wrote:
| > Tommy Vercetti <[EMAIL PROTECTED]> writes:
| > | On Sunday 19 June 2005 03:03, you wrote:
| > | > Tommy Vercetti <[EMAIL PROTECTED]> writes:
| > | > | On Sunday 19 June 2005 00:32, you wrote:
| > | > | > Something like:
|
> Tommy Vercetti <[EMAIL PROTECTED]> writes:
>
> | Yeah, but for more than just STL, and opensource. C++ checker that
> | is going to work for instance for KDE.
> | Wonder why they use proprietary parser,
>
Gabriel Dos Reis wrote:
> Most of the tools I know of are either "research projects" (w
Gabriel Dos Reis wrote:
Tommy Vercetti <[EMAIL PROTECTED]> writes:
| On Sunday 19 June 2005 03:03, you wrote:
| > Tommy Vercetti <[EMAIL PROTECTED]> writes:
| > | On Sunday 19 June 2005 00:32, you wrote:
| > | > Something like:
| > | >
| > | > http://www.cs.rpi.edu/~gregod/STLlint/STLlint.html
|
Tommy Vercetti <[EMAIL PROTECTED]> writes:
| On Sunday 19 June 2005 03:03, you wrote:
| > Tommy Vercetti <[EMAIL PROTECTED]> writes:
| > | On Sunday 19 June 2005 00:32, you wrote:
| > | > Something like:
| > | >
| > | > http://www.cs.rpi.edu/~gregod/STLlint/STLlint.html
| > |
| > | Yeah, but for m
On Sunday 19 June 2005 03:03, you wrote:
> Tommy Vercetti <[EMAIL PROTECTED]> writes:
> | On Sunday 19 June 2005 00:32, you wrote:
> | > Something like:
> | >
> | > http://www.cs.rpi.edu/~gregod/STLlint/STLlint.html
> |
> | Yeah, but for more than just STL, and opensource. C++ checker that
> | is g
Tommy Vercetti <[EMAIL PROTECTED]> writes:
| On Sunday 19 June 2005 00:32, you wrote:
| > Something like:
| >
| > http://www.cs.rpi.edu/~gregod/STLlint/STLlint.html
|
| Yeah, but for more than just STL, and opensource. C++ checker that
| is going to work for instance for KDE.
| Wonder why they u
On Sunday 19 June 2005 00:32, you wrote:
> Something like:
>
> http://www.cs.rpi.edu/~gregod/STLlint/STLlint.html
Yeah, but for more than just STL, and opensource. C++ checker that is going to
work for instance for KDE.
Wonder why they use proprietary parser, there are opensource parsers around,
Something like:
http://www.cs.rpi.edu/~gregod/STLlint/STLlint.html
HTH
Mathieu
Tommy Vercetti wrote:
Hi folks
I would like to ask you about source validation software. Software that runs
trough source code, and attempts to find any possible memory leaks, and other
problems. Is there anythin
13 matches
Mail list logo
