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.
- Subprojects: BLAST, C Instrumentation Framework, Linux Kernel Safety RuleDB
Issue tracking
Members
Manager: Alexey Khoroshilov, Evgeny Novikov, Vadim Mutilin
Developer: Denis Efremov, Evgeny Novikov, Ilja Zakharov, Ilya Shchepetkov, Marina Makienko, Mikhail Mandrykin, Vadim Mutilin, Vladimir Gratinskiy
Reporter: Alexandr Strakh, Pavel Shved
Project Creator: Alexey Khoroshilov
Latest news
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.
2nd Google Summer of Code 2012 project was merged to master
"Formalization of Correct Usage of Kernel Core API" project developed during Google Summer of Code 2012 was merged to master of the Linux Driver Verification project.
Google Summer of Code 2012 project was merged to master
"Advanced Source Code Instrumentation" project developed during Google Summer of Code 2012 was merged to master of the Linux Driver Verification project.
Google Summer of Code 2011 project was merged to master
User-friendly Interface for Linux Driver Verification Tools developed during Google Summer of Code 2011 was merged into the LDV project.
Version 0.3 of LDV Tools Released
Version 0.3 of LDV Tools has been released, with 3 new rules and the new GCC-based Aspectator support!