* 0.13

* z3

* capstone

* fixer

---------

Co-authored-by: Dominik Maier <domenukk@gmail.com>
This commit is contained in:
Dongjia "toka" Zhang 2024-06-13 23:35:35 +02:00 committed by GitHub
parent 2265d672fc
commit c415b4d5f6
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
54 changed files with 74 additions and 74 deletions

View File

@ -40,7 +40,7 @@ exclude = [
]
[workspace.package]
version = "0.12.0"
version = "0.13.0"
[profile.release]
lto = true

View File

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

View File

@ -1,6 +1,6 @@
[package]
name = "baby_fuzzer_gramatron"
version = "0.12.0"
version = "0.13.0"
authors = ["Andrea Fioraldi <andreafioraldi@gmail.com>", "Dominik Maier <domenukk@gmail.com>"]
edition = "2021"

View File

@ -1,6 +1,6 @@
[package]
name = "baby_fuzzer_grimoire"
version = "0.12.0"
version = "0.13.0"
authors = ["Andrea Fioraldi <andreafioraldi@gmail.com>", "Dominik Maier <domenukk@gmail.com>"]
edition = "2021"

View File

@ -1,6 +1,6 @@
[package]
name = "baby_fuzzer_minimizing"
version = "0.12.0"
version = "0.13.0"
authors = ["Andrea Fioraldi <andreafioraldi@gmail.com>", "Dominik Maier <domenukk@gmail.com>", "Addison Crump <research@addisoncrump.info>"]
edition = "2021"

View File

@ -1,6 +1,6 @@
[package]
name = "baby_fuzzer_nautilus"
version = "0.12.0"
version = "0.13.0"
authors = ["Andrea Fioraldi <andreafioraldi@gmail.com>", "Dominik Maier <domenukk@gmail.com>"]
edition = "2021"

View File

@ -1,6 +1,6 @@
[package]
name = "baby_fuzzer_swap_differential"
version = "0.12.0"
version = "0.13.0"
authors = ["Addison Crump <research@addisoncrump.info>"]
edition = "2021"
default-run = "fuzzer_sd"

View File

@ -1,6 +1,6 @@
[package]
name = "baby_fuzzer_tokens"
version = "0.12.0"
version = "0.13.0"
authors = ["Andrea Fioraldi <andreafioraldi@gmail.com>", "Dominik Maier <domenukk@gmail.com>"]
edition = "2021"

View File

@ -1,6 +1,6 @@
[package]
name = "baby_fuzzer_with_forkexecutor"
version = "0.12.0"
version = "0.13.0"
authors = ["Andrea Fioraldi <andreafioraldi@gmail.com>", "Dominik Maier <domenukk@gmail.com>"]
edition = "2021"

View File

@ -1,6 +1,6 @@
[package]
name = "baby_no_std"
version = "0.12.0"
version = "0.13.0"
authors = ["Andrea Fioraldi <andreafioraldi@gmail.com>", "Dominik Maier <domenukk@gmail.com>"]
edition = "2021"

View File

@ -1,6 +1,6 @@
[package]
name = "dynamic_analysis"
version = "0.12.0"
version = "0.13.0"
authors = ["Andrea Fioraldi <andreafioraldi@gmail.com>", "Dominik Maier <domenukk@gmail.com>"]
edition = "2021"

View File

@ -1,6 +1,6 @@
[package]
name = "forkserver_simple"
version = "0.12.0"
version = "0.13.0"
authors = ["tokatoka <tokazerkje@outlook.com>"]
edition = "2021"

View File

@ -1,6 +1,6 @@
[package]
name = "frida_gdiplus"
version = "0.12.0"
version = "0.13.0"
authors = ["Richard Johnson <richinseattle@gmail.com>"]
edition = "2021"

View File

@ -1,6 +1,6 @@
[package]
name = "frida_fuzzer"
version = "0.12.0"
version = "0.13.0"
authors = ["Andrea Fioraldi <andreafioraldi@gmail.com>", "Dominik Maier <domenukk@gmail.com>"]
edition = "2021"

View File

@ -1,6 +1,6 @@
[package]
name = "fuzzbench"
version = "0.12.0"
version = "0.13.0"
authors = ["Andrea Fioraldi <andreafioraldi@gmail.com>", "Dominik Maier <domenukk@gmail.com>"]
edition = "2021"

