Linux Driver Verification Program

The Linux Driver Verification (LDV) Program has been announced by Linux Verification Center in June 2009. The main goals of the Program are as follows:

• improving quality of Linux device drivers;
• building a platform for fruitful collaboration between software verification researchers and Linux device driver developers;
• deployment of advanced verification tools into device driver development and maintenance processes.

To achieve the goals the following tasks should be accomplished:

• building repository of typical problems in source code of Linux device drivers;
• creating verification framework that supports multiple verification engines
  and applies the most appropriate one under the circumstances given;
• developing verification engines specialized for Linux device drivers source code analysis.

The program is designed to attract various professionals. Device driver developers will be able to get advanced verification tools as well as information on typical problems and recommendations how to fix them. Verification experts will get prepared ground for experiments of their tools and methods with real-life software.

The program is in the initial stage. More details will be published soon. Some materials related to Linux device driver verification are collected here. A list of issues detected in Linux drivers within the program are presented here.

We invite all interested parties to become a partner of the program.