Skip to content

Instantly share code, notes, and snippets.

@Marenz
Created August 22, 2019 13:32
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save Marenz/9738c8747d232decdd451aeedcb697ae to your computer and use it in GitHub Desktop.
Save Marenz/9738c8747d232decdd451aeedcb697ae to your computer and use it in GitHub Desktop.
{
"contracts":
{
"leo.sol:Callee":
{
"asm":
{
".code":
[
{
"begin": 25,
"end": 254,
"name": "PUSH",
"value": "80"
},
{
"begin": 25,
"end": 254,
"name": "PUSH",
"value": "40"
},
{
"begin": 25,
"end": 254,
"name": "MSTORE"
},
{
"begin": 64,
"end": 65,
"name": "PUSH",
"value": "0"
},
{
"begin": 45,
"end": 65,
"name": "DUP1"
},
{
"begin": 45,
"end": 65,
"name": "SSTORE"
},
{
"begin": 25,
"end": 254,
"name": "CALLVALUE"
},
{
"begin": 8,
"end": 17,
"name": "DUP1"
},
{
"begin": 5,
"end": 7,
"name": "ISZERO"
},
{
"begin": 5,
"end": 7,
"name": "PUSH [tag]",
"value": "1"
},
{
"begin": 5,
"end": 7,
"name": "JUMPI"
},
{
"begin": 30,
"end": 31,
"name": "PUSH",
"value": "0"
},
{
"begin": 27,
"end": 28,
"name": "DUP1"
},
{
"begin": 20,
"end": 32,
"name": "REVERT"
},
{
"begin": 5,
"end": 7,
"name": "tag",
"value": "1"
},
{
"begin": 5,
"end": 7,
"name": "JUMPDEST"
},
{
"begin": 25,
"end": 254,
"name": "POP"
},
{
"begin": 25,
"end": 254,
"name": "PUSH #[$]",
"value": "0000000000000000000000000000000000000000000000000000000000000000"
},
{
"begin": 25,
"end": 254,
"name": "DUP1"
},
{
"begin": 25,
"end": 254,
"name": "PUSH [$]",
"value": "0000000000000000000000000000000000000000000000000000000000000000"
},
{
"begin": 25,
"end": 254,
"name": "PUSH",
"value": "0"
},
{
"begin": 25,
"end": 254,
"name": "CODECOPY"
},
{
"begin": 25,
"end": 254,
"name": "PUSH",
"value": "0"
},
{
"begin": 25,
"end": 254,
"name": "RETURN"
}
],
".data":
{
"0":
{
".auxdata": "a265627a7a723158205391ef0bb800860094e99ba07dac28438eaa7ad735597f0a18e1e18e2de4dc0264736f6c634300050b0032",
".code":
[
{
"begin": 25,
"end": 254,
"name": "PUSH",
"value": "80"
},
{
"begin": 25,
"end": 254,
"name": "PUSH",
"value": "40"
},
{
"begin": 25,
"end": 254,
"name": "MSTORE"
},
{
"begin": 25,
"end": 254,
"name": "CALLVALUE"
},
{
"begin": 8,
"end": 17,
"name": "DUP1"
},
{
"begin": 5,
"end": 7,
"name": "ISZERO"
},
{
"begin": 5,
"end": 7,
"name": "PUSH [tag]",
"value": "1"
},
{
"begin": 5,
"end": 7,
"name": "JUMPI"
},
{
"begin": 30,
"end": 31,
"name": "PUSH",
"value": "0"
},
{
"begin": 27,
"end": 28,
"name": "DUP1"
},
{
"begin": 20,
"end": 32,
"name": "REVERT"
},
{
"begin": 5,
"end": 7,
"name": "tag",
"value": "1"
},
{
"begin": 5,
"end": 7,
"name": "JUMPDEST"
},
{
"begin": 25,
"end": 254,
"name": "POP"
},
{
"begin": 25,
"end": 254,
"name": "PUSH",
"value": "4"
},
{
"begin": 25,
"end": 254,
"name": "CALLDATASIZE"
},
{
"begin": 25,
"end": 254,
"name": "LT"
},
{
"begin": 25,
"end": 254,
"name": "PUSH [tag]",
"value": "2"
},
{
"begin": 25,
"end": 254,
"name": "JUMPI"
},
{
"begin": 25,
"end": 254,
"name": "PUSH",
"value": "0"
},
{
"begin": 25,
"end": 254,
"name": "CALLDATALOAD"
},
{
"begin": 25,
"end": 254,
"name": "PUSH",
"value": "E0"
},
{
"begin": 25,
"end": 254,
"name": "SHR"
},
{
"begin": 25,
"end": 254,
"name": "DUP1"
},
{
"begin": 25,
"end": 254,
"name": "PUSH",
"value": "75657F15"
},
{
"begin": 25,
"end": 254,
"name": "EQ"
},
{
"begin": 25,
"end": 254,
"name": "PUSH [tag]",
"value": "3"
},
{
"begin": 25,
"end": 254,
"name": "JUMPI"
},
{
"begin": 25,
"end": 254,
"name": "tag",
"value": "2"
},
{
"begin": 25,
"end": 254,
"name": "JUMPDEST"
},
{
"begin": 25,
"end": 254,
"name": "PUSH",
"value": "0"
},
{
"begin": 25,
"end": 254,
"name": "DUP1"
},
{
"begin": 25,
"end": 254,
"name": "REVERT"
},
{
"begin": 69,
"end": 147,
"name": "tag",
"value": "3"
},
{
"begin": 69,
"end": 147,
"name": "JUMPDEST"
},
{
"begin": 69,
"end": 147,
"name": "PUSH [tag]",
"value": "4"
},
{
"begin": 69,
"end": 147,
"name": "PUSH",
"value": "4"
},
{
"begin": 69,
"end": 147,
"name": "DUP1"
},
{
"begin": 69,
"end": 147,
"name": "CALLDATASIZE"
},
{
"begin": 69,
"end": 147,
"name": "SUB"
},
{
"begin": 13,
"end": 15,
"name": "PUSH",
"value": "20"
},
{
"begin": 8,
"end": 11,
"name": "DUP2"
},
{
"begin": 5,
"end": 16,
"name": "LT"
},
{
"begin": 2,
"end": 4,
"name": "ISZERO"
},
{
"begin": 2,
"end": 4,
"name": "PUSH [tag]",
"value": "5"
},
{
"begin": 2,
"end": 4,
"name": "JUMPI"
},
{
"begin": 29,
"end": 30,
"name": "PUSH",
"value": "0"
},
{
"begin": 26,
"end": 27,
"name": "DUP1"
},
{
"begin": 19,
"end": 31,
"name": "REVERT"
},
{
"begin": 2,
"end": 4,
"name": "tag",
"value": "5"
},
{
"begin": 2,
"end": 4,
"name": "JUMPDEST"
},
{
"begin": 69,
"end": 147,
"name": "DUP2"
},
{
"begin": 69,
"end": 147,
"name": "ADD"
},
{
"begin": 69,
"end": 147,
"name": "SWAP1"
},
{
"begin": 69,
"end": 147,
"name": "DUP1"
},
{
"begin": 69,
"end": 147,
"name": "DUP1"
},
{
"begin": 69,
"end": 147,
"name": "CALLDATALOAD"
},
{
"begin": 69,
"end": 147,
"name": "SWAP1"
},
{
"begin": 69,
"end": 147,
"name": "PUSH",
"value": "20"
},
{
"begin": 69,
"end": 147,
"name": "ADD"
},
{
"begin": 69,
"end": 147,
"name": "SWAP1"
},
{
"begin": 69,
"end": 147,
"name": "SWAP3"
},
{
"begin": 69,
"end": 147,
"name": "SWAP2"
},
{
"begin": 69,
"end": 147,
"name": "SWAP1"
},
{
"begin": 69,
"end": 147,
"name": "POP"
},
{
"begin": 69,
"end": 147,
"name": "POP"
},
{
"begin": 69,
"end": 147,
"name": "POP"
},
{
"begin": 69,
"end": 147,
"name": "PUSH [tag]",
"value": "6"
},
{
"begin": 69,
"end": 147,
"name": "JUMP",
"value": "[in]"
},
{
"begin": 69,
"end": 147,
"name": "tag",
"value": "4"
},
{
"begin": 69,
"end": 147,
"name": "JUMPDEST"
},
{
"begin": 69,
"end": 147,
"name": "STOP"
},
{
"begin": 69,
"end": 147,
"name": "tag",
"value": "6"
},
{
"begin": 69,
"end": 147,
"name": "JUMPDEST"
},
{
"begin": 123,
"end": 142,
"name": "PUSH [tag]",
"value": "8"
},
{
"begin": 127,
"end": 138,
"name": "PUSH",
"value": "0"
},
{
"begin": 127,
"end": 138,
"name": "SLOAD"
},
{
"begin": 140,
"end": 141,
"name": "DUP3"
},
{
"begin": 123,
"end": 126,
"name": "PUSH [tag]",
"value": "9"
},
{
"begin": 123,
"end": 142,
"name": "JUMP",
"value": "[in]"
},
{
"begin": 123,
"end": 142,
"name": "tag",
"value": "8"
},
{
"begin": 123,
"end": 142,
"name": "JUMPDEST"
},
{
"begin": 109,
"end": 120,
"name": "PUSH",
"value": "0"
},
{
"begin": 109,
"end": 142,
"name": "DUP2"
},
{
"begin": 109,
"end": 142,
"name": "SWAP1"
},
{
"begin": 109,
"end": 142,
"name": "SSTORE"
},
{
"begin": 109,
"end": 142,
"name": "POP"
},
{
"begin": 69,
"end": 147,
"name": "POP"
},
{
"begin": 69,
"end": 147,
"name": "JUMP",
"value": "[out]"
},
{
"begin": 151,
"end": 252,
"name": "tag",
"value": "9"
},
{
"begin": 151,
"end": 252,
"name": "JUMPDEST"
},
{
"begin": 203,
"end": 209,
"name": "PUSH",
"value": "0"
},
{
"begin": 225,
"end": 226,
"name": "DUP2"
},
{
"begin": 221,
"end": 222,
"name": "DUP4"
},
{
"begin": 221,
"end": 226,
"name": "ADD"
},
{
"begin": 217,
"end": 226,
"name": "SWAP1"
},
{
"begin": 217,
"end": 226,
"name": "POP"
},
{
"begin": 245,
"end": 246,
"name": "DUP3"
},
{
"begin": 240,
"end": 241,
"name": "DUP2"
},
{
"begin": 240,
"end": 246,
"name": "LT"
},
{
"begin": 240,
"end": 246,
"name": "ISZERO"
},
{
"begin": 232,
"end": 247,
"name": "PUSH [tag]",
"value": "11"
},
{
"begin": 232,
"end": 247,
"name": "JUMPI"
},
{
"begin": 232,
"end": 247,
"name": "PUSH",
"value": "0"
},
{
"begin": 232,
"end": 247,
"name": "DUP1"
},
{
"begin": 232,
"end": 247,
"name": "REVERT"
},
{
"begin": 232,
"end": 247,
"name": "tag",
"value": "11"
},
{
"begin": 232,
"end": 247,
"name": "JUMPDEST"
},
{
"begin": 151,
"end": 252,
"name": "SWAP3"
},
{
"begin": 151,
"end": 252,
"name": "SWAP2"
},
{
"begin": 151,
"end": 252,
"name": "POP"
},
{
"begin": 151,
"end": 252,
"name": "POP"
},
{
"begin": 151,
"end": 252,
"name": "JUMP",
"value": "[out]"
}
]
}
}
}
},
"leo.sol:easyNest":
{
"asm":
{
".code":
[
{
"begin": 256,
"end": 361,
"name": "PUSH",
"value": "80"
},
{
"begin": 256,
"end": 361,
"name": "PUSH",
"value": "40"
},
{
"begin": 256,
"end": 361,
"name": "MSTORE"
},
{
"begin": 256,
"end": 361,
"name": "CALLVALUE"
},
{
"begin": 8,
"end": 17,
"name": "DUP1"
},
{
"begin": 5,
"end": 7,
"name": "ISZERO"
},
{
"begin": 5,
"end": 7,
"name": "PUSH [tag]",
"value": "1"
},
{
"begin": 5,
"end": 7,
"name": "JUMPI"
},
{
"begin": 30,
"end": 31,
"name": "PUSH",
"value": "0"
},
{
"begin": 27,
"end": 28,
"name": "DUP1"
},
{
"begin": 20,
"end": 32,
"name": "REVERT"
},
{
"begin": 5,
"end": 7,
"name": "tag",
"value": "1"
},
{
"begin": 5,
"end": 7,
"name": "JUMPDEST"
},
{
"begin": 256,
"end": 361,
"name": "POP"
},
{
"begin": 256,
"end": 361,
"name": "PUSH #[$]",
"value": "0000000000000000000000000000000000000000000000000000000000000000"
},
{
"begin": 256,
"end": 361,
"name": "DUP1"
},
{
"begin": 256,
"end": 361,
"name": "PUSH [$]",
"value": "0000000000000000000000000000000000000000000000000000000000000000"
},
{
"begin": 256,
"end": 361,
"name": "PUSH",
"value": "0"
},
{
"begin": 256,
"end": 361,
"name": "CODECOPY"
},
{
"begin": 256,
"end": 361,
"name": "PUSH",
"value": "0"
},
{
"begin": 256,
"end": 361,
"name": "RETURN"
}
],
".data":
{
"0":
{
".auxdata": "a265627a7a72315820843f8f76b023d96242bb0310f79f24e666015dbba6d71356e183814620a71e9464736f6c634300050b0032",
".code":
[
{
"begin": 256,
"end": 361,
"name": "PUSH",
"value": "80"
},
{
"begin": 256,
"end": 361,
"name": "PUSH",
"value": "40"
},
{
"begin": 256,
"end": 361,
"name": "MSTORE"
},
{
"begin": 256,
"end": 361,
"name": "CALLVALUE"
},
{
"begin": 8,
"end": 17,
"name": "DUP1"
},
{
"begin": 5,
"end": 7,
"name": "ISZERO"
},
{
"begin": 5,
"end": 7,
"name": "PUSH [tag]",
"value": "1"
},
{
"begin": 5,
"end": 7,
"name": "JUMPI"
},
{
"begin": 30,
"end": 31,
"name": "PUSH",
"value": "0"
},
{
"begin": 27,
"end": 28,
"name": "DUP1"
},
{
"begin": 20,
"end": 32,
"name": "REVERT"
},
{
"begin": 5,
"end": 7,
"name": "tag",
"value": "1"
},
{
"begin": 5,
"end": 7,
"name": "JUMPDEST"
},
{
"begin": 256,
"end": 361,
"name": "POP"
},
{
"begin": 256,
"end": 361,
"name": "PUSH",
"value": "4"
},
{
"begin": 256,
"end": 361,
"name": "CALLDATASIZE"
},
{
"begin": 256,
"end": 361,
"name": "LT"
},
{
"begin": 256,
"end": 361,
"name": "PUSH [tag]",
"value": "2"
},
{
"begin": 256,
"end": 361,
"name": "JUMPI"
},
{
"begin": 256,
"end": 361,
"name": "PUSH",
"value": "0"
},
{
"begin": 256,
"end": 361,
"name": "CALLDATALOAD"
},
{
"begin": 256,
"end": 361,
"name": "PUSH",
"value": "E0"
},
{
"begin": 256,
"end": 361,
"name": "SHR"
},
{
"begin": 256,
"end": 361,
"name": "DUP1"
},
{
"begin": 256,
"end": 361,
"name": "PUSH",
"value": "D98DAC6C"
},
{
"begin": 256,
"end": 361,
"name": "EQ"
},
{
"begin": 256,
"end": 361,
"name": "PUSH [tag]",
"value": "3"
},
{
"begin": 256,
"end": 361,
"name": "JUMPI"
},
{
"begin": 256,
"end": 361,
"name": "tag",
"value": "2"
},
{
"begin": 256,
"end": 361,
"name": "JUMPDEST"
},
{
"begin": 256,
"end": 361,
"name": "PUSH",
"value": "0"
},
{
"begin": 256,
"end": 361,
"name": "DUP1"
},
{
"begin": 256,
"end": 361,
"name": "REVERT"
},
{
"begin": 295,
"end": 359,
"name": "tag",
"value": "3"
},
{
"begin": 295,
"end": 359,
"name": "JUMPDEST"
},
{
"begin": 295,
"end": 359,
"name": "PUSH [tag]",
"value": "4"
},
{
"begin": 295,
"end": 359,
"name": "PUSH",
"value": "4"
},
{
"begin": 295,
"end": 359,
"name": "DUP1"
},
{
"begin": 295,
"end": 359,
"name": "CALLDATASIZE"
},
{
"begin": 295,
"end": 359,
"name": "SUB"
},
{
"begin": 13,
"end": 15,
"name": "PUSH",
"value": "20"
},
{
"begin": 8,
"end": 11,
"name": "DUP2"
},
{
"begin": 5,
"end": 16,
"name": "LT"
},
{
"begin": 2,
"end": 4,
"name": "ISZERO"
},
{
"begin": 2,
"end": 4,
"name": "PUSH [tag]",
"value": "5"
},
{
"begin": 2,
"end": 4,
"name": "JUMPI"
},
{
"begin": 29,
"end": 30,
"name": "PUSH",
"value": "0"
},
{
"begin": 26,
"end": 27,
"name": "DUP1"
},
{
"begin": 19,
"end": 31,
"name": "REVERT"
},
{
"begin": 2,
"end": 4,
"name": "tag",
"value": "5"
},
{
"begin": 2,
"end": 4,
"name": "JUMPDEST"
},
{
"begin": 295,
"end": 359,
"name": "DUP2"
},
{
"begin": 295,
"end": 359,
"name": "ADD"
},
{
"begin": 295,
"end": 359,
"name": "SWAP1"
},
{
"begin": 295,
"end": 359,
"name": "DUP1"
},
{
"begin": 295,
"end": 359,
"name": "DUP1"
},
{
"begin": 295,
"end": 359,
"name": "CALLDATALOAD"
},
{
"begin": 295,
"end": 359,
"name": "SWAP1"
},
{
"begin": 295,
"end": 359,
"name": "PUSH",
"value": "20"
},
{
"begin": 295,
"end": 359,
"name": "ADD"
},
{
"begin": 295,
"end": 359,
"name": "SWAP1"
},
{
"begin": 295,
"end": 359,
"name": "SWAP3"
},
{
"begin": 295,
"end": 359,
"name": "SWAP2"
},
{
"begin": 295,
"end": 359,
"name": "SWAP1"
},
{
"begin": 295,
"end": 359,
"name": "POP"
},
{
"begin": 295,
"end": 359,
"name": "POP"
},
{
"begin": 295,
"end": 359,
"name": "POP"
},
{
"begin": 295,
"end": 359,
"name": "PUSH [tag]",
"value": "6"
},
{
"begin": 295,
"end": 359,
"name": "JUMP",
"value": "[in]"
},
{
"begin": 295,
"end": 359,
"name": "tag",
"value": "4"
},
{
"begin": 295,
"end": 359,
"name": "JUMPDEST"
},
{
"begin": 295,
"end": 359,
"name": "STOP"
},
{
"begin": 295,
"end": 359,
"name": "tag",
"value": "6"
},
{
"begin": 295,
"end": 359,
"name": "JUMPDEST"
},
{
"begin": 335,
"end": 341,
"name": "PUSH",
"value": "0"
},
{
"begin": 335,
"end": 341,
"name": "DUP1"
},
{
"begin": 335,
"end": 341,
"name": "SWAP1"
},
{
"begin": 335,
"end": 341,
"name": "SLOAD"
},
{
"begin": 335,
"end": 341,
"name": "SWAP1"
},
{
"begin": 335,
"end": 341,
"name": "PUSH",
"value": "100"
},
{
"begin": 335,
"end": 341,
"name": "EXP"
},
{
"begin": 335,
"end": 341,
"name": "SWAP1"
},
{
"begin": 335,
"end": 341,
"name": "DIV"
},
{
"begin": 335,
"end": 341,
"name": "PUSH",
"value": "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"
},
{
"begin": 335,
"end": 341,
"name": "AND"
},
{
"begin": 335,
"end": 351,
"name": "PUSH",
"value": "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"
},
{
"begin": 335,
"end": 351,
"name": "AND"
},
{
"begin": 335,
"end": 351,
"name": "PUSH",
"value": "75657F15"
},
{
"begin": 352,
"end": 353,
"name": "DUP3"
},
{
"begin": 335,
"end": 354,
"name": "PUSH",
"value": "40"
},
{
"begin": 335,
"end": 354,
"name": "MLOAD"
},
{
"begin": 335,
"end": 354,
"name": "DUP3"
},
{
"begin": 335,
"end": 354,
"name": "PUSH",
"value": "FFFFFFFF"
},
{
"begin": 335,
"end": 354,
"name": "AND"
},
{
"begin": 335,
"end": 354,
"name": "PUSH",
"value": "E0"
},
{
"begin": 335,
"end": 354,
"name": "SHL"
},
{
"begin": 335,
"end": 354,
"name": "DUP2"
},
{
"begin": 335,
"end": 354,
"name": "MSTORE"
},
{
"begin": 335,
"end": 354,
"name": "PUSH",
"value": "4"
},
{
"begin": 335,
"end": 354,
"name": "ADD"
},
{
"begin": 335,
"end": 354,
"name": "DUP1"
},
{
"begin": 335,
"end": 354,
"name": "DUP3"
},
{
"begin": 335,
"end": 354,
"name": "DUP2"
},
{
"begin": 335,
"end": 354,
"name": "MSTORE"
},
{
"begin": 335,
"end": 354,
"name": "PUSH",
"value": "20"
},
{
"begin": 335,
"end": 354,
"name": "ADD"
},
{
"begin": 335,
"end": 354,
"name": "SWAP2"
},
{
"begin": 335,
"end": 354,
"name": "POP"
},
{
"begin": 335,
"end": 354,
"name": "POP"
},
{
"begin": 335,
"end": 354,
"name": "PUSH",
"value": "0"
},
{
"begin": 335,
"end": 354,
"name": "PUSH",
"value": "40"
},
{
"begin": 335,
"end": 354,
"name": "MLOAD"
},
{
"begin": 335,
"end": 354,
"name": "DUP1"
},
{
"begin": 335,
"end": 354,
"name": "DUP4"
},
{
"begin": 335,
"end": 354,
"name": "SUB"
},
{
"begin": 335,
"end": 354,
"name": "DUP2"
},
{
"begin": 335,
"end": 354,
"name": "PUSH",
"value": "0"
},
{
"begin": 335,
"end": 354,
"name": "DUP8"
},
{
"begin": 335,
"end": 354,
"name": "DUP1"
},
{
"begin": 335,
"end": 354,
"name": "EXTCODESIZE"
},
{
"begin": 335,
"end": 354,
"name": "ISZERO"
},
{
"begin": 8,
"end": 17,
"name": "DUP1"
},
{
"begin": 5,
"end": 7,
"name": "ISZERO"
},
{
"begin": 5,
"end": 7,
"name": "PUSH [tag]",
"value": "8"
},
{
"begin": 5,
"end": 7,
"name": "JUMPI"
},
{
"begin": 30,
"end": 31,
"name": "PUSH",
"value": "0"
},
{
"begin": 27,
"end": 28,
"name": "DUP1"
},
{
"begin": 20,
"end": 32,
"name": "REVERT"
},
{
"begin": 5,
"end": 7,
"name": "tag",
"value": "8"
},
{
"begin": 5,
"end": 7,
"name": "JUMPDEST"
},
{
"begin": 335,
"end": 354,
"name": "POP"
},
{
"begin": 335,
"end": 354,
"name": "GAS"
},
{
"begin": 335,
"end": 354,
"name": "CALL"
},
{
"begin": 335,
"end": 354,
"name": "ISZERO"
},
{
"begin": 8,
"end": 17,
"name": "DUP1"
},
{
"begin": 5,
"end": 7,
"name": "ISZERO"
},
{
"begin": 5,
"end": 7,
"name": "PUSH [tag]",
"value": "9"
},
{
"begin": 5,
"end": 7,
"name": "JUMPI"
},
{
"begin": 45,
"end": 61,
"name": "RETURNDATASIZE"
},
{
"begin": 42,
"end": 43,
"name": "PUSH",
"value": "0"
},
{
"begin": 39,
"end": 40,
"name": "DUP1"
},
{
"begin": 24,
"end": 62,
"name": "RETURNDATACOPY"
},
{
"begin": 77,
"end": 93,
"name": "RETURNDATASIZE"
},
{
"begin": 74,
"end": 75,
"name": "PUSH",
"value": "0"
},
{
"begin": 67,
"end": 94,
"name": "REVERT"
},
{
"begin": 5,
"end": 7,
"name": "tag",
"value": "9"
},
{
"begin": 5,
"end": 7,
"name": "JUMPDEST"
},
{
"begin": 335,
"end": 354,
"name": "POP"
},
{
"begin": 335,
"end": 354,
"name": "POP"
},
{
"begin": 335,
"end": 354,
"name": "POP"
},
{
"begin": 335,
"end": 354,
"name": "POP"
},
{
"begin": 295,
"end": 359,
"name": "POP"
},
{
"begin": 295,
"end": 359,
"name": "JUMP",
"value": "[out]"
}
]
}
}
}
}
},
"version": "0.5.11+commit.22be8592.Linux.g++"
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment