A potential data race in drivers/isdn/hardware/eicon/diva_mnt.ko

2016-08-15 Thread Pavel Andrianov

Hi!

There is a potential data race in drivers/isdn/hardware/eicon/diva_mnt.ko

In diva_maint_init there is an initialization of spinlocks (debug.c: 
lines 245, 252) and a queue (debug.c: line 237). These objects are used 
in handlers of divas_main_fops, for instance, divas_maint_read. These 
ops are registered in divas_maint_register_chrdev, which is called 
(divamnt.c: line 206) before initialization (divamnt.c: line 211). Thus, 
there may occur a situation when the handlers of divas_main_fops occur 
to uninitialized resources.


--
Pavel Andrianov
Linux Verification Center, ISPRAS
web: http://linuxtesting.org
e-mail: andria...@ispras.ru


A potential data race in drivers/isdn/hardware/eicon/diva_mnt.ko

2016-08-15 Thread Pavel Andrianov

Hi!

There is a potential data race in drivers/isdn/hardware/eicon/diva_mnt.ko

In diva_maint_init there is an initialization of spinlocks (debug.c: 
lines 245, 252) and a queue (debug.c: line 237). These objects are used 
in handlers of divas_main_fops, for instance, divas_maint_read. These 
ops are registered in divas_maint_register_chrdev, which is called 
(divamnt.c: line 206) before initialization (divamnt.c: line 211). Thus, 
there may occur a situation when the handlers of divas_main_fops occur 
to uninitialized resources.


--
Pavel Andrianov
Linux Verification Center, ISPRAS
web: http://linuxtesting.org
e-mail: andria...@ispras.ru