[lkml]   [2006]   [Mar]   [9]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
Messages in this thread
    SubjectRe: filldir[64] oddness
    On Thu, Mar 09, 2006 at 09:15:14AM -0800, Bryan O'Sullivan wrote:
    > On Thu, 2006-03-09 at 12:07 -0500, Dave Jones wrote:
    > > > About half of the ~50 reports I've looked at so far in their database
    > > > have been false positives. In most of those cases, it's not obvious how
    > > > a checker might have gotten them right instead, though.
    > >
    > > It seems to stumble quite a bit when faced with things that are
    > > free'd when refcounts drop to zero. (skbs, and kobjects).
    > Yes, or (in my case) stuff like "when this variable has value X, that
    > pointer can't possibly be NULL".

    It does call into question the "OMFG, there are 1000 bugs in the kernel"
    hysteria that has found its way through various news forums.
    The genuine bugs it does find are gold dust though. There's a bunch
    of stuff that's sat there for an eternity. It's just painstaking to
    grovel through the reports weeding out the false positives.

    A lot of the 'bugs' it's found are also not really going to make
    the world stop turning soon. It even picked up a few cases of
    code doing like.

    void foo()
    int x;

    while (read status from hardware reg != READY)

    as uninitialised. Which is true, but as there's nothing
    dependant on it, it's harmless.


    To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
    the body of a message to
    More majordomo info at
    Please read the FAQ at

     \ /
      Last update: 2006-03-09 18:30    [W:0.026 / U:2.032 seconds]
    ©2003-2017 Jasper Spaans. hosted at Digital OceanAdvertise on this site