019b477e-aaa7-71e0-9796-bc4ec2e630dc
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 |
|---|---|---|---|---|
| 20869 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 20870 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 63966 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 63967 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 63968 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 63969 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLDATASIZE 00000006: ISZERO 00000007: PUSH2 0x00d5 0000000a: JUMPI 0000000b: PUSH4 0xffffffff 00000010: PUSH1 0xe0 00000012: PUSH1 0x02 00000014: EXP 00000015: PUSH1 0x00 00000017: CALLDATALOAD 00000018: DIV 00000019: AND 0000001a: PUSH4 0x0102fcfc 0000001f: DUP2 00000020: EQ 00000021: PUSH2 0x00e0 00000024: JUMPI 00000025: DUP1 00000026: PUSH4 0x0de41e45 0000002b: EQ 0000002c: PUSH2 0x00f3 0000002f: JUMPI 00000030: DUP1 00000031: PUSH4 0x3f4ba83a 00000036: EQ 00000037: PUSH2 0x0118 0000003a: JUMPI 0000003b: DUP1 0000003c: PUSH4 0x478f796a 00000041: EQ 00000042: PUSH2 0x013f 00000045: JUMPI 00000046: DUP1 00000047: PUSH4 0x4a186d69 0000004c: EQ 0000004d: PUSH2 0x016e 00000050: JUMPI 00000051: DUP1 00000052: PUSH4 0x4adaf5f6 00000057: EQ 00000058: PUSH2 0x0182 0000005b: JUMPI 0000005c: DUP1 0000005d: PUSH4 0x5c975abb 00000062: EQ 00000063: PUSH2 0x01a1 00000066: JUMPI 00000067: DUP1 00000068: PUSH4 0x806b0365 0000006d: EQ 0000006e: PUSH2 0x01b4 00000071: JUMPI 00000072: DUP1 00000073: PUSH4 0x8456cb59 00000078: EQ 00000079: PUSH2 0x01d3 0000007c: JUMPI 0000007d: DUP1 0000007e: PUSH4 0x8da5cb5b 00000083: EQ 00000084: PUSH2 0x01e6 00000087: JUMPI 00000088: DUP1 00000089: PUSH4 0x929ac519 0000008e: EQ 0000008f: PUSH2 0x01f9 00000092: JUMPI 00000093: DUP1 00000094: PUSH4 0xb60d4288 00000099: EQ 0000009a: PUSH2 0x0218 0000009d: JUMPI 0000009e: DUP1 0000009f: PUSH4 0xcc826160 000000a4: EQ 000000a5: PUSH2 0x022b 000000a8: JUMPI 000000a9: DUP1 000000aa: PUSH4 0xe34a90a7 000000af: EQ 000000b0: PUSH2 0x023e 000000b3: JUMPI 000000b4: DUP1 000000b5: PUSH4 0xe5760520 000000ba: EQ 000000bb: PUSH2 0x0251 000000be: JUMPI 000000bf: DUP1 000000c0: PUSH4 0xe7ff0e38 000000c5: EQ 000000c6: PUSH2 0x0264 000000c9: JUMPI 000000ca: DUP1 000000cb: PUSH4 0xf2fde38b 000000d0: EQ 000000d1: PUSH2 0x0277 000000d4: JUMPI 000000d5: JUMPDEST 000000d6: PUSH2 0x00de 000000d9: CALLER 000000da: PUSH2 0x0296 000000dd: JUMP 000000de: JUMPDEST 000000df: STOP 000000e0: JUMPDEST 000000e1: CALLVALUE 000000e2: ISZERO 000000e3: PUSH2 0x00eb 000000e6: JUMPI 000000e7: PUSH1 0x00 000000e9: DUP1 000000ea: REVERT 000000eb: JUMPDEST 000000ec: PUSH2 0x00de 000000ef: PUSH2 0x0351 000000f2: JUMP 000000f3: JUMPDEST 000000f4: CALLVALUE 000000f5: ISZERO 000000f6: PUSH2 0x00fe 000000f9: JUMPI 000000fa: PUSH1 0x00 000000fc: DUP1 000000fd: REVERT 000000fe: JUMPDEST 000000ff: PUSH2 0x0106 00000102: PUSH2 0x0416 00000105: JUMP 00000106: JUMPDEST 00000107: PUSH1 0x40 00000109: MLOAD 0000010a: SWAP1 0000010b: DUP2 0000010c: MSTORE 0000010d: PUSH1 0x20 0000010f: ADD 00000110: PUSH1 0x40 00000112: MLOAD 00000113: DUP1 00000114: SWAP2 00000115: SUB 00000116: SWAP1 00000117: RETURN 00000118: JUMPDEST 00000119: CALLVALUE 0000011a: ISZERO 0000011b: PUSH2 0x0123 0000011e: JUMPI 0000011f: PUSH1 0x00 00000121: DUP1 00000122: REVERT 00000123: JUMPDEST 00000124: PUSH2 0x012b 00000127: PUSH2 0x041c 0000012a: JUMP 0000012b: JUMPDEST 0000012c: PUSH1 0x40 0000012e: MLOAD 0000012f: SWAP1 00000130: ISZERO 00000131: ISZERO 00000132: DUP2 00000133: MSTORE 00000134: PUSH1 0x20 00000136: ADD 00000137: PUSH1 0x40 00000139: MLOAD 0000013a: DUP1 0000013b: SWAP2 0000013c: SUB 0000013d: SWAP1 0000013e: RETURN 0000013f: JUMPDEST 00000140: CALLVALUE 00000141: ISZERO 00000142: PUSH2 0x014a 00000145: JUMPI 00000146: PUSH1 0x00 00000148: DUP1 00000149: REVERT 0000014a: JUMPDEST 0000014b: PUSH2 0x0152 0000014e: PUSH2 0x04a1 00000151: JUMP 00000152: JUMPDEST 00000153: PUSH1 0x40 00000155: MLOAD 00000156: PUSH1 0x01 00000158: PUSH1 0xa0 0000015a: PUSH1 0x02 0000015c: EXP 0000015d: SUB 0000015e: SWAP1 0000015f: SWAP2 00000160: AND 00000161: DUP2 00000162: MSTORE 00000163: PUSH1 0x20 00000165: ADD 00000166: PUSH1 0x40 00000168: MLOAD 00000169: DUP1 0000016a: SWAP2 0000016b: SUB 0000016c: SWAP1 0000016d: RETURN 0000016e: JUMPDEST 0000016f: PUSH2 0x00de 00000172: PUSH1 0x01 00000174: PUSH1 0xa0 00000176: PUSH1 0x02 00000178: EXP 00000179: SUB 0000017a: PUSH1 0x04 0000017c: CALLDATALOAD 0000017d: AND 0000017e: PUSH2 0x0296 00000181: JUMP 00000182: JUMPDEST 00000183: CALLVALUE 00000184: ISZERO 00000185: PUSH2 0x018d 00000188: JUMPI 00000189: PUSH1 0x00 0000018b: DUP1 0000018c: REVERT 0000018d: JUMPDEST 0000018e: PUSH2 0x00de 00000191: PUSH1 0x01 00000193: PUSH1 0xa0 00000195: PUSH1 0x02 00000197: EXP 00000198: SUB 00000199: PUSH1 0x04 0000019b: CALLDATALOAD 0000019c: AND 0000019d: PUSH2 0x04b0 000001a0: JUMP 000001a1: JUMPDEST 000001a2: CALLVALUE 000001a3: ISZERO 000001a4: PUSH2 0x01ac 000001a7: JUMPI 000001a8: PUSH1 0x00 000001aa: DUP1 000001ab: REVERT 000001ac: JUMPDEST 000001ad: PUSH2 0x012b 000001b0: PUSH2 0x052c 000001b3: JUMP 000001b4: JUMPDEST 000001b5: CALLVALUE 000001b6: ISZERO 000001b7: PUSH2 0x01bf 000001ba: JUMPI 000001bb: PUSH1 0x00 000001bd: DUP1 000001be: REVERT 000001bf: JUMPDEST 000001c0: PUSH2 0x00de 000001c3: PUSH1 0x01 000001c5: PUSH1 0xa0 000001c7: PUSH1 0x02 000001c9: EXP 000001ca: SUB 000001cb: PUSH1 0x04 000001cd: CALLDATALOAD 000001ce: AND 000001cf: PUSH2 0x053c 000001d2: JUMP 000001d3: JUMPDEST 000001d4: CALLVALUE 000001d5: ISZERO 000001d6: PUSH2 0x01de 000001d9: JUMPI 000001da: PUSH1 0x00 000001dc: DUP1 000001dd: REVERT 000001de: JUMPDEST 000001df: PUSH2 0x012b 000001e2: PUSH2 0x059b 000001e5: JUMP 000001e6: JUMPDEST 000001e7: CALLVALUE 000001e8: ISZERO 000001e9: PUSH2 0x01f1 000001ec: JUMPI 000001ed: PUSH1 0x00 000001ef: DUP1 000001f0: REVERT 000001f1: JUMPDEST 000001f2: PUSH2 0x0152 000001f5: PUSH2 0x0624 000001f8: JUMP 000001f9: JUMPDEST 000001fa: CALLVALUE 000001fb: ISZERO 000001fc: PUSH2 0x0204 000001ff: JUMPI 00000200: PUSH1 0x00 00000202: DUP1 00000203: REVERT 00000204: JUMPDEST 00000205: PUSH2 0x00de 00000208: PUSH1 0x01 0000020a: PUSH1 0xa0 0000020c: PUSH1 0x02 0000020e: EXP 0000020f: SUB 00000210: PUSH1 0x04 00000212: CALLDATALOAD 00000213: AND 00000214: PUSH2 0x0633 00000217: JUMP 00000218: JUMPDEST 00000219: CALLVALUE 0000021a: ISZERO 0000021b: PUSH2 0x0223 0000021e: JUMPI 0000021f: PUSH1 0x00 00000221: DUP1 00000222: REVERT 00000223: JUMPDEST 00000224: PUSH2 0x0152 00000227: PUSH2 0x0692 0000022a: JUMP 0000022b: JUMPDEST 0000022c: CALLVALUE 0000022d: ISZERO 0000022e: PUSH2 0x0236 00000231: JUMPI 00000232: PUSH1 0x00 00000234: DUP1 00000235: REVERT 00000236: JUMPDEST 00000237: PUSH2 0x012b 0000023a: PUSH2 0x06a1 0000023d: JUMP 0000023e: JUMPDEST 0000023f: CALLVALUE 00000240: ISZERO 00000241: PUSH2 0x0249 00000244: JUMPI 00000245: PUSH1 0x00 00000247: DUP1 00000248: REVERT 00000249: JUMPDEST 0000024a: PUSH2 0x00de 0000024d: PUSH2 0x06af 00000250: JUMP 00000251: JUMPDEST 00000252: CALLVALUE 00000253: ISZERO 00000254: PUSH2 0x025c 00000257: JUMPI 00000258: PUSH1 0x00 0000025a: DUP1 0000025b: REVERT 0000025c: JUMPDEST 0000025d: PUSH2 0x0152 00000260: PUSH2 0x075e 00000263: JUMP 00000264: JUMPDEST 00000265: CALLVALUE 00000266: ISZERO 00000267: PUSH2 0x026f 0000026a: JUMPI 0000026b: PUSH1 0x00 0000026d: DUP1 0000026e: REVERT 0000026f: JUMPDEST 00000270: PUSH2 0x012b 00000273: PUSH2 0x076d 00000276: JUMP 00000277: JUMPDEST 00000278: CALLVALUE 00000279: ISZERO 0000027a: PUSH2 0x0282 0000027d: JUMPI 0000027e: PUSH1 0x00 00000280: DUP1 00000281: REVERT 00000282: JUMPDEST 00000283: PUSH2 0x00de 00000286: PUSH1 0x01 00000288: PUSH1 0xa0 0000028a: PUSH1 0x02 0000028c: EXP 0000028d: SUB 0000028e: PUSH1 0x04 00000290: CALLDATALOAD 00000291: AND 00000292: PUSH2 0x0776 00000295: JUMP 00000296: JUMPDEST 00000297: PUSH1 0x00 00000299: DUP1 0000029a: SLOAD 0000029b: DUP2 0000029c: SWAP1 0000029d: PUSH1 0xa0 0000029f: PUSH1 0x02 000002a1: EXP 000002a2: SWAP1 000002a3: DIV 000002a4: PUSH1 0xff 000002a6: AND 000002a7: ISZERO 000002a8: PUSH2 0x02b0 000002ab: JUMPI 000002ac: PUSH1 0x00 000002ae: DUP1 000002af: REVERT 000002b0: JUMPDEST 000002b1: PUSH1 0x01 000002b3: PUSH1 0xa0 000002b5: PUSH1 0x02 000002b7: EXP 000002b8: SUB 000002b9: DUP4 000002ba: AND 000002bb: ISZERO 000002bc: ISZERO 000002bd: PUSH2 0x02c5 000002c0: JUMPI 000002c1: PUSH1 0x00 000002c3: DUP1 000002c4: REVERT 000002c5: JUMPDEST 000002c6: PUSH8 0x0de0b6b3a7640000 000002cf: CALLVALUE 000002d0: LT 000002d1: ISZERO 000002d2: PUSH2 0x02da 000002d5: JUMPI 000002d6: PUSH1 0x00 000002d8: DUP1 000002d9: REVERT 000002da: JUMPDEST 000002db: PUSH8 0x0de0b6b3a7640000 000002e4: CALLVALUE 000002e5: MOD 000002e6: SWAP2 000002e7: POP 000002e8: PUSH2 0x030f 000002eb: PUSH8 0x0de0b6b3a7640000 000002f4: PUSH2 0x0303 000002f7: CALLVALUE 000002f8: DUP6 000002f9: PUSH4 0xffffffff 000002fe: PUSH2 0x07cc 00000301: AND 00000302: JUMP 00000303: JUMPDEST 00000304: SWAP1 00000305: PUSH4 0xffffffff 0000030a: PUSH2 0x07de 0000030d: AND 0000030e: JUMP 0000030f: JUMPDEST 00000310: SWAP1 00000311: POP 00000312: PUSH2 0x031b 00000315: DUP4 00000316: DUP3 00000317: PUSH2 0x07f5 0000031a: JUMP 0000031b: JUMPDEST 0000031c: PUSH1 0x01 0000031e: PUSH1 0xa0 00000320: PUSH1 0x02 00000322: EXP 00000323: SUB 00000324: CALLER 00000325: AND 00000326: DUP3 00000327: ISZERO 00000328: PUSH2 0x08fc 0000032b: MUL 0000032c: DUP4 0000032d: PUSH1 0x40 0000032f: MLOAD 00000330: PUSH1 0x00 00000332: PUSH1 0x40 00000334: MLOAD 00000335: DUP1 00000336: DUP4 00000337: SUB 00000338: DUP2 00000339: DUP6 0000033a: DUP9 0000033b: DUP9 0000033c: CALL 0000033d: SWAP4 0000033e: POP 0000033f: POP 00000340: POP 00000341: POP 00000342: ISZERO 00000343: ISZERO 00000344: PUSH2 0x034c 00000347: JUMPI 00000348: PUSH1 0x00 0000034a: DUP1 0000034b: REVERT 0000034c: JUMPDEST 0000034d: POP 0000034e: POP 0000034f: POP 00000350: JUMP 00000351: JUMPDEST 00000352: PUSH1 0x00 00000354: SLOAD 00000355: CALLER 00000356: PUSH1 0x01 00000358: PUSH1 0xa0 0000035a: PUSH1 0x02 0000035c: EXP 0000035d: SUB 0000035e: SWAP1 0000035f: DUP2 00000360: AND 00000361: SWAP2 00000362: AND 00000363: EQ 00000364: PUSH2 0x036c 00000367: JUMPI 00000368: PUSH1 0x00 0000036a: DUP1 0000036b: REVERT 0000036c: JUMPDEST 0000036d: PUSH1 0x05 0000036f: SLOAD 00000370: PUSH2 0x0100 00000373: SWAP1 00000374: DIV 00000375: PUSH1 0xff 00000377: AND 00000378: ISZERO 00000379: PUSH2 0x0381 0000037c: JUMPI 0000037d: PUSH1 0x00 0000037f: DUP1 00000380: REVERT 00000381: JUMPDEST 00000382: PUSH2 0x0389 00000385: PUSH2 0x096e 00000388: JUMP 00000389: JUMPDEST 0000038a: ISZERO 0000038b: ISZERO 0000038c: PUSH2 0x0394 0000038f: JUMPI 00000390: PUSH1 0x00 00000392: DUP1 00000393: REVERT 00000394: JUMPDEST 00000395: PUSH2 0x039c 00000398: PUSH2 0x09ef 0000039b: JUMP 0000039c: JUMPDEST 0000039d: ISZERO 0000039e: ISZERO 0000039f: PUSH2 0x03a7 000003a2: JUMPI 000003a3: PUSH1 0x00 000003a5: DUP1 000003a6: REVERT 000003a7: JUMPDEST 000003a8: PUSH1 0x05 000003aa: DUP1 000003ab: SLOAD 000003ac: PUSH2 0xff00 000003af: NOT 000003b0: AND 000003b1: PUSH2 0x0100 000003b4: OR 000003b5: SWAP1 000003b6: SSTORE 000003b7: PUSH1 0x03 000003b9: SLOAD 000003ba: PUSH1 0x01 000003bc: PUSH1 0xa0 000003be: PUSH1 0x02 000003c0: EXP 000003c1: SUB 000003c2: AND 000003c3: PUSH1 0x00 000003c5: PUSH3 0x393870 000003c9: PUSH1 0x40 000003cb: MLOAD 000003cc: PUSH1 0x00 000003ce: PUSH1 0x40 000003d0: MLOAD 000003d1: DUP1 000003d2: DUP4 000003d3: SUB 000003d4: DUP2 000003d5: DUP6 000003d6: DUP9 000003d7: DUP9 000003d8: CALL 000003d9: SWAP4 000003da: POP 000003db: POP 000003dc: POP 000003dd: POP 000003de: ISZERO 000003df: ISZERO 000003e0: PUSH2 0x03e8 000003e3: JUMPI 000003e4: PUSH1 0x00 000003e6: DUP1 000003e7: REVERT 000003e8: JUMPDEST 000003e9: PUSH32 0xd4e69a54b40bc728e804eb8eb7ffb6a202ae491df70d45a51e3b515ed375a488 0000040a: PUSH1 0x40 0000040c: MLOAD 0000040d: PUSH1 0x40 0000040f: MLOAD 00000410: DUP1 00000411: SWAP2 00000412: SUB 00000413: SWAP1 00000414: LOG1 00000415: JUMP 00000416: JUMPDEST 00000417: PUSH1 0x04 00000419: SLOAD 0000041a: DUP2 0000041b: JUMP 0000041c: JUMPDEST 0000041d: PUSH1 0x00 0000041f: DUP1 00000420: SLOAD 00000421: CALLER 00000422: PUSH1 0x01 00000424: PUSH1 0xa0 00000426: PUSH1 0x02 00000428: EXP 00000429: SUB 0000042a: SWAP1 0000042b: DUP2 0000042c: AND 0000042d: SWAP2 0000042e: AND 0000042f: EQ 00000430: PUSH2 0x0438 00000433: JUMPI 00000434: PUSH1 0x00 00000436: DUP1 00000437: REVERT 00000438: JUMPDEST 00000439: PUSH1 0x00 0000043b: SLOAD 0000043c: PUSH1 0xa0 0000043e: PUSH1 0x02 00000440: EXP 00000441: SWAP1 00000442: DIV 00000443: PUSH1 0xff 00000445: AND 00000446: ISZERO 00000447: ISZERO 00000448: PUSH2 0x0450 0000044b: JUMPI 0000044c: PUSH1 0x00 0000044e: DUP1 0000044f: REVERT 00000450: JUMPDEST 00000451: PUSH1 0x00 00000453: DUP1 00000454: SLOAD 00000455: PUSH21 0xff0000000000000000000000000000000000000000 0000046b: NOT 0000046c: AND 0000046d: SWAP1 0000046e: SSTORE 0000046f: PUSH32 0x7805862f689e2f13df9f062ff482ad3ad112aca9e0847911ed832e158c525b33 00000490: PUSH1 0x40 00000492: MLOAD 00000493: PUSH1 0x40 00000495: MLOAD 00000496: DUP1 00000497: SWAP2 00000498: SUB 00000499: SWAP1 0000049a: LOG1 0000049b: POP 0000049c: PUSH1 0x01 0000049e: JUMPDEST 0000049f: SWAP1 000004a0: JUMP 000004a1: JUMPDEST 000004a2: PUSH1 0x03 000004a4: SLOAD 000004a5: PUSH1 0x01 000004a7: PUSH1 0xa0 000004a9: PUSH1 0x02 000004ab: EXP 000004ac: SUB 000004ad: AND 000004ae: DUP2 000004af: JUMP 000004b0: JUMPDEST 000004b1: PUSH1 0x01 000004b3: PUSH1 0xa0 000004b5: PUSH1 0x02 000004b7: EXP 000004b8: SUB 000004b9: DUP2 000004ba: AND 000004bb: ISZERO 000004bc: ISZERO 000004bd: PUSH2 0x04c5 000004c0: JUMPI 000004c1: PUSH1 0x00 000004c3: DUP1 000004c4: REVERT 000004c5: JUMPDEST 000004c6: PUSH1 0x01 000004c8: SLOAD 000004c9: PUSH1 0x01 000004cb: PUSH1 0xa0 000004cd: PUSH1 0x02 000004cf: EXP 000004d0: SUB 000004d1: AND 000004d2: PUSH4 0xf2fde38b 000004d7: DUP3 000004d8: PUSH1 0x40 000004da: MLOAD 000004db: PUSH1 0xe0 000004dd: PUSH1 0x02 000004df: EXP 000004e0: PUSH4 0xffffffff 000004e5: DUP5 000004e6: AND 000004e7: MUL 000004e8: DUP2 000004e9: MSTORE 000004ea: PUSH1 0x01 000004ec: PUSH1 0xa0 000004ee: PUSH1 0x02 000004f0: EXP 000004f1: SUB 000004f2: SWAP1 000004f3: SWAP2 000004f4: AND 000004f5: PUSH1 0x04 000004f7: DUP3 000004f8: ADD 000004f9: MSTORE 000004fa: PUSH1 0x24 000004fc: ADD 000004fd: PUSH1 0x00 000004ff: PUSH1 0x40 00000501: MLOAD 00000502: DUP1 00000503: DUP4 00000504: SUB 00000505: DUP2 00000506: PUSH1 0x00 00000508: DUP8 00000509: DUP1 0000050a: EXTCODESIZE 0000050b: ISZERO 0000050c: ISZERO 0000050d: PUSH2 0x0515 00000510: JUMPI 00000511: PUSH1 0x00 00000513: DUP1 00000514: REVERT 00000515: JUMPDEST 00000516: PUSH2 0x02c6 00000519: GAS 0000051a: SUB 0000051b: CALL 0000051c: ISZERO 0000051d: ISZERO 0000051e: PUSH2 0x0526 00000521: JUMPI 00000522: PUSH1 0x00 00000524: DUP1 00000525: REVERT 00000526: JUMPDEST 00000527: POP 00000528: POP 00000529: POP 0000052a: POP 0000052b: JUMP 0000052c: JUMPDEST 0000052d: PUSH1 0x00 0000052f: SLOAD 00000530: PUSH1 0xa0 00000532: PUSH1 0x02 00000534: EXP 00000535: SWAP1 00000536: DIV 00000537: PUSH1 0xff 00000539: AND 0000053a: DUP2 0000053b: JUMP 0000053c: JUMPDEST 0000053d: PUSH1 0x00 0000053f: SLOAD 00000540: CALLER 00000541: PUSH1 0x01 00000543: PUSH1 0xa0 00000545: PUSH1 0x02 00000547: EXP 00000548: SUB 00000549: SWAP1 0000054a: DUP2 0000054b: AND 0000054c: SWAP2 0000054d: AND 0000054e: EQ 0000054f: PUSH2 0x0557 00000552: JUMPI 00000553: PUSH1 0x00 00000555: DUP1 00000556: REVERT 00000557: JUMPDEST 00000558: PUSH1 0x01 0000055a: PUSH1 0xa0 0000055c: PUSH1 0x02 0000055e: EXP 0000055f: SUB 00000560: DUP2 00000561: AND 00000562: ISZERO 00000563: ISZERO 00000564: PUSH2 0x056c 00000567: JUMPI 00000568: PUSH1 0x00 0000056a: DUP1 0000056b: REVERT 0000056c: JUMPDEST 0000056d: PUSH1 0x02 0000056f: DUP1 00000570: SLOAD 00000571: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000586: NOT 00000587: AND 00000588: PUSH1 0x01 0000058a: PUSH1 0xa0 0000058c: PUSH1 0x02 0000058e: EXP 0000058f: SUB 00000590: SWAP3 00000591: SWAP1 00000592: SWAP3 00000593: AND 00000594: SWAP2 00000595: SWAP1 00000596: SWAP2 00000597: OR 00000598: SWAP1 00000599: SSTORE 0000059a: JUMP 0000059b: JUMPDEST 0000059c: PUSH1 0x00 0000059e: DUP1 0000059f: SLOAD 000005a0: CALLER 000005a1: PUSH1 0x01 000005a3: PUSH1 0xa0 000005a5: PUSH1 0x02 000005a7: EXP 000005a8: SUB 000005a9: SWAP1 000005aa: DUP2 000005ab: AND 000005ac: SWAP2 000005ad: AND 000005ae: EQ 000005af: PUSH2 0x05b7 000005b2: JUMPI 000005b3: PUSH1 0x00 000005b5: DUP1 000005b6: REVERT 000005b7: JUMPDEST 000005b8: PUSH1 0x00 000005ba: SLOAD 000005bb: PUSH1 0xa0 000005bd: PUSH1 0x02 000005bf: EXP 000005c0: SWAP1 000005c1: DIV 000005c2: PUSH1 0xff 000005c4: AND 000005c5: ISZERO 000005c6: PUSH2 0x05ce 000005c9: JUMPI 000005ca: PUSH1 0x00 000005cc: DUP1 000005cd: REVERT 000005ce: JUMPDEST 000005cf: PUSH1 0x00 000005d1: DUP1 000005d2: SLOAD 000005d3: PUSH21 0xff0000000000000000000000000000000000000000 000005e9: NOT 000005ea: AND 000005eb: PUSH1 0xa0 000005ed: PUSH1 0x02 000005ef: EXP 000005f0: OR 000005f1: SWAP1 000005f2: SSTORE 000005f3: PUSH32 0x6985a02210a168e66602d3235cb6db0e70f92b3ba4d376a33c0f3d9434bff625 00000614: PUSH1 0x40 00000616: MLOAD 00000617: PUSH1 0x40 00000619: MLOAD 0000061a: DUP1 0000061b: SWAP2 0000061c: SUB 0000061d: SWAP1 0000061e: LOG1 0000061f: POP 00000620: PUSH1 0x01 00000622: SWAP1 00000623: JUMP 00000624: JUMPDEST 00000625: PUSH1 0x00 00000627: SLOAD 00000628: PUSH1 0x01 0000062a: PUSH1 0xa0 0000062c: PUSH1 0x02 0000062e: EXP 0000062f: SUB 00000630: AND 00000631: DUP2 00000632: JUMP 00000633: JUMPDEST 00000634: PUSH1 0x00 00000636: SLOAD 00000637: CALLER 00000638: PUSH1 0x01 0000063a: PUSH1 0xa0 0000063c: PUSH1 0x02 0000063e: EXP 0000063f: SUB 00000640: SWAP1 00000641: DUP2 00000642: AND 00000643: SWAP2 00000644: AND 00000645: EQ 00000646: PUSH2 0x064e 00000649: JUMPI 0000064a: PUSH1 0x00 0000064c: DUP1 0000064d: REVERT 0000064e: JUMPDEST 0000064f: PUSH1 0x01 00000651: PUSH1 0xa0 00000653: PUSH1 0x02 00000655: EXP 00000656: SUB 00000657: DUP2 00000658: AND 00000659: ISZERO 0000065a: ISZERO 0000065b: PUSH2 0x0663 0000065e: JUMPI 0000065f: PUSH1 0x00 00000661: DUP1 00000662: REVERT 00000663: JUMPDEST 00000664: PUSH1 0x03 00000666: DUP1 00000667: SLOAD 00000668: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000067d: NOT 0000067e: AND 0000067f: PUSH1 0x01 00000681: PUSH1 0xa0 00000683: PUSH1 0x02 00000685: EXP 00000686: SUB 00000687: SWAP3 00000688: SWAP1 00000689: SWAP3 0000068a: AND 0000068b: SWAP2 0000068c: SWAP1 0000068d: SWAP2 0000068e: OR 0000068f: SWAP1 00000690: SSTORE 00000691: JUMP 00000692: JUMPDEST 00000693: PUSH1 0x01 00000695: SLOAD 00000696: PUSH1 0x01 00000698: PUSH1 0xa0 0000069a: PUSH1 0x02 0000069c: EXP 0000069d: SUB 0000069e: AND 0000069f: DUP2 000006a0: JUMP 000006a1: JUMPDEST 000006a2: PUSH1 0x05 000006a4: SLOAD 000006a5: PUSH2 0x0100 000006a8: SWAP1 000006a9: DIV 000006aa: PUSH1 0xff 000006ac: AND 000006ad: DUP2 000006ae: JUMP 000006af: JUMPDEST 000006b0: PUSH1 0x00 000006b2: SLOAD 000006b3: CALLER 000006b4: PUSH1 0x01 000006b6: PUSH1 0xa0 000006b8: PUSH1 0x02 000006ba: EXP 000006bb: SUB 000006bc: SWAP1 000006bd: DUP2 000006be: AND 000006bf: SWAP2 000006c0: AND 000006c1: EQ 000006c2: PUSH2 0x06ca 000006c5: JUMPI 000006c6: PUSH1 0x00 000006c8: DUP1 000006c9: REVERT 000006ca: JUMPDEST 000006cb: PUSH1 0x05 000006cd: SLOAD 000006ce: PUSH1 0xff 000006d0: AND 000006d1: ISZERO 000006d2: PUSH2 0x06da 000006d5: JUMPI 000006d6: PUSH1 0x00 000006d8: DUP1 000006d9: REVERT 000006da: JUMPDEST 000006db: PUSH2 0x06e2 000006de: PUSH2 0x096e 000006e1: JUMP 000006e2: JUMPDEST 000006e3: ISZERO 000006e4: ISZERO 000006e5: PUSH2 0x06ed 000006e8: JUMPI 000006e9: PUSH1 0x00 000006eb: DUP1 000006ec: REVERT 000006ed: JUMPDEST 000006ee: PUSH1 0x05 000006f0: DUP1 000006f1: SLOAD 000006f2: PUSH1 0xff 000006f4: NOT 000006f5: AND 000006f6: PUSH1 0x01 000006f8: OR 000006f9: SWAP1 000006fa: SSTORE 000006fb: PUSH1 0x02 000006fd: SLOAD 000006fe: PUSH1 0x01 00000700: PUSH1 0xa0 00000702: PUSH1 0x02 00000704: EXP 00000705: SUB 00000706: AND 00000707: PUSH1 0x00 00000709: PUSH3 0x03d090 0000070d: PUSH1 0x40 0000070f: MLOAD 00000710: PUSH1 0x00 00000712: PUSH1 0x40 00000714: MLOAD 00000715: DUP1 00000716: DUP4 00000717: SUB 00000718: DUP2 00000719: DUP6 0000071a: DUP9 0000071b: DUP9 0000071c: CALL 0000071d: SWAP4 0000071e: POP 0000071f: POP 00000720: POP 00000721: POP 00000722: ISZERO 00000723: ISZERO 00000724: PUSH2 0x072c 00000727: JUMPI 00000728: PUSH1 0x00 0000072a: DUP1 0000072b: REVERT 0000072c: JUMPDEST 0000072d: NUMBER 0000072e: PUSH1 0x04 00000730: SSTORE 00000731: PUSH32 0x572b584eae27f0aa08161a9c8b048ac424cf0b0b5c9be0cfa107d9cb0ee542bd 00000752: PUSH1 0x40 00000754: MLOAD 00000755: PUSH1 0x40 00000757: MLOAD 00000758: DUP1 00000759: SWAP2 0000075a: SUB 0000075b: SWAP1 0000075c: LOG1 0000075d: JUMP 0000075e: JUMPDEST 0000075f: PUSH1 0x02 00000761: SLOAD 00000762: PUSH1 0x01 00000764: PUSH1 0xa0 00000766: PUSH1 0x02 00000768: EXP 00000769: SUB 0000076a: AND 0000076b: DUP2 0000076c: JUMP 0000076d: JUMPDEST 0000076e: PUSH1 0x05 00000770: SLOAD 00000771: PUSH1 0xff 00000773: AND 00000774: DUP2 00000775: JUMP 00000776: JUMPDEST 00000777: PUSH1 0x00 00000779: SLOAD 0000077a: CALLER 0000077b: PUSH1 0x01 0000077d: PUSH1 0xa0 0000077f: PUSH1 0x02 00000781: EXP 00000782: SUB 00000783: SWAP1 00000784: DUP2 00000785: AND 00000786: SWAP2 00000787: AND 00000788: EQ 00000789: PUSH2 0x0791 0000078c: JUMPI 0000078d: PUSH1 0x00 0000078f: DUP1 00000790: REVERT 00000791: JUMPDEST 00000792: PUSH1 0x01 00000794: PUSH1 0xa0 00000796: PUSH1 0x02 00000798: EXP 00000799: SUB 0000079a: DUP2 0000079b: AND 0000079c: ISZERO 0000079d: PUSH2 0x07c9 000007a0: JUMPI 000007a1: PUSH1 0x00 000007a3: DUP1 000007a4: SLOAD 000007a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007ba: NOT 000007bb: AND 000007bc: PUSH1 0x01 000007be: PUSH1 0xa0 000007c0: PUSH1 0x02 000007c2: EXP 000007c3: SUB 000007c4: DUP4 000007c5: AND 000007c6: OR 000007c7: SWAP1 000007c8: SSTORE 000007c9: JUMPDEST 000007ca: POP 000007cb: JUMP 000007cc: JUMPDEST 000007cd: PUSH1 0x00 000007cf: DUP3 000007d0: DUP3 000007d1: GT 000007d2: ISZERO 000007d3: PUSH2 0x07d8 000007d6: JUMPI 000007d7: INVALID 000007d8: JUMPDEST 000007d9: POP 000007da: SWAP1 000007db: SUB 000007dc: SWAP1 000007dd: JUMP 000007de: JUMPDEST 000007df: PUSH1 0x00 000007e1: DUP1 000007e2: DUP3 000007e3: DUP5 000007e4: DUP2 000007e5: ISZERO 000007e6: ISZERO 000007e7: PUSH2 0x07ec 000007ea: JUMPI 000007eb: INVALID 000007ec: JUMPDEST 000007ed: DIV 000007ee: SWAP5 000007ef: SWAP4 000007f0: POP 000007f1: POP 000007f2: POP 000007f3: POP 000007f4: JUMP 000007f5: JUMPDEST 000007f6: PUSH1 0x11 000007f8: SLOAD 000007f9: PUSH19 0x01000000000000000000000000000000000000 0000080d: SWAP1 0000080e: DIV 0000080f: PUSH2 0xffff 00000812: AND 00000813: PUSH1 0x01 00000815: PUSH1 0x00 00000817: DUP1 00000818: DUP1 00000819: JUMPDEST 0000081a: PUSH2 0xffff 0000081d: DUP5 0000081e: AND 0000081f: DUP7 00000820: SWAP1 00000821: GT 00000822: PUSH2 0x0965 00000825: JUMPI 00000826: DUP5 00000827: PUSH2 0xffff 0000082a: AND 0000082b: PUSH1 0x01 0000082d: NUMBER 0000082e: SUB 0000082f: BLOCKHASH 00000830: PUSH1 0x40 00000832: MLOAD 00000833: SWAP1 00000834: DUP2 00000835: MSTORE 00000836: PUSH1 0x20 00000838: ADD 00000839: PUSH1 0x40 0000083b: MLOAD 0000083c: SWAP1 0000083d: DUP2 0000083e: SWAP1 0000083f: SUB 00000840: SWAP1 00000841: KECCAK256 00000842: DUP2 00000843: ISZERO 00000844: ISZERO 00000845: PUSH2 0x084a 00000848: JUMPI 00000849: INVALID 0000084a: JUMPDEST 0000084b: MOD 0000084c: SWAP3 0000084d: POP 0000084e: PUSH2 0x0856 00000851: DUP4 00000852: PUSH2 0x0a18 00000855: JUMP 00000856: JUMPDEST 00000857: SWAP2 00000858: POP 00000859: PUSH1 0x10 0000085b: PUSH1 0xff 0000085d: DUP4 0000085e: AND 0000085f: PUSH1 0x0a 00000861: DUP2 00000862: LT 00000863: PUSH2 0x0868 00000866: JUMPI 00000867: INVALID 00000868: JUMPDEST 00000869: PUSH1 0x10 0000086b: DUP1 0000086c: DUP3 0000086d: DIV 0000086e: SWAP3 0000086f: SWAP1 00000870: SWAP3 00000871: ADD 00000872: SLOAD 00000873: SWAP2 00000874: SWAP1 00000875: MOD 00000876: PUSH1 0x02 00000878: MUL 00000879: PUSH2 0x0100 0000087c: EXP 0000087d: SWAP1 0000087e: DIV 0000087f: PUSH2 0xffff 00000882: AND 00000883: ISZERO 00000884: ISZERO 00000885: PUSH2 0x088a 00000888: JUMPI 00000889: INVALID 0000088a: JUMPDEST 0000088b: PUSH1 0x10 0000088d: PUSH1 0xff 0000088f: DUP4 00000890: AND 00000891: PUSH1 0x0a 00000893: DUP2 00000894: LT 00000895: PUSH2 0x089a 00000898: JUMPI 00000899: INVALID 0000089a: JUMPDEST 0000089b: PUSH1 0x10 0000089d: DUP1 0000089e: DUP3 0000089f: DIV 000008a0: SWAP3 000008a1: SWAP1 000008a2: SWAP3 000008a3: ADD 000008a4: DUP1 000008a5: SLOAD 000008a6: SWAP3 000008a7: SWAP1 000008a8: SWAP2 000008a9: MOD 000008aa: PUSH1 0x02 000008ac: MUL 000008ad: PUSH2 0x0100 000008b0: EXP 000008b1: PUSH2 0xffff 000008b4: DUP2 000008b5: DUP2 000008b6: MUL 000008b7: NOT 000008b8: DUP5 000008b9: AND 000008ba: SWAP4 000008bb: DUP3 000008bc: SWAP1 000008bd: DIV 000008be: DUP2 000008bf: AND 000008c0: PUSH1 0x00 000008c2: NOT 000008c3: ADD 000008c4: AND 000008c5: MUL 000008c6: SWAP2 000008c7: SWAP1 000008c8: SWAP2 000008c9: OR 000008ca: SWAP1 000008cb: SSTORE 000008cc: PUSH1 0x06 000008ce: PUSH1 0xff 000008d0: DUP4 000008d1: AND 000008d2: PUSH1 0x0a 000008d4: DUP2 000008d5: LT 000008d6: PUSH2 0x08db 000008d9: JUMPI 000008da: INVALID 000008db: JUMPDEST 000008dc: ADD 000008dd: SLOAD 000008de: PUSH1 0x01 000008e0: SLOAD 000008e1: SWAP1 000008e2: SWAP2 000008e3: POP 000008e4: PUSH1 0x01 000008e6: PUSH1 0xa0 000008e8: PUSH1 0x02 000008ea: EXP 000008eb: SUB 000008ec: AND 000008ed: PUSH4 0x40c10f19 000008f2: DUP9 000008f3: DUP4 000008f4: PUSH1 0x00 000008f6: PUSH1 0x40 000008f8: MLOAD 000008f9: PUSH1 0x20 000008fb: ADD 000008fc: MSTORE 000008fd: PUSH1 0x40 000008ff: MLOAD 00000900: PUSH1 0xe0 00000902: PUSH1 0x02 00000904: EXP 00000905: PUSH4 0xffffffff 0000090a: DUP6 0000090b: AND 0000090c: MUL 0000090d: DUP2 0000090e: MSTORE 0000090f: PUSH1 0x01 00000911: PUSH1 0xa0 00000913: PUSH1 0x02 00000915: EXP 00000916: SUB 00000917: SWAP1 00000918: SWAP3 00000919: AND 0000091a: PUSH1 0x04 0000091c: DUP4 0000091d: ADD 0000091e: MSTORE 0000091f: PUSH1 0x24 00000921: DUP3 00000922: ADD 00000923: MSTORE 00000924: PUSH1 0x44 00000926: ADD 00000927: PUSH1 0x20 00000929: PUSH1 0x40 0000092b: MLOAD 0000092c: DUP1 0000092d: DUP4 0000092e: SUB 0000092f: DUP2 00000930: PUSH1 0x00 00000932: DUP8 00000933: DUP1 00000934: EXTCODESIZE 00000935: ISZERO 00000936: ISZERO 00000937: PUSH2 0x093f 0000093a: JUMPI 0000093b: PUSH1 0x00 0000093d: DUP1 0000093e: REVERT 0000093f: JUMPDEST 00000940: PUSH2 0x02c6 00000943: GAS 00000944: SUB 00000945: CALL 00000946: ISZERO 00000947: ISZERO 00000948: PUSH2 0x0950 0000094b: JUMPI 0000094c: PUSH1 0x00 0000094e: DUP1 0000094f: REVERT 00000950: JUMPDEST 00000951: POP 00000952: POP 00000953: POP 00000954: PUSH1 0x40 00000956: MLOAD 00000957: DUP1 00000958: MLOAD 00000959: POP 0000095a: POP 0000095b: PUSH1 0x01 0000095d: SWAP1 0000095e: SWAP4 0000095f: ADD 00000960: SWAP3 00000961: PUSH2 0x0819 00000964: JUMP 00000965: JUMPDEST 00000966: POP 00000967: POP 00000968: POP 00000969: POP 0000096a: POP 0000096b: POP 0000096c: POP 0000096d: JUMP 0000096e: JUMPDEST 0000096f: PUSH1 0x01 00000971: SLOAD 00000972: PUSH1 0x00 00000974: SWAP1 00000975: PUSH3 0x989680 00000979: SWAP1 0000097a: PUSH1 0x01 0000097c: PUSH1 0xa0 0000097e: PUSH1 0x02 00000980: EXP 00000981: SUB 00000982: AND 00000983: PUSH4 0x18160ddd 00000988: DUP4 00000989: PUSH1 0x40 0000098b: MLOAD 0000098c: PUSH1 0x20 0000098e: ADD 0000098f: MSTORE 00000990: PUSH1 0x40 00000992: MLOAD 00000993: DUP2 00000994: PUSH4 0xffffffff 00000999: AND 0000099a: PUSH1 0xe0 0000099c: PUSH1 0x02 0000099e: EXP 0000099f: MUL 000009a0: DUP2 000009a1: MSTORE 000009a2: PUSH1 0x04 000009a4: ADD 000009a5: PUSH1 0x20 000009a7: PUSH1 0x40 000009a9: MLOAD 000009aa: DUP1 000009ab: DUP4 000009ac: SUB 000009ad: DUP2 000009ae: PUSH1 0x00 000009b0: DUP8 000009b1: DUP1 000009b2: EXTCODESIZE 000009b3: ISZERO 000009b4: ISZERO 000009b5: PUSH2 0x09bd 000009b8: JUMPI 000009b9: PUSH1 0x00 000009bb: DUP1 000009bc: REVERT 000009bd: JUMPDEST 000009be: PUSH2 0x02c6 000009c1: GAS 000009c2: SUB 000009c3: CALL 000009c4: ISZERO 000009c5: ISZERO 000009c6: PUSH2 0x09ce 000009c9: JUMPI 000009ca: PUSH1 0x00 000009cc: DUP1 000009cd: REVERT 000009ce: JUMPDEST 000009cf: POP 000009d0: POP 000009d1: POP 000009d2: PUSH1 0x40 000009d4: MLOAD 000009d5: DUP1 000009d6: MLOAD 000009d7: SWAP1 000009d8: POP 000009d9: LT 000009da: ISZERO 000009db: ISZERO 000009dc: PUSH2 0x09e7 000009df: JUMPI 000009e0: POP 000009e1: PUSH1 0x01 000009e3: PUSH2 0x049e 000009e6: JUMP 000009e7: JUMPDEST 000009e8: POP 000009e9: PUSH1 0x00 000009eb: PUSH2 0x049e 000009ee: JUMP 000009ef: JUMPDEST 000009f0: PUSH1 0x00 000009f2: PUSH3 0x030d40 000009f6: PUSH2 0x0a0a 000009f9: PUSH1 0x04 000009fb: SLOAD 000009fc: NUMBER 000009fd: PUSH2 0x07cc 00000a00: SWAP1 00000a01: SWAP2 00000a02: SWAP1 00000a03: PUSH4 0xffffffff 00000a08: AND 00000a09: JUMP 00000a0a: JUMPDEST 00000a0b: GT 00000a0c: ISZERO 00000a0d: PUSH2 0x09e7 00000a10: JUMPI 00000a11: POP 00000a12: PUSH1 0x01 00000a14: PUSH2 0x049e 00000a17: JUMP 00000a18: JUMPDEST 00000a19: PUSH1 0x00 00000a1b: DUP1 00000a1c: JUMPDEST 00000a1d: PUSH1 0x0a 00000a1f: PUSH1 0xff 00000a21: DUP3 00000a22: AND 00000a23: LT 00000a24: ISZERO 00000a25: PUSH2 0x0a75 00000a28: JUMPI 00000a29: PUSH1 0x11 00000a2b: PUSH1 0xff 00000a2d: DUP3 00000a2e: AND 00000a2f: PUSH1 0x0a 00000a31: DUP2 00000a32: LT 00000a33: PUSH2 0x0a38 00000a36: JUMPI 00000a37: INVALID 00000a38: JUMPDEST 00000a39: PUSH1 0x10 00000a3b: SWAP2 00000a3c: DUP3 00000a3d: DUP3 00000a3e: DIV 00000a3f: ADD 00000a40: SWAP2 00000a41: SWAP1 00000a42: MOD 00000a43: PUSH1 0x02 00000a45: MUL 00000a46: SWAP1 00000a47: SLOAD 00000a48: SWAP1 00000a49: PUSH2 0x0100 00000a4c: EXP 00000a4d: SWAP1 00000a4e: DIV 00000a4f: PUSH2 0xffff 00000a52: AND 00000a53: PUSH2 0xffff 00000a56: AND 00000a57: DUP4 00000a58: LT 00000a59: ISZERO 00000a5a: PUSH2 0x0a6d 00000a5d: JUMPI 00000a5e: PUSH2 0x0a66 00000a61: DUP2 00000a62: PUSH2 0x0a7b 00000a65: JUMP 00000a66: JUMPDEST 00000a67: SWAP2 00000a68: POP 00000a69: PUSH2 0x0a75 00000a6c: JUMP 00000a6d: JUMPDEST 00000a6e: PUSH1 0x01 00000a70: ADD 00000a71: PUSH2 0x0a1c 00000a74: JUMP 00000a75: JUMPDEST 00000a76: POP 00000a77: SWAP2 00000a78: SWAP1 00000a79: POP 00000a7a: JUMP 00000a7b: JUMPDEST 00000a7c: PUSH1 0x00 00000a7e: PUSH1 0x0a 00000a80: PUSH1 0xff 00000a82: DUP4 00000a83: AND 00000a84: LT 00000a85: PUSH2 0x0a8d 00000a88: JUMPI 00000a89: PUSH1 0x00 00000a8b: DUP1 00000a8c: REVERT 00000a8d: JUMPDEST 00000a8e: PUSH1 0x10 00000a90: PUSH1 0xff 00000a92: DUP4 00000a93: AND 00000a94: PUSH1 0x0a 00000a96: DUP2 00000a97: LT 00000a98: PUSH2 0x0a9d 00000a9b: JUMPI 00000a9c: INVALID 00000a9d: JUMPDEST 00000a9e: PUSH1 0x10 00000aa0: DUP1 00000aa1: DUP3 00000aa2: DIV 00000aa3: SWAP3 00000aa4: SWAP1 00000aa5: SWAP3 00000aa6: ADD 00000aa7: SLOAD 00000aa8: SWAP2 00000aa9: SWAP1 00000aaa: MOD 00000aab: PUSH1 0x02 00000aad: MUL 00000aae: PUSH2 0x0100 00000ab1: EXP 00000ab2: SWAP1 00000ab3: DIV 00000ab4: PUSH2 0xffff 00000ab7: AND 00000ab8: ISZERO 00000ab9: PUSH2 0x0ac3 00000abc: JUMPI 00000abd: POP 00000abe: DUP1 00000abf: PUSH2 0x0ad8 00000ac2: JUMP 00000ac3: JUMPDEST 00000ac4: PUSH2 0x0ad5 00000ac7: PUSH1 0x0a 00000ac9: PUSH1 0xff 00000acb: PUSH1 0x01 00000acd: DUP6 00000ace: ADD 00000acf: AND 00000ad0: MOD 00000ad1: PUSH2 0x0a7b 00000ad4: JUMP 00000ad5: JUMPDEST 00000ad6: SWAP1 00000ad7: POP 00000ad8: JUMPDEST 00000ad9: SWAP2 00000ada: SWAP1 00000adb: POP 00000adc: JUMP 00000add: STOP 00000ade: LOG1 00000adf: PUSH6 0x627a7a723058 00000ae6: KECCAK256 00000ae7: POP 00000ae8: MCOPY 00000ae9: UNKNOWN(0xC5) 00000aea: SWAP6 00000aeb: CALLER 00000aec: UNKNOWN(0xE5) 00000aed: PUSH4 0xe616da93 00000af2: UNKNOWN(0xF6) 00000af3: MSIZE 00000af4: BASEFEE 00000af5: UNKNOWN(0x4B) 00000af6: SWAP4 00000af7: MULMOD 00000af8: UNKNOWN(0xC6) 00000af9: GASLIMIT 00000afa: SLOAD 00000afb: DIV 00000afc: PUSH20
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x6aa5a0e5427e362d89d4d0de82c5d223ff28ac12b05d59239c8259fc55f77111
call_targets:
0xf7b54ddfe88ace53fbf7a9b3d9f8fe9452a78ab4
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x6aa5a0e5427e362d89d4d0de82c5d223ff28ac12b05d59239c8259fc55f77111",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xf7b54ddfe88ace53fbf7a9b3d9f8fe9452a78ab4"
],
"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": "0x0102fcfc",
"selector": "0x0102fcfc",
"calldata_variants": [
"0x0102fcfc",
"0x0102fcfc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0de41e45",
"selector": "0x0de41e45",
"calldata_variants": [
"0x0de41e45",
"0x0de41e450000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3f4ba83a",
"selector": "0x3f4ba83a",
"calldata_variants": [
"0x3f4ba83a",
"0x3f4ba83a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x478f796a",
"selector": "0x478f796a",
"calldata_variants": [
"0x478f796a",
"0x478f796a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4a186d69",
"selector": "0x4a186d69",
"calldata_variants": [
"0x4a186d69",
"0x4a186d690000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4adaf5f6",
"selector": "0x4adaf5f6",
"calldata_variants": [
"0x4adaf5f6",
"0x4adaf5f60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c975abb",
"selector": "0x5c975abb",
"calldata_variants": [
"0x5c975abb",
"0x5c975abb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x806b0365",
"selector": "0x806b0365",
"calldata_variants": [
"0x806b0365",
"0x806b03650000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 828,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 984,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1307,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 6,
"guards_detected": [],
"untrusted_call_count": 6
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x6aa5a0e5427e362d89d4d0de82c5d223ff28ac12b05d59239c8259fc55f77111
call_targets:
0xf7b54ddfe88ace53fbf7a9b3d9f8fe9452a78ab4
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x6aa5a0e5427e362d89d4d0de82c5d223ff28ac12b05d59239c8259fc55f77111",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xf7b54ddfe88ace53fbf7a9b3d9f8fe9452a78ab4"
],
"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": "0x0102fcfc",
"selector": "0x0102fcfc",
"calldata_variants": [
"0x0102fcfc",
"0x0102fcfc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0de41e45",
"selector": "0x0de41e45",
"calldata_variants": [
"0x0de41e45",
"0x0de41e450000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3f4ba83a",
"selector": "0x3f4ba83a",
"calldata_variants": [
"0x3f4ba83a",
"0x3f4ba83a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x478f796a",
"selector": "0x478f796a",
"calldata_variants": [
"0x478f796a",
"0x478f796a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4a186d69",
"selector": "0x4a186d69",
"calldata_variants": [
"0x4a186d69",
"0x4a186d690000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4adaf5f6",
"selector": "0x4adaf5f6",
"calldata_variants": [
"0x4adaf5f6",
"0x4adaf5f60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c975abb",
"selector": "0x5c975abb",
"calldata_variants": [
"0x5c975abb",
"0x5c975abb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x806b0365",
"selector": "0x806b0365",
"calldata_variants": [
"0x806b0365",
"0x806b03650000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 828,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 984,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1307,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 6,
"guards_detected": []
}
|