SibylFuzzer : stateful fuzzing for file systems
Name
1020286792-MIT.pdf
Description
Full printable version
Size
4.5 MB
Format
Adobe PDF
Checksum (MD5)
5aa68b56d3e7622957d2c8981d6bde3b
Author(s)
Zuo, Catherine (Catherine W.)
Advisor(s)
Tim Leek and Stelios Sidiroglou-Douskos.
Alternative Title
Stateful fuzzing for file systems
Date Issued
2017
Publisher
Massachusetts Institute of Technology
Abstract
Correct file system behavior is vital to developing robust higher-level software and applications. However, correctly and efficiently investigating the wide range of file system behavior makes testing file systems a difficult task. In this thesis, I designed and implemented SibylFuzzer, a stateful fuzzer for testing file system behavior. Sibyl- Fuzzer is based on SibylFS, a third-party system comprised of a model for acceptable file system behavior and a procedure for comparing real-life file system implementation behavior against that model. SibylFuzzer uses SibylFS in two ways: first, as a source of file system knowledge to produce in-depth and meaningful tests; second, as a correctness standard such that any disagreement with a real-life file system's behavior indicates a potential bug within the real-life file system. I implemented SibylFuzzer in OCaml and performed all tests on a Linux file system.
Description
Thesis: M. Eng., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2017.
Cataloged from PDF version of thesis.
Includes bibliographical references (pages 61-62).
Subjects
Electrical Engineering and Computer Science.
MIT Department
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
Terms of Use
MIT theses are protected by copyright. They may be viewed, downloaded, or printed from this source but further reproduction or distribution in any format is prohibited without written permission.
Persistent DSpace Link
