This repo is a fork of the stateful Fuzzer AFLNet, developed to cope efficiently with stateful systems.
This version of AFLNet allows the user to export the state model of the system by integrating the labels in the edges.
The old graph:
The new graph:
AFLNet only supports known protocols. This version implements a TEST version that allows processing the requests and responses of custom software.
For example:
./afl-fuzz -d -i ./input -o output -N tcp://127.0.0.1/port -P TEST -D 10000 -q 3 -s 3 -E -R ./my_program
allows to read from the input folder the messages to send to my_program and interprets the messages received from the program as response codes
The extension saves the labels into the "key" field. If you want to show the label, you need to change "key" to "label". Also, .dot files don't like spaces (" ") at the end of a label, so try to get rid of them.
AFLNet is licensed under Apache License, Version 2.0.
AFLNet is an extension of American Fuzzy Lop written and maintained by Michał Zalewski <[email protected]>. For details on American Fuzzy Lop, we refer to README-AFL.md.
- AFL: Copyright 2013, 2014, 2015, 2016 Google Inc. All rights reserved. Released under terms and conditions of Apache License, Version 2.0.