View File

@ -1,6 +1,6 @@
[package]
name = "fuzzbench_ctx"
version = "0.12.0"
version = "0.13.0"
authors = ["Andrea Fioraldi <andreafioraldi@gmail.com>", "Dominik Maier <domenukk@gmail.com>"]
edition = "2021"

View File

@ -1,6 +1,6 @@
[package]
name = "fuzzbench_fork_qemu"
version = "0.12.0"
version = "0.13.0"
authors = ["Andrea Fioraldi <andreafioraldi@gmail.com>", "Dominik Maier <domenukk@gmail.com>"]
edition = "2021"

View File

@ -1,6 +1,6 @@
[package]
name = "fuzzbench_forkserver"
version = "0.12.0"
version = "0.13.0"
authors = ["Andrea Fioraldi <andreafioraldi@gmail.com>", "Dominik Maier <domenukk@gmail.com>"]
edition = "2021"

View File

@ -1,6 +1,6 @@
[package]
name = "fuzzbench_forkserver_cmplog"
version = "0.12.0"
version = "0.13.0"
authors = ["Andrea Fioraldi <andreafioraldi@gmail.com>", "Dominik Maier <domenukk@gmail.com>"]
edition = "2021"

View File

@ -1,6 +1,6 @@
[package]
name = "fuzzbench_qemu"
version = "0.12.0"
version = "0.13.0"
authors = ["Andrea Fioraldi <andreafioraldi@gmail.com>", "Dominik Maier <domenukk@gmail.com>"]
edition = "2021"

View File

@ -1,6 +1,6 @@
[package]
name = "fuzzbench_text"
version = "0.12.0"
version = "0.13.0"
authors = ["Andrea Fioraldi <andreafioraldi@gmail.com>", "Dominik Maier <domenukk@gmail.com>"]
edition = "2021"

View File

@ -1,6 +1,6 @@
[package]
name = "libafl_atheris"
version = "0.12.0"
version = "0.13.0"
authors = ["Andrea Fioraldi <andreafioraldi@gmail.com>", "Dominik Maier <domenukk@gmail.com>"]
edition = "2021"

View File

@ -1,6 +1,6 @@
[package]
name = "libfuzzer_libmozjpeg"
version = "0.12.0"
version = "0.13.0"
authors = ["Andrea Fioraldi <andreafioraldi@gmail.com>", "Dominik Maier <domenukk@gmail.com>"]
edition = "2021"

View File

@ -1,6 +1,6 @@
[package]
name = "libfuzzer_libpng"
version = "0.12.0"
version = "0.13.0"
authors = ["Andrea Fioraldi <andreafioraldi@gmail.com>", "Dominik Maier <domenukk@gmail.com>"]
edition = "2021"

View File

@ -1,6 +1,6 @@
[package]
name = "libfuzzer_libpng_accounting"
version = "0.12.0"
version = "0.13.0"
authors = ["Andrea Fioraldi <andreafioraldi@gmail.com>", "Dominik Maier <domenukk@gmail.com>"]
edition = "2021"

View File

@ -1,6 +1,6 @@
[package]
name = "libfuzzer_libpng_launcher_centralized"
version = "0.12.0"
version = "0.13.0"
authors = ["Andrea Fioraldi <andreafioraldi@gmail.com>", "Dominik Maier <domenukk@gmail.com>"]
edition = "2021"

View File

@ -1,6 +1,6 @@
[package]
name = "libfuzzer_libpng_cmin"
version = "0.12.0"
version = "0.13.0"
authors = ["Andrea Fioraldi <andreafioraldi@gmail.com>", "Dominik Maier <domenukk@gmail.com>", "Addison Crump <research@addisoncrump.info>"]
edition = "2021"

View File

@ -1,6 +1,6 @@
[package]
name = "libfuzzer_libpng_launcher"
version = "0.12.0"
version = "0.13.0"
authors = ["Andrea Fioraldi <andreafioraldi@gmail.com>", "Dominik Maier <domenukk@gmail.com>"]
edition = "2021"

View File

