Faults in Linux Kernel 3.x : Locking but not unlocking

As part of my work, I need to annotate  the reports generated using Coccinelle Scripts as bugs/FPs for recent Linux Kernels, recent as in versions > 3.0 till the current one 3.18.

As I’m reading the reports (newer ones), so today I completed Linux_lockintr.new.org.

Continue reading

#bugs, #coccinelle-scripts, #faults, #linux-kernel, #linux-kernels

Faults in Linux Kernel 3.x : Interrupts turned off but not turned on again

As part of my work, I need to annotate  the reports generated using Coccinelle Scripts as bugs/FPs for recent Linux Kernels, recent as in versions > 3.0 till the current one 3.18.

As I’m reading the reports (newer ones), so today I completed Linux_intr.new.org.

Continue reading

#bugs, #coccinelle, #coccinelle-scripts, #faults, #interrupt, #linux-kernel, #linux-kernels

Faults in Linux 3.x : Using value from get_user without check as array index

As part of my work, I need to annotate  the reports generated using Coccinelle Scripts as bugs/FPs for recent Linux Kernels, recent as in versions > 3.0 till the current one 3.18.

As I’m reading the reports (newer ones), so today I completed Linux_get.new.org.

Continue reading

#array-indices, #bugs, #coccinelle, #coccinelle-scripts, #faults, #get_user, #linux-kernel, #linux-kernels

Faults in Linux Kernel 3.x : Using Freed Memory

As part of my work, I need to annotate  the reports generated using Coccinelle Scripts as bugs/FPs for recent Linux Kernels, recent as in versions > 3.0 till the current one 3.18.

So in reading the reports (newer ones) I have recently completed Linux_kfree.new.org.

Continue reading

#bugs, #coccinelle-scripts, #faults, #kfree, #linux-kernel, #linux-kernels

Faults in Linux Kernel 3.x : Allocating Large Arrays on Stack

As part of my work, I need to annotate  the reports generated using Coccinelle Scripts as bugs/FPs for recent Linux Kernels, recent as in versions > 3.0 till the current one 3.18.

So in reading the reports (newer ones) I have recently completed Linux_var.new.org.

Continue reading

#bugs, #coccinelle-scripts, #faults, #large-arrays, #linux-kernel, #linux-kernels

Faults in Linux Kernel 3.x : Unchecked value from copy_from_user used as loop index

As part of my work, I need to annotate  the reports generated using Coccinelle Scripts as bugs/FPs for recent Linux Kernels, recent as in versions > 3.0 till the current one 3.18.

So while reading the reports (newer ones) I first completed Linux_copy.new.org.

Continue reading

#array-indices, #bugs, #coccienlle, #coccinelle-scripts, #faults, #linux-kernel-bugs, #linux-kernels, #programming

Faults in Linux: Using freed memory

As part of my project, while reading the reports, I came to know about bugs, using X after freeing it.  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 case of using freed memory.

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

Continue reading

#bugs, #coccinelle, #false-positives, #foss-2, #fossopw

Faults in Linux: Not checking for Null before dereferencing

As part of my project, while reading the reports, I came to know about bugs of type which were not checking for null before derefencing.  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 case of NULL return values are tested before being derferenced or not?

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

Continue reading

#bugs, #c, #coccinelle, #foss-2, #fossopw, #null-return-values

Faults in Linux: Coccinelle: Reading The Reports

As part of my project, I was required to go understand the previous reports. Previous reports that are generated by tool Coccinelle. I need to list 10 bugs and 10 FPs(False positives by Coccinelle) in the reports.

You can look at the patterns here.

From large array size on stack to double unlockingmissing unlock, to dereferencing nulls, to use after freeing memory, Linux Kernel has it all.

This post is a How To on reading the reports.

Continue reading

#bugs, #coccinelle, #linux-kernel

Tools To Cleanup Linux Kernel

Today the count of patches I submitted to Linux kernel reached to 63. I used a lot of tools to submit patches to Linux kernel. This post will list all those tools that I used, how to use them and a bit more.

Continue reading

#bugs, #coccinelle, #errors, #failure, #falwfinder, #fault, #flaws, #linux-kernel, #smatch, #sparse