News

31-Oct-2011: Slides of our talks at LinuxCon Europe 2011 available

Members of the Linux Verification Center team Alexey Khoroshilov and Eugene Shatokhin has provided talks presenting our ongoing projects aimed to improve quality of Linux kernel space modules at LinuxCon Europe 2011 that took place October 26-28, 2011 in Prague, Czech Republic.

After the talks we have many interesting questions and discussions. Many thanks to all for the active interest to our projects.

The slides are available from the Publications page:

24-Oct-2011: Linux Verification Center at the LinuxCon Europe 2011

LinuxCon Europe 2011 and Embedded Linux Conference Europe 2011 will take place October 26-28, 2011 in Prague, Czech Republic.

Members of the Linux Verification Center team Alexey Khoroshilov and Eugene Shatokhin will provide talks presenting our ongoing projects aimed to improve quality of Linux kernel space modules.

14-Oct-2011: BLAST 2.7 released

Linux Verification Center announces the release of BLAST 2.7 - a new version of an open source model checker for C programs. The tool automatically checks if a C program satisfies behavioral properties of the interfaces it uses. BLAST is based on counterexample-driven automatic abstraction refinement to construct an abstract model which is model checked for safety properties.

16-Sep-2011: BLAST 2.6 released

Linux Verification Center announces the release of BLAST 2.6 - a new version of an open source model checker for C programs. The tool automatically checks if a C program satisfies behavioral properties of the interfaces it uses. BLAST is based on counterexample-driven automatic abstraction refinement to construct an abstract model which is model checked for safety properties.

17-Jun-2011: KEDR 0.3 released

KEDR is an extensible system for dynamic analysis of kernel modules (device drivers, file system modules, etc.) in Linux. KEDR tools operate on the modules chosen by the user and can detect memory leaks, perform fault simulation and more.
Version 0.3 brings several enhancements and various bug fixes.

Most significant changes (see ChangeLog for details):

02-Mar-2011: KEDR 0.2 released

KEDR is an extensible system to facilitate runtime analysis of kernel modules (device drivers, file system modules, etc.) in Linux. KEDR tools operate on the modules chosen by the user and can detect memory leaks, perform fault simulation and more.
Version 0.2 brings several enhancements and various bug fixes.
Most significant changes (see ChangeLog for details):

23-Nov-2010: KEDR 0.1 released

Today we have released the first public version of KEDR framework.
KEDR is an extensible system to facilitate runtime analysis of kernel modules in Linux. It allows to intercept the calls that a kernel module makes to the functions exported by other modules and by the kernel proper.
KEDR-based systems can record arguments and return values of these functions to a trace, do fault simulation according to user-defined scenarios and perform many other tasks.

25-Oct-2010: Linux Driver Verification - Results of Google Summer of Code 2010 merged

With the help of The Linux Foundation we took a part in Google Summer of Code 2010 with a projects titled "Linux Device Drivers Quality Inspector". A MIPT student Andrey Tretyakov mentored by Alexey Khoroshilov has developed an infrastructure to track changes in Linux Kernel's Git repository and to invoke LDV tools only for device drivers that has been changed since the previous check.

17-Mar-2010: Now our news are available on Twitter

Now our news are available on Twitter. Click here to followe us.

15-Mar-2009: Web site reconstruction

We have started reconstruction and contents update of the Linux Verification Center's web site. The planned date to launch the new site is the end of 2009.