butterfly
This crate brings stateful fuzzing capabilities to LibAFL via 1. Packet-based Inputs: Inputs that are vectors of packets and can be loaded from pcap files 2. Packet-based Mutations: Mutators that can be applied to selected packets only (havoc and protocol-aware mutations like packet insertion, deletion and reordering) 3. State-Graph Inference: Observe which states your target goes through as it processes the individual packets and identify when it enters a new state or makes a new state transition
butterfly uses rust 2021 edition, so execute
sh
rustup toolchain install nightly
and in your Cargo.toml insert
toml
[dependencies]
butterfly = { git = "https://github.com/fkie-cad/butterfly" }
Warning about LibAFL version:
Unfortunately the version of LibAFL on crates.io is fairly old (0.7.1 at the time of writing this) so we use the github version with more features and bug fixes. This means
that you have to use the github version in your application too.
Add the following patch note to your Cargo.toml file:
toml
[patch.crates-io]
libafl = { git = "https://github.com/AFLplusplus/LibAFL" }
Start with the wiki. Documentation can be accessed with
sh
cargo doc --open
Also, some examples may be helpful.
For questions, feature requests or bug reports please create an issue.