Merge pull request #497 from fuzzland/fix_contract_lib

Fix contract lib
fuzzland · Jun 3, 2024 · 57cd350 · 57cd350
2 parents 1fcae96 + 1706b83
commit 57cd350
Show file tree

Hide file tree

Showing 32 changed files with 1,697 additions and 39 deletions.
diff --git a/.gitignore b/.gitignore
@@ -19,3 +19,5 @@ combined.json
 /**/build/
 Move.lock
 /w_**/
+/tests/evm_manual/story-core
+run_ityfuzz.sh
diff --git a/.gitmodules b/.gitmodules
@@ -4,3 +4,7 @@
 [submodule "tests/evm_manual/foundry1/lib/openzeppelin-contracts"]
 	path = tests/evm_manual/foundry1/lib/openzeppelin-contracts
 	url = https://github.com/OpenZeppelin/openzeppelin-contracts
+
+[submodule "tests/evm_manual/foundry/lib/forge-std"]
+	path = tests/evm_manual/foundry/lib/forge-std
+	url = https://github.com/foundry-rs/forge-std
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -132,3 +132,4 @@ tracing = "0.1"
 tracing-subscriber = "0.3"
 colored = "2.0"
 evmole = "0.3.2"
+semver = "1.0.22"
diff --git a/run_ityfuzz.sh b/run_ityfuzz.sh
@@ -0,0 +1,15 @@
+#!/bin/bash
+
+
+# 定义path变量
+path="./tests/evm/flashloan"
+
+# 执行 cargo build 命令
+cargo build --release --features "cmp dataflow evm print_txn_corpus full_trace" --no-default-features
+
+solc "${path}/test.sol" -o "${path}/" --bin --abi --overwrite --base-path "." --combined-json "bin-runtime,srcmap-runtime"
+
+
+
+# 执行ityfuzz命令
+./target/release/ityfuzz evm -t "${path}/*" -f --panic-on-bug