mythril/tests/testdata/outputs_expected/overflow.sol.o.jsonv2

{
	"issues": [{
		"description": {
			"head": "The subtraction can underflow.",
			"tail": "The binary subtraction operation can result in an integer underflow.\n"
		},
		"extra": {},
		"locations": [{
			"sourceMap": "567:1:0"
		}],
		"severity": "High",
		"swcID": "SWC-101",
		"swcTitle": "Integer Overflow and Underflow"
	}, {
		"description": {
			"head": "The subtraction can underflow.",
			"tail": "The binary subtraction operation can result in an integer underflow.\n"
		},
		"extra": {},
		"locations": [{
			"sourceMap": "649:1:0"
		}],
		"severity": "High",
		"swcID": "SWC-101",
		"swcTitle": "Integer Overflow and Underflow"
	}],
	"meta": {},
	"sourceFormat": "evm-byzantium-bytecode",
	"sourceList": ["0xf230bec502569e8b7e7737616d0ad0f200c436624e3c223e5398c0615cd2d6b9"],
	"sourceType": "raw-bytecode"
}