C

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… Continue reading Faults in Linux: Locking but not unlocking and double locking

C

Faults in Linux: Using value taken from user as array bounds without check

As part of my project, while reading the reports, I came to know about bugs of type where unchecked values obtained from the user level are used as array indices or loop bounds..  These were less 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… Continue reading Faults in Linux: Using value taken from user as array bounds without check

C

Faults in Linux: Making Inconsistent Assumptions About Whether a Pointer is NULL

As part of my project, while reading the reports, I came to know about bugs, where incorrect assumptions about a pointer being null or not were taken.  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 will be about, what I found for… Continue reading Faults in Linux: Making Inconsistent Assumptions About Whether a Pointer is NULL

C

Faults in Linux: Using incorrect sizeof expressions

As part of my project, while reading the reports, I came to know about bugs where incorrect sizeof expressions are used, typically leading to allocation of data of the wrong size.  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 will be about, what… Continue reading Faults in Linux: Using incorrect sizeof expressions

C

Faults in Linux: Allocating large stack variables (>1K)

As part of my project, while reading the reports, I came to know about bugs where large stack variables were allocated on the fixed kernel stack.  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 will be about, what I found for the… Continue reading Faults in Linux: Allocating large stack variables (>1K)