019ba9a5-c577-73b5-a97e-0b1e33b1720b
Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
| ID | Type | Status | Attempts | Heartbeat |
|---|---|---|---|---|
| 36905 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 36906 | proxy.resolve | complete | 1 / 3 | 3 months ago |
| 36907 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 36908 | analysis.bundle | complete | 1 / 3 | 3 months ago |
| 36909 | capability.graph | complete | 1 / 3 | 3 months ago |
| 36910 | detector.run | complete | 1 / 3 | 3 months ago |
| 36911 | validation.fork | complete | 1 / 3 | 3 months ago |
{
"status": "not_proxy"
}
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLVALUE 00000006: DUP1 00000007: ISZERO 00000008: PUSH2 0x000f 0000000b: JUMPI 0000000c: PUSH0 0000000d: PUSH0 0000000e: REVERT 0000000f: JUMPDEST 00000010: POP 00000011: PUSH1 0x04 00000013: CALLDATASIZE 00000014: LT 00000015: PUSH2 0x0055 00000018: JUMPI 00000019: PUSH0 0000001a: CALLDATALOAD 0000001b: PUSH1 0xe0 0000001d: SHR 0000001e: DUP1 0000001f: PUSH4 0x19165587 00000024: EQ 00000025: PUSH2 0x0059 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x282d3fdf 0000002f: EQ 00000030: PUSH2 0x0075 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0x38af3eed 0000003a: EQ 0000003b: PUSH2 0x0091 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0x5de9a137 00000045: EQ 00000046: PUSH2 0x00af 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf9fa4791 00000050: EQ 00000051: PUSH2 0x00e1 00000054: JUMPI 00000055: JUMPDEST 00000056: PUSH0 00000057: PUSH0 00000058: REVERT 00000059: JUMPDEST 0000005a: PUSH2 0x0073 0000005d: PUSH1 0x04 0000005f: DUP1 00000060: CALLDATASIZE 00000061: SUB 00000062: DUP2 00000063: ADD 00000064: SWAP1 00000065: PUSH2 0x006e 00000068: SWAP2 00000069: SWAP1 0000006a: PUSH2 0x0a1a 0000006d: JUMP 0000006e: JUMPDEST 0000006f: PUSH2 0x00fd 00000072: JUMP 00000073: JUMPDEST 00000074: STOP 00000075: JUMPDEST 00000076: PUSH2 0x008f 00000079: PUSH1 0x04 0000007b: DUP1 0000007c: CALLDATASIZE 0000007d: SUB 0000007e: DUP2 0000007f: ADD 00000080: SWAP1 00000081: PUSH2 0x008a 00000084: SWAP2 00000085: SWAP1 00000086: PUSH2 0x0a78 00000089: JUMP 0000008a: JUMPDEST 0000008b: PUSH2 0x03d8 0000008e: JUMP 0000008f: JUMPDEST 00000090: STOP 00000091: JUMPDEST 00000092: PUSH2 0x0099 00000095: PUSH2 0x063f 00000098: JUMP 00000099: JUMPDEST 0000009a: PUSH1 0x40 0000009c: MLOAD 0000009d: PUSH2 0x00a6 000000a0: SWAP2 000000a1: SWAP1 000000a2: PUSH2 0x0ac5 000000a5: JUMP 000000a6: JUMPDEST 000000a7: PUSH1 0x40 000000a9: MLOAD 000000aa: DUP1 000000ab: SWAP2 000000ac: SUB 000000ad: SWAP1 000000ae: RETURN 000000af: JUMPDEST 000000b0: PUSH2 0x00c9 000000b3: PUSH1 0x04 000000b5: DUP1 000000b6: CALLDATASIZE 000000b7: SUB 000000b8: DUP2 000000b9: ADD 000000ba: SWAP1 000000bb: PUSH2 0x00c4 000000be: SWAP2 000000bf: SWAP1 000000c0: PUSH2 0x0a1a 000000c3: JUMP 000000c4: JUMPDEST 000000c5: PUSH2 0x0663 000000c8: JUMP 000000c9: JUMPDEST 000000ca: PUSH1 0x40 000000cc: MLOAD 000000cd: PUSH2 0x00d8 000000d0: SWAP4 000000d1: SWAP3 000000d2: SWAP2 000000d3: SWAP1 000000d4: PUSH2 0x0b07 000000d7: JUMP 000000d8: JUMPDEST 000000d9: PUSH1 0x40 000000db: MLOAD 000000dc: DUP1 000000dd: SWAP2 000000de: SUB 000000df: SWAP1 000000e0: RETURN 000000e1: JUMPDEST 000000e2: PUSH2 0x00fb 000000e5: PUSH1 0x04 000000e7: DUP1 000000e8: CALLDATASIZE 000000e9: SUB 000000ea: DUP2 000000eb: ADD 000000ec: SWAP1 000000ed: PUSH2 0x00f6 000000f0: SWAP2 000000f1: SWAP1 000000f2: PUSH2 0x0a78 000000f5: JUMP 000000f6: JUMPDEST 000000f7: PUSH2 0x0694 000000fa: JUMP 000000fb: JUMPDEST 000000fc: STOP 000000fd: JUMPDEST 000000fe: PUSH32 0x0000000000000000000000000df78d5110b2b2fde4166842922a306f68e1892f 0000011f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000134: AND 00000135: CALLER 00000136: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000014b: AND 0000014c: EQ 0000014d: PUSH2 0x018b 00000150: JUMPI 00000151: PUSH1 0x40 00000153: MLOAD 00000154: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000175: DUP2 00000176: MSTORE 00000177: PUSH1 0x04 00000179: ADD 0000017a: PUSH2 0x0182 0000017d: SWAP1 0000017e: PUSH2 0x0b96 00000181: JUMP 00000182: JUMPDEST 00000183: PUSH1 0x40 00000185: MLOAD 00000186: DUP1 00000187: SWAP2 00000188: SUB 00000189: SWAP1 0000018a: REVERT 0000018b: JUMPDEST 0000018c: PUSH0 0000018d: PUSH0 0000018e: PUSH0 0000018f: DUP4 00000190: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001a5: AND 000001a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001bb: AND 000001bc: DUP2 000001bd: MSTORE 000001be: PUSH1 0x20 000001c0: ADD 000001c1: SWAP1 000001c2: DUP2 000001c3: MSTORE 000001c4: PUSH1 0x20 000001c6: ADD 000001c7: PUSH0 000001c8: KECCAK256 000001c9: PUSH1 0x40 000001cb: MLOAD 000001cc: DUP1 000001cd: PUSH1 0x60 000001cf: ADD 000001d0: PUSH1 0x40 000001d2: MSTORE 000001d3: SWAP1 000001d4: DUP2 000001d5: PUSH0 000001d6: DUP3 000001d7: ADD 000001d8: SLOAD 000001d9: DUP2 000001da: MSTORE 000001db: PUSH1 0x20 000001dd: ADD 000001de: PUSH1 0x01 000001e0: DUP3 000001e1: ADD 000001e2: SLOAD 000001e3: DUP2 000001e4: MSTORE 000001e5: PUSH1 0x20 000001e7: ADD 000001e8: PUSH1 0x02 000001ea: DUP3 000001eb: ADD 000001ec: PUSH0 000001ed: SWAP1 000001ee: SLOAD 000001ef: SWAP1 000001f0: PUSH2 0x0100 000001f3: EXP 000001f4: SWAP1 000001f5: DIV 000001f6: PUSH1 0xff 000001f8: AND 000001f9: ISZERO 000001fa: ISZERO 000001fb: ISZERO 000001fc: ISZERO 000001fd: DUP2 000001fe: MSTORE 000001ff: POP 00000200: POP 00000201: SWAP1 00000202: POP 00000203: DUP1 00000204: PUSH1 0x40 00000206: ADD 00000207: MLOAD 00000208: PUSH2 0x0246 0000020b: JUMPI 0000020c: PUSH1 0x40 0000020e: MLOAD 0000020f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000230: DUP2 00000231: MSTORE 00000232: PUSH1 0x04 00000234: ADD 00000235: PUSH2 0x023d 00000238: SWAP1 00000239: PUSH2 0x0bfe 0000023c: JUMP 0000023d: JUMPDEST 0000023e: PUSH1 0x40 00000240: MLOAD 00000241: DUP1 00000242: SWAP2 00000243: SUB 00000244: SWAP1 00000245: REVERT 00000246: JUMPDEST 00000247: DUP1 00000248: PUSH0 00000249: ADD 0000024a: MLOAD 0000024b: TIMESTAMP 0000024c: LT 0000024d: ISZERO 0000024e: PUSH2 0x028c 00000251: JUMPI 00000252: PUSH1 0x40 00000254: MLOAD 00000255: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000276: DUP2 00000277: MSTORE 00000278: PUSH1 0x04 0000027a: ADD 0000027b: PUSH2 0x0283 0000027e: SWAP1 0000027f: PUSH2 0x0c66 00000282: JUMP 00000283: JUMPDEST 00000284: PUSH1 0x40 00000286: MLOAD 00000287: DUP1 00000288: SWAP2 00000289: SUB 0000028a: SWAP1 0000028b: REVERT 0000028c: JUMPDEST 0000028d: PUSH0 0000028e: PUSH0 0000028f: DUP4 00000290: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002a5: AND 000002a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002bb: AND 000002bc: DUP2 000002bd: MSTORE 000002be: PUSH1 0x20 000002c0: ADD 000002c1: SWAP1 000002c2: DUP2 000002c3: MSTORE 000002c4: PUSH1 0x20 000002c6: ADD 000002c7: PUSH0 000002c8: KECCAK256 000002c9: PUSH0 000002ca: PUSH0 000002cb: DUP3 000002cc: ADD 000002cd: PUSH0 000002ce: SWAP1 000002cf: SSTORE 000002d0: PUSH1 0x01 000002d2: DUP3 000002d3: ADD 000002d4: PUSH0 000002d5: SWAP1 000002d6: SSTORE 000002d7: PUSH1 0x02 000002d9: DUP3 000002da: ADD 000002db: PUSH0 000002dc: PUSH2 0x0100 000002df: EXP 000002e0: DUP2 000002e1: SLOAD 000002e2: SWAP1 000002e3: PUSH1 0xff 000002e5: MUL 000002e6: NOT 000002e7: AND 000002e8: SWAP1 000002e9: SSTORE 000002ea: POP 000002eb: POP 000002ec: PUSH0 000002ed: DUP3 000002ee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000303: AND 00000304: PUSH4 0x70a08231 00000309: ADDRESS 0000030a: PUSH1 0x40 0000030c: MLOAD 0000030d: DUP3 0000030e: PUSH4 0xffffffff 00000313: AND 00000314: PUSH1 0xe0 00000316: SHL 00000317: DUP2 00000318: MSTORE 00000319: PUSH1 0x04 0000031b: ADD 0000031c: PUSH2 0x0325 0000031f: SWAP2 00000320: SWAP1 00000321: PUSH2 0x0ac5 00000324: JUMP 00000325: JUMPDEST 00000326: PUSH1 0x20 00000328: PUSH1 0x40 0000032a: MLOAD 0000032b: DUP1 0000032c: DUP4 0000032d: SUB 0000032e: DUP2 0000032f: DUP7 00000330: GAS 00000331: STATICCALL 00000332: ISZERO 00000333: DUP1 00000334: ISZERO 00000335: PUSH2 0x0340 00000338: JUMPI 00000339: RETURNDATASIZE 0000033a: PUSH0 0000033b: PUSH0 0000033c: RETURNDATACOPY 0000033d: RETURNDATASIZE 0000033e: PUSH0 0000033f: REVERT 00000340: JUMPDEST 00000341: POP 00000342: POP 00000343: POP 00000344: POP 00000345: PUSH1 0x40 00000347: MLOAD 00000348: RETURNDATASIZE 00000349: PUSH1 0x1f 0000034b: NOT 0000034c: PUSH1 0x1f 0000034e: DUP3 0000034f: ADD 00000350: AND 00000351: DUP3 00000352: ADD 00000353: DUP1 00000354: PUSH1 0x40 00000356: MSTORE 00000357: POP 00000358: DUP2 00000359: ADD 0000035a: SWAP1 0000035b: PUSH2 0x0364 0000035e: SWAP2 0000035f: SWAP1 00000360: PUSH2 0x0c98 00000363: JUMP 00000364: JUMPDEST 00000365: SWAP1 00000366: POP 00000367: PUSH0 00000368: DUP2 00000369: GT 0000036a: PUSH2 0x03a8 0000036d: JUMPI 0000036e: PUSH1 0x40 00000370: MLOAD 00000371: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000392: DUP2 00000393: MSTORE 00000394: PUSH1 0x04 00000396: ADD 00000397: PUSH2 0x039f 0000039a: SWAP1 0000039b: PUSH2 0x0d0d 0000039e: JUMP 0000039f: JUMPDEST 000003a0: PUSH1 0x40 000003a2: MLOAD 000003a3: DUP1 000003a4: SWAP2 000003a5: SUB 000003a6: SWAP1 000003a7: REVERT 000003a8: JUMPDEST 000003a9: PUSH2 0x03d3 000003ac: DUP4 000003ad: PUSH32 0x0000000000000000000000000df78d5110b2b2fde4166842922a306f68e1892f 000003ce: DUP4 000003cf: PUSH2 0x0855 000003d2: JUMP 000003d3: JUMPDEST 000003d4: POP 000003d5: POP 000003d6: POP 000003d7: JUMP 000003d8: JUMPDEST 000003d9: PUSH32 0x0000000000000000000000000df78d5110b2b2fde4166842922a306f68e1892f 000003fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000040f: AND 00000410: CALLER 00000411: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000426: AND 00000427: EQ 00000428: PUSH2 0x0466 0000042b: JUMPI 0000042c: PUSH1 0x40 0000042e: MLOAD 0000042f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000450: DUP2 00000451: MSTORE 00000452: PUSH1 0x04 00000454: ADD 00000455: PUSH2 0x045d 00000458: SWAP1 00000459: PUSH2 0x0b96 0000045c: JUMP 0000045d: JUMPDEST 0000045e: PUSH1 0x40 00000460: MLOAD 00000461: DUP1 00000462: SWAP2 00000463: SUB 00000464: SWAP1 00000465: REVERT 00000466: JUMPDEST 00000467: PUSH0 00000468: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000047d: AND 0000047e: DUP3 0000047f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000494: AND 00000495: SUB 00000496: PUSH2 0x04d4 00000499: JUMPI 0000049a: PUSH1 0x40 0000049c: MLOAD 0000049d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000004be: DUP2 000004bf: MSTORE 000004c0: PUSH1 0x04 000004c2: ADD 000004c3: PUSH2 0x04cb 000004c6: SWAP1 000004c7: PUSH2 0x0d75 000004ca: JUMP 000004cb: JUMPDEST 000004cc: PUSH1 0x40 000004ce: MLOAD 000004cf: DUP1 000004d0: SWAP2 000004d1: SUB 000004d2: SWAP1 000004d3: REVERT 000004d4: JUMPDEST 000004d5: PUSH0 000004d6: PUSH0 000004d7: DUP4 000004d8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004ed: AND 000004ee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000503: AND 00000504: DUP2 00000505: MSTORE 00000506: PUSH1 0x20 00000508: ADD 00000509: SWAP1 0000050a: DUP2 0000050b: MSTORE 0000050c: PUSH1 0x20 0000050e: ADD 0000050f: PUSH0 00000510: KECCAK256 00000511: PUSH1 0x02 00000513: ADD 00000514: PUSH0 00000515: SWAP1 00000516: SLOAD 00000517: SWAP1 00000518: PUSH2 0x0100 0000051b: EXP 0000051c: SWAP1 0000051d: DIV 0000051e: PUSH1 0xff 00000520: AND 00000521: ISZERO 00000522: PUSH2 0x0560 00000525: JUMPI 00000526: PUSH1 0x40 00000528: MLOAD 00000529: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000054a: DUP2 0000054b: MSTORE 0000054c: PUSH1 0x04 0000054e: ADD 0000054f: PUSH2 0x0557 00000552: SWAP1 00000553: PUSH2 0x0ddd 00000556: JUMP 00000557: JUMPDEST 00000558: PUSH1 0x40 0000055a: MLOAD 0000055b: DUP1 0000055c: SWAP2 0000055d: SUB 0000055e: SWAP1 0000055f: REVERT 00000560: JUMPDEST 00000561: PUSH0 00000562: DUP2 00000563: GT 00000564: PUSH2 0x05a2 00000567: JUMPI 00000568: PUSH1 0x40 0000056a: MLOAD 0000056b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000058c: DUP2 0000058d: MSTORE 0000058e: PUSH1 0x04 00000590: ADD 00000591: PUSH2 0x0599 00000594: SWAP1 00000595: PUSH2 0x0e45 00000598: JUMP 00000599: JUMPDEST 0000059a: PUSH1 0x40 0000059c: MLOAD 0000059d: DUP1 0000059e: SWAP2 0000059f: SUB 000005a0: SWAP1 000005a1: REVERT 000005a2: JUMPDEST 000005a3: PUSH1 0x40 000005a5: MLOAD 000005a6: DUP1 000005a7: PUSH1 0x60 000005a9: ADD 000005aa: PUSH1 0x40 000005ac: MSTORE 000005ad: DUP1 000005ae: DUP3 000005af: TIMESTAMP 000005b0: PUSH2 0x05b9 000005b3: SWAP2 000005b4: SWAP1 000005b5: PUSH2 0x0e90 000005b8: JUMP 000005b9: JUMPDEST 000005ba: DUP2 000005bb: MSTORE 000005bc: PUSH1 0x20 000005be: ADD 000005bf: TIMESTAMP 000005c0: DUP2 000005c1: MSTORE 000005c2: PUSH1 0x20 000005c4: ADD 000005c5: PUSH1 0x01 000005c7: ISZERO 000005c8: ISZERO 000005c9: DUP2 000005ca: MSTORE 000005cb: POP 000005cc: PUSH0 000005cd: PUSH0 000005ce: DUP5 000005cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005e4: AND 000005e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005fa: AND 000005fb: DUP2 000005fc: MSTORE 000005fd: PUSH1 0x20 000005ff: ADD 00000600: SWAP1 00000601: DUP2 00000602: MSTORE 00000603: PUSH1 0x20 00000605: ADD 00000606: PUSH0 00000607: KECCAK256 00000608: PUSH0 00000609: DUP3 0000060a: ADD 0000060b: MLOAD 0000060c: DUP2 0000060d: PUSH0 0000060e: ADD 0000060f: SSTORE 00000610: PUSH1 0x20 00000612: DUP3 00000613: ADD 00000614: MLOAD 00000615: DUP2 00000616: PUSH1 0x01 00000618: ADD 00000619: SSTORE 0000061a: PUSH1 0x40 0000061c: DUP3 0000061d: ADD 0000061e: MLOAD 0000061f: DUP2 00000620: PUSH1 0x02 00000622: ADD 00000623: PUSH0 00000624: PUSH2 0x0100 00000627: EXP 00000628: DUP2 00000629: SLOAD 0000062a: DUP2 0000062b: PUSH1 0xff 0000062d: MUL 0000062e: NOT 0000062f: AND 00000630: SWAP1 00000631: DUP4 00000632: ISZERO 00000633: ISZERO 00000634: MUL 00000635: OR 00000636: SWAP1 00000637: SSTORE 00000638: POP 00000639: SWAP1 0000063a: POP 0000063b: POP 0000063c: POP 0000063d: POP 0000063e: JUMP 0000063f: JUMPDEST 00000640: PUSH32 0x0000000000000000000000000df78d5110b2b2fde4166842922a306f68e1892f 00000661: DUP2 00000662: JUMP 00000663: JUMPDEST 00000664: PUSH0 00000665: PUSH1 0x20 00000667: MSTORE 00000668: DUP1 00000669: PUSH0 0000066a: MSTORE 0000066b: PUSH1 0x40 0000066d: PUSH0 0000066e: KECCAK256 0000066f: PUSH0 00000670: SWAP2 00000671: POP 00000672: SWAP1 00000673: POP 00000674: DUP1 00000675: PUSH0 00000676: ADD 00000677: SLOAD 00000678: SWAP1 00000679: DUP1 0000067a: PUSH1 0x01 0000067c: ADD 0000067d: SLOAD 0000067e: SWAP1 0000067f: DUP1 00000680: PUSH1 0x02 00000682: ADD 00000683: PUSH0 00000684: SWAP1 00000685: SLOAD 00000686: SWAP1 00000687: PUSH2 0x0100 0000068a: EXP 0000068b: SWAP1 0000068c: DIV 0000068d: PUSH1 0xff 0000068f: AND 00000690: SWAP1 00000691: POP 00000692: DUP4 00000693: JUMP 00000694: JUMPDEST 00000695: PUSH32 0x0000000000000000000000000df78d5110b2b2fde4166842922a306f68e1892f 000006b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006cb: AND 000006cc: CALLER 000006cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006e2: AND 000006e3: EQ 000006e4: PUSH2 0x0722 000006e7: JUMPI 000006e8: PUSH1 0x40 000006ea: MLOAD 000006eb: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000070c: DUP2 0000070d: MSTORE 0000070e: PUSH1 0x04 00000710: ADD 00000711: PUSH2 0x0719 00000714: SWAP1 00000715: PUSH2 0x0b96 00000718: JUMP 00000719: JUMPDEST 0000071a: PUSH1 0x40 0000071c: MLOAD 0000071d: DUP1 0000071e: SWAP2 0000071f: SUB 00000720: SWAP1 00000721: REVERT 00000722: JUMPDEST 00000723: PUSH0 00000724: PUSH0 00000725: PUSH0 00000726: DUP5 00000727: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000073c: AND 0000073d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000752: AND 00000753: DUP2 00000754: MSTORE 00000755: PUSH1 0x20 00000757: ADD 00000758: SWAP1 00000759: DUP2 0000075a: MSTORE 0000075b: PUSH1 0x20 0000075d: ADD 0000075e: PUSH0 0000075f: KECCAK256 00000760: SWAP1 00000761: POP 00000762: DUP1 00000763: PUSH1 0x02 00000765: ADD 00000766: PUSH0 00000767: SWAP1 00000768: SLOAD 00000769: SWAP1 0000076a: PUSH2 0x0100 0000076d: EXP 0000076e: SWAP1 0000076f: DIV 00000770: PUSH1 0xff 00000772: AND 00000773: PUSH2 0x07b1 00000776: JUMPI 00000777: PUSH1 0x40 00000779: MLOAD 0000077a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000079b: DUP2 0000079c: MSTORE 0000079d: PUSH1 0x04 0000079f: ADD 000007a0: PUSH2 0x07a8 000007a3: SWAP1 000007a4: PUSH2 0x0bfe 000007a7: JUMP 000007a8: JUMPDEST 000007a9: PUSH1 0x40 000007ab: MLOAD 000007ac: DUP1 000007ad: SWAP2 000007ae: SUB 000007af: SWAP1 000007b0: REVERT 000007b1: JUMPDEST 000007b2: PUSH3 0x278d00 000007b6: DUP2 000007b7: PUSH1 0x01 000007b9: ADD 000007ba: SLOAD 000007bb: PUSH2 0x07c4 000007be: SWAP2 000007bf: SWAP1 000007c0: PUSH2 0x0e90 000007c3: JUMP 000007c4: JUMPDEST 000007c5: TIMESTAMP 000007c6: LT 000007c7: ISZERO 000007c8: PUSH2 0x0806 000007cb: JUMPI 000007cc: PUSH1 0x40 000007ce: MLOAD 000007cf: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000007f0: DUP2 000007f1: MSTORE 000007f2: PUSH1 0x04 000007f4: ADD 000007f5: PUSH2 0x07fd 000007f8: SWAP1 000007f9: PUSH2 0x0f0d 000007fc: JUMP 000007fd: JUMPDEST 000007fe: PUSH1 0x40 00000800: MLOAD 00000801: DUP1 00000802: SWAP2 00000803: SUB 00000804: SWAP1 00000805: REVERT 00000806: JUMPDEST 00000807: TIMESTAMP 00000808: DUP3 00000809: GT 0000080a: PUSH2 0x0848 0000080d: JUMPI 0000080e: PUSH1 0x40 00000810: MLOAD 00000811: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000832: DUP2 00000833: MSTORE 00000834: PUSH1 0x04 00000836: ADD 00000837: PUSH2 0x083f 0000083a: SWAP1 0000083b: PUSH2 0x0f75 0000083e: JUMP 0000083f: JUMPDEST 00000840: PUSH1 0x40 00000842: MLOAD 00000843: DUP1 00000844: SWAP2 00000845: SUB 00000846: SWAP1 00000847: REVERT 00000848: JUMPDEST 00000849: DUP2 0000084a: DUP2 0000084b: PUSH0 0000084c: ADD 0000084d: DUP2 0000084e: SWAP1 0000084f: SSTORE 00000850: POP 00000851: POP 00000852: POP 00000853: POP 00000854: JUMP 00000855: JUMPDEST 00000856: PUSH0 00000857: PUSH0 00000858: DUP5 00000859: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000086e: AND 0000086f: DUP5 00000870: DUP5 00000871: PUSH1 0x40 00000873: MLOAD 00000874: PUSH1 0x24 00000876: ADD 00000877: PUSH2 0x0881 0000087a: SWAP3 0000087b: SWAP2 0000087c: SWAP1 0000087d: PUSH2 0x0f93 00000880: JUMP 00000881: JUMPDEST 00000882: PUSH1 0x40 00000884: MLOAD 00000885: PUSH1 0x20 00000887: DUP2 00000888: DUP4 00000889: SUB 0000088a: SUB 0000088b: DUP2 0000088c: MSTORE 0000088d: SWAP1 0000088e: PUSH1 0x40 00000890: MSTORE 00000891: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000 000008b2: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000008cf: NOT 000008d0: AND 000008d1: PUSH1 0x20 000008d3: DUP3 000008d4: ADD 000008d5: DUP1 000008d6: MLOAD 000008d7: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000008f4: DUP4 000008f5: DUP2 000008f6: DUP4 000008f7: AND 000008f8: OR 000008f9: DUP4 000008fa: MSTORE 000008fb: POP 000008fc: POP 000008fd: POP 000008fe: POP 000008ff: PUSH1 0x40 00000901: MLOAD 00000902: PUSH2 0x090b 00000905: SWAP2 00000906: SWAP1 00000907: PUSH2 0x100c 0000090a: JUMP 0000090b: JUMPDEST 0000090c: PUSH0 0000090d: PUSH1 0x40 0000090f: MLOAD 00000910: DUP1 00000911: DUP4 00000912: SUB 00000913: DUP2 00000914: PUSH0 00000915: DUP7 00000916: GAS 00000917: CALL 00000918: SWAP2 00000919: POP 0000091a: POP 0000091b: RETURNDATASIZE 0000091c: DUP1 0000091d: PUSH0 0000091e: DUP2 0000091f: EQ 00000920: PUSH2 0x0944 00000923: JUMPI 00000924: PUSH1 0x40 00000926: MLOAD 00000927: SWAP2 00000928: POP 00000929: PUSH1 0x1f 0000092b: NOT 0000092c: PUSH1 0x3f 0000092e: RETURNDATASIZE 0000092f: ADD 00000930: AND 00000931: DUP3 00000932: ADD 00000933: PUSH1 0x40 00000935: MSTORE 00000936: RETURNDATASIZE 00000937: DUP3 00000938: MSTORE 00000939: RETURNDATASIZE 0000093a: PUSH0 0000093b: PUSH1 0x20 0000093d: DUP5 0000093e: ADD 0000093f: RETURNDATACOPY 00000940: PUSH2 0x0949 00000943: JUMP 00000944: JUMPDEST 00000945: PUSH1 0x60 00000947: SWAP2 00000948: POP 00000949: JUMPDEST 0000094a: POP 0000094b: SWAP2 0000094c: POP 0000094d: SWAP2 0000094e: POP 0000094f: DUP2 00000950: DUP1 00000951: ISZERO 00000952: PUSH2 0x0976 00000955: JUMPI 00000956: POP 00000957: PUSH0 00000958: DUP2 00000959: MLOAD 0000095a: EQ 0000095b: DUP1 0000095c: PUSH2 0x0975 0000095f: JUMPI 00000960: POP 00000961: DUP1 00000962: DUP1 00000963: PUSH1 0x20 00000965: ADD 00000966: SWAP1 00000967: MLOAD 00000968: DUP2 00000969: ADD 0000096a: SWAP1 0000096b: PUSH2 0x0974 0000096e: SWAP2 0000096f: SWAP1 00000970: PUSH2 0x104c 00000973: JUMP 00000974: JUMPDEST 00000975: JUMPDEST 00000976: JUMPDEST 00000977: PUSH2 0x09b5 0000097a: JUMPI 0000097b: PUSH1 0x40 0000097d: MLOAD 0000097e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000099f: DUP2 000009a0: MSTORE 000009a1: PUSH1 0x04 000009a3: ADD 000009a4: PUSH2 0x09ac 000009a7: SWAP1 000009a8: PUSH2 0x10c1 000009ab: JUMP 000009ac: JUMPDEST 000009ad: PUSH1 0x40 000009af: MLOAD 000009b0: DUP1 000009b1: SWAP2 000009b2: SUB 000009b3: SWAP1 000009b4: REVERT 000009b5: JUMPDEST 000009b6: POP 000009b7: POP 000009b8: POP 000009b9: POP 000009ba: POP 000009bb: JUMP 000009bc: JUMPDEST 000009bd: PUSH0 000009be: PUSH0 000009bf: REVERT 000009c0: JUMPDEST 000009c1: PUSH0 000009c2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009d7: DUP3 000009d8: AND 000009d9: SWAP1 000009da: POP 000009db: SWAP2 000009dc: SWAP1 000009dd: POP 000009de: JUMP 000009df: JUMPDEST 000009e0: PUSH0 000009e1: PUSH2 0x09e9 000009e4: DUP3 000009e5: PUSH2 0x09c0 000009e8: JUMP 000009e9: JUMPDEST 000009ea: SWAP1 000009eb: POP 000009ec: SWAP2 000009ed: SWAP1 000009ee: POP 000009ef: JUMP 000009f0: JUMPDEST 000009f1: PUSH2 0x09f9 000009f4: DUP2 000009f5: PUSH2 0x09df 000009f8: JUMP 000009f9: JUMPDEST 000009fa: DUP2 000009fb: EQ 000009fc: PUSH2 0x0a03 000009ff: JUMPI 00000a00: PUSH0 00000a01: PUSH0 00000a02: REVERT 00000a03: JUMPDEST 00000a04: POP 00000a05: JUMP 00000a06: JUMPDEST 00000a07: PUSH0 00000a08: DUP2 00000a09: CALLDATALOAD 00000a0a: SWAP1 00000a0b: POP 00000a0c: PUSH2 0x0a14 00000a0f: DUP2 00000a10: PUSH2 0x09f0 00000a13: JUMP 00000a14: JUMPDEST 00000a15: SWAP3 00000a16: SWAP2 00000a17: POP 00000a18: POP 00000a19: JUMP 00000a1a: JUMPDEST 00000a1b: PUSH0 00000a1c: PUSH1 0x20 00000a1e: DUP3 00000a1f: DUP5 00000a20: SUB 00000a21: SLT 00000a22: ISZERO 00000a23: PUSH2 0x0a2f 00000a26: JUMPI 00000a27: PUSH2 0x0a2e 00000a2a: PUSH2 0x09bc 00000a2d: JUMP 00000a2e: JUMPDEST 00000a2f: JUMPDEST 00000a30: PUSH0 00000a31: PUSH2 0x0a3c 00000a34: DUP5 00000a35: DUP3 00000a36: DUP6 00000a37: ADD 00000a38: PUSH2 0x0a06 00000a3b: JUMP 00000a3c: JUMPDEST 00000a3d: SWAP2 00000a3e: POP 00000a3f: POP 00000a40: SWAP3 00000a41: SWAP2 00000a42: POP 00000a43: POP 00000a44: JUMP 00000a45: JUMPDEST 00000a46: PUSH0 00000a47: DUP2 00000a48: SWAP1 00000a49: POP 00000a4a: SWAP2 00000a4b: SWAP1 00000a4c: POP 00000a4d: JUMP 00000a4e: JUMPDEST 00000a4f: PUSH2 0x0a57 00000a52: DUP2 00000a53: PUSH2 0x0a45 00000a56: JUMP 00000a57: JUMPDEST 00000a58: DUP2 00000a59: EQ 00000a5a: PUSH2 0x0a61 00000a5d: JUMPI 00000a5e: PUSH0 00000a5f: PUSH0 00000a60: REVERT 00000a61: JUMPDEST 00000a62: POP 00000a63: JUMP 00000a64: JUMPDEST 00000a65: PUSH0 00000a66: DUP2 00000a67: CALLDATALOAD 00000a68: SWAP1 00000a69: POP 00000a6a: PUSH2 0x0a72 00000a6d: DUP2 00000a6e: PUSH2 0x0a4e 00000a71: JUMP 00000a72: JUMPDEST 00000a73: SWAP3 00000a74: SWAP2 00000a75: POP 00000a76: POP 00000a77: JUMP 00000a78: JUMPDEST 00000a79: PUSH0 00000a7a: PUSH0 00000a7b: PUSH1 0x40 00000a7d: DUP4 00000a7e: DUP6 00000a7f: SUB 00000a80: SLT 00000a81: ISZERO 00000a82: PUSH2 0x0a8e 00000a85: JUMPI 00000a86: PUSH2 0x0a8d 00000a89: PUSH2 0x09bc 00000a8c: JUMP 00000a8d: JUMPDEST 00000a8e: JUMPDEST 00000a8f: PUSH0 00000a90: PUSH2 0x0a9b 00000a93: DUP6 00000a94: DUP3 00000a95: DUP7 00000a96: ADD 00000a97: PUSH2 0x0a06 00000a9a: JUMP 00000a9b: JUMPDEST 00000a9c: SWAP3 00000a9d: POP 00000a9e: POP 00000a9f: PUSH1 0x20 00000aa1: PUSH2 0x0aac 00000aa4: DUP6 00000aa5: DUP3 00000aa6: DUP7 00000aa7: ADD 00000aa8: PUSH2 0x0a64 00000aab: JUMP 00000aac: JUMPDEST 00000aad: SWAP2 00000aae: POP 00000aaf: POP 00000ab0: SWAP3 00000ab1: POP 00000ab2: SWAP3 00000ab3: SWAP1 00000ab4: POP 00000ab5: JUMP 00000ab6: JUMPDEST 00000ab7: PUSH2 0x0abf 00000aba: DUP2 00000abb: PUSH2 0x09df 00000abe: JUMP 00000abf: JUMPDEST 00000ac0: DUP3 00000ac1: MSTORE 00000ac2: POP 00000ac3: POP 00000ac4: JUMP 00000ac5: JUMPDEST 00000ac6: PUSH0 00000ac7: PUSH1 0x20 00000ac9: DUP3 00000aca: ADD 00000acb: SWAP1 00000acc: POP 00000acd: PUSH2 0x0ad8 00000ad0: PUSH0 00000ad1: DUP4 00000ad2: ADD 00000ad3: DUP5 00000ad4: PUSH2 0x0ab6 00000ad7: JUMP 00000ad8: JUMPDEST 00000ad9: SWAP3 00000ada: SWAP2 00000adb: POP 00000adc: POP 00000add: JUMP 00000ade: JUMPDEST 00000adf: PUSH2 0x0ae7 00000ae2: DUP2 00000ae3: PUSH2 0x0a45 00000ae6: JUMP 00000ae7: JUMPDEST 00000ae8: DUP3 00000ae9: MSTORE 00000aea: POP 00000aeb: POP 00000aec: JUMP 00000aed: JUMPDEST 00000aee: PUSH0 00000aef: DUP2 00000af0: ISZERO 00000af1: ISZERO 00000af2: SWAP1 00000af3: POP 00000af4: SWAP2 00000af5: SWAP1 00000af6: POP 00000af7: JUMP 00000af8: JUMPDEST 00000af9: PUSH2 0x0b01 00000afc: DUP2 00000afd: PUSH2 0x0aed 00000b00: JUMP 00000b01: JUMPDEST 00000b02: DUP3 00000b03: MSTORE 00000b04: POP 00000b05: POP 00000b06: JUMP 00000b07: JUMPDEST 00000b08: PUSH0 00000b09: PUSH1 0x60 00000b0b: DUP3 00000b0c: ADD 00000b0d: SWAP1 00000b0e: POP 00000b0f: PUSH2 0x0b1a 00000b12: PUSH0 00000b13: DUP4 00000b14: ADD 00000b15: DUP7 00000b16: PUSH2 0x0ade 00000b19: JUMP 00000b1a: JUMPDEST 00000b1b: PUSH2 0x0b27 00000b1e: PUSH1 0x20 00000b20: DUP4 00000b21: ADD 00000b22: DUP6 00000b23: PUSH2 0x0ade 00000b26: JUMP 00000b27: JUMPDEST 00000b28: PUSH2 0x0b34 00000b2b: PUSH1 0x40 00000b2d: DUP4 00000b2e: ADD 00000b2f: DUP5 00000b30: PUSH2 0x0af8 00000b33: JUMP 00000b34: JUMPDEST 00000b35: SWAP5 00000b36: SWAP4 00000b37: POP 00000b38: POP 00000b39: POP 00000b3a: POP 00000b3b: JUMP 00000b3c: JUMPDEST 00000b3d: PUSH0 00000b3e: DUP3 00000b3f: DUP3 00000b40: MSTORE 00000b41: PUSH1 0x20 00000b43: DUP3 00000b44: ADD 00000b45: SWAP1 00000b46: POP 00000b47: SWAP3 00000b48: SWAP2 00000b49: POP 00000b4a: POP 00000b4b: JUMP 00000b4c: JUMPDEST 00000b4d: PUSH32 0x4e6f742062656e65666963696172790000000000000000000000000000000000 00000b6e: PUSH0 00000b6f: DUP3 00000b70: ADD 00000b71: MSTORE 00000b72: POP 00000b73: JUMP 00000b74: JUMPDEST 00000b75: PUSH0 00000b76: PUSH2 0x0b80 00000b79: PUSH1 0x0f 00000b7b: DUP4 00000b7c: PUSH2 0x0b3c 00000b7f: JUMP 00000b80: JUMPDEST 00000b81: SWAP2 00000b82: POP 00000b83: PUSH2 0x0b8b 00000b86: DUP3 00000b87: PUSH2 0x0b4c 00000b8a: JUMP 00000b8b: JUMPDEST 00000b8c: PUSH1 0x20 00000b8e: DUP3 00000b8f: ADD 00000b90: SWAP1 00000b91: POP 00000b92: SWAP2 00000b93: SWAP1 00000b94: POP 00000b95: JUMP 00000b96: JUMPDEST 00000b97: PUSH0 00000b98: PUSH1 0x20 00000b9a: DUP3 00000b9b: ADD 00000b9c: SWAP1 00000b9d: POP 00000b9e: DUP2 00000b9f: DUP2 00000ba0: SUB 00000ba1: PUSH0 00000ba2: DUP4 00000ba3: ADD 00000ba4: MSTORE 00000ba5: PUSH2 0x0bad 00000ba8: DUP2 00000ba9: PUSH2 0x0b74 00000bac: JUMP 00000bad: JUMPDEST 00000bae: SWAP1 00000baf: POP 00000bb0: SWAP2 00000bb1: SWAP1 00000bb2: POP 00000bb3: JUMP 00000bb4: JUMPDEST 00000bb5: PUSH32 0x4e6f206c6f636b00000000000000000000000000000000000000000000000000 00000bd6: PUSH0 00000bd7: DUP3 00000bd8: ADD 00000bd9: MSTORE 00000bda: POP 00000bdb: JUMP 00000bdc: JUMPDEST 00000bdd: PUSH0 00000bde: PUSH2 0x0be8 00000be1: PUSH1 0x07 00000be3: DUP4 00000be4: PUSH2 0x0b3c 00000be7: JUMP 00000be8: JUMPDEST 00000be9: SWAP2 00000bea: POP 00000beb: PUSH2 0x0bf3 00000bee: DUP3 00000bef: PUSH2 0x0bb4 00000bf2: JUMP 00000bf3: JUMPDEST 00000bf4: PUSH1 0x20 00000bf6: DUP3 00000bf7: ADD 00000bf8: SWAP1 00000bf9: POP 00000bfa: SWAP2 00000bfb: SWAP1 00000bfc: POP 00000bfd: JUMP 00000bfe: JUMPDEST 00000bff: PUSH0 00000c00: PUSH1 0x20 00000c02: DUP3 00000c03: ADD 00000c04: SWAP1 00000c05: POP 00000c06: DUP2 00000c07: DUP2 00000c08: SUB 00000c09: PUSH0 00000c0a: DUP4 00000c0b: ADD 00000c0c: MSTORE 00000c0d: PUSH2 0x0c15 00000c10: DUP2 00000c11: PUSH2 0x0bdc 00000c14: JUMP 00000c15: JUMPDEST 00000c16: SWAP1 00000c17: POP 00000c18: SWAP2 00000c19: SWAP1 00000c1a: POP 00000c1b: JUMP 00000c1c: JUMPDEST 00000c1d: PUSH32 0x5374696c6c206c6f636b65640000000000000000000000000000000000000000 00000c3e: PUSH0 00000c3f: DUP3 00000c40: ADD 00000c41: MSTORE 00000c42: POP 00000c43: JUMP 00000c44: JUMPDEST 00000c45: PUSH0 00000c46: PUSH2 0x0c50 00000c49: PUSH1 0x0c 00000c4b: DUP4 00000c4c: PUSH2 0x0b3c 00000c4f: JUMP 00000c50: JUMPDEST 00000c51: SWAP2 00000c52: POP 00000c53: PUSH2 0x0c5b 00000c56: DUP3 00000c57: PUSH2 0x0c1c 00000c5a: JUMP 00000c5b: JUMPDEST 00000c5c: PUSH1 0x20 00000c5e: DUP3 00000c5f: ADD 00000c60: SWAP1 00000c61: POP 00000c62: SWAP2 00000c63: SWAP1 00000c64: POP 00000c65: JUMP 00000c66: JUMPDEST 00000c67: PUSH0 00000c68: PUSH1 0x20 00000c6a: DUP3 00000c6b: ADD 00000c6c: SWAP1 00000c6d: POP 00000c6e: DUP2 00000c6f: DUP2 00000c70: SUB 00000c71: PUSH0 00000c72: DUP4 00000c73: ADD 00000c74: MSTORE 00000c75: PUSH2 0x0c7d 00000c78: DUP2 00000c79: PUSH2 0x0c44 00000c7c: JUMP 00000c7d: JUMPDEST 00000c7e: SWAP1 00000c7f: POP 00000c80: SWAP2 00000c81: SWAP1 00000c82: POP 00000c83: JUMP 00000c84: JUMPDEST 00000c85: PUSH0 00000c86: DUP2 00000c87: MLOAD 00000c88: SWAP1 00000c89: POP 00000c8a: PUSH2 0x0c92 00000c8d: DUP2 00000c8e: PUSH2 0x0a4e 00000c91: JUMP 00000c92: JUMPDEST 00000c93: SWAP3 00000c94: SWAP2 00000c95: POP 00000c96: POP 00000c97: JUMP 00000c98: JUMPDEST 00000c99: PUSH0 00000c9a: PUSH1 0x20 00000c9c: DUP3 00000c9d: DUP5 00000c9e: SUB 00000c9f: SLT 00000ca0: ISZERO 00000ca1: PUSH2 0x0cad 00000ca4: JUMPI 00000ca5: PUSH2 0x0cac 00000ca8: PUSH2 0x09bc 00000cab: JUMP 00000cac: JUMPDEST 00000cad: JUMPDEST 00000cae: PUSH0 00000caf: PUSH2 0x0cba 00000cb2: DUP5 00000cb3: DUP3 00000cb4: DUP6 00000cb5: ADD 00000cb6: PUSH2 0x0c84 00000cb9: JUMP 00000cba: JUMPDEST 00000cbb: SWAP2 00000cbc: POP 00000cbd: POP 00000cbe: SWAP3 00000cbf: SWAP2 00000cc0: POP 00000cc1: POP 00000cc2: JUMP 00000cc3: JUMPDEST 00000cc4: PUSH32 0x4e6f2062616c616e636500000000000000000000000000000000000000000000 00000ce5: PUSH0 00000ce6: DUP3 00000ce7: ADD 00000ce8: MSTORE 00000ce9: POP 00000cea: JUMP 00000ceb: JUMPDEST 00000cec: PUSH0 00000ced: PUSH2 0x0cf7 00000cf0: PUSH1 0x0a 00000cf2: DUP4 00000cf3: PUSH2 0x0b3c 00000cf6: JUMP 00000cf7: JUMPDEST 00000cf8: SWAP2 00000cf9: POP 00000cfa: PUSH2 0x0d02 00000cfd: DUP3 00000cfe: PUSH2 0x0cc3 00000d01: JUMP 00000d02: JUMPDEST 00000d03: PUSH1 0x20 00000d05: DUP3 00000d06: ADD 00000d07: SWAP1 00000d08: POP 00000d09: SWAP2 00000d0a: SWAP1 00000d0b: POP 00000d0c: JUMP 00000d0d: JUMPDEST 00000d0e: PUSH0 00000d0f: PUSH1 0x20 00000d11: DUP3 00000d12: ADD 00000d13: SWAP1 00000d14: POP 00000d15: DUP2 00000d16: DUP2 00000d17: SUB 00000d18: PUSH0 00000d19: DUP4 00000d1a: ADD 00000d1b: MSTORE 00000d1c: PUSH2 0x0d24 00000d1f: DUP2 00000d20: PUSH2 0x0ceb 00000d23: JUMP 00000d24: JUMPDEST 00000d25: SWAP1 00000d26: POP 00000d27: SWAP2 00000d28: SWAP1 00000d29: POP 00000d2a: JUMP 00000d2b: JUMPDEST 00000d2c: PUSH32 0x496e76616c696420746f6b656e00000000000000000000000000000000000000 00000d4d: PUSH0 00000d4e: DUP3 00000d4f: ADD 00000d50: MSTORE 00000d51: POP 00000d52: JUMP 00000d53: JUMPDEST 00000d54: PUSH0 00000d55: PUSH2 0x0d5f 00000d58: PUSH1 0x0d 00000d5a: DUP4 00000d5b: PUSH2 0x0b3c 00000d5e: JUMP 00000d5f: JUMPDEST 00000d60: SWAP2 00000d61: POP 00000d62: PUSH2 0x0d6a 00000d65: DUP3 00000d66: PUSH2 0x0d2b 00000d69: JUMP 00000d6a: JUMPDEST 00000d6b: PUSH1 0x20 00000d6d: DUP3 00000d6e: ADD 00000d6f: SWAP1 00000d70: POP 00000d71: SWAP2 00000d72: SWAP1 00000d73: POP 00000d74: JUMP 00000d75: JUMPDEST 00000d76: PUSH0 00000d77: PUSH1 0x20 00000d79: DUP3 00000d7a: ADD 00000d7b: SWAP1 00000d7c: POP 00000d7d: DUP2 00000d7e: DUP2 00000d7f: SUB 00000d80: PUSH0 00000d81: DUP4 00000d82: ADD 00000d83: MSTORE 00000d84: PUSH2 0x0d8c 00000d87: DUP2 00000d88: PUSH2 0x0d53 00000d8b: JUMP 00000d8c: JUMPDEST 00000d8d: SWAP1 00000d8e: POP 00000d8f: SWAP2 00000d90: SWAP1 00000d91: POP 00000d92: JUMP 00000d93: JUMPDEST 00000d94: PUSH32 0x416c7265616479206c6f636b6564000000000000000000000000000000000000 00000db5: PUSH0 00000db6: DUP3 00000db7: ADD 00000db8: MSTORE 00000db9: POP 00000dba: JUMP 00000dbb: JUMPDEST 00000dbc: PUSH0 00000dbd: PUSH2 0x0dc7 00000dc0: PUSH1 0x0e 00000dc2: DUP4 00000dc3: PUSH2 0x0b3c 00000dc6: JUMP 00000dc7: JUMPDEST 00000dc8: SWAP2 00000dc9: POP 00000dca: PUSH2 0x0dd2 00000dcd: DUP3 00000dce: PUSH2 0x0d93 00000dd1: JUMP 00000dd2: JUMPDEST 00000dd3: PUSH1 0x20 00000dd5: DUP3 00000dd6: ADD 00000dd7: SWAP1 00000dd8: POP 00000dd9: SWAP2 00000dda: SWAP1 00000ddb: POP 00000ddc: JUMP 00000ddd: JUMPDEST 00000dde: PUSH0 00000ddf: PUSH1 0x20 00000de1: DUP3 00000de2: ADD 00000de3: SWAP1 00000de4: POP 00000de5: DUP2 00000de6: DUP2 00000de7: SUB 00000de8: PUSH0 00000de9: DUP4 00000dea: ADD 00000deb: MSTORE 00000dec: PUSH2 0x0df4 00000def: DUP2 00000df0: PUSH2 0x0dbb 00000df3: JUMP 00000df4: JUMPDEST 00000df5: SWAP1 00000df6: POP 00000df7: SWAP2 00000df8: SWAP1 00000df9: POP 00000dfa: JUMP 00000dfb: JUMPDEST 00000dfc: PUSH32 0x496e76616c6964206475726174696f6e00000000000000000000000000000000 00000e1d: PUSH0 00000e1e: DUP3 00000e1f: ADD 00000e20: MSTORE 00000e21: POP 00000e22: JUMP 00000e23: JUMPDEST 00000e24: PUSH0 00000e25: PUSH2 0x0e2f 00000e28: PUSH1 0x10 00000e2a: DUP4 00000e2b: PUSH2 0x0b3c 00000e2e: JUMP 00000e2f: JUMPDEST 00000e30: SWAP2 00000e31: POP 00000e32: PUSH2 0x0e3a 00000e35: DUP3 00000e36: PUSH2 0x0dfb 00000e39: JUMP 00000e3a: JUMPDEST 00000e3b: PUSH1 0x20 00000e3d: DUP3 00000e3e: ADD 00000e3f: SWAP1 00000e40: POP 00000e41: SWAP2 00000e42: SWAP1 00000e43: POP 00000e44: JUMP 00000e45: JUMPDEST 00000e46: PUSH0 00000e47: PUSH1 0x20 00000e49: DUP3 00000e4a: ADD 00000e4b: SWAP1 00000e4c: POP 00000e4d: DUP2 00000e4e: DUP2 00000e4f: SUB 00000e50: PUSH0 00000e51: DUP4 00000e52: ADD 00000e53: MSTORE 00000e54: PUSH2 0x0e5c 00000e57: DUP2 00000e58: PUSH2 0x0e23 00000e5b: JUMP 00000e5c: JUMPDEST 00000e5d: SWAP1 00000e5e: POP 00000e5f: SWAP2 00000e60: SWAP1 00000e61: POP 00000e62: JUMP 00000e63: JUMPDEST 00000e64: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000e85: PUSH0 00000e86: MSTORE 00000e87: PUSH1 0x11 00000e89: PUSH1 0x04 00000e8b: MSTORE 00000e8c: PUSH1 0x24 00000e8e: PUSH0 00000e8f: REVERT 00000e90: JUMPDEST 00000e91: PUSH0 00000e92: PUSH2 0x0e9a 00000e95: DUP3 00000e96: PUSH2 0x0a45 00000e99: JUMP 00000e9a: JUMPDEST 00000e9b: SWAP2 00000e9c: POP 00000e9d: PUSH2 0x0ea5 00000ea0: DUP4 00000ea1: PUSH2 0x0a45 00000ea4: JUMP 00000ea5: JUMPDEST 00000ea6: SWAP3 00000ea7: POP 00000ea8: DUP3 00000ea9: DUP3 00000eaa: ADD 00000eab: SWAP1 00000eac: POP 00000ead: DUP1 00000eae: DUP3 00000eaf: GT 00000eb0: ISZERO 00000eb1: PUSH2 0x0ebd 00000eb4: JUMPI 00000eb5: PUSH2 0x0ebc 00000eb8: PUSH2 0x0e63 00000ebb: JUMP 00000ebc: JUMPDEST 00000ebd: JUMPDEST 00000ebe: SWAP3 00000ebf: SWAP2 00000ec0: POP 00000ec1: POP 00000ec2: JUMP 00000ec3: JUMPDEST 00000ec4: PUSH32 0x4d6f64696669636174696f6e206c6f636b656420666f72203330206461797300 00000ee5: PUSH0 00000ee6: DUP3 00000ee7: ADD 00000ee8: MSTORE 00000ee9: POP 00000eea: JUMP 00000eeb: JUMPDEST 00000eec: PUSH0 00000eed: PUSH2 0x0ef7 00000ef0: PUSH1 0x1f 00000ef2: DUP4 00000ef3: PUSH2 0x0b3c 00000ef6: JUMP 00000ef7: JUMPDEST 00000ef8: SWAP2 00000ef9: POP 00000efa: PUSH2 0x0f02 00000efd: DUP3 00000efe: PUSH2 0x0ec3 00000f01: JUMP 00000f02: JUMPDEST 00000f03: PUSH1 0x20 00000f05: DUP3 00000f06: ADD 00000f07: SWAP1 00000f08: POP 00000f09: SWAP2 00000f0a: SWAP1 00000f0b: POP 00000f0c: JUMP 00000f0d: JUMPDEST 00000f0e: PUSH0 00000f0f: PUSH1 0x20 00000f11: DUP3 00000f12: ADD 00000f13: SWAP1 00000f14: POP 00000f15: DUP2 00000f16: DUP2 00000f17: SUB 00000f18: PUSH0 00000f19: DUP4 00000f1a: ADD 00000f1b: MSTORE 00000f1c: PUSH2 0x0f24 00000f1f: DUP2 00000f20: PUSH2 0x0eeb 00000f23: JUMP 00000f24: JUMPDEST 00000f25: SWAP1 00000f26: POP 00000f27: SWAP2 00000f28: SWAP1 00000f29: POP 00000f2a: JUMP 00000f2b: JUMPDEST 00000f2c: PUSH32 0x556e6c6f636b206d757374206265206675747572650000000000000000000000 00000f4d: PUSH0 00000f4e: DUP3 00000f4f: ADD 00000f50: MSTORE 00000f51: POP 00000f52: JUMP 00000f53: JUMPDEST 00000f54: PUSH0 00000f55: PUSH2 0x0f5f 00000f58: PUSH1 0x15 00000f5a: DUP4 00000f5b: PUSH2 0x0b3c 00000f5e: JUMP 00000f5f: JUMPDEST 00000f60: SWAP2 00000f61: POP 00000f62: PUSH2 0x0f6a 00000f65: DUP3 00000f66: PUSH2 0x0f2b 00000f69: JUMP 00000f6a: JUMPDEST 00000f6b: PUSH1 0x20 00000f6d: DUP3 00000f6e: ADD 00000f6f: SWAP1 00000f70: POP 00000f71: SWAP2 00000f72: SWAP1 00000f73: POP 00000f74: JUMP 00000f75: JUMPDEST 00000f76: PUSH0 00000f77: PUSH1 0x20 00000f79: DUP3 00000f7a: ADD 00000f7b: SWAP1 00000f7c: POP 00000f7d: DUP2 00000f7e: DUP2 00000f7f: SUB 00000f80: PUSH0 00000f81: DUP4 00000f82: ADD 00000f83: MSTORE 00000f84: PUSH2 0x0f8c 00000f87: DUP2 00000f88: PUSH2 0x0f53 00000f8b: JUMP 00000f8c: JUMPDEST 00000f8d: SWAP1 00000f8e: POP 00000f8f: SWAP2 00000f90: SWAP1 00000f91: POP 00000f92: JUMP 00000f93: JUMPDEST 00000f94: PUSH0 00000f95: PUSH1 0x40 00000f97: DUP3 00000f98: ADD 00000f99: SWAP1 00000f9a: POP 00000f9b: PUSH2 0x0fa6 00000f9e: PUSH0 00000f9f: DUP4 00000fa0: ADD 00000fa1: DUP6 00000fa2: PUSH2 0x0ab6 00000fa5: JUMP 00000fa6: JUMPDEST 00000fa7: PUSH2 0x0fb3 00000faa: PUSH1 0x20 00000fac: DUP4 00000fad: ADD 00000fae: DUP5 00000faf: PUSH2 0x0ade 00000fb2: JUMP 00000fb3: JUMPDEST 00000fb4: SWAP4 00000fb5: SWAP3 00000fb6: POP 00000fb7: POP 00000fb8: POP 00000fb9: JUMP 00000fba: JUMPDEST 00000fbb: PUSH0 00000fbc: DUP2 00000fbd: MLOAD 00000fbe: SWAP1 00000fbf: POP 00000fc0: SWAP2 00000fc1: SWAP1 00000fc2: POP 00000fc3: JUMP 00000fc4: JUMPDEST 00000fc5: PUSH0 00000fc6: DUP2 00000fc7: SWAP1 00000fc8: POP 00000fc9: SWAP3 00000fca: SWAP2 00000fcb: POP 00000fcc: POP 00000fcd: JUMP 00000fce: JUMPDEST 00000fcf: DUP3 00000fd0: DUP2 00000fd1: DUP4 00000fd2: MCOPY 00000fd3: PUSH0 00000fd4: DUP4 00000fd5: DUP4 00000fd6: ADD 00000fd7: MSTORE 00000fd8: POP 00000fd9: POP 00000fda: POP 00000fdb: JUMP 00000fdc: JUMPDEST 00000fdd: PUSH0 00000fde: PUSH2 0x0fe6 00000fe1: DUP3 00000fe2: PUSH2 0x0fba 00000fe5: JUMP 00000fe6: JUMPDEST 00000fe7: PUSH2 0x0ff0 00000fea: DUP2 00000feb: DUP6 00000fec: PUSH2 0x0fc4 00000fef: JUMP 00000ff0: JUMPDEST 00000ff1: SWAP4 00000ff2: POP 00000ff3: PUSH2 0x1000 00000ff6: DUP2 00000ff7: DUP6 00000ff8: PUSH1 0x20 00000ffa: DUP7 00000ffb: ADD 00000ffc: PUSH2 0x0fce 00000fff: JUMP 00001000: JUMPDEST 00001001: DUP1 00001002: DUP5 00001003: ADD 00001004: SWAP2 00001005: POP 00001006: POP 00001007: SWAP3 00001008: SWAP2 00001009: POP 0000100a: POP 0000100b: JUMP 0000100c: JUMPDEST 0000100d: PUSH0 0000100e: PUSH2 0x1017 00001011: DUP3 00001012: DUP5 00001013: PUSH2 0x0fdc 00001016: JUMP 00001017: JUMPDEST 00001018: SWAP2 00001019: POP 0000101a: DUP2 0000101b: SWAP1 0000101c: POP 0000101d: SWAP3 0000101e: SWAP2 0000101f: POP 00001020: POP 00001021: JUMP 00001022: JUMPDEST 00001023: PUSH2 0x102b 00001026: DUP2 00001027: PUSH2 0x0aed 0000102a: JUMP 0000102b: JUMPDEST 0000102c: DUP2 0000102d: EQ 0000102e: PUSH2 0x1035 00001031: JUMPI 00001032: PUSH0 00001033: PUSH0 00001034: REVERT 00001035: JUMPDEST 00001036: POP 00001037: JUMP 00001038: JUMPDEST 00001039: PUSH0 0000103a: DUP2 0000103b: MLOAD 0000103c: SWAP1 0000103d: POP 0000103e: PUSH2 0x1046 00001041: DUP2 00001042: PUSH2 0x1022 00001045: JUMP 00001046: JUMPDEST 00001047: SWAP3 00001048: SWAP2 00001049: POP 0000104a: POP 0000104b: JUMP 0000104c: JUMPDEST 0000104d: PUSH0 0000104e: PUSH1 0x20 00001050: DUP3 00001051: DUP5 00001052: SUB 00001053: SLT 00001054: ISZERO 00001055: PUSH2 0x1061 00001058: JUMPI 00001059: PUSH2 0x1060 0000105c: PUSH2 0x09bc 0000105f: JUMP 00001060: JUMPDEST 00001061: JUMPDEST 00001062: PUSH0 00001063: PUSH2 0x106e 00001066: DUP5 00001067: DUP3 00001068: DUP6 00001069: ADD 0000106a: PUSH2 0x1038 0000106d: JUMP 0000106e: JUMPDEST 0000106f: SWAP2 00001070: POP 00001071: POP 00001072: SWAP3 00001073: SWAP2 00001074: POP 00001075: POP 00001076: JUMP 00001077: JUMPDEST 00001078: PUSH32 0x546f6b656e207472616e73666572206661696c65640000000000000000000000 00001099: PUSH0 0000109a: DUP3 0000109b: ADD 0000109c: MSTORE 0000109d: POP 0000109e: JUMP 0000109f: JUMPDEST 000010a0: PUSH0 000010a1: PUSH2 0x10ab 000010a4: PUSH1 0x15 000010a6: DUP4 000010a7: PUSH2 0x0b3c 000010aa: JUMP 000010ab: JUMPDEST 000010ac: SWAP2 000010ad: POP 000010ae: PUSH2 0x10b6 000010b1: DUP3 000010b2: PUSH2 0x1077 000010b5: JUMP 000010b6: JUMPDEST 000010b7: PUSH1 0x20 000010b9: DUP3 000010ba: ADD 000010bb: SWAP1 000010bc: POP 000010bd: SWAP2 000010be: SWAP1 000010bf: POP 000010c0: JUMP 000010c1: JUMPDEST 000010c2: PUSH0 000010c3: PUSH1 0x20 000010c5: DUP3 000010c6: ADD 000010c7: SWAP1 000010c8: POP 000010c9: DUP2 000010ca: DUP2 000010cb: SUB 000010cc: PUSH0 000010cd: DUP4 000010ce: ADD 000010cf: MSTORE 000010d0: PUSH2 0x10d8 000010d3: DUP2 000010d4: PUSH2 0x109f 000010d7: JUMP 000010d8: JUMPDEST 000010d9: SWAP1 000010da: POP 000010db: SWAP2 000010dc: SWAP1 000010dd: POP 000010de: JUMP 000010df: INVALID 000010e0: LOG2 000010e1: PUSH5 0x6970667358 000010e7: UNKNOWN(0x22) 000010e8: SLT 000010e9: KECCAK256 000010ea: SIGNEXTEND 000010eb: PUSH19 0x7cd3f18efde59a7932301466ef2fa3aa77a9f7 000010ff: NUMBER 00001100: UNKNOWN(0x0D) 00001101: TLOAD 00001102: UNKNOWN(0xEA) 00001103: TSTORE 00001104: CALLDATALOAD 00001105: PUSH27
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x24a7e12030a19ecf2ca333acae82c46b07d737faa8adb37e9b2d734aef4f32c0
call_targets:
0x2225d208f1e7bf80b87dffe3d8fb93dc3a76c2b7
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x24a7e12030a19ecf2ca333acae82c46b07d737faa8adb37e9b2d734aef4f32c0",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x2225d208f1e7bf80b87dffe3d8fb93dc3a76c2b7"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x19165587",
"selector": "0x19165587",
"calldata_variants": [
"0x19165587",
"0x191655870000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x282d3fdf",
"selector": "0x282d3fdf",
"calldata_variants": [
"0x282d3fdf",
"0x282d3fdf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x38af3eed",
"selector": "0x38af3eed",
"calldata_variants": [
"0x38af3eed",
"0x38af3eed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5de9a137",
"selector": "0x5de9a137",
"calldata_variants": [
"0x5de9a137",
"0x5de9a1370000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf9fa4791",
"selector": "0xf9fa4791",
"calldata_variants": [
"0xf9fa4791",
"0xf9fa47910000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2327,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [
{
"pc": 309,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1040,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1740,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 1
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x24a7e12030a19ecf2ca333acae82c46b07d737faa8adb37e9b2d734aef4f32c0
call_targets:
0x2225d208f1e7bf80b87dffe3d8fb93dc3a76c2b7
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x24a7e12030a19ecf2ca333acae82c46b07d737faa8adb37e9b2d734aef4f32c0",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x2225d208f1e7bf80b87dffe3d8fb93dc3a76c2b7"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x19165587",
"selector": "0x19165587",
"calldata_variants": [
"0x19165587",
"0x191655870000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x282d3fdf",
"selector": "0x282d3fdf",
"calldata_variants": [
"0x282d3fdf",
"0x282d3fdf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x38af3eed",
"selector": "0x38af3eed",
"calldata_variants": [
"0x38af3eed",
"0x38af3eed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5de9a137",
"selector": "0x5de9a137",
"calldata_variants": [
"0x5de9a137",
"0x5de9a1370000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf9fa4791",
"selector": "0xf9fa4791",
"calldata_variants": [
"0xf9fa4791",
"0xf9fa47910000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2327,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": [
{
"pc": 309,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1040,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1740,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|