Bibliographic Details
| Title: |
Using linux device drivers for static verification tools benchmarking. |
| Authors: |
Mandrykin, M.1 mandrykin@ispras.ru, Mutilin, V.1 mutilin@ispras.ru, Novikov, E.1 joker@ispras.ru, Khoroshilov, A.1 khoroshilov@ispras.ru, Shved, P.1 shved@ispras.ru |
| Source: |
Programming & Computer Software. Sep2012, Vol. 38 Issue 5, p245-256. 12p. |
| Subject Terms: |
*Linux device drivers (Computer programs), *Verification of computer systems, *Computer programming, *Computer software, *Comparative studies |
| Abstract: |
The Linux Driver Verification system is designed for static analysis of the source code of Linux kernel space device drivers. In this paper, we describe the architecture of the verification system, including the integration of third-party tools for static verification of C programs. We consider characteristics of the Linux drivers source code that are important from the viewpoint of verification algorithms and give examples of comparative analysis of different verification tools, as well as different versions and configurations of a given tool. [ABSTRACT FROM AUTHOR] |
| Database: |
Academic Search Index |