SPIDER: Fuzzing for Stateful Performance Issues in the ONOS Software-Defined Network Controller

Fuente: arXiv
Salvato in:
Dettagli Bibliografici
Autori principali: Li, Ao, Padhye, Rohan, Sekar, Vyas
Natura: Preprint
Pubblicazione: 2022
Soggetti:
Accesso online:
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
_version_ 1866913681990746112
author Li, Ao
Padhye, Rohan
Sekar, Vyas
author_facet Li, Ao
Padhye, Rohan
Sekar, Vyas
contents Performance issues in software-defined network (SDN) controllers can have serious impacts on the performance and availability of networks. In this paper, we consider a special class of SDN vulnerabilities called stateful performance issues (SPIs), where a sequence of initial input messages drives the controller into a state such that its performance degrades pathologically when processing subsequent messages. Uncovering SPIs in large complex software such as the widely used ONOS SDN controller is challenging because of the large state space of input sequences and the complex software architecture of inter-dependent network services. We present SPIDER, a practical fuzzing framework for identifying SPIs in this setting. The key contribution in our work is to leverage the event-driven modular software architecture of the SDN controller to (a) separately target each network service for SPIs and (b) use static analysis to identify all services whose event handlers can affect the state of the target service directly or indirectly. SPIDER implements this novel dependency-aware modular performance fuzzing approach for 157 network services in ONOS and successfully identifies 10 new performance issues. We present an evaluation of SPIDER against prior work, a sensitivity analysis of design decisions, and case studies of two uncovered SPIs.
format Preprint
id arxiv_https___arxiv_org_abs_2209_04026
institution arXiv
publishDate 2022
record_format arxiv
spellingShingle SPIDER: Fuzzing for Stateful Performance Issues in the ONOS Software-Defined Network Controller
Li, Ao
Padhye, Rohan
Sekar, Vyas
Cryptography and Security
Performance issues in software-defined network (SDN) controllers can have serious impacts on the performance and availability of networks. In this paper, we consider a special class of SDN vulnerabilities called stateful performance issues (SPIs), where a sequence of initial input messages drives the controller into a state such that its performance degrades pathologically when processing subsequent messages. Uncovering SPIs in large complex software such as the widely used ONOS SDN controller is challenging because of the large state space of input sequences and the complex software architecture of inter-dependent network services. We present SPIDER, a practical fuzzing framework for identifying SPIs in this setting. The key contribution in our work is to leverage the event-driven modular software architecture of the SDN controller to (a) separately target each network service for SPIs and (b) use static analysis to identify all services whose event handlers can affect the state of the target service directly or indirectly. SPIDER implements this novel dependency-aware modular performance fuzzing approach for 157 network services in ONOS and successfully identifies 10 new performance issues. We present an evaluation of SPIDER against prior work, a sensitivity analysis of design decisions, and case studies of two uncovered SPIs.
title SPIDER: Fuzzing for Stateful Performance Issues in the ONOS Software-Defined Network Controller
topic Cryptography and Security
url https://arxiv.org/abs/2209.04026