Purdue University Graduate School
Browse
- No file added yet -

Practical Methods for Fuzzing Real-World Systems

Download (5.48 MB)
thesis
posted on 2023-04-27, 13:33 authored by Prashast SrivastavaPrashast Srivastava

The current software ecosystem is exceptionally complex. A key defining feature of this complexity is the vast input space that software applications must process. This feature

inhibits fuzzing (an effective automated testing methodology) in uncovering deep bugs (i.e.,

bugs with complex preconditions). We improve the bug-finding capabilities of fuzzers by

reducing the input space that they have to explore. Our techniques incorporate domain

knowledge from the software under test. In this dissertation, we research how to incorporate

domain knowledge in different scenarios across a variety of software domains and test

objectives to perform deep bug discovery.

We start by focusing on language interpreters that form the backend of our web ecosystem.

Uncovering deep bugs in these interpreters requires synthesizing inputs that perform a

diverse set of semantic actions. To tackle this issue, we present Gramatron, a fuzzer that employs grammar automatons to speed up bug discovery. Then, we explore firmwares belonging to the rapidly growing IoT ecosystem which generally lack thorough testing. FirmFuzz infers the appropriate runtime state required to trigger vulnerabilities in these firmwares using the domain knowledge encoded in the user-facing network applications. Additionally, we showcase how our proposed strategy to incorporate domain knowledge is beneficial under alternative testing scenarios where a developer analyzes specific code locations, e.g., for patch testing. SieveFuzz leverages knowledge of targeted code locations to prohibit exploration of code regions and correspondingly parts of the input space that are irrelevant to reaching the target location. Finally, we move beyond the realm of memory-safety vulnerabilities and present how domain knowledge can be useful in uncovering logical bugs, specifically deserialization vulnerabilities in Java-based applications with Crystallizer. Crystallizer uses a hybrid analysis methodology to first infer an over-approximate set of possible payloads through static analysis (to constrain the search space). Then, it uses dynamic analysis to instantiate concrete payloads as a proof-of-concept of a deserialization vulnerability.

Throughout these four diverse areas we thoroughly demonstrate how incorporating domain

knowledge can massively improve bug finding capabilities. Our research has developed

tooling that not only outperforms the existing state-of-the-art in terms of efficient bug discovery (with speeds up to 117% faster), but has also uncovered 18 previously unknown bugs,

with five CVEs assigned.

History

Degree Type

  • Doctor of Philosophy

Department

  • Computer Science

Campus location

  • West Lafayette

Advisor/Supervisor/Committee Chair

Mathias Payer

Advisor/Supervisor/Committee co-chair

Antonio Bianchi

Usage metrics

    Licence

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC