Device drivers testing - ligurio/openbsd-tests GitHub Wiki

Statistics

• 85% kernel crashes comes from drivers (source, slide 27)
• Statistics about errors in Linux device drivers (source, p. 24)
• USB drivers complexity: quirks in Linux USB drivers, quirks in OpenBSD USB drivers
• Thorough Static Analysis of Device Drivers: "Bugs in kernel-level device drivers cause 85% of the system crashes in the Windows XP operating system"
• statistics https://www.usenix.org/sites/default/files/conference/protected-files/usenixsecurity17_slides_spensky.pdf p. 14

Drivers testing tools

• Testing Drivers without Devices: SymDrive
• Hardware:
  • The SCSI fault injection test
  • Tiny SCSI emulator
  • umap2 is USB host security assessment tool, bugs reported to the bugs@
  • USB stack Facedancer21
• ddverify

Papers

• Formal Verification of Linux Device Drivers
• DR.CHECKER : A Soundy Vulnerability Detection Tool for Linux Kernel Drivers
• Model Checking Concurrent Linux Device Drivers http://www.kroening.com/papers/ase2007-ddverify.pdf
• SymDrive: Testing Drivers without Devices https://www.usenix.org/system/files/conference/osdi12/osdi12-final-4.pdf