Faults in Linux Kernel 3.x : Disable interrupts and not re-enable them

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.

This blog post is about the bugs and FPs I found for the report which checks here interrupts are turned off but not turned on again, using the functions local_irq_save or save_and_cli, where interrupts are turned off but not turned on again, using the functions cli, where a lock that is taken but not released. Interrupts are disabled at the same time and where a lock that is taken more than once. Interrupts are disabled at the same time. You can view the annotated report here and here.

Continue reading

#coccinelle-scripts, #linux-kernel, #linux-kernel-3-x, #linux-kernel-bugs, #linux-kernels

Faults in Linux Kernel 3.x : Double Locks

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.

This blog post is about the bugs and FPs I found for the report which checks for locks taken two times. You can view the annotated report here.

Continue reading

#coccinelle-scripts, #linux-kernel, #linux-kernel-bugs, #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