#fuzzing #testing

no-std libafl_targets

Common code for target instrumentation that can be used combined with LibAFL

13 releases (7 breaking)

Uses new Rust 2021

0.8.1 Aug 18, 2022
0.8.0 Jul 13, 2022
0.7.1 Jan 13, 2022
0.7.0 Dec 9, 2021
0.5.0 Jul 5, 2021

#89 in Testing

Download history 196/week @ 2022-06-05 5/week @ 2022-06-12 12/week @ 2022-06-19 6/week @ 2022-06-26 19/week @ 2022-07-03 53/week @ 2022-07-10 57/week @ 2022-07-17 76/week @ 2022-07-24 66/week @ 2022-07-31 52/week @ 2022-08-07 200/week @ 2022-08-14 378/week @ 2022-08-21 137/week @ 2022-08-28 62/week @ 2022-09-04 26/week @ 2022-09-11 74/week @ 2022-09-18

313 downloads per month
Used in 3 crates

MIT/Apache

1.5MB
36K SLoC

LibAFL, the fuzzer library.

AFL++ Logo

Advanced Fuzzing Library - Slot your own fuzzers together and extend their features using Rust.

LibAFL is written and maintained by

Why LibAFL?

LibAFL gives you many of the benefits of an off-the-shelf fuzzer, while being completely customizable. Some highlight features currently include:

  • fast: We do everything we can at compile time, keeping runtime overhead minimal. Users reach 120k execs/sec in frida-mode on a phone (using all cores).
  • scalable: Low Level Message Passing, LLMP for short, allows LibAFL to scale almost linearly over cores, and via TCP to multiple machines.
  • adaptable: You can replace each part of LibAFL. For example, BytesInput is just one potential form input: feel free to add an AST-based input for structured fuzzing, and more.
  • multi platform: LibAFL was confirmed to work on Windows, MacOS, Linux, and Android on x86_64 and aarch64. LibAFL can be built in no_std mode to inject LibAFL into obscure targets like embedded devices and hypervisors.
  • bring your own target: We support binary-only modes, like Frida-Mode, as well as multiple compilation passes for sourced-based instrumentation. Of course it's easy to add custom instrumentation backends.

Overview

LibAFL is a collection of reusable pieces of fuzzers, written in Rust. It is fast, multi-platform, no_std compatible, and scales over cores and machines.

It offers a main crate that provide building blocks for custom fuzzers, libafl, a library containing common code that can be used for targets instrumentation, libafl_targets, and a library providing facilities to wrap compilers, libafl_cc.

LibAFL offers integrations with popular instrumentation frameworks. At the moment, the supported backends are:

Getting started

  1. Install the Dependecies
  • The Rust development language.
    We highly recommend not to use e.g. your Linux distribition package as this is likely outdated. So rather install Rust directly, instructions can be found here.

  • LLVM tools
    The LLVM tools are needed (newer than LLVM 11.0.0 but older than LLVM 15.0.0)

  • Cargo-make
    We use cargo-make to build the fuzzers in fuzzers/ directory. You can install it with

cargo install cargo-make
  1. Clone the LibAFL repository with
git clone https://github.com/AFLplusplus/LibAFL
  1. Build the library using
cargo build --release
  1. Build the API documentation with
cargo doc
  1. Browse the LibAFL book (WIP!) with (requires mdbook)
cd docs && mdbook serve

We collect all example fuzzers in ./fuzzers. Be sure to read their documentation (and source), this is the natural way to get started!

You can run each example fuzzer with

cargo make run

as long as the fuzzer directory has Makefile.toml file.

The best-tested fuzzer is ./fuzzers/libfuzzer_libpng, a multicore libfuzzer-like fuzzer using LibAFL for a libpng harness.

Resources

Contributing

For bugs, feel free to open issues or contact us directly. Thank you for your support. <3

Even though we will gladly assist you in finishing up your PR, try to

  • keep all the crates compiling with stable rust (hide the eventual non-stable code under cfgs)
  • run cargo fmt on your code before pushing
  • check the output of cargo clippy --all or ./clippy.sh
  • run cargo build --no-default-features to check for no_std compatibility (and possibly add #[cfg(feature = "std")]) to hide parts of your code.

Some of the parts in this list may be hard, don't be afraid to open a PR if you cannot fix them by yourself, so we can help.

License

Licensed under either of Apache License, Version 2.0 or MIT license at your option.
Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in this crate by you, as defined in the Apache-2.0 license, shall be dual licensed as above, without any additional terms or conditions.
Dependencies under more restrictive licenses, such as GPL or AGPL, can be enabled using the respective feature in each crate when it is present, such as the 'agpl' feature of the libafl crate.

Dependencies

~2–32MB
~558K SLoC