This repository was archived by the owner on Oct 11, 2023. It is now read-only.
Device drivers testing
- 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
- 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
- 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
