TheDude
/
mythril
mirror of https://github.com/ConsenSys/mythril
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

reformat json reports to pretty format

Browse Source
pull/834/head
Joran Honig 6 years ago
parent 1f39f67a1d
commit e0cdd517de
2 changed files with 84 additions and 2 deletions
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Show Stats Download Patch File Download Diff File
  1. 43
      tests/testdata/outputs_expected/overflow.sol.o.json
  2. 43
      tests/testdata/outputs_expected/underflow.sol.o.json

43
tests/testdata/outputs_expected/overflow.sol.o.json vendored
Unescape View File

@ -1 +1,42 @@
{"error": null, "issues": [{"address": 567, "contract": "Unknown", "debug": "<DEBUG-DATA>", "description": "This binary subtraction operation can result in integer overflow.\n", "function": "sendeth(address,uint256)", "max_gas_used": 1053, "min_gas_used": 768, "swc-id": "101", "title": "Integer Overflow", "type": "Warning"}, {"address": 567, "contract": "Unknown", "debug": "<DEBUG-DATA>", "description": "This binary subtraction operation can result in integer underflow.\n", "function": "sendeth(address,uint256)", "max_gas_used": 1774, "min_gas_used": 1299, "swc-id": "101", "title": "Integer Underflow", "type": "Warning"}, {"address": 649, "contract": "Unknown", "debug": "<DEBUG-DATA>", "description": "This binary subtraction operation can result in integer underflow.\n", "function": "sendeth(address,uint256)", "max_gas_used": 1774, "min_gas_used": 1299, "swc-id": "101", "title": "Integer Underflow", "type": "Warning"}], "success": true} {
"error":null,
"issues":[
{
"address":567,
"contract":"Unknown",
"debug":"<DEBUG-DATA>",
"description":"This binary subtraction operation can result in integer overflow.\n",
"function":"sendeth(address,uint256)",
"max_gas_used":1053,
"min_gas_used":768,
"swc-id":"101",
"title":"Integer Overflow",
"type":"Warning"
},
{
"address":567,
"contract":"Unknown",
"debug":"<DEBUG-DATA>",
"description":"This binary subtraction operation can result in integer underflow.\n",
"function":"sendeth(address,uint256)",
"max_gas_used":1774,
"min_gas_used":1299,
"swc-id":"101",
"title":"Integer Underflow",
"type":"Warning"
},
{
"address":649,
"contract":"Unknown",
"debug":"<DEBUG-DATA>",
"description":"This binary subtraction operation can result in integer underflow.\n",
"function":"sendeth(address,uint256)",
"max_gas_used":1774,
"min_gas_used":1299,
"swc-id":"101",
"title":"Integer Underflow",
"type":"Warning"
}
],
"success":true
}

43
tests/testdata/outputs_expected/underflow.sol.o.json vendored
Unescape View File

@ -1 +1,42 @@
{"error": null, "issues": [{"address": 567, "contract": "Unknown", "debug": "<DEBUG-DATA>", "description": "This binary subtraction operation can result in integer overflow.\n", "function": "sendeth(address,uint256)", "max_gas_used": 1053, "min_gas_used": 768, "swc-id": "101", "title": "Integer Overflow", "type": "Warning"}, {"address": 567, "contract": "Unknown", "debug": "<DEBUG-DATA>", "description": "This binary subtraction operation can result in integer underflow.\n", "function": "sendeth(address,uint256)", "max_gas_used": 1774, "min_gas_used": 1299, "swc-id": "101", "title": "Integer Underflow", "type": "Warning"}, {"address": 649, "contract": "Unknown", "debug": "<DEBUG-DATA>", "description": "This binary subtraction operation can result in integer underflow.\n", "function": "sendeth(address,uint256)", "max_gas_used": 1774, "min_gas_used": 1299, "swc-id": "101", "title": "Integer Underflow", "type": "Warning"}], "success": true} {
"error":null,
"issues":[
{
"address":567,
"contract":"Unknown",
"debug":"<DEBUG-DATA>",
"description":"This binary subtraction operation can result in integer overflow.\n",
"function":"sendeth(address,uint256)",
"max_gas_used":1053,
"min_gas_used":768,
"swc-id":"101",
"title":"Integer Overflow",
"type":"Warning"
},
{
"address":567,
"contract":"Unknown",
"debug":"<DEBUG-DATA>",
"description":"This binary subtraction operation can result in integer underflow.\n",
"function":"sendeth(address,uint256)",
"max_gas_used":1774,
"min_gas_used":1299,
"swc-id":"101",
"title":"Integer Underflow",
"type":"Warning"
},
{
"address":649,
"contract":"Unknown",
"debug":"<DEBUG-DATA>",
"description":"This binary subtraction operation can result in integer underflow.\n",
"function":"sendeth(address,uint256)",
"max_gas_used":1774,
"min_gas_used":1299,
"swc-id":"101",
"title":"Integer Underflow",
"type":"Warning"
}
],
"success":true
}

Write Preview
Loading…
Cancel
Save