test: Trail of Bits Invariant Tests

.gitignore

@@ -22,4 +22,9 @@ lcov*
 report/
 
 .DS_Store
-.venv/
+.venv/
+
+tests/tob/medusa-corpus/
+tests/tob/echidna-corpus/
+crytic-export/
+slither_results.json

Makefile

@@ -29,3 +29,6 @@ coverage :
 	make coverage-clean
 	make coverage-report
 	make coverage-badge
+
+medusa-fuzz, mf :; medusa fuzz --config medusa.json
+echidna-fuzz, ef :; echidna tests/tob/Fuzzing.sol --contract FuzzingTob --config echidna.yaml

echidna.yaml

@@ -0,0 +1,16 @@
+testMode: assertion # run to detect failed assertions
+coverage: true # turns coverage saving "on"
+corpusDir: "tests/tob/echidna-corpus"
+deployContracts: [["0x1f", "LiquidationLogic"]]
+cryticArgs: ["--compile-libraries=(LiquidationLogic,0x1f)"]
+testMaxGas: 1250000000 # increases test max gas for future complex operations
+codeSize: 0xfffffffffff # increase the code size
+testLimit: 600000 # this is the # of iterations Echidna will attempt before it shuts down
+workers: 5 # increases the # of workers/threads to run
+format: text # this defaults to text mode as opposed to using Echidna UI
+maxTimeDelay: 2689117 # this increases the time delay that Echidna can test in the system
+maxBlockDelay: 2689117 #this increases the block delay that Echidna can test
+seqLen: 100 # this increases the # of sequences Echidna can use to determine exploitability
+deployer: "0x30000"
+sender: ["0x10000", "0x20000", "0x30000"]
+symExec: false

medusa.json

@@ -0,0 +1,91 @@
+{
+  "fuzzing": {
+    "workers": 10,
+    "workerResetLimit": 50,
+    "timeout": 0,
+    "testLimit": 0,
+    "shrinkLimit": 2000,
+    "callSequenceLength": 100,
+    "pruneFrequency": 5,
+    "corpusDirectory": "tests/tob/medusa-corpus",
+    "coverageEnabled": true,
+    "coverageFormats": ["html"],
+    "coverageExclusions": [],
+    "revertReporterEnabled": false,
+    "targetContracts": ["FuzzingTob"],
+    "predeployedContracts": {},
+    "targetContractsBalances": [],
+    "constructorArgs": {},
+    "deployerAddress": "0x30000",
+    "senderAddresses": ["0x10000", "0x20000", "0x30000"],
+    "blockNumberDelayMax": 60480,
+    "blockTimestampDelayMax": 604800,
+    "transactionGasLimit": 12500000,
+    "testing": {
+      "stopOnFailedTest": true,
+      "stopOnFailedContractMatching": false,
+      "stopOnNoTests": true,
+      "testAllContracts": false,
+      "testViewMethods": true,
+      "verbosity": 1,
+      "assertionTesting": {
+        "enabled": true,
+        "panicCodeConfig": {
+          "failOnCompilerInsertedPanic": false,
+          "failOnAssertion": true,
+          "failOnArithmeticUnderflow": false,
+          "failOnDivideByZero": false,
+          "failOnEnumTypeConversionOutOfBounds": false,
+          "failOnIncorrectStorageAccess": false,
+          "failOnPopEmptyArray": false,
+          "failOnOutOfBoundsArrayAccess": false,
+          "failOnAllocateTooMuchMemory": false,
+          "failOnCallUninitializedVariable": false
+        }
+      },
+      "propertyTesting": {
+        "enabled": false,
+        "testPrefixes": ["property_"]
+      },
+      "optimizationTesting": {
+        "enabled": false,
+        "testPrefixes": ["optimize_"]
+      },
+      "targetFunctionSignatures": [],
+      "excludeFunctionSignatures": []
+    },
+    "chainConfig": {
+      "codeSizeCheckDisabled": true,
+      "cheatCodes": {
+        "cheatCodesEnabled": true,
+        "enableFFI": false
+      },
+      "skipAccountChecks": true,
+      "forkConfig": {
+        "forkModeEnabled": false,
+        "rpcUrl": "",
+        "rpcBlock": 1,
+        "poolSize": 20
+      }
+    }
+  },
+  "compilation": {
+    "platform": "crytic-compile",
+    "platformConfig": {
+      "target": "./tests/tob/Fuzzing.sol",
+      "solcVersion": "",
+      "exportDirectory": "",
+      "args": []
+    }
+  },
+  "slither": {
+    "useSlither": true,
+    "cachePath": "slither_results.json",
+    "args": []
+  },
+  "logging": {
+    "level": "info",
+    "logDirectory": "",
+    "noColor": false
+  }
+}

src/spoke/Spoke.sol

@@ -6,7 +6,9 @@ import {SafeCast} from 'src/dependencies/openzeppelin/SafeCast.sol';
 import {SafeERC20, IERC20} from 'src/dependencies/openzeppelin/SafeERC20.sol';
 import {IERC20Permit} from 'src/dependencies/openzeppelin/IERC20Permit.sol';
 import {SignatureChecker} from 'src/dependencies/openzeppelin/SignatureChecker.sol';
-import {AccessManagedUpgradeable} from 'src/dependencies/openzeppelin-upgradeable/AccessManagedUpgradeable.sol';
+import {
+  AccessManagedUpgradeable
+} from 'src/dependencies/openzeppelin-upgradeable/AccessManagedUpgradeable.sol';
 import {EIP712} from 'src/dependencies/solady/EIP712.sol';
 import {MathUtils} from 'src/libraries/math/MathUtils.sol';
 import {PercentageMath} from 'src/libraries/math/PercentageMath.sol';

tests/Base.t.sol

@@ -11,7 +11,10 @@ import {console2 as console} from 'forge-std/console2.sol';
 
 // dependencies
 import {AggregatorV3Interface} from 'src/dependencies/chainlink/AggregatorV3Interface.sol';
-import {TransparentUpgradeableProxy, ITransparentUpgradeableProxy} from 'src/dependencies/openzeppelin/TransparentUpgradeableProxy.sol';
+import {
+  TransparentUpgradeableProxy,
+  ITransparentUpgradeableProxy
+} from 'src/dependencies/openzeppelin/TransparentUpgradeableProxy.sol';
 import {IERC20Metadata} from 'src/dependencies/openzeppelin/IERC20Metadata.sol';
 import {SafeCast} from 'src/dependencies/openzeppelin/SafeCast.sol';
 import {IERC20Errors} from 'src/dependencies/openzeppelin/IERC20Errors.sol';
@@ -44,7 +47,11 @@ import {AccessManagerEnumerable} from 'src/access/AccessManagerEnumerable.sol';
 import {HubConfigurator, IHubConfigurator} from 'src/hub/HubConfigurator.sol';
 import {Hub, IHub, IHubBase} from 'src/hub/Hub.sol';
 import {SharesMath} from 'src/hub/libraries/SharesMath.sol';
-import {AssetInterestRateStrategy, IAssetInterestRateStrategy, IBasicInterestRateStrategy} from 'src/hub/AssetInterestRateStrategy.sol';
+import {
+  AssetInterestRateStrategy,
+  IAssetInterestRateStrategy,
+  IBasicInterestRateStrategy
+} from 'src/hub/AssetInterestRateStrategy.sol';
 
 // spoke
 import {Spoke, ISpoke, ISpokeBase} from 'src/spoke/Spoke.sol';