Λεπτομέρειες βιβλιογραφικής εγγραφής
| Τίτλος: |
Using linux device drivers for static verification tools benchmarking. |
| Συγγραφείς: |
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 |
| Πηγή: |
Programming & Computer Software. Sep2012, Vol. 38 Issue 5, p245-256. 12p. |
| Θεματικοί όροι: |
*Linux device drivers (Computer programs), *Verification of computer systems, *Computer programming, *Computer software, *Comparative studies |
| Περίληψη: |
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] |
| Βάση Δεδομένων: |
Academic Search Index |