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.
- 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
You may find out more about the Linux Driver Verification program at linuxtesting.org.
If you have any questions, drop an e-mail to email@example.com.
Manager: Alexey Khoroshilov, Evgeny Novikov, Vadim Mutilin
Developer: Denis Efremov, Evgeny Novikov, Ilja Zakharov, Ilya Shchepetkov, Marina Makienko, Mikhail Mandrykin, Pavel Andrianov, Vadim Mutilin, Vitaly Mordan, Vladimir Gratinskiy
Reporter: Alexandr Strakh, Pavel Shved
Project Creator: Alexey Khoroshilov
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.
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!
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.