add slither

Lagrange-Labs · Nov 14, 2024 · 1d7ffc9 · 1d7ffc9
1 parent 383d432
commit 1d7ffc9
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -73,6 +73,7 @@ trace   :; forge test -vvv
 clean   :; forge clean
 snapshot:; forge snapshot
 fmt     :; forge fmt
+slither :; docker run -ti --entrypoint=/home/ethsec/.local/bin/slither -v ./:/local/ --workdir=/local trailofbits/eth-security-toolbox:nightly .
 
 # List available scripts
 list-scripts:

diff --git a/slither.config.json b/slither.config.json
@@ -0,0 +1,3 @@
+{
+    "filter_paths": "(lib/|script/|src/mocks|src/v0|test/)"
+}