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" }