2012
DOI: 10.15514/syrcose-2012-6-25
|View full text |Cite
|
Sign up to set email alerts
|

The Spruce System: Quality Verification of Linux File Systems Drivers

Abstract: -This paper is dedicated to the problem of dynamic verification of Linux file system drivers. Alongside with some existing solutions, the Spruce system is presented, which is dedicated to verification of drivers of certain Linux file systems. This system is being developed in the System Programming Laboratory of Russian-Armenian (Slavonic) University in Armenia. Spruce provides a large variety of tests for file system drivers. These tests help not only verify the file system functionality, but also watch the b… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1

Citation Types

0
2
0

Year Published

2017
2017
2020
2020

Publication Types

Select...
2
1

Relationship

0
3

Authors

Journals

citations
Cited by 3 publications
(2 citation statements)
references
References 1 publication
0
2
0
Order By: Relevance
“…The test suite should cover various patterns of access requests. In this paper we do not consider the issue of constructing tests and instead use special tests for our model and whole system tests such as Spruce [25], ltp [22] fuzzing with syzkaller [26]. These test suites allow us to achieve relatively good line coverage (more than 80%) on our security module and to cover all LSM hooks in target subsystems of the Linux kernel.…”
Section: Runtime Verification Methodsmentioning
confidence: 99%
“…The test suite should cover various patterns of access requests. In this paper we do not consider the issue of constructing tests and instead use special tests for our model and whole system tests such as Spruce [25], ltp [22] fuzzing with syzkaller [26]. These test suites allow us to achieve relatively good line coverage (more than 80%) on our security module and to cover all LSM hooks in target subsystems of the Linux kernel.…”
Section: Runtime Verification Methodsmentioning
confidence: 99%
“…One of the critical and very important tasks is verification of Linux kernel modules, especially under system crash or failure situations. The most commonly used examples includes device drivers, file systems, audio video software's, networks, and various other facilities which are important to operating system and specifically employed as kernel modules [1][2][3][4].…”
Section: Introductionmentioning
confidence: 99%