GSoC/GCI Archive
Google Summer of Code 2010 The Linux Foundation

Linux Device Drivers Quality Inspector

by Andrey Tretyakov for The Linux Foundation

Errors in Linux device drivers are responsible for a significant amount of kernel faults. The drivers are frequently changed, and incremental quality control of only those drivers that are affected by the change is necessary. The goal of this project is to utilize LDV (Linux Driver Verification tool) to incrementally find errors in Linux drivers as changes are committed in the GIT repository containing the sources of the drivers.