[
{
"reason": "Memory destination for CODECOPY is not reducible to Val",
"opcode": {
"pc": 3827,
"opcode": 57,
"mnemonic": "CODECOPY",
"data": null
},
"name": "Throw"
},
{
"reason": "Memory destination for CODECOPY is not reducible to Val",
"opcode": {
"pc": 3921,
"opcode": 57,
"mnemonic": "CODECOPY",
"data": null
},
"name": "Throw"
},
{
"reason": "Memory destination for CODECOPY is not reducible to Val",
"opcode": {
"pc": 3827,
"opcode": 57,
"mnemonic": "CODECOPY",
"data": null
},
"name": "Throw"
},
{
"reason": "Memory destination for CODECOPY is not reducible to Val",
"opcode": {
"pc": 3921,
"opcode": 57,
"mnemonic": "CODECOPY",
"data": null
},
"name": "Throw"
},
{
"reason": "Memory destination for CODECOPY is not reducible to Val",
"opcode": {
"pc": 3827,
"opcode": 57,
"mnemonic": "CODECOPY",
"data": null
},
"name": "Throw"
},
{
"reason": "Memory destination for CODECOPY is not reducible to Val",
"opcode": {
"pc": 3921,
"opcode": 57,
"mnemonic": "CODECOPY",
"data": null
},
"name": "Throw"
},
{
"reason": "Memory destination for CODECOPY is not reducible to Val",
"opcode": {
"pc": 3827,
"opcode": 57,
"mnemonic": "CODECOPY",
"data": null
},
"name": "Throw"
},
{
"reason": "Memory destination for CODECOPY is not reducible to Val",
"opcode": {
"pc": 3921,
"opcode": 57,
"mnemonic": "CODECOPY",
"data": null
},
"name": "Throw"
},
{
"reason": "Memory destination for CODECOPY is not reducible to Val",
"opcode": {
"pc": 3827,
"opcode": 57,
"mnemonic": "CODECOPY",
"data": null
},
"name": "Throw"
},
{
"reason": "Memory destination for CODECOPY is not reducible to Val",
"opcode": {
"pc": 3921,
"opcode": 57,
"mnemonic": "CODECOPY",
"data": null
},
"name": "Throw"
},
{
"reason": "Memory destination for CODECOPY is not reducible to Val",
"opcode": {
"pc": 3827,
"opcode": 57,
"mnemonic": "CODECOPY",
"data": null
},
"name": "Throw"
},
{
"reason": "Memory destination for CODECOPY is not reducible to Val",
"opcode": {
"pc": 3921,
"opcode": 57,
"mnemonic": "CODECOPY",
"data": null
},
"name": "Throw"
},
{
"reason": "Memory destination for CODECOPY is not reducible to Val",
"opcode": {
"pc": 3827,
"opcode": 57,
"mnemonic": "CODECOPY",
"data": null
},
"name": "Throw"
},
{
"reason": "Memory destination for CODECOPY is not reducible to Val",
"opcode": {
"pc": 3921,
"opcode": 57,
"mnemonic": "CODECOPY",
"data": null
},
"name": "Throw"
},
{
"reason": "Memory destination for CODECOPY is not reducible to Val",
"opcode": {
"pc": 3827,
"opcode": 57,
"mnemonic": "CODECOPY",
"data": null
},
"name": "Throw"
},
{
"reason": "Memory destination for CODECOPY is not reducible to Val",
"opcode": {
"pc": 3921,
"opcode": 57,
"mnemonic": "CODECOPY",
"data": null
},
"name": "Throw"
},
{
"reason": "Memory destination for CODECOPY is not reducible to Val",
"opcode": {
"pc": 3827,
"opcode": 57,
"mnemonic": "CODECOPY",
"data": null
},
"name": "Throw"
},
{
"reason": "Memory destination for CODECOPY is not reducible to Val",
"opcode": {
"pc": 3921,
"opcode": 57,
"mnemonic": "CODECOPY",
"data": null
},
"name": "Throw"
},
{
"reason": "Memory destination for CODECOPY is not reducible to Val",
"opcode": {
"pc": 3827,
"opcode": 57,
"mnemonic": "CODECOPY",
"data": null
},
"name": "Throw"
},
{
"reason": "Memory destination for CODECOPY is not reducible to Val",
"opcode": {
"pc": 3921,
"opcode": 57,
"mnemonic": "CODECOPY",
"data": null
},
"name": "Throw"
},
{
"reason": "Memory destination for CODECOPY is not reducible to Val",
"opcode": {
"pc": 3827,
"opcode": 57,
"mnemonic": "CODECOPY",
"data": null
},
"name": "Throw"
},
{
"reason": "Memory destination for CODECOPY is not reducible to Val",
"opcode": {
"pc": 3921,
"opcode": 57,
"mnemonic": "CODECOPY",
"data": null
},
"name": "Throw"
}
]
[
{
"reason": "JUMP(0x56)@142 destination should be JUMPDEST@2 but found '0x78'",
"opcode": {
"pc": 142,
"opcode": 86,
"mnemonic": "JUMP",
"data": null
},
"name": "Throw"
},
{
"reason": "JUMP(0x56)@219 destination should be JUMPDEST@2 but found '0x78'",
"opcode": {
"pc": 219,
"opcode": 86,
"mnemonic": "JUMP",
"data": null
},
"name": "Throw"
},
{
"reason": "JUMP(0x56)@313 destination should be JUMPDEST@2 but found '0x78'",
"opcode": {
"pc": 313,
"opcode": 86,
"mnemonic": "JUMP",
"data": null
},
"name": "Throw"
},
{
"reason": "JUMP(0x56)@387 destination should be JUMPDEST@2 but found '0x78'",
"opcode": {
"pc": 387,
"opcode": 86,
"mnemonic": "JUMP",
"data": null
},
"name": "Throw"
},
{
"reason": "JUMP(0x56)@429 destination should be JUMPDEST@2 but found '0x78'",
"opcode": {
"pc": 429,
"opcode": 86,
"mnemonic": "JUMP",
"data": null
},
"name": "Throw"
}
]
[
{
"reason": "Memory destination for CODECOPY is not reducible to Val",
"opcode": {
"pc": 7647,
"opcode": 57,
"mnemonic": "CODECOPY",
"data": null
},
"name": "Throw"
},
{
"reason": "Memory destination for CODECOPY is not reducible to Val",
"opcode": {
"pc": 4660,
"opcode": 57,
"mnemonic": "CODECOPY",
"data": null
},
"name": "Throw"
},
{
"reason": "Memory destination for CODECOPY is not reducible to Val",
"opcode": {
"pc": 4133,
"opcode": 57,
"mnemonic": "CODECOPY",
"data": null
},
"name": "Throw"
},
{
"reason": "Memory destination for CODECOPY is not reducible to Val",
"opcode": {
"pc": 9470,
"opcode": 57,
"mnemonic": "CODECOPY",
"data": null
},
"name": "Throw"
},
{
"reason": "Memory destination for CODECOPY is not reducible to Val",
"opcode": {
"pc": 9470,
"opcode": 57,
"mnemonic": "CODECOPY",
"data": null
},
"name": "Throw"
},
{
"reason": "Memory destination for CODECOPY is not reducible to Val",
"opcode": {
"pc": 9470,
"opcode": 57,
"mnemonic": "CODECOPY",
"data": null
},
"name": "Throw"
},
{
"reason": "Memory destination for CODECOPY is not reducible to Val",
"opcode": {
"pc": 9470,
"opcode": 57,
"mnemonic": "CODECOPY",
"data": null
},
"name": "Throw"
},
{
"reason": "Memory destination for CODECOPY is not reducible to Val",
"opcode": {
"pc": 9470,
"opcode": 57,
"mnemonic": "CODECOPY",
"data": null
},
"name": "Throw"
},
{
"reason": "Memory destination for CODECOPY is not reducible to Val",
"opcode": {
"pc": 9470,
"opcode": 57,
"mnemonic": "CODECOPY",
"data": null
},
"name": "Throw"
},
{
"reason": "Memory destination for CODECOPY is not reducible to Val",
"opcode": {
"pc": 9470,
"opcode": 57,
"mnemonic": "CODECOPY",
"data": null
},
"name": "Throw"
},
{
"reason": "Memory destination for CODECOPY is not reducible to Val",
"opcode": {
"pc": 9470,
"opcode": 57,
"mnemonic": "CODECOPY",
"data": null
},
"name": "Throw"
},
{
"reason": "Memory destination for CODECOPY is not reducible to Val",
"opcode": {
"pc": 9470,
"opcode": 57,
"mnemonic": "CODECOPY",
"data": null
},
"name": "Throw"
},
{
"reason": "Memory destination for CODECOPY is not reducible to Val",
"opcode": {
"pc": 9470,
"opcode": 57,
"mnemonic": "CODECOPY",
"data": null
},
"name": "Throw"
},
{
"reason": "Memory destination for CODECOPY is not reducible to Val",
"opcode": {
"pc": 9470,
"opcode": 57,
"mnemonic": "CODECOPY",
"data": null
},
"name": "Throw"
},
{
"reason": "Memory destination for CODECOPY is not reducible to Val",
"opcode": {
"pc": 4133,
"opcode": 57,
"mnemonic": "CODECOPY",
"data": null
},
"name": "Throw"
}
]
[
{
"reason": "Memory size too large creating Sha3: 115792089237316195423570985008687907853269984665640564039457584007913129639808 in `sub(local12, local21)`",
"opcode": {
"pc": 1873,
"opcode": 32,
"mnemonic": "SHA3",
"data": null
},
"name": "Throw"
}
]
[
{
"reason": "Memory destination for CODECOPY is not reducible to Val",
"opcode": {
"pc": 2246,
"opcode": 57,
"mnemonic": "CODECOPY",
"data": null
},
"name": "Throw"
}
]
[
{
"reason": "JUMP(0x56)@192 destination should be JUMPDEST@2 but found '0x60'",
"opcode": {
"pc": 192,
"opcode": 86,
"mnemonic": "JUMP",
"data": null
},
"name": "Throw"
},
{
"reason": "JUMP(0x56)@192 destination should be JUMPDEST@2 but found '0x60'",
"opcode": {
"pc": 192,
"opcode": 86,
"mnemonic": "JUMP",
"data": null
},
"name": "Throw"
},
{
"reason": "JUMP(0x56)@402 destination should be JUMPDEST@2 but found '0x60'",
"opcode": {
"pc": 402,
"opcode": 86,
"mnemonic": "JUMP",
"data": null
},
"name": "Throw"
},
{
"reason": "JUMP(0x56)@1448 destination should be JUMPDEST@2 but found '0x60'",
"opcode": {
"pc": 1448,
"opcode": 86,
"mnemonic": "JUMP",
"data": null
},
"name": "Throw"
},
{
"reason": "JUMP(0x56)@1483 destination should be JUMPDEST@2 but found '0x60'",
"opcode": {
"pc": 1483,
"opcode": 86,
"mnemonic": "JUMP",
"data": null
},
"name": "Throw"
},
{
"reason": "JUMP(0x56)@1549 destination should be JUMPDEST@2 but found '0x60'",
"opcode": {
"pc": 1549,
"opcode": 86,
"mnemonic": "JUMP",
"data": null
},
"name": "Throw"
},
{
"reason": "JUMP(0x56)@474 destination should be JUMPDEST@2 but found '0x60'",
"opcode": {
"pc": 474,
"opcode": 86,
"mnemonic": "JUMP",
"data": null
},
"name": "Throw"
},
{
"reason": "JUMP(0x56)@628 destination should be JUMPDEST@2 but found '0x60'",
"opcode": {
"pc": 628,
"opcode": 86,
"mnemonic": "JUMP",
"data": null
},
"name": "Throw"
},
{
"reason": "JUMP(0x56)@1029 destination should be JUMPDEST@2 but found '0x60'",
"opcode": {
"pc": 1029,
"opcode": 86,
"mnemonic": "JUMP",
"data": null
},
"name": "Throw"
},
{
"reason": "JUMP(0x56)@1067 destination should be JUMPDEST@2 but found '0x60'",
"opcode": {
"pc": 1067,
"opcode": 86,
"mnemonic": "JUMP",
"data": null
},
"name": "Throw"
},
{
"reason": "JUMP(0x56)@765 destination should be JUMPDEST@2 but found '0x60'",
"opcode": {
"pc": 765,
"opcode": 86,
"mnemonic": "JUMP",
"data": null
},
"name": "Throw"
},
{
"reason": "JUMP(0x56)@798 destination should be JUMPDEST@2 but found '0x60'",
"opcode": {
"pc": 798,
"opcode": 86,
"mnemonic": "JUMP",
"data": null
},
"name": "Throw"
}
]
[
{
"reason": "State must be halted after executing block at 1468..1468",
"opcode": {
"pc": 1468,
"opcode": 91,
"mnemonic": "JUMPDEST",
"data": null
},
"name": "Throw"
},
{
"reason": "State must be halted after executing block at 1468..1468",
"opcode": {
"pc": 1468,
"opcode": 91,
"mnemonic": "JUMPDEST",
"data": null
},
"name": "Throw"
},
{
"reason": "State must be halted after executing block at 1468..1468",
"opcode": {
"pc": 1468,
"opcode": 91,
"mnemonic": "JUMPDEST",
"data": null
},
"name": "Throw"
},
{
"reason": "State must be halted after executing block at 1468..1468",
"opcode": {
"pc": 1468,
"opcode": 91,
"mnemonic": "JUMPDEST",
"data": null
},
"name": "Throw"
}
]