Enable basic linting (#116)

* Enable basic linting * add config for mythrill
consensus-shipyard · Jun 23, 2023 · 7ccc729 · 7ccc729
1 parent ce2ec9f
commit 7ccc729
Show file tree

Hide file tree

Showing 11 changed files with 3,357 additions and 1,321 deletions.
diff --git a/.solhint.json b/.solhint.json
@@ -0,0 +1,9 @@
+{
+  "extends": "solhint:recommended",
+  "rules": {
+    "compiler-version": ["error", "0.8.18"],
+    "func-visibility": ["warn", { "ignoreConstructors": true }],
+    "prettier/prettier": "error",
+    "no-global-import": "off"
+  }
+}
diff --git a/Makefile b/Makefile
@@ -1,6 +1,18 @@
 NETWORK ?= localnet
 
+check:
+	slither . --config-file ./slither.config.json
+
+lint:
+	solhint 'src/**/*.sol'
+
+check-gateway:
+	docker run --rm -v $(shell pwd):/app -w /app mythril/myth:latest -v4 analyze --solc-json remappings.json ./src/Gateway.sol --solv 0.8.19
+
+check-subnet:
+	docker run --rm -v $(shell pwd):/app -w /app mythril/myth:latest -v4 analyze --solc-json remappings.json ./src/SubnetActor.sol --solv 0.8.19
+
 deploy-ipc:
 	./ops/deploy.sh $(NETWORK)
 
-.PHONY: deploy-ipc
+.PHONY: deploy-ipc check lint check-subnet check-gateway