chore: add slither

.github/workflows/slither.yaml

@@ -0,0 +1,24 @@
+name: Slither Analysis
+on:
+  push:
+    branches:
+    - master
+  pull_request:
+
+jobs:
+  analyze:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v3
+        with:
+          submodules: recursive
+
+      - name: Install Foundry
+        uses: foundry-rs/foundry-toolchain@v1
+        with:
+          version: nightly
+
+      - name: Slither analysis
+        uses: crytic/[email protected]
+        with:
+          fail-on: 'medium'

.gitmodules

@@ -11,7 +11,4 @@
 [submodule "lib/erc4626-tests"]
 	path = lib/erc4626-tests
 	url = https://github.com/a16z/erc4626-tests
-	branch = main
-[submodule "lib/properties"]
-	path = lib/properties
-	url = https://github.com/crytic/properties
+	branch = main

slither.config.json

@@ -0,0 +1,4 @@
+{
+    "detectors_to_exclude": "naming-convention,unused-return",
+    "filter_paths": "(lib/|src/test)"
+}