Ben Leslie wrote:
> splint is the best way to go. Unfortunately it is a little unmaintained.
>
> http://www.splint.org/
Will it complain about the unvalidated use of the pos variable
in the following?
int pos, array [100] ;
read (fd, &pos, sizeof (pos));
array [pos] = 0 ;
Erik
--
-----------------------------------------------------------------
Erik de Castro Lopo
-----------------------------------------------------------------
"Hey, I've re-dorkulated." -- Prof. Frink (The Simpsons)
_______________________________________________
coders mailing list
coders@slug.org.au
http://lists.slug.org.au/listinfo/coders
