Project

General

Profile

Actions

Demo Drivers for Online Service

The table shows demo drivers and corresponding results of online verification.

Driver Sources Expected Results
linux-2.6.32.12 linux-2.6.33.3 linux-2.6.34.1
test-0032-wl12xx-unsafe.tar.bz2 Mutex lock/unlock - unsafe, the others are safe build failed (implicit declaration of function 'DECLARE_MAC_BUF' ...) build failed (--//--)
test-0032-radio-gemtek-pci-unsafe.tar.bz2 Mutex lock/unlock - unsafe, the others are safe Mutex lock/unlock - unsafe, Linked list double add, Usb alloc/free urb - unknown, the others are safe Mutex lock/unlock - unsafe, Linked list double add, Usb alloc/free urb - unknown, the others are safe
test-0032-radio-gemtek-pci-safe.tar.bz2 All are safe Linked list double add, Usb alloc/free urb - unknown, the others are safe Linked list double add, Usb alloc/free urb - unknown, the others are safe
online-drivers--bce_report_test--bce.tar.bz2.tar.bz2 build failed (Can't find correct Makefile or Kbuild file.) --//-- --//--
test-0060-drivers-firware-dmi_scan-unsafe.tar.bz2 Linked list double add - unsafe, the others are safe Linked list double add, Usb alloc/free urb - unknown, the others are safe Linked list double add, Usb alloc/free urb - unknown, the others are safe
kbdrivers--0032-2.6.31.6--test-0032-2.6.31.6-verdict-unsafe-drivers--net--irda--irtty-sir.c.tar.bz2 Mutex lock/unlock - false unsafe (in irtty_start_dev: &irtty_mutex, tty->termios_mutex) Mutex lock/unlock - false unsafe (--//--), Linked list double add, Usb alloc/free urb - unknown, the others are safe Mutex lock/unlock - false unsafe (--//--), Linked list double add, Usb alloc/free urb - unknown, the others are safe
kbdrivers--0039-2.6.31.6--test-0039-2.6.31.6-verdict-unsafe-drivers--net--hamradio--scc.c.tar.bz2 Spinlocks lock/unlock - false unsafe (&scc->lock and &iolock), Memory allocation inside spinlocks - unknown, the others are safe Spinlocks lock/unlock - false unsafe (--//--), Memory allocation inside spinlocks - unknown, Linked list double add, Usb alloc/free urb - unknown, the others are safe Spinlocks lock/unlock - false unsafe (--//--), Memory allocation inside spinlocks - unknown, Linked list double add, Usb alloc/free urb - unknown, the others are safe

Updated by Alexey Khoroshilov over 13 years ago ยท 6 revisions