From 02d8c677f11892cd2eb0f0f07247783470fdb597 Mon Sep 17 00:00:00 2001 From: github-actions Date: Tue, 14 Sep 2021 02:39:18 +0000 Subject: [PATCH] chore: added smartbugs results --- .../conkas/20211309_0859/Greeter/result.json | 8 -------- .../conkas/20211409_0235/Greeter/result.json | 8 ++++++++ .../Greeter/result.sarif | 0 .../20211309_0859/Greeter/result.json | 8 -------- .../20211409_0235/Greeter/result.json | 8 ++++++++ .../Greeter/result.sarif | 0 .../Greeter/result.json | 6 +++--- .../Greeter/result.sarif | 0 .../20211309_0859/Greeter/result.json | 8 -------- .../20211409_0235/Greeter/result.json | 8 ++++++++ .../Greeter/result.sarif | 0 .../Greeter/result.tar | Bin 1536 -> 1536 bytes .../Greeter/result.json | 6 +++--- .../Greeter/result.sarif | 0 .../osiris/20211309_0859/Greeter/result.json | 8 -------- .../osiris/20211409_0235/Greeter/result.json | 8 ++++++++ .../Greeter/result.sarif | 0 .../oyente/20211309_0859/Greeter/result.json | 8 -------- .../oyente/20211409_0235/Greeter/result.json | 8 ++++++++ .../Greeter/result.sarif | 0 .../20211309_0859/Greeter/result.json | 8 -------- .../20211409_0235/Greeter/result.json | 8 ++++++++ .../Greeter/result.sarif | 0 .../Greeter/result.tar | Bin 1536 -> 1536 bytes .../slither/20211309_0859/Greeter/result.json | 8 -------- .../slither/20211409_0235/Greeter/result.json | 8 ++++++++ .../Greeter/result.sarif | 0 .../Greeter/result.tar | Bin 2048 -> 2048 bytes .../Greeter/result.json | 6 +++--- .../Greeter/result.sarif | 0 .../Greeter/result.json | 6 +++--- .../Greeter/result.sarif | 0 32 files changed, 68 insertions(+), 68 deletions(-) delete mode 100644 results/conkas/20211309_0859/Greeter/result.json create mode 100644 results/conkas/20211409_0235/Greeter/result.json rename results/conkas/{20211309_0859 => 20211409_0235}/Greeter/result.sarif (100%) delete mode 100644 results/honeybadger/20211309_0859/Greeter/result.json create mode 100644 results/honeybadger/20211409_0235/Greeter/result.json rename results/honeybadger/{20211309_0859 => 20211409_0235}/Greeter/result.sarif (100%) rename results/maian/{20211309_0859 => 20211409_0235}/Greeter/result.json (64%) rename results/maian/{20211309_0859 => 20211409_0235}/Greeter/result.sarif (100%) delete mode 100644 results/manticore/20211309_0859/Greeter/result.json create mode 100644 results/manticore/20211409_0235/Greeter/result.json rename results/manticore/{20211309_0859 => 20211409_0235}/Greeter/result.sarif (100%) rename results/manticore/{20211309_0859 => 20211409_0235}/Greeter/result.tar (95%) rename results/mythril/{20211309_0859 => 20211409_0235}/Greeter/result.json (86%) rename results/mythril/{20211309_0859 => 20211409_0235}/Greeter/result.sarif (100%) delete mode 100644 results/osiris/20211309_0859/Greeter/result.json create mode 100644 results/osiris/20211409_0235/Greeter/result.json rename results/osiris/{20211309_0859 => 20211409_0235}/Greeter/result.sarif (100%) delete mode 100644 results/oyente/20211309_0859/Greeter/result.json create mode 100644 results/oyente/20211409_0235/Greeter/result.json rename results/oyente/{20211309_0859 => 20211409_0235}/Greeter/result.sarif (100%) delete mode 100644 results/securify/20211309_0859/Greeter/result.json create mode 100644 results/securify/20211409_0235/Greeter/result.json rename results/securify/{20211309_0859 => 20211409_0235}/Greeter/result.sarif (100%) rename results/securify/{20211309_0859 => 20211409_0235}/Greeter/result.tar (95%) delete mode 100644 results/slither/20211309_0859/Greeter/result.json create mode 100644 results/slither/20211409_0235/Greeter/result.json rename results/slither/{20211309_0859 => 20211409_0235}/Greeter/result.sarif (100%) rename results/slither/{20211309_0859 => 20211409_0235}/Greeter/result.tar (96%) rename results/smartcheck/{20211309_0859 => 20211409_0235}/Greeter/result.json (89%) rename results/smartcheck/{20211309_0859 => 20211409_0235}/Greeter/result.sarif (100%) rename results/solhint/{20211309_0859 => 20211409_0235}/Greeter/result.json (90%) rename results/solhint/{20211309_0859 => 20211409_0235}/Greeter/result.sarif (100%) diff --git a/results/conkas/20211309_0859/Greeter/result.json b/results/conkas/20211309_0859/Greeter/result.json deleted file mode 100644 index 9f9e3b8..0000000 --- a/results/conkas/20211309_0859/Greeter/result.json +++ /dev/null @@ -1,8 +0,0 @@ -{ - "contract": "Greeter", - "tool": "conkas", - "start": 1631523577.4945474, - "end": 1631523594.8317132, - "duration": 17.33716583251953, - "analysis": [] -} \ No newline at end of file diff --git a/results/conkas/20211409_0235/Greeter/result.json b/results/conkas/20211409_0235/Greeter/result.json new file mode 100644 index 0000000..11f8800 --- /dev/null +++ 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": [] +} \ No newline at end of file diff --git a/results/conkas/20211309_0859/Greeter/result.sarif b/results/conkas/20211409_0235/Greeter/result.sarif similarity index 100% rename from results/conkas/20211309_0859/Greeter/result.sarif rename to results/conkas/20211409_0235/Greeter/result.sarif diff --git a/results/honeybadger/20211309_0859/Greeter/result.json b/results/honeybadger/20211309_0859/Greeter/result.json deleted file mode 100644 index d6ccec4..0000000 --- a/results/honeybadger/20211309_0859/Greeter/result.json +++ /dev/null @@ -1,8 +0,0 @@ -{ - "contract": "Greeter", - "tool": "honeybadger", - "start": 1631523628.883471, - "end": 1631523668.4648588, - "duration": 39.581387758255005, - "analysis": [] -} \ No newline at end of file diff --git a/results/honeybadger/20211409_0235/Greeter/result.json b/results/honeybadger/20211409_0235/Greeter/result.json new file mode 100644 index 0000000..8bca42d --- /dev/null +++ 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": [] +} \ No newline at end of file diff --git a/results/honeybadger/20211309_0859/Greeter/result.sarif b/results/honeybadger/20211409_0235/Greeter/result.sarif similarity index 100% rename from results/honeybadger/20211309_0859/Greeter/result.sarif rename to results/honeybadger/20211409_0235/Greeter/result.sarif diff --git a/results/maian/20211309_0859/Greeter/result.json b/results/maian/20211409_0235/Greeter/result.json similarity index 64% rename from results/maian/20211309_0859/Greeter/result.json rename to results/maian/20211409_0235/Greeter/result.json index f7c05cd..bdc7ce8 100644 --- a/results/maian/20211309_0859/Greeter/result.json +++ b/results/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/results/maian/20211309_0859/Greeter/result.sarif b/results/maian/20211409_0235/Greeter/result.sarif similarity index 100% rename from results/maian/20211309_0859/Greeter/result.sarif rename to results/maian/20211409_0235/Greeter/result.sarif diff --git a/results/manticore/20211309_0859/Greeter/result.json b/results/manticore/20211309_0859/Greeter/result.json deleted file mode 100644 index 4c5fa94..0000000 --- a/results/manticore/20211309_0859/Greeter/result.json +++ /dev/null @@ -1,8 +0,0 @@ -{ - "contract": "Greeter", - "tool": "manticore", - "start": 1631523668.481397, - "end": 1631523689.910598, - "duration": 21.429201126098633, - "analysis": [] -} \ No newline at end of file diff --git a/results/manticore/20211409_0235/Greeter/result.json b/results/manticore/20211409_0235/Greeter/result.json new file mode 100644 index 0000000..a6c81ab --- /dev/null +++ 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": [] +} \ No newline at end of file diff --git a/results/manticore/20211309_0859/Greeter/result.sarif b/results/manticore/20211409_0235/Greeter/result.sarif similarity index 100% rename from results/manticore/20211309_0859/Greeter/result.sarif rename to results/manticore/20211409_0235/Greeter/result.sarif diff --git a/results/manticore/20211309_0859/Greeter/result.tar b/results/manticore/20211409_0235/Greeter/result.tar similarity index 95% rename from results/manticore/20211309_0859/Greeter/result.tar rename to results/manticore/20211409_0235/Greeter/result.tar index 3218886c60b997b6e59e9af71358deb6c507b4fe..067302ce1b0e14c544a4549d78edc9908188fd6c 100644 GIT binary patch delta 34 pcmZqRY2caAEo5Y1U|?!&WXxb-Xkcz^&Y)mAIgv4CGb7`F766e&2yFlW delta 34 pcmZqRY2caAEo5kJW@uXb7Sd3??Tsrfg