Finding semantic bugs in file systems with an extensible fuzzing framework

@inproceedings{Kim2019FindingSB,
  title={Finding semantic bugs in file systems with an extensible fuzzing framework},
  author={Seulbae Kim and Meng Xu and Sanidhya Kashyap and Jungyeon Yoon and Wen Xu and Taesoo Kim},
  booktitle={SOSP '19},
  year={2019}
}
  • Seulbae Kim, Meng Xu, +3 authors Taesoo Kim
  • Published in SOSP '19 2019
  • Computer Science
  • File systems are too large to be bug free. Although handwritten test suites have been widely used to stress file systems, they can hardly keep up with the rapid increase in file system size and complexity, leading to new bugs being introduced and reported regularly. These bugs come in various flavors: simple buffer overflows to sophisticated semantic bugs. Although bug-specific checkers exist, they generally lack a way to explore file system states thoroughly. More importantly, no turnkey… CONTINUE READING

    Create an AI-powered research feed to stay up to date with new papers like this posted to ArXiv

    Citations

    Publications citing this paper.

    KRACE: Data Race Fuzzing for Kernel File Systems

    • 2019
    VIEW 4 EXCERPTS
    CITES BACKGROUND & METHODS
    HIGHLY INFLUENCED

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 10 REFERENCES

    BTRFS: The Linux B-Tree Filesystem

    VIEW 17 EXCERPTS
    HIGHLY INFLUENTIAL

    LKL: The Linux kernel library

    VIEW 11 EXCERPTS
    HIGHLY INFLUENTIAL

    American Fuzzy Lop (2.52b)

    • Michal Zalewski
    • http://lcamtuf. coredump.cx/afl
    • 2019
    VIEW 4 EXCERPTS
    HIGHLY INFLUENTIAL

    2017

    • NCC Group
    • AFL/QEMU Fuzzing with Full-system Emulation. https://github.com/nccgroup/TriforceAFL.
    • 2017
    VIEW 4 EXCERPTS
    HIGHLY INFLUENTIAL

    Btrfs: add a extent ref verify tool. https://patchwork. kernel.org/patch/9978579

    • Josef Bacik
    • 2017
    VIEW 4 EXCERPTS
    HIGHLY INFLUENTIAL