Daniel Pittman wrote:
> You do mean, specifically, bugs that have the appropriate sparse tests
> and/or type annotations in place, right?
Possibly not. Remeber I played with Sparse for all of 10 minutes.
> Can you render them down to a trivial example that demonstrates the
> failure?
Well a trivial example:
int pos, array [100] ;
read (fd, &pos, sizeof (pos));
array [pos] = 0 ;
I know analysis tools like coverity can find stuff like this.
Erik
--
-----------------------------------------------------------------
Erik de Castro Lopo
-----------------------------------------------------------------
"Safety versus Expressiveness is a false dichotomy -- you can have both.
Compare ObjectiveCaml with CeePlusPlus: OCaml obtains expressiveness
without compromising safety, while C++ obtains it by throwing away
safety. The latter is just bad design." -- David Hopwood
_______________________________________________
coders mailing list
coders@slug.org.au
http://lists.slug.org.au/listinfo/coders
