News
11-Oct-2013: Version 0.4 of LDV Tools released
Submitted by admin on Fri, 11/10/2013 - 11:58After more then 2 years of active development we are happy to announce that we released LDV Tools 0.4. This version includes a lot of improvements and many bug fixes. In total it consists of about 900 commits that were made just in the LDV Tools repository not including submodules. The most significant changes are:
- Improvements in existing rule specifications:
23-Jun-2013: 3rd Linux Driver Verification Workshop took place in Moscow
Submitted by Vadim Mutilin on Sat, 22/06/2013 - 20:133rd Linux Driver Verification workshop was held in Moscow, Russia at June, 19-21. The workshop was arranged by prof. Alexander Petrenko (Linux Verification Center, ISPRAS, Moscow, Russia) and prof. Dirk Beyer (University of Passau, Germany).
12-May-2013: LDV project - the first 100 bugs in Linux kernel fixed
Submitted by admin on Sat, 11/05/2013 - 20:29The first 100 bugs found by the Linux Driver Verification project have been fixed in the Linux kernel. 86 patches developed by members of the LDV team have found their way to the mainline kernel.
15-Mar-2013: BLAST 2.7.1 at SV-COMP'2013 and LDV experiments
Submitted by admin on Sat, 16/03/2013 - 17:50BLAST 2.7.1 was presented at the 2nd Software Verification Competition 2013 that took place at TACAS'13. This year BLAST won a Bronze in the DeviceDrivers64 category. The second place is taken by CPAchecker which is already integrated into Linux Driver Verification toolset. The winner of DeviceDrivers64 is a new tool named UFO.
26-Feb-2013: KEDR 0.4.1 released
Submitted by admin on Mon, 04/03/2013 - 02:53KEDR is an extensible system for dynamic analysis of Linux kernel modules (device drivers, file system modules, etc.). KEDR tools operate on the modules chosen by the user and can detect memory leaks, perform fault simulation and more.
Version 0.4.1 brings support for kernel versions 3.7 and 3.8. Several bug fixes have also been made.
16-Oct-2012: Linux Driver Verification Workshop took place
Submitted by admin on Tue, 16/10/2012 - 10:13Linux Driver Verification workshop was held near the city Heraklion (Crete, Greece) at October 15. The workshop was arranged by prof. Dirk Beyer (University of Passau, Germany) and prof. Alexander Petrenko (Linux Verification Center, ISPRAS, Moscow, Russia) within 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation ([url=http://www.cs.uni-potsdam.de/isola/isola2012/tracks.html#A15]ISoLA-2012[/url]).
07-Oct-2012: Program published for Linux Driver Verification Workshop
Submitted by admin on Sun, 07/10/2012 - 20:15Preliminary program of Linux Driver Verification Workshop that will be held on the 15th of October 2012 in Amirandes, Heraclion, Crete is published at ISoLa website. Here it is:
| 09:00 - 10:30 Session 1, Chair: D. Beyer | |
|
Linux Device-Drivers Verification Challenges A. Khoroshilov, V. Mutilin, E. Novikov |
|
27-Sep-2012: KEDR 0.4 released
Submitted by admin on Thu, 27/09/2012 - 19:31KEDR is an extensible system for dynamic analysis of Linux kernel modules (device drivers, file system modules, etc.). KEDR tools operate on the modules chosen by the user and can detect memory leaks, perform fault simulation and more.
Version 0.4 brings several enhancements and various bug fixes.
The most significant changes (see ChangeLog for details):
02-Aug-2012: KernelStrider 0.1 alpha 1 is out
Submitted by admin on Thu, 02/08/2012 - 16:26KernelStrider provides tools to collect data about operation of Linux kernel modules (device drivers, file system modules, etc.) in runtime on x86 systems. Information about the memory accesses, function calls and some other events is collected and passed to the user space for further processing.
For example, KernelStrider can provide data for offline data race detectors (like the "offline" variant of ThreadSanitizer, http://code.google.com/p/data-race-test/).
21-Jun-2012: Linux Driver Verification Workshop at ISoLA 2012
Submitted by admin on Thu, 21/06/2012 - 06:09We are happy to announce 2nd Linux Driver Verification workshop co-located with 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA-2012) that will be held 15-18 October 2012 in Amirandes, Heraclion, Crete.