Fix Concolic Execution Aborting on Calls (#170)

* automatically collect coverage * multi fix * add only fuzz * concolic call fix * fix sha3 and more * add tests * fix for broken test * mutator fix
fuzzland · Aug 16, 2023 · 59a77ac · 59a77ac
1 parent a8f4908
commit 59a77ac
Show file tree

Hide file tree

Showing 21 changed files with 1,146 additions and 295 deletions.
diff --git a/src/evm/abi.rs b/src/evm/abi.rs
@@ -19,10 +19,10 @@ use std::collections::HashMap;
 use std::fmt::{Debug, Formatter, Write};
 use std::ops::{Deref, DerefMut};
 use libafl::impl_serdeany;
+use crate::evm::concolic::expr::Expr;
 use crate::evm::types::{EVMAddress, EVMU256};
 use crate::input::ConciseSerde;
 
-use super::concolic::concolic_host::Expr;
 
 
 /// Mapping from known signature to function name