smatch/kbugs.org update 2.5.68

I just returned from vacation yesterday.  So the kbugs.org 
update is a bit late.

The notable thing this release is the update to the UnFree 
script.  Credit for that goes to Oleg Drokin.  Apparently I 
screwed the script up with one of my merges.

For the 2.5.67 results there was a bug in the ifcond.pm 
module and that is why the Dereference and UnFree bug count 
was higher than it should have been.  There are still problems 
remaining with ifcond.pm which may be causing false positives 
in the Dereference and UnFree checks.

mysql> select count(*), script, kernelver from bugs where 
kernelver = "2.5.67" or kernelver = "2.5.68" 
group by kernelver,script order by script,kernelver;
+----------+-------------------+-----------+
| count(*) | script            | kernelver |
+----------+-------------------+-----------+
|      411 | Dereference       | 2.5.67    |
|      326 | Dereference       | 2.5.68    |
|        2 | GFP_DMA           | 2.5.67    |
|        5 | GFP_DMA           | 2.5.68    |
|       49 | ReleaseRegion     | 2.5.67    |
|       50 | ReleaseRegion     | 2.5.68    |
|       44 | SpinlockUndefined | 2.5.67    |
|       44 | SpinlockUndefined | 2.5.68    |
|        6 | SpinSleepLazy     | 2.5.67    |
|        5 | SpinSleepLazy     | 2.5.68    |
|      122 | UncheckedReturn   | 2.5.67    |
|      112 | UncheckedReturn   | 2.5.68    |
|      874 | UnFree            | 2.5.67    |
|      132 | UnFree            | 2.5.68    |
|       29 | UnreachedCode     | 2.5.67    |
|       26 | UnreachedCode     | 2.5.68    |
+----------+-------------------+-----------+

There are a total of 700 possible bugs for 2.5.68.  In 
terms of moderation, 74 have been moderated as bugs and 
73 as false positives.

best regards,
dan carpenter


-- 
_______________________________________________
Sign-up for your own FREE Personalized E-mail at Mail.com
http://www.mail.com/?sr=signup

-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/