News

26-Feb-2013: KEDR 0.4.1 released

KEDR 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

Linux 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 (ISoLA-2012).

07-Oct-2012: Program published for Linux Driver Verification Workshop

Preliminary 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

KEDR 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

KernelStrider 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

We 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.

23-Apr-2012: Students Announced for Google Summer of Code 2012

Google Open Source Programs Office has announced a list of 1212 students accepted for Google Summer of Code 2012 internships in 180 mentoring organizations. Overall statistics of GSoC 2012 looks impressive: 406 mentoring organizatins has been applied and 4258 students submitted 6685 proposals.

29-Mar-2012: BLAST 2.7 succeeded in the 2012 International Competition on Software Verification

At the 1st Intl. Competition on Software Verification held at TACAS 2012 in Tallinn, Estonia developers of the static verification tool for C programs BLAST 2.7 were awarded as winners in the category DeviceDrivers64. Also, the tool took third place in the category DeviceDrivers. See detailed results of the competitions here.

24-Feb-2012: Linux Verification Center at the Embedded World 2012

Linux Verification Center will be presented at Embedded World 2012 exhibition that will take place February 28 - March 1, 2012 in Nuremberg, Germany. We invite you to visit us at Open Source Automation Development Lab booth 341 in hall 5.

Also we invite to join Alexey Khoroshilov's talk at FLOSS Safety track of Embedded World 2012 conference that will be on the 1th of March at 11:45.

17-Feb-2012: Joint Workshop of Linux Verification Center and University of Passau

The Chair for Software Systems at University of Passau and Linux Verification Center have discussed future development of the configurable software verification platform CPAchecker and its integration into Linux Driver Verification toolset during the joint workshop that was held in Passau, Germany, on February 13-17, 2012.