News

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.

12-Jun-2009: A New Program of the Linux Verification Center to Be Announced at PSI'09

Goals and content of the Program will be presented by Alexey Khoroshilov in the talk "Establishing Linux Driver Verification Process" at the Seventh International Andrei Ershov Memorial Conference «PERSPECTIVES OF SYSTEM INFORMATICS» PSI'09, which takes place June 15-19, 2009 in Academgorodok, Novosibirsk, Russia.

Also Victor Kuliamin will discuss issues of standardization and testing of mathematical functions at the conference.

Everybody interested are welcome to contact us before or during this event to appoint a face to face meeting.

31-Aug-2009: ABI Compliance Checker Announced

Linux Verification Center at the Institute for System Programming of RAS announces the public availability of ABI Compliance Checker, a new tool ensuring Application Binary Interface (ABI) compatibility of different versions of a C or C++ library. The tool is aimed at helping upstream developers and distribution maintainers to make sure that any application compiled with an old version of the library will work with a newer version.

30-Dec-2009: OLVER Core 1.5

OLVER Core 1.5 release has been published with improvements in test reports and testing quality (see detailed release notes below).

Please use the usual links for browsing OLVER project results: