Our Contribution

This section describes our contribution into Linux advance in terms of problems found and reported. It contains information about problems of various Linux components that were discovered by members of the Linux Verification Center within different projects of the Center.

Please, note that the main goal of the Center is to develop advanced technologies and tools for verification purposes, so the issues found are just a side effect of that activities. Nevertheless we always try to improve quality of Linux. We apply our tools to various Linux components as soon as we have a chance to do it and report upstream all issues found.

The problem reports are collected in the following sets:

Problems in Linux Kernel - issues found in Linux kernel space components.
Problems in Linux Libraries - issues found in Linux user space components (mainly libraries).
Problems in Standards - issues found in Linux related specifications (POSIX, Linux Standard Base, etc.).