AFLNet

AFLNet ist ein Greybox-Fuzzer für Protokollimplementierungen. Im Gegensatz zu bestehenden Protokoll-Fuzzern verfolgt es einen mutationalen Ansatz und nutzt neben der Codeabdeckungsrückmeldung auch die Zustandsrückmeldung, um den Fuzzing-Prozess zu steuern. AFLNet wird mit einem Korpus von aufgezeichneten Nachrichtenwechseln zwischen dem Server und einem tatsächlichen Client gespeist. Es sind keine Protokollspezifikationen oder Nachrichten-Grammatiken erforderlich. Es agiert als Client und spielt Variationen der ursprünglichen Nachrichtenfolge, die an den Server gesendet wurden, erneut ab und behält jene Variationen bei, die effektiv waren, um die Abdeckung des Codes oder des Zustandsraums zu erhöhen. Um die Serverzustände zu identifizieren, die durch eine Nachrichtenfolge aktiviert werden, verwendet AFLNet die Antwortcodes des Servers. Aus diesem Feedback identifiziert AFLNet progressive Regionen im Zustandsraum und steuert systematisch auf solche Regionen zu.