@ -1,6 +1,6 @@
[package]
name = "libfuzzer_libpng_tcp_manager"
version = "0.12.0"
version = "0.13.0"
authors = ["Andrea Fioraldi <andreafioraldi@gmail.com>", "Dominik Maier <domenukk@gmail.com>"]
edition = "2021"

View File

@ -1,6 +1,6 @@
[package]
name = "libfuzzer_stb_image"
version = "0.12.0"
version = "0.13.0"
authors = ["Andrea Fioraldi <andreafioraldi@gmail.com>", "Dominik Maier <domenukk@gmail.com>"]
edition = "2021"
build = "build.rs"

View File

@ -1,6 +1,6 @@
[package]
name = "libfuzzer_stb_image_concolic"
version = "0.12.0"
version = "0.13.0"
authors = ["Andrea Fioraldi <andreafioraldi@gmail.com>", "Dominik Maier <domenukk@gmail.com>", "Julius Hohnerlein"]
edition = "2021"
build = "build.rs"

View File

@ -1,6 +1,6 @@
[package]
name = "example_runtime"
version = "0.12.0"
version = "0.13.0"
edition = "2021"
authors = ["Julius Hohnerlein <julihoh@users.noreply.github.com>"]

View File

@ -1,6 +1,6 @@
[package]
name = "libfuzzer_stb_image_sugar"
version = "0.12.0"
version = "0.13.0"
authors = ["Andrea Fioraldi <andreafioraldi@gmail.com>", "Dominik Maier <domenukk@gmail.com>"]
edition = "2021"
build = "build.rs"

View File

@ -1,6 +1,6 @@
[package]
name = "nautilus_sync"
version = "0.12.0"
version = "0.13.0"
authors = ["Andrea Fioraldi <andreafioraldi@gmail.com>", "Dominik Maier <domenukk@gmail.com>"]
edition = "2021"

View File

@ -1,6 +1,6 @@
[package]
name = "nyx_libxml2_parallel"
version = "0.12.0"
version = "0.13.0"
edition = "2021"
default-run = "nyx_libxml2_parallel"

View File

@ -1,6 +1,6 @@
[package]
name = "nyx_libxml2_standalone"
version = "0.12.0"
version = "0.13.0"
edition = "2021"
default-run = "nyx_libxml2_standalone"

View File

@ -1,6 +1,6 @@
[package]
name = "qemu_cmin"
version = "0.12.0"
version = "0.13.0"
authors = ["Andrea Fioraldi <andreafioraldi@gmail.com>", "Dominik Maier <domenukk@gmail.com>", "WorksButNotTested"]
edition = "2021"

View File

@ -1,6 +1,6 @@
[package]
name = "qemu_coverage"
version = "0.12.0"
version = "0.13.0"
authors = ["Andrea Fioraldi <andreafioraldi@gmail.com>", "Dominik Maier <domenukk@gmail.com>", "WorksButNotTested"]
edition = "2021"

View File

@ -1,6 +1,6 @@
[package]
name = "qemu_launcher"
version = "0.12.0"
version = "0.13.0"
authors = ["Andrea Fioraldi <andreafioraldi@gmail.com>", "Dominik Maier <domenukk@gmail.com>"]
edition = "2021"

View File

@ -1,6 +1,6 @@
[package]
name = "qemu_systemmode"
version = "0.12.0"
version = "0.13.0"
authors = ["Andrea Fioraldi <andreafioraldi@gmail.com>", "Dominik Maier <domenukk@gmail.com>"]
edition = "2021"

View File

@ -1,6 +1,6 @@
[package]
name = "tinyinst_simple"
version = "0.12.0"
version = "0.13.0"
edition = "2021"
[dependencies]

View File

@ -1,6 +1,6 @@
[package]
name = "tutorial"
version = "0.12.0"
version = "0.13.0"
authors = ["Andrea Fioraldi <andreafioraldi@gmail.com>", "Dominik Maier <domenukk@gmail.com>"]
edition = "2021"

View File

@ -139,8 +139,8 @@ serde_json = { version = "1.0", default-features = false, features = ["alloc"] }
bytecount = "0.6.3"
[dependencies]
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 }
libafl_bolts = { version = "0.13.0", path = "../libafl_bolts", default-features = false, features = ["alloc"] }
libafl_derive = { version = "0.13.0", path = "../libafl_derive", optional = true }
rustversion = "1.0"
tuple_list = { version = "0.1.3" }

