chore: add local slither script

re #10
privacy-scaling-explorations · Aug 7, 2024 · 63647f4 · 63647f4
1 parent 8fb3d4c
commit 63647f4
Show file tree

Hide file tree

Showing 7 changed files with 32 additions and 6 deletions.
diff --git a/package.json b/package.json
@@ -15,7 +15,9 @@
         "format": "prettier -c .",
         "format:write": "prettier -w .",
         "remove:stable-version-field": "ts-node scripts/remove-stable-version-field.ts ${0} && yarn format:write",
-        "postinstall": "husky && git config --local core.editor cat"
+        "lint": "yarn workspaces foreach -Ap run lint",
+        "postinstall": "husky && git config --local core.editor cat",
+        "slither": "./scripts/check-slither.sh && yarn workspaces foreach -Ap run slither"
     },
     "keywords": [
         "solidity",

diff --git a/packages/excubiae/package.json b/packages/excubiae/package.json
@@ -9,7 +9,8 @@
         "test:report-gas": "REPORT_GAS=true hardhat test",
         "test:coverage": "hardhat coverage",
         "typechain": "hardhat typechain",
-        "lint": "solhint 'contracts/**/*.sol'"
+        "lint": "solhint 'contracts/**/*.sol'",
+        "slither": "slither . --include-paths contracts --exclude-dependencies --ignore-compile"
     },
     "devDependencies": {
         "@nomicfoundation/hardhat-chai-matchers": "^2.0.3",

diff --git a/packages/imt/package.json b/packages/imt/package.json
@@ -8,7 +8,8 @@
         "test:report-gas": "REPORT_GAS=true hardhat test",
         "test:coverage": "hardhat coverage",
         "typechain": "hardhat typechain",
-        "lint": "solhint 'contracts/**/*.sol'"
+        "lint": "solhint 'contracts/**/*.sol'",
+        "slither": "slither . --include-paths contracts --exclude-dependencies --ignore-compile"
     },
     "devDependencies": {
         "@nomicfoundation/hardhat-chai-matchers": "^2.0.3",

diff --git a/packages/lazy-imt/package.json b/packages/lazy-imt/package.json
@@ -8,7 +8,8 @@
         "test:report-gas": "REPORT_GAS=true hardhat test",
         "test:coverage": "hardhat coverage",
         "typechain": "hardhat typechain",
-        "lint": "solhint 'contracts/**/*.sol'"
+        "lint": "solhint 'contracts/**/*.sol'",
+        "slither": "slither . --include-paths contracts --exclude-dependencies --ignore-compile"
     },
     "devDependencies": {
         "@nomicfoundation/hardhat-chai-matchers": "^2.0.3",

diff --git a/packages/lazytower/package.json b/packages/lazytower/package.json
@@ -9,7 +9,8 @@
         "test:report-gas": "REPORT_GAS=true hardhat test",
         "test:coverage": "hardhat coverage",
         "typechain": "hardhat typechain",
-        "lint": "solhint 'contracts/**/*.sol'"
+        "lint": "solhint 'contracts/**/*.sol'",
+        "slither": "slither . --include-paths contracts --exclude-dependencies --ignore-compile"
     },
     "devDependencies": {
         "@nomicfoundation/hardhat-chai-matchers": "^2.0.3",

diff --git a/packages/lean-imt/package.json b/packages/lean-imt/package.json
@@ -8,7 +8,8 @@
         "test:report-gas": "REPORT_GAS=true hardhat test",
         "test:coverage": "hardhat coverage",
         "typechain": "hardhat typechain",
-        "lint": "solhint 'contracts/**/*.sol'"
+        "lint": "solhint 'contracts/**/*.sol'",
+        "slither": "slither . --include-paths contracts --exclude-dependencies --ignore-compile"
     },
     "devDependencies": {
         "@nomicfoundation/hardhat-chai-matchers": "^2.0.3",

diff --git a/scripts/check-slither.sh b/scripts/check-slither.sh
@@ -0,0 +1,19 @@
+#!/bin/sh
+set -eu
+
+CYAN="\033[36m"
+RED="\033[31m"
+RESET="\033[0m"
+
+log() {
+  printf "%b\n" "$1"
+}
+
+main() {
+  if ! command -v slither >/dev/null; then
+    log "${RED}error: slither is required but is not installed${RESET}.\nFollow instructions at ${CYAN}https://github.com/crytic/slither?tab=readme-ov-file#how-to-install${RESET} and try again."
+    exit 1
+  fi
+}
+
+main