On Fri, May 22, 2009 at 01:29:38PM -0500, Shawn Walker wrote:

> The results are pretty good (if you ignore the [Unverified] lines).

Of course, there's a metric shitload of those.

One interesting one after a few seconds of perusal is in elfextract -- the
first one, which is *not* unverified, but is decidedly incorrect, as far as
I can tell ... use of possibly null pointer on line 522 of elfextract.c,
which is

        521    if (verdefnum > 0 && data_verdef) {
        522            buf = data_verdef->d_buf;
        523            cp = buf;
        524    }

Certainly looks like that dereference can never be on a NULL pointer, but
perhaps I'm misunderstanding what it's trying to say ...

Danek
_______________________________________________
pkg-discuss mailing list
[email protected]
http://mail.opensolaris.org/mailman/listinfo/pkg-discuss

Reply via email to