SPIDER: A Practical Fuzzing Framework to Uncover Stateful Performance Issues in SDN Controllers release_cvbqlynj4vg77gcntrmhjalxce

by Ao Li, Rohan Padhye, Vyas Sekar

Released as a article .

2022  

Abstract

Performance issues in software-defined network (SDN) controllers can have serious impacts on the performance and availability of networks. We specifically consider stateful performance issues, where a sequence of initial input messages drives an SDN controller into a state such that its performance degrades pathologically when processing subsequent messages. We identify key challenges in applying canonical program analysis techniques: large input space of messages (e.g., stateful OpenFlow protocol), complex code base and software architecture (e.g., OSGi framework with dynamic launch), and the semantic dependencies between the internal state and external inputs. We design SPIDER, a practical fuzzing workflow that tackles these challenges and automatically uncovers such issues in SDN controllers. SPIDER's design entails a careful synthesis and extension of semantic fuzzing, performance fuzzing, and static analysis, taken together with domain-specific insights to tackle these challenges. We show that our design workflow is robust across two controllers -- ONOS and OpenDaylight -- with very different internal implementations. Using SPIDER, we were able to identify and confirm multiple stateful performance issues.
In text/plain format

Archived Files and Locations

application/pdf  649.9 kB
file_byeb7k5egzenvpdtgqp53cbuqu
arxiv.org (repository)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article
Stage   submitted
Date   2022-09-08
Version   v1
Language   en ?
arXiv  2209.04026v1
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 3ad6ff4e-b7ee-4778-b052-3673a3ca2466
API URL: JSON