LibAFLstar
LibAFLstar is a fast and state-aware protocol fuzzer that addresses the challenges of fuzzing stateful software systems. Unlike stateless approaches, LibAFLstar efficiently explores state models, focuses on interesting states, tracks relevant messages per state, and handles expensive system restarts.
21 Jun 2025
