Merge pull request #79 from OffchainLabs/slither-integration

Slither integration

Author: gzeoneth

.github/workflows/slither.yml

@@ -0,0 +1,24 @@
+name: Slither Analysis
+
+on:
+  workflow_dispatch:
+  pull_request:
+
+jobs:
+  analyze:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+
+      - name: Run Slither
+        uses: crytic/slither-action@v0.3.1
+        id: slither
+        with:
+          sarif: results.sarif
+          fail-on: medium
+
+      - name: Upload SARIF file
+        if: always()
+        uses: github/codeql-action/upload-sarif@v3
+        with:
+          sarif_file: ${{ steps.slither.outputs.sarif }}

.gitmodules

@@ -3,5 +3,5 @@
 	url = https://github.com/foundry-rs/forge-std
 [submodule "lib/nitro-contracts"]
 	path = lib/nitro-contracts
-	url = git@github.com:OffchainLabs/nitro-contracts.git
-	branch = v1.1.0
+	url = https://github.com/OffchainLabs/nitro-contracts.git
+	branch = v1.2.1

.prettierignore

@@ -3,6 +3,5 @@ build
 coverage
 deployments
 dist
-slither.db.json
 lib
 out

slither.config.json

@@ -0,0 +1,7 @@
+{
+  "exclude_dependencies": true,
+  "exclude_informational": true,
+  "exclude_low": true,
+  "exclude_optimization": true,
+  "filter_paths": "contracts/tokenbridge/test|node_modules/"
+}