mythril/tests/testdata/outputs_expected/underflow.sol.o.json

{
	"error": null,
	"issues": [{
		"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": 1053,
		"min_gas_used": 768,
		"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
}