Abstract:Network-facing applications are commonly exposed to all kinds of attacks, especially when connected to the internet. As a result, web servers like Nginx or client applications such as curl make every effort to secure and harden their code to rule out memory safety violations. One would expect this to include regular fuzz testing, as fuzzing has proven to be one of the most successful approaches to uncovering bugs in software. Yet, surprisingly little research has focused on fuzzing network applications. When studying the underlying reasons, we find that the interactive nature of communication, its statefulness, and the protection of exchanged messages render typical fuzzers ineffective. Attempts to replay recorded messages or modify them on the fly only work for specific targets and often lead to early termination of communication. In this paper, we discuss these challenges in detail, highlighting how the focus of existing work on protocol state space promises little relief. We propose a fundamentally different approach that relies on fault injection rather than modifying messages. Effectively, we force one of the communication peers into a weird state where its output no longer matches the expectations of the target peer, potentially uncovering bugs. Importantly, this weird peer can still properly encrypt/sign the protocol message, overcoming a fundamental challenge of current fuzzers. In effect, we leave the communication system intact but introduce small corruptions. Since we can turn either the server or the client into the weird peer, our approach is the first that can effectively test client-side network applications. Evaluating 16 targets, we show that Fuzztruction-Net outperforms other fuzzers in terms of coverage and bugs found. Overall, Fuzztruction-Net uncovered 23 new bugs in well-tested software, such as the web servers Nginx and Apache HTTPd and the OpenSSH client.

SNPSFuzzer: A Fast Greybox Fuzzer for Stateful Network Protocols Using Snapshots

SnapFuzz: An Efficient Fuzzing Framework for Network Applications

AFLNETGO:A Directed Fuzzer for Stateful Network Protocol Implementation

Model-Based Grey-Box Fuzzing of Network Protocols

StateAFL: Greybox Fuzzing for Stateful Network Servers

Stateful protocol fuzzing with statemap-based reverse state selection

Protocol Fuzzing with Specification Guided Message Generation.

SPFuzz: A Hierarchical Scheduling Framework for Stateful Network Protocol Fuzzing

Exploring Effective Fuzzing Strategies to Analyze Communication Protocols

NAFuzzer: Augmenting Network Protocol Fuzzers Via Automatic Template and Seed Generation

DeepFuzzer: Accelerated Deep Greybox Fuzzing

FuzzFabric: A Scalable Grey-box Fuzzing Framework for Polymorphic Network Services

MSFuzz: Augmenting Protocol Fuzzing with Message Syntax Comprehension Via Large Language Models

SpeedNeuzz: Speed Up Neural Program Approximation with Neighbor Edge Knowledge

AFLTurbo: Speed Up Path Discovery for Greybox Fuzzing

SymFL-Net: Branch Information Enhanced Network Protocol Fuzzing

State Selection Algorithms and Their Impact on The Performance of Stateful Network Protocol Fuzzing

EcoFuzz: Adaptive Energy-Saving Greybox Fuzzing As a Variant of the Adversarial Multi-Armed Bandit

Directed Greybox Fuzzing with Stepwise Constraint Focusing

No Peer, no Cry: Network Application Fuzzing via Fault Injection

Formatted Stateful Greybox Fuzzing of TLS Server