Project

General

Profile

Overview

This page is a development portal of the Linux Driver Verification 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.

If you want to use prebuilt LDV Tools, please follow our LDV Tools in Docker instructions.

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

Issue tracking  Details

open closed Total
Bug 129 173 302
Feature 76 51 127
Task 5 1 6

View all issues | Summary

Time tracking

  • Estimated time: 11.00 hours
  • Spent time: 11.00 hours

Details | Report

Latest news

Version 0.8 of LDV Tools released
Added by Vadim Mutilin over 9 years ago

Version 0.7 of LDV Tools released
Added by Evgeny Novikov over 9 years ago

2nd Google Summer of Code 2014 project was merged to master
"Public Pool of Bugs in Linux Kernel Modules" project developed during Google Summer of Code 2014 in favor of The Linux Foundation was merged to master
Added by Evgeny Novikov over 9 years ago

Google Summer of Code 2014 project was merged to master
"Parallel Verification of Linux Kernel Modules" project developed during Google Summer of Code 2014 in favor of The Linux Foundation was merged to master
Added by Evgeny Novikov almost 10 years ago

Version 0.6 of LDV Tools released
Added by Evgeny Novikov about 10 years ago

View all news