12-May-2013: LDV project - the first 100 bugs in Linux kernel fixed

Submitted by admin on Sat, 11/05/2013 - 20:29

The first 100 bugs found by the Linux Driver Verification project have been fixed in the Linux kernel. 86 patches developed by members of the LDV team have found their way to the mainline kernel.

A complete list of the bugs can be found here. The statistics of bug fixes in various subsystems of the Linux kernel is presented by the cumulative total method on the plot below. The first bug was fixed in the 2.6.31 kernel released on 9 September, 2009. Fixes of the last found bugs will be available in the 3.10 kernel which will be released soon. Besides the statistics on subsystems of the Linux kernel, the plot presents the average number of bug fixes depending on the kernel version (the orange dashed line). This line shows that in the LDV project the rate of detection of new problems in the kernel increases in the course of time that is caused by increase of efforts spent to analyze verification results for latest kernels, and also by support of verification of new safety rules.

Statistics of bug fixes in various kernel subsystems found by LDV project