Faults in Linux: Locking but not unlocking and double locking

As part of my project, while reading the reports, I came to know about bugs of type where double locks were taken, locks were taken but never unlocked.  There were many in the versions 2.4.x and 2.6.x. I was also required to list FPs (false positives) by Coccinelle. This post is be about the mentioned type.

You can view the complete report as a PDF here and as a HTML file here.

Continue reading