Problems in Linux Kernel Found by CPAchecker

This section contains information about problems in Linux kernel found within Linux Driver Verification project with CPAchecker engine.

Click on a problem number for detailed description. Click on a column header to change the sorting order.

There are 32 bugs found by CPAchecker.

No.TypeBriefAdded onAcceptedStatus Trace
L0245 Crash rapidio/rio_cm: avoid GFP_KERNEL in atomic context 2016-09-19 https://lkml.org/lkml/2016/9/9/737
commit
Fixed in kernel 4.8-rc8 ...
L0244 Crash IB/rxe: fix GFP_KERNEL in spinlock context 2016-09-16 https://lkml.org/lkml/2016/9/2/602
commit
Fixed in kernel 4.8-rc7 ...
L0239 Leak [media] radio-maxiradio: memory leak when device is removed 2016-07-28 https://lkml.org/lkml/2016/6/3/805
commit
Fixed in kernel 4.8-rc1 ...
L0238 Inadequacy ide-tape: fix misprint in failure handling in idetape_init() 2016-07-26 https://lkml.org/lkml/2016/4/29/796
commit
Fixed in kernel 4.8-rc1 ...
L0237 Inconsistency drm_aux-dev: fix error handling in drm_dp_aux_dev_init() 2016-07-19 https://lkml.org/lkml/2016/6/29/708
commit
Fixed in kernel 4.8-rc1 ...
L0236 Proposal [media] bt8xx: remove needless module refcounting 2016-07-19 https://patchwork.kernel.org/patch/8786811/
commit
Fixed in kernel 4.8-rc1 ...
L0232 Data race rtlwifi: rtl8188ee: Fix potential race condition 2016-07-18 https://lkml.org/lkml/2016/6/10/153
commit
Fixed in 4.8-rc1 ...
L0230 Data race libertas: Add spinlock to avoid race condition 2016-07-17 https://lkml.org/lkml/2016/6/7/299
commit
Fixed in v4.8-rc1 ...
L0228 Crash act_ife: sleeping functions called in atomic context 2016-06-20 https://lkml.org/lkml/2016/6/16/755
commit
Fixed in kernel 4.7-rc6 ...
L0224 Crash USB: whci-hcd: add more checks for dma mapping error 2016-03-26 https://lkml.org/lkml/2016/3/25/283
commit
Fixed in kernel 4.7-rc1 ...
L0222 Crash mtip32xx: fix checks for dma mapping errors 2016-03-19 https://lkml.org/lkml/2016/3/18/669
commit
Fixed in kernel 4.6-rc1 ...
L0219 Crash be2iscsi: add checks for dma mapping errors 2016-02-23 https://lkml.org/lkml/2016/1/26/1044
commit
Fixed in kernel 4.6-rc1 ...
L0218 Crash tty: synclinkmp: do not ignore errors in probe() 2016-02-06 https://lkml.kernel.org/r/1445642863-3805-1-git-send-email-khoroshilov@ispras.ru
commit
Fixed in kernel v4.6-rc1 ...
L0217 Crash mmc: mmc_spi: add checks for dma mapping error 2016-02-06 https://lkml.kernel.org/r/1454715395-9462-1-git-send-email-khoroshilov@ispras.ru
commit
Fixed in kernel 4.5-rc4 ...
L0216 Crash ipw2x00: add checks for dma mapping errors 2016-01-02 https://lkml.org/lkml/2016/1/1/182
commit
Fixed in kernel 4.5-rc1 ...
L0215 Crash prism54: fix checks for dma mapping errors 2015-12-26 https://lkml.org/lkml/2015/12/25/57
commit
Fixed in kernel v4.5-rc1 ...
L0214 Crash [media] lirc_imon: do not leave imon_probe() with mutex held 2015-12-20 https://lkml.org/lkml/2015/11/14/98
commit
Fixed in kernel 4.5-rc1 ...
L0212 Deadlock nfit: acpi_nfit_notify(): Do not leave device locked 2015-12-11 https://lkml.org/lkml/2015/12/11/781
commit
Fixed in kernel 4.4-rc6 ...
L0211 Crash USB: whci-hcd: no check for dma mapping error 2015-12-01 http://linuxtesting.org/pipermail/ldv-project/2015-November/000558.html
commit
Fixed in kernel 4.4-rc5 ...
L0204 Leak usb: gadget: amd5536udc: leaks in udc_pci_probe() 2015-09-14 https://lkml.org/lkml/2015/9/5/225
commit
Fixed in kernel 4.3-rc3 ...
L0203 Leak mtd: nettel: leaks in case of mtd_device_register() failure in nettel_init() 2015-08-18 https://lkml.org/lkml/2015/8/13/753
commit
Fixed in kernel 4.3-rc1 ...
L0202 Deadlock gpio/grgpio: deadlock in grgpio_irq_unmap() 2015-08-17 https://lkml.org/lkml/2015/8/17/117
commit
Fixed in kernel 4.3-rc1 ...
L0201 Leak bfa: leak of bfad_im_port_index on module unload 2015-08-12 https://lkml.org/lkml/2015/6/11/709
commit
Fixed in kernel 4.3-rc1 ...
L0200 Leak [media] usbvision: fix leak of usb_dev on failure paths in usbvision_probe() 2015-07-21 http://linuxtesting.org/pipermail/ldv-project/2015-March/000482.html
commit
Fixed in kernel 4.2-rc8 ...
L0199 Leak [media] marvell-ccic: fix memory leak on failure path in cafe_smbus_setup() 2015-07-21 https://lkml.org/lkml/2015/4/3/585
commit
Fixed in kernel 4.2-rc8 ...
L0198 Leak [media] sh_vou: fix memory leak on error paths in sh_vou_open() 2015-07-21 http://lkml.iu.edu/hypermail/linux/kernel/1502.1/03560.html
commit
Fixed in kernel 4.2-rc8 ...
L0194 Leak iio: light: hid-sensor-prox: memory leak in probe() 2015-05-12 https://lkml.org/lkml/2015/5/6/848
commit
Fixed in kernel 4.1-rc4 ...
L0164 Leak isdn/bas_gigaset: fix a leak on failure path in gigaset_probe() 2014-07-26 https://lkml.org/lkml/2014/7/25/679
commit
Fixed in kernel 3.16 ...
L0160 Leak [media] tlg2300: fix leak at failure path in poseidon_probe() 2014-06-27 https://lkml.org/lkml/2014/5/30/643
commit
Fixed in kernel 3.17-rc1 ...
L0158 Crash staging: line6: do not return 0 from probe if no initialization done 2014-06-11 https://lkml.org/lkml/2014/6/10/587
commit
Fixed in kernel 3.17-rc1 ...
L0155 Leak [media] usbtv: leak at failure path in usbtv_probe() 2014-05-23 https://lkml.org/lkml/2014/5/26/642
commit
Fixed in kernel 3.17-rc1 ...
L0010 Crash drivers/net/irda/ali-ircc.c: Get spin_lock twice 2009-10-08 http://lkml.org/lkml/2009/10/8/113
https://lkml.org/lkml/2015/9/11/613
commit
Fixed in kernel 4.3-rc3 ...