Overview

This page is a development portal of the Linux Driver Verification (LDV) project. The aim of LDV is to build a comprehensive application suite for static verification of source code of Linux device drivers, and monitoring their quality.

Here you can submit bug reports (registration required), view sources online, and download sources. The sources contain:

  • LDV scripts that bind all the tools involved in the verification process
  • BLAST -- static verification tool for C language
  • Aspectator -- GCC-based aspect-oriented programming tool
  • Machine-readable formalization of Kernel rules

Read more about Downloading and Building LDV. The software is licensed under Apache 2.0 License (see LDV Licensing for more info).

You may find out more about the Linux Driver Verification program at linuxtesting.org.

Instead of downloading the sources and building them locally you may just Verify Your Driver Online!
Use demo drivers to try out Online service.

If you have any questions, drop an e-mail to ldv-project@ispras.ru.

Issue tracking

View all issues

Latest news

Version 0.6 of LDV Tools released
Added by Evgeny Novikov 16 days ago

Version 0.5 of LDV Tools released
Added by Evgeny Novikov 7 months ago

Google Summer of Code 2013 project was completed
"Generation of Environment Model for Verification of Multi-module Device Drivers" project developed during Google Summer of Code 2013 in favor of The Linux Foundation was completed.
Added by Evgeny Novikov 10 months ago

Version 0.4 of LDV Tools released
Version 0.4 of LDV Tools includes a lot of improvements and many bug fixes that have been made for more than 2 years!
Added by Evgeny Novikov 11 months ago

3rd Google Summer of Code 2012 project was completed
Second "Formalization of Correct Usage of Kernel Core API" project developed during Google Summer of Code 2012 was completed.
Added by Evgeny Novikov almost 2 years ago

View all news