Regular talks

Static Verification of Linux Kernel Modules: Current State-of-the-Art and Beyond

Different approaches are used to ensure quality of Linux kernel modules. However due to various reasons they do not allow to find all bugs. The talk will be devoted to a method for static verification of Linux kernel modules aimed at detecting all possible violations of checked rules. As well the toolset implementing the method will be considered, results of its practical application will be presented and possibilities of its usage will be demonstrated.

Evgeny Novikov

Researcher, Institute for System Programming

2010 – Graduate from the Department of Control/Management and Applied Mathematics (Moscow Institute of Physics and Technology, Moscow, Russia).
2013 – PhD “Development of contract specifications method for verification of Linux kernel modules” (Institute for System Programming, Moscow, Russia).
Since 2009 – Researcher at the Software Engineering Department (Institute for System Programming, Moscow, Russia).

Evgeny have participated in the LSB Infrastructure program that was run under a contract between the Linux Foundation and the Institute for System Programming for 2 years. Later he became one of the primary developers within the Linux Driver Verification program.