Проблемы библиотек
Этот раздел содержит информацию об обнаруженных сотрудниками Центра верификации ошибках в различных компонентах ОС Linux, а также о несоответствиях реализаций компонентов и библиотек Linux стандарту Linux Standard Base (LSB).
| ID | Ядро | Модуль | Правило | Верификатор | Вердикт | Статус |
| 0002 | linux-3.16-rc1.tar.xz | drivers/isdn/gigaset/bas_gigaset.ko | 132_1a | CPAchecker | Bug | Fixed |
| 0007 | linux-3.17-rc1.tar.xz | net/ceph/libceph.ko | 32_7a | CPAchecker | Bug | Unreported |
| 0008 | linux-3.16-rc1.tar.xz | drivers/net/irda/ali-ircc.ko | 39_7a | CPAchecker | Bug | Fixed |
| 0009 | linux-3.16-rc1.tar.xz | drivers/net/ethernet/3com/typhoon.ko | 39_7a | CPAchecker | Bug | Unreported |
| 0010 | linux-3.16-rc1.tar.xz | drivers/usb/dwc3/dwc3.ko | 43_1a | CPAchecker | Bug | Unreported |
| 0011 | linux-3.16-rc1.tar.xz | drivers/staging/dgnc/dgnc.ko | 106_1a | CPAchecker | Bug | Reported |
| 0018 | linux-3.18-rc1.tar.xz | drivers/staging/dgnc/dgnc.ko | 106_1a | BLAST | Bug | Reported |
| 0019 | linux-3.19-rc1.tar.xz | drivers/gpu/drm/radeon/radeon.ko | 32_7a | BLAST | Bug | Reported |
| 0042 | linux-3.17-rc1.tar.xz | drivers/media/platform/sh_vou.ko | 104_1a | CPAchecker | Bug | Fixed |
| 0044 | linux-3.16-rc1.tar.xz | drivers/media/usb/usbtv/usbtv.ko | 132_1a | CPAchecker | Bug | Fixed |
| 0045 | linux-3.16-rc1.tar.xz | drivers/media/usb/usbtv/usbtv.ko | 132_1a | BLAST | Bug | Fixed |
| 0046 | linux-3.16-rc1.tar.xz | drivers/staging/line6/line6usb.ko | 132_1a | CPAchecker | Bug | Fixed |
| 0047 | linux-3.16-rc1.tar.xz | drivers/net/wireless/rsi/rsi_usb.ko | 134_1a | BLAST | Bug | Fixed |
| 0048 | linux-3.16-rc1.tar.xz | drivers/net/wireless/rsi/rsi_usb.ko | 68_1a | BLAST | Bug | Fixed |
| 0049 | linux-3.16-rc1.tar.xz | drivers/media/usb/tlg2300/poseidon.ko | 132_1a | CPAchecker | Bug | Fixed |
| 0052 | linux-4.0-rc1.tar.xz | drivers/media/usb/usbvision/usbvision.ko | 132_1a | CPAchecker | Bug | Fixed |
| 0053 | linux-4.0-rc1.tar.xz | drivers/media/usb/usbvision/usbvision.ko | 132_1a | BLAST | Bug | Fixed |
| 0054 | linux-3.17-rc1.tar.xz | drivers/media/platform/marvell-ccic/cafe_ccic.ko | 104_1a | CPAchecker | Bug | Fixed |
| 0059 | linux-3.17-rc1.tar.xz | drivers/iio/light/hid-sensor-prox.ko | 104_1a | CPAchecker | Bug | Fixed |
| 0060 | linux-4.0-rc1.tar.xz | drivers/hid/hid-lenovo.ko | 151_1a | BLAST | Bug | Fixed |
| 0074 | linux-4.0-rc1.tar.xz | drivers/scsi/bfa/bfa.ko | 153_7a | CPAchecker | Bug | Fixed |
| 0078 | linux-4.1-rc1.tar.xz | drivers/mcb/mcb-pci.ko | 152_1a | BLAST | Bug | Fixed |
| 0079 | linux-4.1-rc1.tar.xz | drivers/usb/gadget/udc/mv_udc.ko | 152_1a | BLAST | Bug | Fixed |
| 0081 | linux-4.2-rc1.tar.xz | drivers/gpio/gpio-grgpio.ko | 39_7a | CPAchecker | Bug | Fixed |
| 0087 | linux-4.2-rc1.tar.xz | drivers/mtd/maps/nettel.ko | 152_1a | CPAchecker | Bug | Fixed |
| 0090 | linux-4.1-rc1.tar.xz | drivers/usb/gadget/udc/amd5536udc.ko | 152_1a | CPAchecker | Bug | Fixed |
| 0094 | linux-4.3-rc1.tar.xz | drivers/staging/media/lirc/lirc_imon.ko | 32_7a | CPAchecker | Bug | Fixed |
| 0095 | linux-3.14.1.tar.xz | drivers/usb/host/whci/whci-hcd.ko | 331_1a | CPAchecker | Bug | Fixed |
| 0101 | linux-4.4-rc1.tar.xz | drivers/acpi/nfit.ko | 32_7a | CPAchecker | Bug | Fixed |
| 0102 | linux-3.14.1.tar.xz | drivers/net/wireless/prism54/prism54.ko | 331_1a | CPAchecker | Bug | Fixed |
| 0103 | linux-3.14.1.tar.xz | drivers/net/wireless/prism54/prism54.ko | 331_1a | CPAchecker | Bug | Fixed |
| 0104 | linux-3.14.1.tar.xz | drivers/net/wireless/ipw2x00/ipw2100.ko | 331_1a | CPAchecker | Bug | Fixed |
| 0105 | linux-3.14.1.tar.xz | drivers/scsi/be2iscsi/be2iscsi.ko | 331_1a | CPAchecker | Bug | Fixed |
| 0108 | linux-3.14.1.tar.xz | drivers/mmc/host/mmc_spi.ko | 331_1a | CPAchecker | Bug | Fixed |
| 0111 | linux-4.5-rc7 | drivers/net/wireless/cisco/airo.ko | races | CPAchecker | Bug | Unreported |
| 0112 | linux-4.5-rc7 | drivers/net/wireless/cisco/airo.ko | races | CPAchecker | Bug | Unreported |
| 0113 | linux-4.5-rc7 | drivers/net/wireless/marvell/libertas/libertas.ko | races | CPAchecker | Bug | Fixed |
| 0114 | linux-4.5-rc7 | drivers/net/wireless/realtek/rtlwifi/rtl8188ee/rtl8188ee.ko | races | CPAchecker | Bug | Fixed |
| 0115 | linux-4.5-rc7 | drivers/net/wireless/ath/wcn36xx/wcn36xx.ko | races | CPAchecker | Unknown | Unreported |
| 0116 | linux-4.5-rc7 | drivers/net/wireless/ath/wcn36xx/wcn36xx.ko | races | CPAchecker | Unknown | Unreported |
| 0117 | linux-4.5-rc7 | drivers/net/wireless/ath/wcn36xx/wcn36xx.ko | races | CPAchecker | Bug | Unreported |
| 0118 | linux-4.5-rc7 | drivers/net/wireless/ath/wcn36xx/wcn36xx.ko | races | CPAchecker | Bug | Unreported |
| 0119 | linux-4.5-rc7 | drivers/net/wireless/ath/wcn36xx/wcn36xx.ko | races | CPAchecker | Unknown | Unreported |
| 0120 | linux-4.5-rc7 | drivers/net/wireless/ath/wcn36xx/wcn36xx.ko | races | CPAchecker | Unknown | Unreported |
| 0121 | linux-4.5-rc7 | drivers/net/wireless/ath/ath9k/ath9k_htc.ko | races | CPAchecker | Bug | Unreported |
| 0122 | linux-4.5-rc7 | drivers/net/wireless/ath/ath9k/ath9k_htc.ko | races | CPAchecker | Bug | Unreported |
| 0123 | linux-4.4-rc1.tar.xz | drivers/misc/mei/mei.ko | 08_1a | BLAST | Bug | Fixed |
| 0124 | linux-4.5-rc1.tar.xz | drivers/block/mtip32xx/mtip32xx.ko | 331_1a | CPAchecker | Bug | Fixed |
| 0127 | linux-4.5-rc1.tar.xz | drivers/usb/host/whci/whci-hcd.ko | 331_1a | CPAchecker | Bug | Fixed |
| 0133 | linux-3.17-rc1.tar.xz | drivers/media/radio/radio-maxiradio.ko | 104_1a | CPAchecker | Bug | Fixed |
| 0134 | linux-4.7-rc1.tar.xz | net/sched/act_ife.ko | 43_1a | CPAchecker | Bug | Fixed |
| 0137 | linux-4.7-rc1.tar.xz | drivers/gpu/drm/drm_kms_helper.ko | 106_1a | CPAchecker | Bug | Fixed |
| 0138 | linux-4.7-rc1.tar.xz | drivers/video/backlight/adp5520_bl.ko | 151_1a | CPAchecker | Bug | Fixed |
| 0142 | linux-4.7-rc1.tar.xz | drivers/media/pci/bt8xx/dst_ca.ko | 08_1a | CPAchecker | Bug | Fixed |
| 0144 | linux-4.7-rc1.tar.xz | drivers/ide/ide-tape.ko | 106_1a | CPAchecker | Bug | Fixed |
| 0150 | linux-4.8-rc1.tar.xz | drivers/infiniband/sw/rxe/rdma_rxe.ko | 43_1a | CPAchecker | Bug | Fixed |
| 0151 | linux-4.8-rc1.tar.xz | drivers/rapidio/rio_cm.ko | 43_1a | CPAchecker | Bug | Fixed |
| 0152 | linux-4.5-rc1.tar.xz | drivers/tty/synclinkmp.ko | 134_1a | CPAchecker | Bug | Fixed |
| 0153 | linux-4.8-rc1.tar.xz | drivers/firewire/nosy.ko | 152_1a | CPAchecker | Bug | Fixed |
| 0154 | linux-4.8-rc1.tar.xz | drivers/net/vmxnet3/vmxnet3.ko | 331_1a | CPAchecker | Bug | Fixed |
| 0155 | linux-4.8-rc1.tar.xz | drivers/infiniband/ulp/isert/ib_isert.ko | 331_1a | CPAchecker | Bug | Fixed |
| 0156 | linux-4.8-rc1.tar.xz | drivers/usb/gadget/udc/mv_u3d_core.ko | 331_1a | CPAchecker | Bug | Fixed |
| 0158 | linux-4.9-rc1.tar.xz | drivers/mmc/host/wbsd.ko | 331_1a | CPAchecker | Bug | Fixed |
| 0159 | linux-4.9-rc1.tar.xz | drivers/net/ethernet/cadence/macb.ko | 331_1a | CPAchecker | Bug | Fixed |
| 0160 | linux-4.9-rc1.tar.xz | drivers/uio/uio_pruss.ko | 320_7a | CPAchecker | Bug | Fixed |
| 0161 | linux-4.9-rc1.tar.xz | drivers/net/wireless/admtek/adm8211.ko | 331_1a | CPAchecker | Bug | Fixed |
| 0165 | linux-4.10-rc1.tar.xz | samples/vfio-mdev/mtty.ko | 106_1a | CPAchecker | Bug | Fixed |
| 0167 | linux-4.10-rc1.tar.xz | drivers/mmc/host/wbsd.ko | 331_1a | CPAchecker | Bug | Fixed |
| 0168 | linux-4.10-rc1.tar.xz | drivers/net/ethernet/adaptec/starfire.ko | 331_1a | CPAchecker | Bug | Fixed |
| 0171 | linux-4.10-rc1.tar.xz | drivers/mmc/host/sdhci-pxav2.ko | 322_7a | CPAchecker | Bug | Fixed |
| 0172 | linux-4.10-rc1.tar.xz | drivers/mtd/spi-nor/hisi-sfc.ko | 322_7a | CPAchecker | Bug | Fixed |
| 0173 | linux-4.10-rc1.tar.xz | net/sched/act_skbmod.ko | 147_1a | CPAchecker | Bug | Fixed |
| 0174 | linux-4.11-rc1.tar.xz | mm/z3fold.ko | 39_7a | CPAchecker | Bug | Fixed |
| 0176 | linux-4.11-rc1.tar.xz | drivers/net/irda/vlsi_ir.ko | 331_1a | CPAchecker | Bug | Fixed |
| 0177 | linux-4.11-rc1.tar.xz | drivers/usb/gadget/udc/mv_u3d_core.ko | 320_7a | CPAchecker | Bug | Fixed |
| 0179 | linux-4.11-rc1.tar.xz | drivers/scsi/mvumi.ko | 331_1a | CPAchecker | Bug | Fixed |
| 0180 | linux-4.8-rc1.tar.xz | drivers/i2c/busses/i2c-axxia.ko | 320_7a | CPAchecker | Bug | Fixed |
| 0181 | linux-4.8-rc1.tar.xz | drivers/net/ethernet/marvell/mvmdio.ko | 322_7a | CPAchecker | Bug | Fixed |
| 0182 | linux-4.12-rc1 | drivers/staging/iio/cdc/ad7152.ko | 32_7a | CPAchecker | Bug | Fixed |
| 0184 | linux-4.13-rc1 | drivers/platform/x86/wmi.ko | 106_1a | CPAchecker | Bug | Fixed |
| 0185 | linux-4.13-rc1 | drivers/tty/serial/8250/8250_aspeed_vuart.ko | 151_1a | CPAchecker | Bug | Fixed |
| 0187 | linux-4.13-rc1 | drivers/tty/serial/sccnxp.ko | 320_7a | CPAchecker | Bug | Fixed |
»