add slither analysis (#487)

* add slither

* add slither script & update package.json

Co-authored-by: Hal Hyatt <feewet@gmail.com>

package.json

@@ -1,7 +1,7 @@
 {
-  "name": "truecurrency",
+  "name": "trusttoken-smart-contracts",
   "version": "2.0.0",
-  "description": "",
+  "description": "TrueFi and True Currency Smart Contracts",
   "scripts": {
     "postinstall": "patch-package",
     "flatten": "./flatten.sh",
@@ -16,7 +16,8 @@
     "build": "yarn clean && yarn build:sol && yarn build:types && bash ./indexBuild.sh",
     "test": "mocha",
     "checks": "yarn lint && yarn typecheck && yarn test",
-    "docs": "npx solidity-docgen --solc-module solc-0.6 -i contracts -o docs"
+    "docs": "npx solidity-docgen --solc-module solc-0.6 -i contracts -o docs",
+    "slither": "./slither.sh"
   },
   "author": "",
   "license": "SEE LICENSE IN LICENSE.md",

slither.config.json

@@ -0,0 +1,6 @@
+{
+    "exclude_informational": true,
+    "exclude_low": false,
+    "solc_disable_warnings": true,
+    "detectors_to_exclude": ""
+}

slither.sh

@@ -0,0 +1,17 @@
+#!/usr/bin/env bash
+pip3 install slither-analyzer
+pip3 install solc-select
+solc-select install 0.6.10
+solc-select use 0.6.10
+
+yarn flatten
+
+slither flatten/GovernorAlpha.sol --print human-summary
+slither flatten/Liquidator.sol --print human-summary
+slither flatten/LoanFactory.sol --print human-summary
+slither flatten/LoanToken.sol --print human-summary
+slither flatten/StkTruToken.sol --print human-summary
+slither flatten/TrueLender.sol --print human-summary
+slither flatten/TrueRatingAgencyV2.sol --print human-summary
+slither flatten/TrustToken.sol --print human-summary
+slither flatten/TimeLock.sol --print human-summary