From 616e507593cb53fc72b1a9222eb98263167e815a Mon Sep 17 00:00:00 2001 From: "Dongjia \"toka\" Zhang" Date: Thu, 4 Jan 2024 14:25:47 +0100 Subject: [PATCH] Update symcc for #1768 (#1775) --- libafl_concolic/symcc_libafl/src/lib.rs | 2 +- libafl_concolic/symcc_runtime/Cargo.toml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/libafl_concolic/symcc_libafl/src/lib.rs b/libafl_concolic/symcc_libafl/src/lib.rs index a6a3b983fc..f0958da4e2 100644 --- a/libafl_concolic/symcc_libafl/src/lib.rs +++ b/libafl_concolic/symcc_libafl/src/lib.rs @@ -5,7 +5,7 @@ /// The URL of the `LibAFL` `SymCC` fork. pub const SYMCC_REPO_URL: &str = "https://github.com/AFLplusplus/symcc.git"; /// The commit of the `LibAFL` `SymCC` fork. -pub const SYMCC_REPO_COMMIT: &str = "d3870f3f6e4b8d1c01516e76537547d980b3cbed"; +pub const SYMCC_REPO_COMMIT: &str = "019a22683522c07a49dcf5ef23e060ebeae22118"; #[cfg(feature = "clone")] mod clone { diff --git a/libafl_concolic/symcc_runtime/Cargo.toml b/libafl_concolic/symcc_runtime/Cargo.toml index 049e2fe585..3d51669052 100644 --- a/libafl_concolic/symcc_runtime/Cargo.toml +++ b/libafl_concolic/symcc_runtime/Cargo.toml @@ -30,7 +30,7 @@ libafl_bolts = { path = "../../libafl_bolts", version = "0.11.2", default-featur [build-dependencies] cmake = "0.1" -bindgen = "0.68" +bindgen = "0.69" regex = "1" which = "4.4" symcc_libafl = { path = "../symcc_libafl", version = "0.11.2" }