merged results

RonanKMcGovern · Sep 14, 2021 · 4f5d4cb · 4f5d4cb
2 parents b67edb0 + 02d8c67
commit 4f5d4cb
Show file tree

Hide file tree

Showing 32 changed files with 68 additions and 68 deletions.
diff --git a/results/conkas/20211309_0859/Greeter/result.json b/results/conkas/20211309_0859/Greeter/result.json
diff --git a/results/conkas/20211409_0235/Greeter/result.json b/results/conkas/20211409_0235/Greeter/result.json
@@ -0,0 +1,8 @@
+{
+  "contract": "Greeter",
+  "tool": "conkas",
+  "start": 1631586929.7835822,
+  "end": 1631586945.0493255,
+  "duration": 15.265743255615234,
+  "analysis": []
+}
diff --git a/...conkas/20211309_0859/Greeter/result.sarif → ...conkas/20211409_0235/Greeter/result.sarif b/...conkas/20211309_0859/Greeter/result.sarif → ...conkas/20211409_0235/Greeter/result.sarif
diff --git a/results/honeybadger/20211309_0859/Greeter/result.json b/results/honeybadger/20211309_0859/Greeter/result.json
diff --git a/results/honeybadger/20211409_0235/Greeter/result.json b/results/honeybadger/20211409_0235/Greeter/result.json
@@ -0,0 +1,8 @@
+{
+  "contract": "Greeter",
+  "tool": "honeybadger",
+  "start": 1631586973.9822333,
+  "end": 1631587007.72349,
+  "duration": 33.74125671386719,
+  "analysis": []
+}
diff --git a/...badger/20211309_0859/Greeter/result.sarif → ...badger/20211409_0235/Greeter/result.sarif b/...badger/20211309_0859/Greeter/result.sarif → ...badger/20211409_0235/Greeter/result.sarif
diff --git a/...s/maian/20211309_0859/Greeter/result.json → ...s/maian/20211409_0235/Greeter/result.json b/...s/maian/20211309_0859/Greeter/result.json → ...s/maian/20211409_0235/Greeter/result.json
@@ -1,9 +1,9 @@
 {
   "contract": "Greeter",
   "tool": "maian",
-  "start": 1631523715.046594,
-  "end": 1631523737.215809,
-  "duration": 22.169215202331543,
+  "start": 1631587047.4475608,
+  "end": 1631587066.5553188,
+  "duration": 19.107758045196533,
   "analysis": {
     "is_lock_vulnerable": false,
     "is_prodigal_vulnerable": false,

diff --git a/.../maian/20211309_0859/Greeter/result.sarif → .../maian/20211409_0235/Greeter/result.sarif b/.../maian/20211309_0859/Greeter/result.sarif → .../maian/20211409_0235/Greeter/result.sarif
diff --git a/results/manticore/20211309_0859/Greeter/result.json b/results/manticore/20211309_0859/Greeter/result.json
diff --git a/results/manticore/20211409_0235/Greeter/result.json b/results/manticore/20211409_0235/Greeter/result.json
@@ -0,0 +1,8 @@
+{
+  "contract": "Greeter",
+  "tool": "manticore",
+  "start": 1631587007.7363749,
+  "end": 1631587027.5375738,
+  "duration": 19.801198959350586,
+  "analysis": []
+}
diff --git a/...ticore/20211309_0859/Greeter/result.sarif → ...ticore/20211409_0235/Greeter/result.sarif b/...ticore/20211309_0859/Greeter/result.sarif → ...ticore/20211409_0235/Greeter/result.sarif
diff --git a/...anticore/20211309_0859/Greeter/result.tar → ...anticore/20211409_0235/Greeter/result.tar b/...anticore/20211309_0859/Greeter/result.tar → ...anticore/20211409_0235/Greeter/result.tar
diff --git a/...mythril/20211309_0859/Greeter/result.json → ...mythril/20211409_0235/Greeter/result.json b/...mythril/20211309_0859/Greeter/result.json → ...mythril/20211409_0235/Greeter/result.json
@@ -1,9 +1,9 @@
 {
   "contract": "Greeter",
   "tool": "mythril",
-  "start": 1631523594.8502958,
-  "end": 1631523628.865144,
-  "duration": 34.01484823226929,
+  "start": 1631586945.063332,
+  "end": 1631586973.9601815,
+  "duration": 28.896849393844604,
   "analysis": {
     "success": false,
     "error": "Solc experienced a fatal error (code 1).\n\nError: Source file requires different compiler version\nSolidity file's requirement: \nAvailable solc versions are: ['0.5.11', '0.5.10', '0.5.9', '0.5.8', '0.5.7', '0.5.6', '0.5.5', '0.5.4', '0.5.3', '0.5.2', '0.5.1', '0.5.0', '0.4.26', '0.4.25', '0.4.24', '0.4.23', '0.4.22', '0.4.21', '0.4.20', '0.4.19', '0.4.18', '0.4.17', '0.4.16', '0.4.15', '0.4.14', '0.4.13', '0.4.12', '0.4.11', '0.4.10', '0.4.9', '0.4.8', '0.4.7', '0.4.6', '0.4.5']\n^0.8.0\n",

diff --git a/...ythril/20211309_0859/Greeter/result.sarif → ...ythril/20211409_0235/Greeter/result.sarif b/...ythril/20211309_0859/Greeter/result.sarif → ...ythril/20211409_0235/Greeter/result.sarif
diff --git a/results/osiris/20211309_0859/Greeter/result.json b/results/osiris/20211309_0859/Greeter/result.json
diff --git a/results/osiris/20211409_0235/Greeter/result.json b/results/osiris/20211409_0235/Greeter/result.json
@@ -0,0 +1,8 @@
+{
+  "contract": "Greeter",
+  "tool": "osiris",
+  "start": 1631587027.623654,
+  "end": 1631587047.432593,
+  "duration": 19.808939218521118,
+  "analysis": []
+}
diff --git a/...osiris/20211309_0859/Greeter/result.sarif → ...osiris/20211409_0235/Greeter/result.sarif b/...osiris/20211309_0859/Greeter/result.sarif → ...osiris/20211409_0235/Greeter/result.sarif
diff --git a/results/oyente/20211309_0859/Greeter/result.json b/results/oyente/20211309_0859/Greeter/result.json
diff --git a/results/oyente/20211409_0235/Greeter/result.json b/results/oyente/20211409_0235/Greeter/result.json
@@ -0,0 +1,8 @@
+{
+  "contract": "Greeter",
+  "tool": "oyente",
+  "start": 1631587066.5688436,
+  "end": 1631587097.0140483,
+  "duration": 30.445204734802246,
+  "analysis": []
+}
diff --git a/...oyente/20211309_0859/Greeter/result.sarif → ...oyente/20211409_0235/Greeter/result.sarif b/...oyente/20211309_0859/Greeter/result.sarif → ...oyente/20211409_0235/Greeter/result.sarif
diff --git a/results/securify/20211309_0859/Greeter/result.json b/results/securify/20211309_0859/Greeter/result.json
diff --git a/results/securify/20211409_0235/Greeter/result.json b/results/securify/20211409_0235/Greeter/result.json
@@ -0,0 +1,8 @@
+{
+  "contract": "Greeter",
+  "tool": "securify",
+  "start": 1631587127.4138956,
+  "end": 1631587157.8285127,
+  "duration": 30.41461706161499,
+  "analysis": null
+}
diff --git a/...curify/20211309_0859/Greeter/result.sarif → ...curify/20211409_0235/Greeter/result.sarif b/...curify/20211309_0859/Greeter/result.sarif → ...curify/20211409_0235/Greeter/result.sarif
diff --git a/...securify/20211309_0859/Greeter/result.tar → ...securify/20211409_0235/Greeter/result.tar b/...securify/20211309_0859/Greeter/result.tar → ...securify/20211409_0235/Greeter/result.tar
diff --git a/results/slither/20211309_0859/Greeter/result.json b/results/slither/20211309_0859/Greeter/result.json
diff --git a/results/slither/20211409_0235/Greeter/result.json b/results/slither/20211409_0235/Greeter/result.json
@@ -0,0 +1,8 @@
+{
+  "contract": "Greeter",
+  "tool": "slither",
+  "start": 1631587118.297809,
+  "end": 1631587127.32933,
+  "duration": 9.031521081924438,
+  "analysis": []
+}
diff --git a/...lither/20211309_0859/Greeter/result.sarif → ...lither/20211409_0235/Greeter/result.sarif b/...lither/20211309_0859/Greeter/result.sarif → ...lither/20211409_0235/Greeter/result.sarif
diff --git a/.../slither/20211309_0859/Greeter/result.tar → .../slither/20211409_0235/Greeter/result.tar b/.../slither/20211309_0859/Greeter/result.tar → .../slither/20211409_0235/Greeter/result.tar
diff --git a/...rtcheck/20211309_0859/Greeter/result.json → ...rtcheck/20211409_0235/Greeter/result.json b/...rtcheck/20211309_0859/Greeter/result.json → ...rtcheck/20211409_0235/Greeter/result.json
@@ -1,9 +1,9 @@
 {
   "contract": "Greeter",
   "tool": "smartcheck",
-  "start": 1631523771.3582373,
-  "end": 1631523796.1180632,
-  "duration": 24.759825944900513,
+  "start": 1631587097.0285876,
+  "end": 1631587118.2418113,
+  "duration": 21.213223695755005,
   "analysis": [
     {
       "name": "SOLIDITY_PRAGMAS_VERSION",

diff --git a/...tcheck/20211309_0859/Greeter/result.sarif → ...tcheck/20211409_0235/Greeter/result.sarif b/...tcheck/20211309_0859/Greeter/result.sarif → ...tcheck/20211409_0235/Greeter/result.sarif
diff --git a/...solhint/20211309_0859/Greeter/result.json → ...solhint/20211409_0235/Greeter/result.json b/...solhint/20211309_0859/Greeter/result.json → ...solhint/20211409_0235/Greeter/result.json
@@ -1,9 +1,9 @@
 {
   "contract": "Greeter",
   "tool": "solhint",
-  "start": 1631523570.850749,
-  "end": 1631523577.4473848,
-  "duration": 6.596635818481445,
+  "start": 1631586924.2892823,
+  "end": 1631586929.7500644,
+  "duration": 5.460782051086426,
   "analysis": [
     {
       "file": "/home/runner/work/eth-dapps-nextjs-boiletplate/eth-dapps-nextjs-boiletplate/contracts/Greeter.sol",

diff --git a/...olhint/20211309_0859/Greeter/result.sarif → ...olhint/20211409_0235/Greeter/result.sarif b/...olhint/20211309_0859/Greeter/result.sarif → ...olhint/20211409_0235/Greeter/result.sarif