dodocc-fuzz/medusa.json at main · pyk/dodocc-fuzz · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
{
  "fuzzing": {
    "workers": 8,
    "workerResetLimit": 50,
    "timeout": 0,
    "testLimit": 100000,
    "shrinkLimit": 5000,
    "callSequenceLength": 150,
    "corpusDirectory": "corpus",
    "coverageEnabled": true,
    "coverageFormats": ["html"],
    "revertReporterEnabled": true,
    "targetContracts": ["Fuzz"],
    "predeployedContracts": {},
    "targetContractsBalances": [],
    "constructorArgs": {},
    "deployerAddress": "0xD000000000000000000000000000000000000000",
    "senderAddresses": [
      "0x1000000000000000000000000000000000000000",
      "0x2000000000000000000000000000000000000000",
      "0x3000000000000000000000000000000000000000"
    ],
    "blockNumberDelayMax": 60480,
    "blockTimestampDelayMax": 604800,
    "blockGasLimit": 125000000,
    "transactionGasLimit": 12500000,
    "testing": {
      "stopOnFailedTest": true,
      "stopOnFailedContractMatching": false,
      "stopOnNoTests": true,
      "testAllContracts": false,
      "testViewMethods": false,
      "verbosity": 2,
      "assertionTesting": {
        "enabled": true,
        "panicCodeConfig": {
          "failOnCompilerInsertedPanic": true,
          "failOnAssertion": true,
          "failOnArithmeticUnderflow": true,
          "failOnDivideByZero": true,
          "failOnEnumTypeConversionOutOfBounds": true,
          "failOnIncorrectStorageAccess": true,
          "failOnPopEmptyArray": true,
          "failOnOutOfBoundsArrayAccess": true,
          "failOnAllocateTooMuchMemory": false,
          "failOnCallUninitializedVariable": true
        }
      },
      "propertyTesting": {
        "enabled": true,
        "testPrefixes": ["property_"]
      },
      "optimizationTesting": {
        "enabled": true,
        "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": ".",
      "solcVersion": "",
      "exportDirectory": "",
      "args": ["--foundry-compile-all"]
    }
  },
  "slither": {
    "useSlither": true,
    "cachePath": "slither_results.json",
    "args": []
  },
  "logging": {
    "level": "info",
    "logDirectory": "corpus/logs",
    "noColor": false
  }
}