ETD

Archivio digitale delle tesi discusse presso l'Università di Pisa

Tesi etd-11172020-145615


Tipo di tesi
Tesi di laurea magistrale
Autore
DUO, STEFANO
URN
etd-11172020-145615
Titolo
FUSE robustness by means of syzkaller fuzzer
Dipartimento
INFORMATICA
Corso di studi
INFORMATICA E NETWORKING
Relatori
relatore Dott. Procissi, Gregorio
relatore Dott. Balsini, Alessio
Parole chiave
  • syzkaller
  • fuse
  • linux
  • kernel
  • filesystem
  • storage
  • testing
  • fuzzing
  • fuzzer
Data inizio appello
04/12/2020
Consultabilità
Non consultabile
Data di rilascio
04/12/2090
Riassunto
FUSE is a Linux kernel module that can be used to implement filesystems in userspace. Due to recent changes to how Android accesses the filesystem, FUSE is becoming a key component of the Android storage subsystem. Hence, its robustness, and correctness, directly affects the user experience in Android. For this reason, it is important to confirm the reliability, and ease the maintenance, of the FUSE framework.

This work extends syzkaller, introducing new tools and constructs to help this kernel fuzzer to generate meaningful interaction with the FUSE Linux kernel module and achieve a higher code coverage. Differently from unit testing, this has not been achieved by manually writing test cases. Instead, FUSE behavior has been modeled and described in a way to allow syzkaller to act like a FUSE daemon and come up with its own tests. Thanks to this, syzkaller is now able to generate semantically correct interaction with the FUSE kernel module.
File