Re: Is splint the best for static code checking? I mean free.

"Bin Chen" <binary.chen@xxxxxxxxx> writes:

But I have some doubts, such as following code checked by splint:

I soon gave up on that one too. It made a huge fuss about things that
were perfectly in order, and failed to find anything real. The latter
part could be explained as my code being perfect, which I'd like to
believe, but somehow doubt.

binch@binch:/tmp$ cat b.c
int b[3];

main()
{
b[8] = 5;
}

It can't figure out the array overflow access. Any other choice to
splint? I need a free one. Thanks.

I don't think there is any free tool that can do this.

--
Måns Rullgård
mans@xxxxxxxxx
.