LibAFL 0.12 (#1823)

AFLplusplus · Apr 12, 2024 · cbb323f · cbb323f
1 parent 3d702f4
commit cbb323f
Show file tree

Hide file tree

Showing 54 changed files with 81 additions and 72 deletions.
diff --git a/Cargo.toml b/Cargo.toml
@@ -39,7 +39,7 @@ exclude = [
 ]
 
 [workspace.package]
-version = "0.11.2"
+version = "0.12.0"
 
 [profile.release]
 lto = true

diff --git a/bindings/pylibafl/Cargo.toml b/bindings/pylibafl/Cargo.toml
@@ -1,16 +1,16 @@
 [package]
 name = "pylibafl"
-version = "0.11.2"
+version = "0.12.0"
 edition = "2021"
 
 [dependencies]
 pyo3 = { version = "0.18.3", features = ["extension-module"] }
 pyo3-log = "0.8.1"
-libafl_sugar = { path = "../../libafl_sugar", version = "0.11.2", features = ["python"] }
-libafl_bolts = { path = "../../libafl_bolts", version = "0.11.2", features = ["python"] }
+libafl_sugar = { path = "../../libafl_sugar", version = "0.12.0", features = ["python"] }
+libafl_bolts = { path = "../../libafl_bolts", version = "0.12.0", features = ["python"] }
 
 [target.'cfg(target_os = "linux")'.dependencies]
-libafl_qemu = { path = "../../libafl_qemu", version = "0.11.2", features = ["python"] }
+libafl_qemu = { path = "../../libafl_qemu", version = "0.12.0", features = ["python"] }
 
 [build-dependencies]
 pyo3-build-config = { version = "0.17" }

diff --git a/docs/src/design/migration-0.12.md b/docs/src/design/migration-0.12.md
@@ -0,0 +1,9 @@
+# Migrating from <0.12 to 0.12
+
+We deleted `TimeoutExecutor` and `TimeoutForkserverExecutor` and make it mandatory for `InProcessExecutor` and `ForkserverExecutor` to have the timeout. Now `InProcessExecutor` and `ForkserverExecutor` have the default timeout of 5 seconds.
+
+## Reason for This Change.
+In 99% of the case, it is advised to have the timeout for the fuzzer. This is because we do not want the fuzzer to stop forever just because the target has hit a path that resulted in a infinite-loop.
+
+## What changed
+You do not have to wrap the executor with `TimeoutExecutor` anymore. You can just use `InProcessExecutor::new()` to instantiate the executor with the default timeout or use `InProcessExecutor::timeout(duration)` to start the executor with the customized duration of timeout.
diff --git a/fuzzers/baby_fuzzer_gramatron/Cargo.toml b/fuzzers/baby_fuzzer_gramatron/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "baby_fuzzer_gramatron"
-version = "0.11.2"
+version = "0.12.0"
 authors = ["Andrea Fioraldi <[email protected]>", "Dominik Maier <[email protected]>"]
 edition = "2021"
 

diff --git a/fuzzers/baby_fuzzer_grimoire/Cargo.toml b/fuzzers/baby_fuzzer_grimoire/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "baby_fuzzer_grimoire"
-version = "0.11.2"
+version = "0.12.0"
 authors = ["Andrea Fioraldi <[email protected]>", "Dominik Maier <[email protected]>"]
 edition = "2021"
 

diff --git a/fuzzers/baby_fuzzer_minimizing/Cargo.toml b/fuzzers/baby_fuzzer_minimizing/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "baby_fuzzer_minimizing"
-version = "0.11.2"
+version = "0.12.0"
 authors = ["Andrea Fioraldi <[email protected]>", "Dominik Maier <[email protected]>", "Addison Crump <[email protected]>"]
 edition = "2021"
 

diff --git a/fuzzers/baby_fuzzer_nautilus/Cargo.toml b/fuzzers/baby_fuzzer_nautilus/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "baby_fuzzer_nautilus"
-version = "0.11.2"
+version = "0.12.0"
 authors = ["Andrea Fioraldi <[email protected]>", "Dominik Maier <[email protected]>"]
 edition = "2021"
 

diff --git a/fuzzers/baby_fuzzer_swap_differential/Cargo.toml b/fuzzers/baby_fuzzer_swap_differential/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "baby_fuzzer_swap_differential"
-version = "0.11.2"
+version = "0.12.0"
 authors = ["Addison Crump <[email protected]>"]
 edition = "2021"
 default-run = "fuzzer_sd"

diff --git a/fuzzers/baby_fuzzer_tokens/Cargo.toml b/fuzzers/baby_fuzzer_tokens/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "baby_fuzzer_tokens"
-version = "0.11.2"
+version = "0.12.0"
 authors = ["Andrea Fioraldi <[email protected]>", "Dominik Maier <[email protected]>"]
 edition = "2021"
 

diff --git a/fuzzers/baby_fuzzer_with_forkexecutor/Cargo.toml b/fuzzers/baby_fuzzer_with_forkexecutor/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "baby_fuzzer_with_forkexecutor"
-version = "0.11.2"
+version = "0.12.0"
 authors = ["Andrea Fioraldi <[email protected]>", "Dominik Maier <[email protected]>"]
 edition = "2021"
 

diff --git a/fuzzers/baby_no_std/Cargo.toml b/fuzzers/baby_no_std/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "baby_no_std"
-version = "0.11.2"
+version = "0.12.0"
 authors = ["Andrea Fioraldi <[email protected]>", "Dominik Maier <[email protected]>"]
 edition = "2021"
 

diff --git a/fuzzers/forkserver_simple/Cargo.toml b/fuzzers/forkserver_simple/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "forkserver_simple"
-version = "0.11.2"
+version = "0.12.0"
 authors = ["tokatoka <[email protected]>"]
 edition = "2021"
 

diff --git a/fuzzers/frida_gdiplus/Cargo.toml b/fuzzers/frida_gdiplus/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "frida_gdiplus"
-version = "0.11.2"
+version = "0.12.0"
 authors = ["Richard Johnson <[email protected]>"]
 edition = "2021"
 

diff --git a/fuzzers/frida_libpng/Cargo.toml b/fuzzers/frida_libpng/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "frida_fuzzer"
-version = "0.11.2"
+version = "0.12.0"
 authors = ["Andrea Fioraldi <[email protected]>", "Dominik Maier <[email protected]>"]
 edition = "2021"
 

diff --git a/fuzzers/fuzzbench/Cargo.toml b/fuzzers/fuzzbench/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "fuzzbench"
-version = "0.11.2"
+version = "0.12.0"
 authors = ["Andrea Fioraldi <[email protected]>", "Dominik Maier <[email protected]>"]
 edition = "2021"
 

diff --git a/fuzzers/fuzzbench_ctx/Cargo.toml b/fuzzers/fuzzbench_ctx/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "fuzzbench_ctx"
-version = "0.11.2"
+version = "0.12.0"
 authors = ["Andrea Fioraldi <[email protected]>", "Dominik Maier <[email protected]>"]
 edition = "2021"
 

diff --git a/fuzzers/fuzzbench_fork_qemu/Cargo.toml b/fuzzers/fuzzbench_fork_qemu/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "fuzzbench_fork_qemu"
-version = "0.11.2"
+version = "0.12.0"
 authors = ["Andrea Fioraldi <[email protected]>", "Dominik Maier <[email protected]>"]
 edition = "2021"
 

diff --git a/fuzzers/fuzzbench_forkserver/Cargo.toml b/fuzzers/fuzzbench_forkserver/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "fuzzbench_forkserver"
-version = "0.11.2"
+version = "0.12.0"
 authors = ["Andrea Fioraldi <[email protected]>", "Dominik Maier <[email protected]>"]
 edition = "2021"
 

diff --git a/fuzzers/fuzzbench_forkserver_cmplog/Cargo.toml b/fuzzers/fuzzbench_forkserver_cmplog/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "fuzzbench_forkserver_cmplog"
-version = "0.11.2"
+version = "0.12.0"
 authors = ["Andrea Fioraldi <[email protected]>", "Dominik Maier <[email protected]>"]
 edition = "2021"
 

diff --git a/fuzzers/fuzzbench_qemu/Cargo.toml b/fuzzers/fuzzbench_qemu/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "fuzzbench_qemu"
-version = "0.11.2"
+version = "0.12.0"
 authors = ["Andrea Fioraldi <[email protected]>", "Dominik Maier <[email protected]>"]
 edition = "2021"
 

diff --git a/fuzzers/fuzzbench_text/Cargo.toml b/fuzzers/fuzzbench_text/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "fuzzbench_text"
-version = "0.11.2"
+version = "0.12.0"
 authors = ["Andrea Fioraldi <[email protected]>", "Dominik Maier <[email protected]>"]
 edition = "2021"
 

diff --git a/fuzzers/libafl_atheris/Cargo.toml b/fuzzers/libafl_atheris/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "libafl_atheris"
-version = "0.11.2"
+version = "0.12.0"
 authors = ["Andrea Fioraldi <[email protected]>", "Dominik Maier <[email protected]>"]
 edition = "2021"
 

diff --git a/fuzzers/libfuzzer_libmozjpeg/Cargo.toml b/fuzzers/libfuzzer_libmozjpeg/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "libfuzzer_libmozjpeg"
-version = "0.11.2"
+version = "0.12.0"
 authors = ["Andrea Fioraldi <[email protected]>", "Dominik Maier <[email protected]>"]
 edition = "2021"
 

diff --git a/fuzzers/libfuzzer_libpng/Cargo.toml b/fuzzers/libfuzzer_libpng/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "libfuzzer_libpng"
-version = "0.11.2"
+version = "0.12.0"
 authors = ["Andrea Fioraldi <[email protected]>", "Dominik Maier <[email protected]>"]
 edition = "2021"
 

diff --git a/fuzzers/libfuzzer_libpng_accounting/Cargo.toml b/fuzzers/libfuzzer_libpng_accounting/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "libfuzzer_libpng_accounting"
-version = "0.11.2"
+version = "0.12.0"
 authors = ["Andrea Fioraldi <[email protected]>", "Dominik Maier <[email protected]>"]
 edition = "2021"
 

diff --git a/fuzzers/libfuzzer_libpng_centralized/Cargo.toml b/fuzzers/libfuzzer_libpng_centralized/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "libfuzzer_libpng_launcher_centralized"
-version = "0.11.2"
+version = "0.12.0"
 authors = ["Andrea Fioraldi <[email protected]>", "Dominik Maier <[email protected]>"]
 edition = "2021"
 

diff --git a/fuzzers/libfuzzer_libpng_cmin/Cargo.toml b/fuzzers/libfuzzer_libpng_cmin/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "libfuzzer_libpng_cmin"
-version = "0.11.2"
+version = "0.12.0"
 authors = ["Andrea Fioraldi <[email protected]>", "Dominik Maier <[email protected]>", "Addison Crump <[email protected]>"]
 edition = "2021"
 

diff --git a/fuzzers/libfuzzer_libpng_launcher/Cargo.toml b/fuzzers/libfuzzer_libpng_launcher/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "libfuzzer_libpng_launcher"
-version = "0.11.2"
+version = "0.12.0"
 authors = ["Andrea Fioraldi <[email protected]>", "Dominik Maier <[email protected]>"]
 edition = "2021"
 

diff --git a/fuzzers/libfuzzer_libpng_tcp_manager/Cargo.toml b/fuzzers/libfuzzer_libpng_tcp_manager/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "libfuzzer_libpng_tcp_manager"
-version = "0.11.2"
+version = "0.12.0"
 authors = ["Andrea Fioraldi <[email protected]>", "Dominik Maier <[email protected]>"]
 edition = "2021"
 

diff --git a/fuzzers/libfuzzer_stb_image/Cargo.toml b/fuzzers/libfuzzer_stb_image/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "libfuzzer_stb_image"
-version = "0.11.2"
+version = "0.12.0"
 authors = ["Andrea Fioraldi <[email protected]>", "Dominik Maier <[email protected]>"]
 edition = "2021"
 build = "build.rs"

diff --git a/fuzzers/libfuzzer_stb_image_concolic/fuzzer/Cargo.toml b/fuzzers/libfuzzer_stb_image_concolic/fuzzer/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "libfuzzer_stb_image_concolic"
-version = "0.11.2"
+version = "0.12.0"
 authors = ["Andrea Fioraldi <[email protected]>", "Dominik Maier <[email protected]>", "Julius Hohnerlein"]
 edition = "2021"
 build = "build.rs"

diff --git a/fuzzers/libfuzzer_stb_image_concolic/runtime/Cargo.toml b/fuzzers/libfuzzer_stb_image_concolic/runtime/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "example_runtime"
-version = "0.11.2"
+version = "0.12.0"
 edition = "2021"
 authors = ["Julius Hohnerlein <[email protected]>"]
 

diff --git a/fuzzers/libfuzzer_stb_image_sugar/Cargo.toml b/fuzzers/libfuzzer_stb_image_sugar/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "libfuzzer_stb_image_sugar"
-version = "0.11.2"
+version = "0.12.0"
 authors = ["Andrea Fioraldi <[email protected]>", "Dominik Maier <[email protected]>"]
 edition = "2021"
 build = "build.rs"

diff --git a/fuzzers/nautilus_sync/Cargo.toml b/fuzzers/nautilus_sync/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "nautilus_sync"
-version = "0.11.2"
+version = "0.12.0"
 authors = ["Andrea Fioraldi <[email protected]>", "Dominik Maier <[email protected]>"]
 edition = "2021"
 

diff --git a/fuzzers/nyx_libxml2_parallel/Cargo.toml b/fuzzers/nyx_libxml2_parallel/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "nyx_libxml2_parallel"
-version = "0.11.2"
+version = "0.12.0"
 edition = "2021"
 default-run = "nyx_libxml2_parallel"
 

diff --git a/fuzzers/nyx_libxml2_standalone/Cargo.toml b/fuzzers/nyx_libxml2_standalone/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "nyx_libxml2_standalone"
-version = "0.11.2"
+version = "0.12.0"
 edition = "2021"
 default-run = "nyx_libxml2_standalone"
 

diff --git a/fuzzers/qemu_cmin/Cargo.toml b/fuzzers/qemu_cmin/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "qemu_cmin"
-version = "0.11.2"
+version = "0.12.0"
 authors = ["Andrea Fioraldi <[email protected]>", "Dominik Maier <[email protected]>", "WorksButNotTested"]
 edition = "2021"
 

diff --git a/fuzzers/qemu_coverage/Cargo.toml b/fuzzers/qemu_coverage/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "qemu_coverage"
-version = "0.11.2"
+version = "0.12.0"
 authors = ["Andrea Fioraldi <[email protected]>", "Dominik Maier <[email protected]>", "WorksButNotTested"]
 edition = "2021"
 

diff --git a/fuzzers/qemu_launcher/Cargo.toml b/fuzzers/qemu_launcher/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "qemu_launcher"
-version = "0.11.2"
+version = "0.12.0"
 authors = ["Andrea Fioraldi <[email protected]>", "Dominik Maier <[email protected]>"]
 edition = "2021"
 

diff --git a/fuzzers/qemu_systemmode/Cargo.toml b/fuzzers/qemu_systemmode/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "qemu_systemmode"
-version = "0.11.2"
+version = "0.12.0"
 authors = ["Andrea Fioraldi <[email protected]>", "Dominik Maier <[email protected]>"]
 edition = "2021"
 

diff --git a/fuzzers/tinyinst_simple/Cargo.toml b/fuzzers/tinyinst_simple/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "tinyinst_simple"
-version = "0.11.2"
+version = "0.12.0"
 edition = "2021"
 
 [dependencies]

diff --git a/fuzzers/tutorial/Cargo.toml b/fuzzers/tutorial/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "tutorial"
-version = "0.11.2"
+version = "0.12.0"
 authors = ["Andrea Fioraldi <[email protected]>", "Dominik Maier <[email protected]>"]
 edition = "2021"
 

diff --git a/libafl/Cargo.toml b/libafl/Cargo.toml
@@ -143,8 +143,8 @@ serde_json = { version = "1.0", default-features = false, features = ["alloc"] }
 bytecount = "0.6.3"
 
 [dependencies]
-libafl_bolts = { version = "0.11.2", path = "../libafl_bolts", default-features = false, features = ["alloc"] }
-libafl_derive = { version = "0.11.2", path = "../libafl_derive", optional = true }
+libafl_bolts = { version = "0.12.0", path = "../libafl_bolts", default-features = false, features = ["alloc"] }
+libafl_derive = { version = "0.12.0", path = "../libafl_derive", optional = true }
 
 rustversion = "1.0"
 tuple_list = { version = "0.1.3" }

diff --git a/libafl_bolts/Cargo.toml b/libafl_bolts/Cargo.toml
@@ -92,7 +92,7 @@ llmp_small_maps = ["alloc"]
 rustversion = "1.0"
 
 [dependencies]
-libafl_derive = { version = "0.11.2", optional = true, path = "../libafl_derive" }
+libafl_derive = { version = "0.12.0", optional = true, path = "../libafl_derive" }
 static_assertions = "1.1.0"
 
 rustversion = "1.0"

diff --git a/libafl_concolic/symcc_runtime/Cargo.toml b/libafl_concolic/symcc_runtime/Cargo.toml
@@ -25,12 +25,12 @@ no-cpp-runtime = []
 unchecked_unwrap = "4"
 ctor = "0.2"
 libc = "0.2"
-libafl = { path = "../../libafl", version = "0.11.2", default-features=false, features=["std", "serdeany_autoreg"] }
-libafl_bolts = { path = "../../libafl_bolts", version = "0.11.2", default-features=false, features=["std", "serdeany_autoreg"] }
+libafl = { path = "../../libafl", version = "0.12.0", default-features=false, features=["std", "serdeany_autoreg"] }
+libafl_bolts = { path = "../../libafl_bolts", version = "0.12.0", default-features=false, features=["std", "serdeany_autoreg"] }
 
 [build-dependencies]
 cmake = "0.1"
 bindgen = "0.69.4"
 regex = "1"
 which = "4.4"
-symcc_libafl = { path = "../symcc_libafl", version = "0.11.2" }
+symcc_libafl = { path = "../symcc_libafl", version = "0.12.0" }