Faults in Linux Kernel 3.x : Inconsistent assumptions about NULL

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 case which checks for inconsistent assumptions about NULL. This has two parts, one is where NULL test is done preceding a dereference and the second is where a NULL test is done following a dereference. You can view the annotated report for the first case and for the second case.

Continue reading

#coccinelle-scripts, #dereference, #linux-kernels, #null-test

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 : Calling blocking functions with interrupts disabled or spinlock held

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 case which checks for locks around possibly blocking functions.

Continue reading

#coccinelle-scripts, #kernel-function, #linux-kernels

Faults in Linux Kernel 3.x : Wrong use of krealloc

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_realloc.new.org.

Continue reading

#bug, #coccinelle, #coccinelle-scripts, #faults, #krealloc, #linux-kernel, #linux-kernels

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