SibylFuzzer : stateful fuzzing for file systems
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). === Correct file system behavior is vital to developing robust higher-level softwa...
Main Author: | |
---|---|
Other Authors: | |
Format: | Others |
Language: | English |
Published: |
Massachusetts Institute of Technology
2018
|
Subjects: | |
Online Access: | http://hdl.handle.net/1721.1/113551 |
id |
ndltd-MIT-oai-dspace.mit.edu-1721.1-113551 |
---|---|
record_format |
oai_dc |
spelling |
ndltd-MIT-oai-dspace.mit.edu-1721.1-1135512019-05-02T16:24:40Z SibylFuzzer : stateful fuzzing for file systems Stateful fuzzing for file systems Zuo, Catherine (Catherine W.) Tim Leek and Stelios Sidiroglou-Douskos. Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science. Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science. Electrical Engineering and Computer Science. 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). 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. by Catherine Zuo. M. Eng. 2018-02-08T16:28:47Z 2018-02-08T16:28:47Z 2017 2017 Thesis http://hdl.handle.net/1721.1/113551 1020286792 eng 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. http://dspace.mit.edu/handle/1721.1/7582 62 pages application/pdf Massachusetts Institute of Technology |
collection |
NDLTD |
language |
English |
format |
Others
|
sources |
NDLTD |
topic |
Electrical Engineering and Computer Science. |
spellingShingle |
Electrical Engineering and Computer Science. Zuo, Catherine (Catherine W.) SibylFuzzer : stateful fuzzing for file systems |
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). === 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. === by Catherine Zuo. === M. Eng. |
author2 |
Tim Leek and Stelios Sidiroglou-Douskos. |
author_facet |
Tim Leek and Stelios Sidiroglou-Douskos. Zuo, Catherine (Catherine W.) |
author |
Zuo, Catherine (Catherine W.) |
author_sort |
Zuo, Catherine (Catherine W.) |
title |
SibylFuzzer : stateful fuzzing for file systems |
title_short |
SibylFuzzer : stateful fuzzing for file systems |
title_full |
SibylFuzzer : stateful fuzzing for file systems |
title_fullStr |
SibylFuzzer : stateful fuzzing for file systems |
title_full_unstemmed |
SibylFuzzer : stateful fuzzing for file systems |
title_sort |
sibylfuzzer : stateful fuzzing for file systems |
publisher |
Massachusetts Institute of Technology |
publishDate |
2018 |
url |
http://hdl.handle.net/1721.1/113551 |
work_keys_str_mv |
AT zuocatherinecatherinew sibylfuzzerstatefulfuzzingforfilesystems AT zuocatherinecatherinew statefulfuzzingforfilesystems |
_version_ |
1719039698438979584 |