View File

@ -92,7 +92,7 @@ llmp_small_maps = ["alloc"]
rustversion = "1.0"
[dependencies]
libafl_derive = { version = "0.12.0", optional = true, path = "../libafl_derive" }
libafl_derive = { version = "0.13.0", optional = true, path = "../libafl_derive" }
static_assertions = "1.1.0"
tuple_list = { version = "0.1.3" }

View File

@ -25,12 +25,12 @@ no-cpp-runtime = []
unchecked_unwrap = "4"
ctor = "0.2"
libc = "0.2"
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"] }
libafl = { path = "../../libafl", version = "0.13.0", default-features=false, features=["std", "serdeany_autoreg"] }
libafl_bolts = { path = "../../libafl_bolts", version = "0.13.0", default-features=false, features=["std", "serdeany_autoreg"] }
[build-dependencies]
cmake = "0.1"
bindgen = "0.69.4"
regex = "1"
which = "6.0"
symcc_libafl = { path = "../symcc_libafl", version = "0.12.0" }
symcc_libafl = { path = "../symcc_libafl", version = "0.13.0" }

View File

@ -49,17 +49,17 @@ yaxpeax-x86 = "1.2.2"
iced-x86 = { version = "1.20.0", features = ["code_asm"], optional = true }
[dependencies]
libafl = { path = "../libafl", default-features = false, version = "0.12.0", features = [
libafl = { path = "../libafl", default-features = false, version = "0.13.0", features = [
"std",
"derive",
"frida_cli",
] }
libafl_bolts = { path = "../libafl_bolts", version = "0.12.0", default-features = false, features = [
libafl_bolts = { path = "../libafl_bolts", version = "0.13.0", default-features = false, features = [
"std",
"derive",
"frida_cli"
] }
libafl_targets = { path = "../libafl_targets", version = "0.12.0", features = [
libafl_targets = { path = "../libafl_targets", version = "0.13.0", features = [
"std",
"sancov_cmplog",
] }

View File

@ -1,6 +1,6 @@
[package]
name = "libafl_libfuzzer_runtime"
version = "0.12.0"
version = "0.13.0"
edition = "2021"
publish = false

View File

@ -15,9 +15,9 @@ categories = ["development-tools::testing", "emulators", "embedded", "os", "no-s
[target.'cfg(target_os = "linux")'.dependencies]
libnyx = { git = "https://github.com/nyx-fuzz/libnyx.git", rev = "6833d236dfe785a8a23d8c8d79e74c99fa635004" }
libafl = { path = "../libafl", version = "0.12.0", features = ["std", "libafl_derive", "frida_cli" ]}
libafl_bolts = { path = "../libafl_bolts", version = "0.12.0", features = ["std", "libafl_derive", "frida_cli" ]}
libafl_targets = { path = "../libafl_targets", version = "0.12.0", features = ["std", "sancov_cmplog"] }
libafl = { path = "../libafl", version = "0.13.0", features = ["std", "libafl_derive", "frida_cli" ]}
libafl_bolts = { path = "../libafl_bolts", version = "0.13.0", features = ["std", "libafl_derive", "frida_cli" ]}
libafl_targets = { path = "../libafl_targets", version = "0.13.0", features = ["std", "sancov_cmplog"] }
nix = { version = "0.29", features = ["fs"] }
typed-builder = "0.18"

View File

@ -63,10 +63,10 @@ slirp = [ "systemmode", "libafl_qemu_sys/slirp" ] # build qemu with host libslir
shared = [ "libafl_qemu_sys/shared" ]
[dependencies]
libafl = { path = "../libafl", version = "0.12.0", default-features = false, features = ["std", "derive", "regex"] }
libafl_bolts = { path = "../libafl_bolts", version = "0.12.0", default-features = false, features = ["std", "derive"] }
libafl_targets = { path = "../libafl_targets", version = "0.12.0" }
libafl_qemu_sys = { path = "./libafl_qemu_sys", version = "0.12.0" }
libafl = { path = "../libafl", version = "0.13.0", default-features = false, features = ["std", "derive", "regex"] }
libafl_bolts = { path = "../libafl_bolts", version = "0.13.0", default-features = false, features = ["std", "derive"] }
libafl_targets = { path = "../libafl_targets", version = "0.13.0" }
libafl_qemu_sys = { path = "./libafl_qemu_sys", version = "0.13.0" }
serde = { version = "1.0", default-features = false, features = ["alloc"] } # serialization lib
hashbrown = { version = "0.14", features = ["serde"] } # A faster hashmap, nostd compatible
@ -98,7 +98,7 @@ memmap2 = "0.9"
document-features = { version = "0.2", optional = true }
[build-dependencies]
libafl_qemu_build = { path = "./libafl_qemu_build", version = "0.12.0" }
libafl_qemu_build = { path = "./libafl_qemu_build", version = "0.13.0" }
pyo3-build-config = { version = "0.21", optional = true }
rustversion = "1.0"
bindgen = "0.69"

View File

@ -1,6 +1,6 @@
[package]
name = "libafl_qemu_build"
version = "0.12.0"
version = "0.13.0"
authors = ["Andrea Fioraldi <andreafioraldi@gmail.com>"]
description = "Builder for LibAFL QEMU"
documentation = "https://docs.rs/libafl_qemu_build"

View File

@ -1,6 +1,6 @@
[package]
name = "libafl_qemu_sys"
version = "0.12.0"
version = "0.13.0"
authors = ["Andrea Fioraldi <andreafioraldi@gmail.com>"]
description = "C to Rust bindings for the LibAFL QEMU bridge"
documentation = "https://docs.rs/libafl_qemu_sys"
@ -49,6 +49,6 @@ strum_macros = "0.26"
pyo3 = { version = "0.18", optional = true }
[build-dependencies]
libafl_qemu_build = { path = "../libafl_qemu_build", version = "0.12.0" }
libafl_qemu_build = { path = "../libafl_qemu_build", version = "0.13.0" }
pyo3-build-config = { version = "0.21", optional = true }
rustversion = "1.0"

View File

@ -48,9 +48,9 @@ hexagon = ["libafl_qemu/hexagon"]
pyo3-build-config = { version = "0.21", optional = true }
[dependencies]
libafl = { path = "../libafl", version = "0.12.0" }
libafl_bolts = { path = "../libafl_bolts", version = "0.12.0" }
libafl_targets = { path = "../libafl_targets", version = "0.12.0" }
libafl = { path = "../libafl", version = "0.13.0" }
libafl_bolts = { path = "../libafl_bolts", version = "0.13.0" }
libafl_targets = { path = "../libafl_targets", version = "0.13.0" }
# Document all features of this crate (for `cargo doc`)
document-features = { version = "0.2", optional = true }
@ -60,7 +60,7 @@ pyo3 = { version = "0.18", optional = true }
log = "0.4.20"
[target.'cfg(target_os = "linux")'.dependencies]
libafl_qemu = { path = "../libafl_qemu", version = "0.12.0" }
libafl_qemu = { path = "../libafl_qemu", version = "0.13.0" }
[lib]
name = "libafl_sugar"

View File

@ -66,8 +66,8 @@ cc = { version = "1.0", features = ["parallel"] }
rustversion = "1.0"
[dependencies]
libafl = { path = "../libafl", version = "0.12.0", default-features = false, features = [] }
libafl_bolts = { path = "../libafl_bolts", version = "0.12.0", default-features = false, features = [] }
libafl = { path = "../libafl", version = "0.13.0", default-features = false, features = [] }
libafl_bolts = { path = "../libafl_bolts", version = "0.13.0", default-features = false, features = [] }
libc = "0.2"
hashbrown = "0.14"
once_cell = "1.19"

View File

@ -12,11 +12,11 @@ description = "TinyInst backend for libafl"
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
[dependencies]
libafl = { path = "../libafl", version = "0.12.0", features = [
libafl = { path = "../libafl", version = "0.13.0", features = [
"std",
"libafl_derive",
] }
libafl_bolts = { path = "../libafl_bolts", version = "0.12.0", features = [
libafl_bolts = { path = "../libafl_bolts", version = "0.13.0", features = [
"std",
"libafl_derive",
] }