From 453506fc7787d08e22147ff356f34b79fecf9361 Mon Sep 17 00:00:00 2001
From: Francisco de Borja Aranda Castillejo <borja@zetachain.com>
Date: Thu, 11 Jul 2024 12:14:37 +0200
Subject: [PATCH] ci: add slither workflow

Signed-off-by: Francisco de Borja Aranda Castillejo <borja@zetachain.com>
---
 .github/workflows/slither.yaml | 59 ++++++++++++++++++++++++++++++++++
 slither.config.json            |  7 ++++
 2 files changed, 66 insertions(+)
 create mode 100644 .github/workflows/slither.yaml
 create mode 100644 slither.config.json

diff --git a/.github/workflows/slither.yaml b/.github/workflows/slither.yaml
new file mode 100644
index 00000000..1791b25d
--- /dev/null
+++ b/.github/workflows/slither.yaml
@@ -0,0 +1,59 @@
+name: Slither
+
+on:
+  push:
+    branches:
+      - main
+  pull_request:
+    branches:
+      - "*"
+    types:
+      - synchronize
+      - opened
+      - reopened
+      - ready_for_review
+
+jobs:
+  slither:
+    runs-on: ubuntu-latest
+    strategy:
+      matrix:
+        include:
+          - project: "zeta-app-contracts"
+            file: "zeta.sarif"
+          - project: "zevm-app-contracts"
+            file: "zevm.sarif"
+    permissions:
+      contents: read
+      security-events: write
+
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v3
+
+      - name: Install Node.js
+        uses: actions/setup-node@v2
+        with:
+          node-version: "18"
+
+      - name: Install Dependencies
+        run: yarn install
+
+      - name: Compile contracts
+        continue-on-error: true
+        run: yarn compile
+
+      - name: Run Slither on ${{ matrix.project}}
+        uses: crytic/slither-action@main
+        continue-on-error: true
+        with:
+          ignore-compile: true
+          sarif: ${{ matrix.file}}
+          node-version: "18"
+          target: packages/${{ matrix.project}}
+          fail-on: none
+
+      - name: Upload zevm-app-contracts SARIF file
+        uses: github/codeql-action/upload-sarif@v3
+        with:
+          sarif_file: ${{ matrix.file}}
diff --git a/slither.config.json b/slither.config.json
new file mode 100644
index 00000000..4d277b69
--- /dev/null
+++ b/slither.config.json
@@ -0,0 +1,7 @@
+{
+  "detectors_to_exclude": "",
+  "compile_force_framework": "hardhat",
+  "hardhat_ignore_compile": true,
+  "npx_disable": true,
+  "filter_paths": "artifacts,cache,data,dist,docs,lib,node_modules,pkg,scripts,tasks,test,testing,typechain-types"
+}