feat: add mythril (#2)

phenix3443 · Aug 25, 2023 · cec714c · cec714c
1 parent fd8b9ec
commit cec714c
Show file tree

Hide file tree

Showing 4 changed files with 7 additions and 6 deletions.
diff --git a/.gitignore b/.gitignore
@@ -7,3 +7,6 @@ out
 cache
 broadcast
 .vscode/slither-results.json
+
+# mythril
+bin
diff --git a/init.sh b/init.sh
@@ -7,6 +7,4 @@ solc-select install 0.8.18
 solc-select use 0.8.18
 
 #mythril
-curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh
-rustup default nightly
-pip3 install mythril
+docker pull mythril/myth
diff --git a/mythril.config.json b/mythril.config.json
@@ -2,8 +2,8 @@
   "remappings": [
     "ds-test/=lib/ds-test/src/",
     "forge-std/=lib/forge-std/src/",
-    "@openzeppelin/contracts=node_modules/@openzeppelin/contracts",
-    "@openzeppelin/contracts-upgradeable=node_modules/@openzeppelin/contracts-upgradeable"
+    "@openzeppelin/contracts/=node_modules/@openzeppelin/contracts/",
+    "@openzeppelin/contracts-upgradeable/=node_modules/@openzeppelin/contracts-upgradeable/"
   ],
   "optimizer": {
     "enabled": true,

diff --git a/package.json b/package.json
@@ -9,7 +9,7 @@
     "test": "forge test",
     "lint:sol": "solhint src/**/*.sol script/**/*.sol test/**/*.sol",
     "slither": "slither .",
-    "mythril": "myth analyze src/**/*.sol script/**/*.sol",
+    "mythril": "docker run -v $(pwd):/code --workdir /code mythril/myth analyze src/*.sol --solc-json mythril.config.json",
     "format:sol": "prettier --write --plugin=prettier-plugin-solidity src/**/*.sol script/**/*.sol test/**/*.sol",
     "init": "sh init.sh"
   },