019b477e-b4f9-7015-b743-d71212866edc
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 |
|---|---|---|---|---|
| 22845 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 22846 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 107461 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 107462 | capability.graph | complete | 1 / 3 | 1 week ago |
| 107463 | detector.run | complete | 1 / 3 | 1 week ago |
| 107464 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x011c 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000030: PUSH1 0x00 00000032: CALLDATALOAD 00000033: DIV 00000034: AND 00000035: PUSH4 0x0103c92b 0000003a: DUP2 0000003b: EQ 0000003c: PUSH2 0x0127 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x140c2f6a 00000046: EQ 00000047: PUSH2 0x0167 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x359b77cc 00000051: EQ 00000052: PUSH2 0x0209 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x38649b2a 0000005c: EQ 0000005d: PUSH2 0x021e 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x428147ee 00000067: EQ 00000068: PUSH2 0x0233 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x449730b8 00000072: EQ 00000073: PUSH2 0x0261 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x4592cd1d 0000007d: EQ 0000007e: PUSH2 0x0276 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x485484e5 00000088: EQ 00000089: PUSH2 0x028b 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x557f4bc9 00000093: EQ 00000094: PUSH2 0x02a0 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0x5aa77d3c 0000009e: EQ 0000009f: PUSH2 0x02ce 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0x6138889b 000000a9: EQ 000000aa: PUSH2 0x030c 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0x6a0f334f 000000b4: EQ 000000b5: PUSH2 0x0361 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0x96ee54e1 000000bf: EQ 000000c0: PUSH2 0x0376 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0xa6c19f4f 000000ca: EQ 000000cb: PUSH2 0x038b 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0xce606ee0 000000d5: EQ 000000d6: PUSH2 0x03bc 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0xd0e30db0 000000e0: EQ 000000e1: PUSH2 0x03d1 000000e4: JUMPI 000000e5: DUP1 000000e6: PUSH4 0xd613be0a 000000eb: EQ 000000ec: PUSH2 0x03d9 000000ef: JUMPI 000000f0: DUP1 000000f1: PUSH4 0xeb6d9fb5 000000f6: EQ 000000f7: PUSH2 0x0407 000000fa: JUMPI 000000fb: DUP1 000000fc: PUSH4 0xee800dc9 00000101: EQ 00000102: PUSH2 0x041c 00000105: JUMPI 00000106: DUP1 00000107: PUSH4 0xf17d186c 0000010c: EQ 0000010d: PUSH2 0x044a 00000110: JUMPI 00000111: DUP1 00000112: PUSH4 0xfec7380c 00000117: EQ 00000118: PUSH2 0x045f 0000011b: JUMPI 0000011c: JUMPDEST 0000011d: PUSH2 0x0124 00000120: PUSH2 0x048d 00000123: JUMP 00000124: JUMPDEST 00000125: POP 00000126: STOP 00000127: JUMPDEST 00000128: CALLVALUE 00000129: DUP1 0000012a: ISZERO 0000012b: PUSH2 0x0133 0000012e: JUMPI 0000012f: PUSH1 0x00 00000131: DUP1 00000132: REVERT 00000133: JUMPDEST 00000134: POP 00000135: PUSH2 0x0155 00000138: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000014d: PUSH1 0x04 0000014f: CALLDATALOAD 00000150: AND 00000151: PUSH2 0x04d7 00000154: JUMP 00000155: JUMPDEST 00000156: PUSH1 0x40 00000158: DUP1 00000159: MLOAD 0000015a: SWAP2 0000015b: DUP3 0000015c: MSTORE 0000015d: MLOAD 0000015e: SWAP1 0000015f: DUP2 00000160: SWAP1 00000161: SUB 00000162: PUSH1 0x20 00000164: ADD 00000165: SWAP1 00000166: RETURN 00000167: JUMPDEST 00000168: CALLVALUE 00000169: DUP1 0000016a: ISZERO 0000016b: PUSH2 0x0173 0000016e: JUMPI 0000016f: PUSH1 0x00 00000171: DUP1 00000172: REVERT 00000173: JUMPDEST 00000174: POP 00000175: PUSH1 0x40 00000177: DUP1 00000178: MLOAD 00000179: PUSH1 0x20 0000017b: PUSH1 0x04 0000017d: DUP1 0000017e: CALLDATALOAD 0000017f: DUP1 00000180: DUP3 00000181: ADD 00000182: CALLDATALOAD 00000183: DUP4 00000184: DUP2 00000185: MUL 00000186: DUP1 00000187: DUP7 00000188: ADD 00000189: DUP6 0000018a: ADD 0000018b: SWAP1 0000018c: SWAP7 0000018d: MSTORE 0000018e: DUP1 0000018f: DUP6 00000190: MSTORE 00000191: PUSH2 0x01f5 00000194: SWAP6 00000195: CALLDATASIZE 00000196: SWAP6 00000197: SWAP4 00000198: SWAP5 00000199: PUSH1 0x24 0000019b: SWAP5 0000019c: SWAP4 0000019d: DUP6 0000019e: ADD 0000019f: SWAP3 000001a0: SWAP2 000001a1: DUP3 000001a2: SWAP2 000001a3: DUP6 000001a4: ADD 000001a5: SWAP1 000001a6: DUP5 000001a7: SWAP1 000001a8: DUP1 000001a9: DUP3 000001aa: DUP5 000001ab: CALLDATACOPY 000001ac: POP 000001ad: POP 000001ae: PUSH1 0x40 000001b0: DUP1 000001b1: MLOAD 000001b2: DUP8 000001b3: CALLDATALOAD 000001b4: DUP10 000001b5: ADD 000001b6: DUP1 000001b7: CALLDATALOAD 000001b8: PUSH1 0x20 000001ba: DUP2 000001bb: DUP2 000001bc: MUL 000001bd: DUP5 000001be: DUP2 000001bf: ADD 000001c0: DUP3 000001c1: ADD 000001c2: SWAP1 000001c3: SWAP6 000001c4: MSTORE 000001c5: DUP2 000001c6: DUP5 000001c7: MSTORE 000001c8: SWAP9 000001c9: SWAP12 000001ca: SWAP11 000001cb: SWAP10 000001cc: DUP10 000001cd: ADD 000001ce: SWAP9 000001cf: SWAP3 000001d0: SWAP8 000001d1: POP 000001d2: SWAP1 000001d3: DUP3 000001d4: ADD 000001d5: SWAP6 000001d6: POP 000001d7: SWAP4 000001d8: POP 000001d9: DUP4 000001da: SWAP3 000001db: POP 000001dc: DUP6 000001dd: ADD 000001de: SWAP1 000001df: DUP5 000001e0: SWAP1 000001e1: DUP1 000001e2: DUP3 000001e3: DUP5 000001e4: CALLDATACOPY 000001e5: POP 000001e6: SWAP5 000001e7: SWAP8 000001e8: POP 000001e9: PUSH2 0x04e9 000001ec: SWAP7 000001ed: POP 000001ee: POP 000001ef: POP 000001f0: POP 000001f1: POP 000001f2: POP 000001f3: POP 000001f4: JUMP 000001f5: JUMPDEST 000001f6: PUSH1 0x40 000001f8: DUP1 000001f9: MLOAD 000001fa: SWAP2 000001fb: ISZERO 000001fc: ISZERO 000001fd: DUP3 000001fe: MSTORE 000001ff: MLOAD 00000200: SWAP1 00000201: DUP2 00000202: SWAP1 00000203: SUB 00000204: PUSH1 0x20 00000206: ADD 00000207: SWAP1 00000208: RETURN 00000209: JUMPDEST 0000020a: CALLVALUE 0000020b: DUP1 0000020c: ISZERO 0000020d: PUSH2 0x0215 00000210: JUMPI 00000211: PUSH1 0x00 00000213: DUP1 00000214: REVERT 00000215: JUMPDEST 00000216: POP 00000217: PUSH2 0x01f5 0000021a: PUSH2 0x0676 0000021d: JUMP 0000021e: JUMPDEST 0000021f: CALLVALUE 00000220: DUP1 00000221: ISZERO 00000222: PUSH2 0x022a 00000225: JUMPI 00000226: PUSH1 0x00 00000228: DUP1 00000229: REVERT 0000022a: JUMPDEST 0000022b: POP 0000022c: PUSH2 0x01f5 0000022f: PUSH2 0x0697 00000232: JUMP 00000233: JUMPDEST 00000234: CALLVALUE 00000235: DUP1 00000236: ISZERO 00000237: PUSH2 0x023f 0000023a: JUMPI 0000023b: PUSH1 0x00 0000023d: DUP1 0000023e: REVERT 0000023f: JUMPDEST 00000240: POP 00000241: PUSH2 0x01f5 00000244: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000259: PUSH1 0x04 0000025b: CALLDATALOAD 0000025c: AND 0000025d: PUSH2 0x06a0 00000260: JUMP 00000261: JUMPDEST 00000262: CALLVALUE 00000263: DUP1 00000264: ISZERO 00000265: PUSH2 0x026d 00000268: JUMPI 00000269: PUSH1 0x00 0000026b: DUP1 0000026c: REVERT 0000026d: JUMPDEST 0000026e: POP 0000026f: PUSH2 0x01f5 00000272: PUSH2 0x0878 00000275: JUMP 00000276: JUMPDEST 00000277: CALLVALUE 00000278: DUP1 00000279: ISZERO 0000027a: PUSH2 0x0282 0000027d: JUMPI 0000027e: PUSH1 0x00 00000280: DUP1 00000281: REVERT 00000282: JUMPDEST 00000283: POP 00000284: PUSH2 0x01f5 00000287: PUSH2 0x089a 0000028a: JUMP 0000028b: JUMPDEST 0000028c: CALLVALUE 0000028d: DUP1 0000028e: ISZERO 0000028f: PUSH2 0x0297 00000292: JUMPI 00000293: PUSH1 0x00 00000295: DUP1 00000296: REVERT 00000297: JUMPDEST 00000298: POP 00000299: PUSH2 0x0155 0000029c: PUSH2 0x099c 0000029f: JUMP 000002a0: JUMPDEST 000002a1: CALLVALUE 000002a2: DUP1 000002a3: ISZERO 000002a4: PUSH2 0x02ac 000002a7: JUMPI 000002a8: PUSH1 0x00 000002aa: DUP1 000002ab: REVERT 000002ac: JUMPDEST 000002ad: POP 000002ae: PUSH2 0x01f5 000002b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002c6: PUSH1 0x04 000002c8: CALLDATALOAD 000002c9: AND 000002ca: PUSH2 0x09a2 000002cd: JUMP 000002ce: JUMPDEST 000002cf: CALLVALUE 000002d0: DUP1 000002d1: ISZERO 000002d2: PUSH2 0x02da 000002d5: JUMPI 000002d6: PUSH1 0x00 000002d8: DUP1 000002d9: REVERT 000002da: JUMPDEST 000002db: POP 000002dc: PUSH2 0x02e3 000002df: PUSH2 0x0a6f 000002e2: JUMP 000002e3: JUMPDEST 000002e4: PUSH1 0x40 000002e6: DUP1 000002e7: MLOAD 000002e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002fd: SWAP1 000002fe: SWAP3 000002ff: AND 00000300: DUP3 00000301: MSTORE 00000302: MLOAD 00000303: SWAP1 00000304: DUP2 00000305: SWAP1 00000306: SUB 00000307: PUSH1 0x20 00000309: ADD 0000030a: SWAP1 0000030b: RETURN 0000030c: JUMPDEST 0000030d: CALLVALUE 0000030e: DUP1 0000030f: ISZERO 00000310: PUSH2 0x0318 00000313: JUMPI 00000314: PUSH1 0x00 00000316: DUP1 00000317: REVERT 00000318: JUMPDEST 00000319: POP 0000031a: PUSH1 0x40 0000031c: DUP1 0000031d: MLOAD 0000031e: PUSH1 0x20 00000320: PUSH1 0x04 00000322: DUP1 00000323: CALLDATALOAD 00000324: DUP1 00000325: DUP3 00000326: ADD 00000327: CALLDATALOAD 00000328: DUP4 00000329: DUP2 0000032a: MUL 0000032b: DUP1 0000032c: DUP7 0000032d: ADD 0000032e: DUP6 0000032f: ADD 00000330: SWAP1 00000331: SWAP7 00000332: MSTORE 00000333: DUP1 00000334: DUP6 00000335: MSTORE 00000336: PUSH2 0x01f5 00000339: SWAP6 0000033a: CALLDATASIZE 0000033b: SWAP6 0000033c: SWAP4 0000033d: SWAP5 0000033e: PUSH1 0x24 00000340: SWAP5 00000341: SWAP4 00000342: DUP6 00000343: ADD 00000344: SWAP3 00000345: SWAP2 00000346: DUP3 00000347: SWAP2 00000348: DUP6 00000349: ADD 0000034a: SWAP1 0000034b: DUP5 0000034c: SWAP1 0000034d: DUP1 0000034e: DUP3 0000034f: DUP5 00000350: CALLDATACOPY 00000351: POP 00000352: SWAP5 00000353: SWAP8 00000354: POP 00000355: PUSH2 0x0a8b 00000358: SWAP7 00000359: POP 0000035a: POP 0000035b: POP 0000035c: POP 0000035d: POP 0000035e: POP 0000035f: POP 00000360: JUMP 00000361: JUMPDEST 00000362: CALLVALUE 00000363: DUP1 00000364: ISZERO 00000365: PUSH2 0x036d 00000368: JUMPI 00000369: PUSH1 0x00 0000036b: DUP1 0000036c: REVERT 0000036d: JUMPDEST 0000036e: POP 0000036f: PUSH2 0x01f5 00000372: PUSH2 0x0b10 00000375: JUMP 00000376: JUMPDEST 00000377: CALLVALUE 00000378: DUP1 00000379: ISZERO 0000037a: PUSH2 0x0382 0000037d: JUMPI 0000037e: PUSH1 0x00 00000380: DUP1 00000381: REVERT 00000382: JUMPDEST 00000383: POP 00000384: PUSH2 0x01f5 00000387: PUSH2 0x0c0b 0000038a: JUMP 0000038b: JUMPDEST 0000038c: CALLVALUE 0000038d: DUP1 0000038e: ISZERO 0000038f: PUSH2 0x0397 00000392: JUMPI 00000393: PUSH1 0x00 00000395: DUP1 00000396: REVERT 00000397: JUMPDEST 00000398: POP 00000399: PUSH2 0x01f5 0000039c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003b1: PUSH1 0x04 000003b3: CALLDATALOAD 000003b4: AND 000003b5: PUSH1 0x24 000003b7: CALLDATALOAD 000003b8: PUSH2 0x0cc0 000003bb: JUMP 000003bc: JUMPDEST 000003bd: CALLVALUE 000003be: DUP1 000003bf: ISZERO 000003c0: PUSH2 0x03c8 000003c3: JUMPI 000003c4: PUSH1 0x00 000003c6: DUP1 000003c7: REVERT 000003c8: JUMPDEST 000003c9: POP 000003ca: PUSH2 0x02e3 000003cd: PUSH2 0x0da5 000003d0: JUMP 000003d1: JUMPDEST 000003d2: PUSH2 0x01f5 000003d5: PUSH2 0x048d 000003d8: JUMP 000003d9: JUMPDEST 000003da: CALLVALUE 000003db: DUP1 000003dc: ISZERO 000003dd: PUSH2 0x03e5 000003e0: JUMPI 000003e1: PUSH1 0x00 000003e3: DUP1 000003e4: REVERT 000003e5: JUMPDEST 000003e6: POP 000003e7: PUSH2 0x01f5 000003ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003ff: PUSH1 0x04 00000401: CALLDATALOAD 00000402: AND 00000403: PUSH2 0x0dc6 00000406: JUMP 00000407: JUMPDEST 00000408: CALLVALUE 00000409: DUP1 0000040a: ISZERO 0000040b: PUSH2 0x0413 0000040e: JUMPI 0000040f: PUSH1 0x00 00000411: DUP1 00000412: REVERT 00000413: JUMPDEST 00000414: POP 00000415: PUSH2 0x01f5 00000418: PUSH2 0x0ea2 0000041b: JUMP 0000041c: JUMPDEST 0000041d: CALLVALUE 0000041e: DUP1 0000041f: ISZERO 00000420: PUSH2 0x0428 00000423: JUMPI 00000424: PUSH1 0x00 00000426: DUP1 00000427: REVERT 00000428: JUMPDEST 00000429: POP 0000042a: PUSH2 0x01f5 0000042d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000442: PUSH1 0x04 00000444: CALLDATALOAD 00000445: AND 00000446: PUSH2 0x0f60 00000449: JUMP 0000044a: JUMPDEST 0000044b: CALLVALUE 0000044c: DUP1 0000044d: ISZERO 0000044e: PUSH2 0x0456 00000451: JUMPI 00000452: PUSH1 0x00 00000454: DUP1 00000455: REVERT 00000456: JUMPDEST 00000457: POP 00000458: PUSH2 0x01f5 0000045b: PUSH2 0x0f8c 0000045e: JUMP 0000045f: JUMPDEST 00000460: CALLVALUE 00000461: DUP1 00000462: ISZERO 00000463: PUSH2 0x046b 00000466: JUMPI 00000467: PUSH1 0x00 00000469: DUP1 0000046a: REVERT 0000046b: JUMPDEST 0000046c: POP 0000046d: PUSH2 0x01f5 00000470: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000485: PUSH1 0x04 00000487: CALLDATALOAD 00000488: AND 00000489: PUSH2 0x102a 0000048c: JUMP 0000048d: JUMPDEST 0000048e: PUSH1 0x00 00000490: PUSH2 0x04d0 00000493: PUSH2 0x04aa 00000496: PUSH1 0x01 00000498: PUSH1 0x15 0000049a: SWAP1 0000049b: SLOAD 0000049c: SWAP1 0000049d: PUSH2 0x0100 000004a0: EXP 000004a1: SWAP1 000004a2: DIV 000004a3: PUSH1 0xff 000004a5: AND 000004a6: PUSH2 0x10ed 000004a9: JUMP 000004aa: JUMPDEST 000004ab: PUSH32 0x4c697374696e67206973207374696c6c20696e2070726f677265737300000000 000004cc: PUSH2 0x10f1 000004cf: JUMP 000004d0: JUMPDEST 000004d1: POP 000004d2: PUSH1 0x01 000004d4: JUMPDEST 000004d5: SWAP1 000004d6: JUMP 000004d7: JUMPDEST 000004d8: PUSH1 0x03 000004da: PUSH1 0x20 000004dc: MSTORE 000004dd: PUSH1 0x00 000004df: SWAP1 000004e0: DUP2 000004e1: MSTORE 000004e2: PUSH1 0x40 000004e4: SWAP1 000004e5: KECCAK256 000004e6: SLOAD 000004e7: DUP2 000004e8: JUMP 000004e9: JUMPDEST 000004ea: PUSH1 0x00 000004ec: DUP1 000004ed: PUSH1 0x00 000004ef: PUSH2 0x0568 000004f2: CALLER 000004f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000508: AND 00000509: PUSH1 0x00 0000050b: PUSH1 0x01 0000050d: SWAP1 0000050e: SLOAD 0000050f: SWAP1 00000510: PUSH2 0x0100 00000513: EXP 00000514: SWAP1 00000515: DIV 00000516: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000052b: AND 0000052c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000541: AND 00000542: EQ 00000543: PUSH32 0x4e6f74206120636f6e7472616374206f776e6572000000000000000000000000 00000564: PUSH2 0x110a 00000567: JUMP 00000568: JUMPDEST 00000569: PUSH1 0x01 0000056b: SLOAD 0000056c: PUSH2 0x05b1 0000056f: SWAP1 00000570: PUSH22 0x01000000000000000000000000000000000000000000 00000587: SWAP1 00000588: DIV 00000589: PUSH1 0xff 0000058b: AND 0000058c: PUSH32 0x4c697374696e6720697320616c72656164792066696e69736865640000000000 000005ad: PUSH2 0x110a 000005b0: JUMP 000005b1: JUMPDEST 000005b2: PUSH2 0x05df 000005b5: DUP5 000005b6: MLOAD 000005b7: DUP7 000005b8: MLOAD 000005b9: EQ 000005ba: PUSH32 0x496e76616c696420696e70757400000000000000000000000000000000000000 000005db: PUSH2 0x110a 000005de: JUMP 000005df: JUMPDEST 000005e0: POP 000005e1: POP 000005e2: PUSH1 0x02 000005e4: SLOAD 000005e5: PUSH1 0x00 000005e7: JUMPDEST 000005e8: DUP5 000005e9: MLOAD 000005ea: DUP2 000005eb: LT 000005ec: ISZERO 000005ed: PUSH2 0x0633 000005f0: JUMPI 000005f1: PUSH2 0x0629 000005f4: DUP6 000005f5: DUP3 000005f6: DUP2 000005f7: MLOAD 000005f8: DUP2 000005f9: LT 000005fa: ISZERO 000005fb: ISZERO 000005fc: PUSH2 0x0601 000005ff: JUMPI 00000600: INVALID 00000601: JUMPDEST 00000602: SWAP1 00000603: PUSH1 0x20 00000605: ADD 00000606: SWAP1 00000607: PUSH1 0x20 00000609: MUL 0000060a: ADD 0000060b: MLOAD 0000060c: DUP6 0000060d: DUP4 0000060e: DUP2 0000060f: MLOAD 00000610: DUP2 00000611: LT 00000612: ISZERO 00000613: ISZERO 00000614: PUSH2 0x0619 00000617: JUMPI 00000618: INVALID 00000619: JUMPDEST 0000061a: SWAP1 0000061b: PUSH1 0x20 0000061d: ADD 0000061e: SWAP1 0000061f: PUSH1 0x20 00000621: MUL 00000622: ADD 00000623: MLOAD 00000624: DUP5 00000625: PUSH2 0x1152 00000628: JUMP 00000629: JUMPDEST 0000062a: SWAP2 0000062b: POP 0000062c: PUSH1 0x01 0000062e: ADD 0000062f: PUSH2 0x05e7 00000632: JUMP 00000633: JUMPDEST 00000634: PUSH1 0x02 00000636: DUP3 00000637: SWAP1 00000638: SSTORE 00000639: PUSH1 0x40 0000063b: DUP1 0000063c: MLOAD 0000063d: DUP4 0000063e: DUP2 0000063f: MSTORE 00000640: SWAP1 00000641: MLOAD 00000642: PUSH32 0x5435b0061c48ac8874dbb60482844aa54ff88feea4f3fb76e646cb746ce2052c 00000663: SWAP2 00000664: DUP2 00000665: SWAP1 00000666: SUB 00000667: PUSH1 0x20 00000669: ADD 0000066a: SWAP1 0000066b: LOG1 0000066c: POP 0000066d: PUSH1 0x01 0000066f: SWAP5 00000670: SWAP4 00000671: POP 00000672: POP 00000673: POP 00000674: POP 00000675: JUMP 00000676: JUMPDEST 00000677: PUSH1 0x01 00000679: SLOAD 0000067a: PUSH21 0x010000000000000000000000000000000000000000 00000690: SWAP1 00000691: DIV 00000692: PUSH1 0xff 00000694: AND 00000695: DUP2 00000696: JUMP 00000697: JUMPDEST 00000698: PUSH1 0x00 0000069a: SLOAD 0000069b: PUSH1 0xff 0000069d: AND 0000069e: DUP2 0000069f: JUMP 000006a0: JUMPDEST 000006a1: PUSH1 0x00 000006a3: DUP1 000006a4: SLOAD 000006a5: PUSH2 0x06ef 000006a8: SWAP1 000006a9: CALLER 000006aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006bf: SWAP1 000006c0: DUP2 000006c1: AND 000006c2: PUSH2 0x0100 000006c5: SWAP1 000006c6: SWAP3 000006c7: DIV 000006c8: AND 000006c9: EQ 000006ca: PUSH32 0x4e6f74206120636f6e7472616374206f776e6572000000000000000000000000 000006eb: PUSH2 0x110a 000006ee: JUMP 000006ef: JUMPDEST 000006f0: DUP2 000006f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000706: AND 00000707: PUSH4 0xa9059cbb 0000070c: CALLER 0000070d: DUP5 0000070e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000723: AND 00000724: PUSH4 0x70a08231 00000729: ADDRESS 0000072a: PUSH1 0x40 0000072c: MLOAD 0000072d: DUP3 0000072e: PUSH4 0xffffffff 00000733: AND 00000734: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000752: MUL 00000753: DUP2 00000754: MSTORE 00000755: PUSH1 0x04 00000757: ADD 00000758: DUP1 00000759: DUP3 0000075a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000076f: AND 00000770: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000785: AND 00000786: DUP2 00000787: MSTORE 00000788: PUSH1 0x20 0000078a: ADD 0000078b: SWAP2 0000078c: POP 0000078d: POP 0000078e: PUSH1 0x20 00000790: PUSH1 0x40 00000792: MLOAD 00000793: DUP1 00000794: DUP4 00000795: SUB 00000796: DUP2 00000797: PUSH1 0x00 00000799: DUP8 0000079a: DUP1 0000079b: EXTCODESIZE 0000079c: ISZERO 0000079d: DUP1 0000079e: ISZERO 0000079f: PUSH2 0x07a7 000007a2: JUMPI 000007a3: PUSH1 0x00 000007a5: DUP1 000007a6: REVERT 000007a7: JUMPDEST 000007a8: POP 000007a9: GAS 000007aa: CALL 000007ab: ISZERO 000007ac: DUP1 000007ad: ISZERO 000007ae: PUSH2 0x07bb 000007b1: JUMPI 000007b2: RETURNDATASIZE 000007b3: PUSH1 0x00 000007b5: DUP1 000007b6: RETURNDATACOPY 000007b7: RETURNDATASIZE 000007b8: PUSH1 0x00 000007ba: REVERT 000007bb: JUMPDEST 000007bc: POP 000007bd: POP 000007be: POP 000007bf: POP 000007c0: PUSH1 0x40 000007c2: MLOAD 000007c3: RETURNDATASIZE 000007c4: PUSH1 0x20 000007c6: DUP2 000007c7: LT 000007c8: ISZERO 000007c9: PUSH2 0x07d1 000007cc: JUMPI 000007cd: PUSH1 0x00 000007cf: DUP1 000007d0: REVERT 000007d1: JUMPDEST 000007d2: POP 000007d3: MLOAD 000007d4: PUSH1 0x40 000007d6: DUP1 000007d7: MLOAD 000007d8: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 000007f6: PUSH4 0xffffffff 000007fb: DUP7 000007fc: AND 000007fd: MUL 000007fe: DUP2 000007ff: MSTORE 00000800: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000815: SWAP1 00000816: SWAP4 00000817: AND 00000818: PUSH1 0x04 0000081a: DUP5 0000081b: ADD 0000081c: MSTORE 0000081d: PUSH1 0x24 0000081f: DUP4 00000820: ADD 00000821: SWAP2 00000822: SWAP1 00000823: SWAP2 00000824: MSTORE 00000825: MLOAD 00000826: PUSH1 0x44 00000828: DUP1 00000829: DUP4 0000082a: ADD 0000082b: SWAP3 0000082c: PUSH1 0x20 0000082e: SWAP3 0000082f: SWAP2 00000830: SWAP1 00000831: DUP3 00000832: SWAP1 00000833: SUB 00000834: ADD 00000835: DUP2 00000836: PUSH1 0x00 00000838: DUP8 00000839: DUP1 0000083a: EXTCODESIZE 0000083b: ISZERO 0000083c: DUP1 0000083d: ISZERO 0000083e: PUSH2 0x0846 00000841: JUMPI 00000842: PUSH1 0x00 00000844: DUP1 00000845: REVERT 00000846: JUMPDEST 00000847: POP 00000848: GAS 00000849: CALL 0000084a: ISZERO 0000084b: DUP1 0000084c: ISZERO 0000084d: PUSH2 0x085a 00000850: JUMPI 00000851: RETURNDATASIZE 00000852: PUSH1 0x00 00000854: DUP1 00000855: RETURNDATACOPY 00000856: RETURNDATASIZE 00000857: PUSH1 0x00 00000859: REVERT 0000085a: JUMPDEST 0000085b: POP 0000085c: POP 0000085d: POP 0000085e: POP 0000085f: PUSH1 0x40 00000861: MLOAD 00000862: RETURNDATASIZE 00000863: PUSH1 0x20 00000865: DUP2 00000866: LT 00000867: ISZERO 00000868: PUSH2 0x0870 0000086b: JUMPI 0000086c: PUSH1 0x00 0000086e: DUP1 0000086f: REVERT 00000870: JUMPDEST 00000871: POP 00000872: MLOAD 00000873: SWAP3 00000874: SWAP2 00000875: POP 00000876: POP 00000877: JUMP 00000878: JUMPDEST 00000879: PUSH1 0x01 0000087b: SLOAD 0000087c: PUSH22 0x01000000000000000000000000000000000000000000 00000893: SWAP1 00000894: DIV 00000895: PUSH1 0xff 00000897: AND 00000898: DUP2 00000899: JUMP 0000089a: JUMPDEST 0000089b: PUSH1 0x01 0000089d: SLOAD 0000089e: PUSH1 0x00 000008a0: SWAP1 000008a1: PUSH2 0x08e6 000008a4: SWAP1 000008a5: CALLER 000008a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008bb: SWAP1 000008bc: DUP2 000008bd: AND 000008be: SWAP2 000008bf: AND 000008c0: EQ 000008c1: PUSH32 0x4e6f7420612070656e64696e6720636f6e7472616374206f776e657200000000 000008e2: PUSH2 0x110a 000008e5: JUMP 000008e6: JUMPDEST 000008e7: PUSH1 0x01 000008e9: DUP1 000008ea: SLOAD 000008eb: PUSH1 0x00 000008ed: DUP1 000008ee: SLOAD 000008ef: PUSH32 0xffffffffffffffffffffff0000000000000000000000000000000000000000ff 00000910: AND 00000911: PUSH2 0x0100 00000914: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000929: DUP1 0000092a: DUP6 0000092b: AND 0000092c: DUP3 0000092d: MUL 0000092e: SWAP3 0000092f: SWAP1 00000930: SWAP3 00000931: OR 00000932: SWAP3 00000933: DUP4 00000934: SWAP1 00000935: SSTORE 00000936: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 00000957: SWAP1 00000958: SWAP4 00000959: AND 0000095a: SWAP1 0000095b: SWAP4 0000095c: SSTORE 0000095d: PUSH1 0x40 0000095f: DUP1 00000960: MLOAD 00000961: SWAP3 00000962: SWAP1 00000963: SWAP2 00000964: DIV 00000965: SWAP1 00000966: SWAP3 00000967: AND 00000968: DUP2 00000969: MSTORE 0000096a: SWAP1 0000096b: MLOAD 0000096c: PUSH32 0x1dad5e80e958c984a8452d7badfbfcb5bb26300e5599542c55c07b97d053cee6 0000098d: SWAP2 0000098e: PUSH1 0x20 00000990: SWAP1 00000991: DUP3 00000992: SWAP1 00000993: SUB 00000994: ADD 00000995: SWAP1 00000996: LOG1 00000997: POP 00000998: PUSH1 0x01 0000099a: SWAP1 0000099b: JUMP 0000099c: JUMPDEST 0000099d: PUSH1 0x02 0000099f: SLOAD 000009a0: DUP2 000009a1: JUMP 000009a2: JUMPDEST 000009a3: PUSH1 0x00 000009a5: DUP1 000009a6: SLOAD 000009a7: PUSH2 0x09f1 000009aa: SWAP1 000009ab: CALLER 000009ac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009c1: SWAP1 000009c2: DUP2 000009c3: AND 000009c4: PUSH2 0x0100 000009c7: SWAP1 000009c8: SWAP3 000009c9: DIV 000009ca: AND 000009cb: EQ 000009cc: PUSH32 0x4e6f74206120636f6e7472616374206f776e6572000000000000000000000000 000009ed: PUSH2 0x110a 000009f0: JUMP 000009f1: JUMPDEST 000009f2: PUSH1 0x01 000009f4: DUP1 000009f5: SLOAD 000009f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a0b: DUP5 00000a0c: AND 00000a0d: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 00000a2e: SWAP1 00000a2f: SWAP2 00000a30: AND 00000a31: DUP2 00000a32: OR 00000a33: SWAP1 00000a34: SWAP2 00000a35: SSTORE 00000a36: PUSH1 0x40 00000a38: DUP1 00000a39: MLOAD 00000a3a: SWAP2 00000a3b: DUP3 00000a3c: MSTORE 00000a3d: MLOAD 00000a3e: PUSH32 0x1948a52e39115506012fb2b3a27e7706ea318db9d8df12fd820fca615603984b 00000a5f: SWAP2 00000a60: DUP2 00000a61: SWAP1 00000a62: SUB 00000a63: PUSH1 0x20 00000a65: ADD 00000a66: SWAP1 00000a67: LOG1 00000a68: POP 00000a69: PUSH1 0x01 00000a6b: SWAP2 00000a6c: SWAP1 00000a6d: POP 00000a6e: JUMP 00000a6f: JUMPDEST 00000a70: PUSH1 0x01 00000a72: SLOAD 00000a73: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a88: AND 00000a89: DUP2 00000a8a: JUMP 00000a8b: JUMPDEST 00000a8c: PUSH1 0x00 00000a8e: DUP1 00000a8f: PUSH2 0x0acf 00000a92: PUSH2 0x0aa9 00000a95: PUSH1 0x01 00000a97: PUSH1 0x15 00000a99: SWAP1 00000a9a: SLOAD 00000a9b: SWAP1 00000a9c: PUSH2 0x0100 00000a9f: EXP 00000aa0: SWAP1 00000aa1: DIV 00000aa2: PUSH1 0xff 00000aa4: AND 00000aa5: PUSH2 0x10ed 00000aa8: JUMP 00000aa9: JUMPDEST 00000aaa: PUSH32 0x4c697374696e67206973207374696c6c20696e2070726f677265737300000000 00000acb: PUSH2 0x110a 00000ace: JUMP 00000acf: JUMPDEST 00000ad0: POP 00000ad1: PUSH1 0x00 00000ad3: JUMPDEST 00000ad4: DUP3 00000ad5: MLOAD 00000ad6: DUP2 00000ad7: LT 00000ad8: ISZERO 00000ad9: PUSH2 0x0b05 00000adc: JUMPI 00000add: PUSH2 0x0afc 00000ae0: DUP4 00000ae1: DUP3 00000ae2: DUP2 00000ae3: MLOAD 00000ae4: DUP2 00000ae5: LT 00000ae6: ISZERO 00000ae7: ISZERO 00000ae8: PUSH2 0x0aed 00000aeb: JUMPI 00000aec: INVALID 00000aed: JUMPDEST 00000aee: SWAP1 00000aef: PUSH1 0x20 00000af1: ADD 00000af2: SWAP1 00000af3: PUSH1 0x20 00000af5: MUL 00000af6: ADD 00000af7: MLOAD 00000af8: PUSH2 0x1203 00000afb: JUMP 00000afc: JUMPDEST 00000afd: POP 00000afe: PUSH1 0x01 00000b00: ADD 00000b01: PUSH2 0x0ad3 00000b04: JUMP 00000b05: JUMPDEST 00000b06: PUSH1 0x01 00000b08: SWAP2 00000b09: POP 00000b0a: JUMPDEST 00000b0b: POP 00000b0c: SWAP2 00000b0d: SWAP1 00000b0e: POP 00000b0f: JUMP 00000b10: JUMPDEST 00000b11: PUSH1 0x00 00000b13: DUP1 00000b14: SLOAD 00000b15: PUSH2 0x0b5f 00000b18: SWAP1 00000b19: CALLER 00000b1a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b2f: SWAP1 00000b30: DUP2 00000b31: AND 00000b32: PUSH2 0x0100 00000b35: SWAP1 00000b36: SWAP3 00000b37: DIV 00000b38: AND 00000b39: EQ 00000b3a: PUSH32 0x4e6f74206120636f6e7472616374206f776e6572000000000000000000000000 00000b5b: PUSH2 0x110a 00000b5e: JUMP 00000b5f: JUMPDEST 00000b60: PUSH1 0x01 00000b62: SLOAD 00000b63: PUSH2 0x0ba8 00000b66: SWAP1 00000b67: PUSH22 0x01000000000000000000000000000000000000000000 00000b7e: SWAP1 00000b7f: DIV 00000b80: PUSH1 0xff 00000b82: AND 00000b83: PUSH32 0x4c697374696e6720697320616c72656164792066696e69736865640000000000 00000ba4: PUSH2 0x110a 00000ba7: JUMP 00000ba8: JUMPDEST 00000ba9: PUSH1 0x01 00000bab: DUP1 00000bac: SLOAD 00000bad: PUSH32 0xffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffffff 00000bce: AND 00000bcf: SWAP1 00000bd0: SSTORE 00000bd1: PUSH1 0x02 00000bd3: SLOAD 00000bd4: PUSH1 0x40 00000bd6: DUP1 00000bd7: MLOAD 00000bd8: SWAP2 00000bd9: DUP3 00000bda: MSTORE 00000bdb: MLOAD 00000bdc: PUSH32 0xfc3d4eb19f4cf1d3fe68c93a05442a54c46716aff6c64b99571b2ac8eb6e9167 00000bfd: SWAP2 00000bfe: DUP2 00000bff: SWAP1 00000c00: SUB 00000c01: PUSH1 0x20 00000c03: ADD 00000c04: SWAP1 00000c05: LOG1 00000c06: POP 00000c07: PUSH1 0x01 00000c09: SWAP1 00000c0a: JUMP 00000c0b: JUMPDEST 00000c0c: PUSH1 0x00 00000c0e: PUSH2 0x0c15 00000c11: PUSH2 0x0ea2 00000c14: JUMP 00000c15: JUMPDEST 00000c16: POP 00000c17: PUSH1 0x01 00000c19: SLOAD 00000c1a: PUSH21 0x010000000000000000000000000000000000000000 00000c30: SWAP1 00000c31: DIV 00000c32: PUSH1 0xff 00000c34: AND 00000c35: ISZERO 00000c36: PUSH2 0x0c41 00000c39: JUMPI 00000c3a: POP 00000c3b: PUSH1 0x00 00000c3d: PUSH2 0x04d4 00000c40: JUMP 00000c41: JUMPDEST 00000c42: POP 00000c43: PUSH1 0x01 00000c45: DUP1 00000c46: SLOAD 00000c47: PUSH32 0xffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffffff 00000c68: PUSH32 0xffffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffff 00000c89: SWAP1 00000c8a: SWAP2 00000c8b: AND 00000c8c: PUSH21 0x010000000000000000000000000000000000000000 00000ca2: OR 00000ca3: AND 00000ca4: PUSH22 0x01000000000000000000000000000000000000000000 00000cbb: OR 00000cbc: DUP2 00000cbd: SSTORE 00000cbe: SWAP1 00000cbf: JUMP 00000cc0: JUMPDEST 00000cc1: PUSH1 0x00 00000cc3: DUP1 00000cc4: SLOAD 00000cc5: PUSH2 0x0d0f 00000cc8: SWAP1 00000cc9: CALLER 00000cca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cdf: SWAP1 00000ce0: DUP2 00000ce1: AND 00000ce2: PUSH2 0x0100 00000ce5: SWAP1 00000ce6: SWAP3 00000ce7: DIV 00000ce8: AND 00000ce9: EQ 00000cea: PUSH32 0x4e6f74206120636f6e7472616374206f776e6572000000000000000000000000 00000d0b: PUSH2 0x110a 00000d0e: JUMP 00000d0f: JUMPDEST 00000d10: PUSH1 0x01 00000d12: SLOAD 00000d13: PUSH2 0x0d58 00000d16: SWAP1 00000d17: PUSH22 0x01000000000000000000000000000000000000000000 00000d2e: SWAP1 00000d2f: DIV 00000d30: PUSH1 0xff 00000d32: AND 00000d33: PUSH32 0x4c697374696e6720697320616c72656164792066696e69736865640000000000 00000d54: PUSH2 0x110a 00000d57: JUMP 00000d58: JUMPDEST 00000d59: PUSH2 0x0d65 00000d5c: DUP4 00000d5d: DUP4 00000d5e: PUSH1 0x02 00000d60: SLOAD 00000d61: PUSH2 0x1152 00000d64: JUMP 00000d65: JUMPDEST 00000d66: PUSH1 0x02 00000d68: DUP2 00000d69: SWAP1 00000d6a: SSTORE 00000d6b: PUSH1 0x40 00000d6d: DUP1 00000d6e: MLOAD 00000d6f: SWAP2 00000d70: DUP3 00000d71: MSTORE 00000d72: MLOAD 00000d73: PUSH32 0x5435b0061c48ac8874dbb60482844aa54ff88feea4f3fb76e646cb746ce2052c 00000d94: SWAP2 00000d95: DUP2 00000d96: SWAP1 00000d97: SUB 00000d98: PUSH1 0x20 00000d9a: ADD 00000d9b: SWAP1 00000d9c: LOG1 00000d9d: POP 00000d9e: PUSH1 0x01 00000da0: SWAP3 00000da1: SWAP2 00000da2: POP 00000da3: POP 00000da4: JUMP 00000da5: JUMPDEST 00000da6: PUSH1 0x00 00000da8: SLOAD 00000da9: PUSH2 0x0100 00000dac: SWAP1 00000dad: DIV 00000dae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dc3: AND 00000dc4: DUP2 00000dc5: JUMP 00000dc6: JUMPDEST 00000dc7: PUSH1 0x00 00000dc9: DUP1 00000dca: SLOAD 00000dcb: PUSH2 0x0e15 00000dce: SWAP1 00000dcf: CALLER 00000dd0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000de5: SWAP1 00000de6: DUP2 00000de7: AND 00000de8: PUSH2 0x0100 00000deb: SWAP1 00000dec: SWAP3 00000ded: DIV 00000dee: AND 00000def: EQ 00000df0: PUSH32 0x4e6f74206120636f6e7472616374206f776e6572000000000000000000000000 00000e11: PUSH2 0x110a 00000e14: JUMP 00000e15: JUMPDEST 00000e16: PUSH1 0x00 00000e18: DUP1 00000e19: SLOAD 00000e1a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e2f: DUP1 00000e30: DUP6 00000e31: AND 00000e32: PUSH2 0x0100 00000e35: SWAP1 00000e36: DUP2 00000e37: MUL 00000e38: PUSH32 0xffffffffffffffffffffff0000000000000000000000000000000000000000ff 00000e59: SWAP1 00000e5a: SWAP4 00000e5b: AND 00000e5c: SWAP3 00000e5d: SWAP1 00000e5e: SWAP3 00000e5f: OR 00000e60: SWAP3 00000e61: DUP4 00000e62: SWAP1 00000e63: SSTORE 00000e64: PUSH1 0x40 00000e66: DUP1 00000e67: MLOAD 00000e68: SWAP3 00000e69: SWAP1 00000e6a: SWAP4 00000e6b: DIV 00000e6c: AND 00000e6d: DUP2 00000e6e: MSTORE 00000e6f: SWAP1 00000e70: MLOAD 00000e71: PUSH32 0x1dad5e80e958c984a8452d7badfbfcb5bb26300e5599542c55c07b97d053cee6 00000e92: SWAP2 00000e93: DUP2 00000e94: SWAP1 00000e95: SUB 00000e96: PUSH1 0x20 00000e98: ADD 00000e99: SWAP1 00000e9a: LOG1 00000e9b: POP 00000e9c: PUSH1 0x01 00000e9e: SWAP2 00000e9f: SWAP1 00000ea0: POP 00000ea1: JUMP 00000ea2: JUMPDEST 00000ea3: PUSH1 0x00 00000ea5: DUP1 00000ea6: SLOAD 00000ea7: PUSH1 0xff 00000ea9: AND 00000eaa: ISZERO 00000eab: PUSH2 0x0eb6 00000eae: JUMPI 00000eaf: POP 00000eb0: PUSH1 0x00 00000eb2: PUSH2 0x04d4 00000eb5: JUMP 00000eb6: JUMPDEST 00000eb7: PUSH1 0x00 00000eb9: DUP1 00000eba: SLOAD 00000ebb: PUSH1 0x01 00000ebd: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 00000ede: SWAP1 00000edf: SWAP2 00000ee0: AND 00000ee1: OR 00000ee2: PUSH32 0xffffffffffffffffffffff0000000000000000000000000000000000000000ff 00000f03: AND 00000f04: PUSH2 0x0100 00000f07: CALLER 00000f08: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f1d: AND 00000f1e: SWAP1 00000f1f: DUP2 00000f20: MUL 00000f21: SWAP2 00000f22: SWAP1 00000f23: SWAP2 00000f24: OR 00000f25: SWAP1 00000f26: SWAP2 00000f27: SSTORE 00000f28: PUSH1 0x40 00000f2a: DUP1 00000f2b: MLOAD 00000f2c: SWAP2 00000f2d: DUP3 00000f2e: MSTORE 00000f2f: MLOAD 00000f30: PUSH32 0x1dad5e80e958c984a8452d7badfbfcb5bb26300e5599542c55c07b97d053cee6 00000f51: SWAP2 00000f52: PUSH1 0x20 00000f54: SWAP1 00000f55: DUP3 00000f56: SWAP1 00000f57: SUB 00000f58: ADD 00000f59: SWAP1 00000f5a: LOG1 00000f5b: POP 00000f5c: PUSH1 0x01 00000f5e: SWAP1 00000f5f: JUMP 00000f60: JUMPDEST 00000f61: PUSH1 0x00 00000f63: PUSH2 0x0f7d 00000f66: PUSH2 0x0aa9 00000f69: PUSH1 0x01 00000f6b: PUSH1 0x15 00000f6d: SWAP1 00000f6e: SLOAD 00000f6f: SWAP1 00000f70: PUSH2 0x0100 00000f73: EXP 00000f74: SWAP1 00000f75: DIV 00000f76: PUSH1 0xff 00000f78: AND 00000f79: PUSH2 0x10ed 00000f7c: JUMP 00000f7d: JUMPDEST 00000f7e: PUSH2 0x0f86 00000f81: DUP3 00000f82: PUSH2 0x1203 00000f85: JUMP 00000f86: JUMPDEST 00000f87: SWAP3 00000f88: SWAP2 00000f89: POP 00000f8a: POP 00000f8b: JUMP 00000f8c: JUMPDEST 00000f8d: PUSH1 0x00 00000f8f: DUP1 00000f90: SLOAD 00000f91: PUSH2 0x0fdb 00000f94: SWAP1 00000f95: CALLER 00000f96: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fab: SWAP1 00000fac: DUP2 00000fad: AND 00000fae: PUSH2 0x0100 00000fb1: SWAP1 00000fb2: SWAP3 00000fb3: DIV 00000fb4: AND 00000fb5: EQ 00000fb6: PUSH32 0x4e6f74206120636f6e7472616374206f776e6572000000000000000000000000 00000fd7: PUSH2 0x110a 00000fda: JUMP 00000fdb: JUMPDEST 00000fdc: PUSH1 0x40 00000fde: MLOAD 00000fdf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ff4: CALLER 00000ff5: DUP2 00000ff6: AND 00000ff7: SWAP2 00000ff8: ADDRESS 00000ff9: SWAP1 00000ffa: SWAP2 00000ffb: AND 00000ffc: BALANCE 00000ffd: DUP1 00000ffe: ISZERO 00000fff: PUSH2 0x08fc 00001002: MUL 00001003: SWAP2 00001004: PUSH1 0x00 00001006: DUP2 00001007: DUP2 00001008: DUP2 00001009: DUP6 0000100a: DUP9 0000100b: DUP9 0000100c: CALL 0000100d: SWAP4 0000100e: POP 0000100f: POP 00001010: POP 00001011: POP 00001012: ISZERO 00001013: DUP1 00001014: ISZERO 00001015: PUSH2 0x1022 00001018: JUMPI 00001019: RETURNDATASIZE 0000101a: PUSH1 0x00 0000101c: DUP1 0000101d: RETURNDATACOPY 0000101e: RETURNDATASIZE 0000101f: PUSH1 0x00 00001021: REVERT 00001022: JUMPDEST 00001023: POP 00001024: PUSH1 0x01 00001026: SWAP1 00001027: POP 00001028: SWAP1 00001029: JUMP 0000102a: JUMPDEST 0000102b: PUSH1 0x00 0000102d: DUP1 0000102e: PUSH2 0x1048 00001031: PUSH2 0x0aa9 00001034: PUSH1 0x01 00001036: PUSH1 0x15 00001038: SWAP1 00001039: SLOAD 0000103a: SWAP1 0000103b: PUSH2 0x0100 0000103e: EXP 0000103f: SWAP1 00001040: DIV 00001041: PUSH1 0xff 00001043: AND 00001044: PUSH2 0x10ed 00001047: JUMP 00001048: JUMPDEST 00001049: POP 0000104a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000105f: DUP3 00001060: AND 00001061: PUSH1 0x00 00001063: DUP2 00001064: DUP2 00001065: MSTORE 00001066: PUSH1 0x03 00001068: PUSH1 0x20 0000106a: MSTORE 0000106b: PUSH1 0x40 0000106d: DUP1 0000106e: DUP3 0000106f: KECCAK256 00001070: DUP1 00001071: SLOAD 00001072: SWAP1 00001073: DUP4 00001074: SWAP1 00001075: SSTORE 00001076: SWAP1 00001077: MLOAD 00001078: SWAP1 00001079: SWAP3 0000107a: SWAP2 0000107b: DUP4 0000107c: SWAP2 0000107d: SWAP1 0000107e: DUP2 0000107f: DUP2 00001080: DUP2 00001081: DUP6 00001082: DUP8 00001083: GAS 00001084: CALL 00001085: SWAP3 00001086: POP 00001087: POP 00001088: POP 00001089: ISZERO 0000108a: ISZERO 0000108b: PUSH2 0x1093 0000108e: JUMPI 0000108f: PUSH1 0x00 00001091: DUP1 00001092: REVERT 00001093: JUMPDEST 00001094: PUSH1 0x40 00001096: DUP1 00001097: MLOAD 00001098: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010ad: DUP6 000010ae: AND 000010af: DUP2 000010b0: MSTORE 000010b1: PUSH1 0x20 000010b3: DUP2 000010b4: ADD 000010b5: DUP4 000010b6: SWAP1 000010b7: MSTORE 000010b8: DUP2 000010b9: MLOAD 000010ba: PUSH32 0x94462964244f831859696cd18d9216ca7f9210e506ea24559550ec0db9a9a75a 000010db: SWAP3 000010dc: SWAP2 000010dd: DUP2 000010de: SWAP1 000010df: SUB 000010e0: SWAP1 000010e1: SWAP2 000010e2: ADD 000010e3: SWAP1 000010e4: LOG1 000010e5: POP 000010e6: PUSH1 0x01 000010e8: SWAP3 000010e9: SWAP2 000010ea: POP 000010eb: POP 000010ec: JUMP 000010ed: JUMPDEST 000010ee: ISZERO 000010ef: SWAP1 000010f0: JUMP 000010f1: JUMPDEST 000010f2: DUP2 000010f3: ISZERO 000010f4: PUSH2 0x10fc 000010f7: JUMPI 000010f8: PUSH2 0x1106 000010fb: JUMP 000010fc: JUMPDEST 000010fd: DUP1 000010fe: PUSH1 0x00 00001100: MSTORE 00001101: PUSH1 0x20 00001103: PUSH1 0x00 00001105: REVERT 00001106: JUMPDEST 00001107: POP 00001108: POP 00001109: JUMP 0000110a: JUMPDEST 0000110b: DUP2 0000110c: ISZERO 0000110d: PUSH2 0x1115 00001110: JUMPI 00001111: PUSH2 0x1106 00001114: JUMP 00001115: JUMPDEST 00001116: PUSH1 0x40 00001118: DUP1 00001119: MLOAD 0000111a: DUP3 0000111b: DUP2 0000111c: MSTORE 0000111d: SWAP1 0000111e: MLOAD 0000111f: PUSH32 0xc0feee4291bd5b20db53763b87864bd1434da2717d6a9ba76efa4bafa8f6a99c 00001140: SWAP2 00001141: DUP2 00001142: SWAP1 00001143: SUB 00001144: PUSH1 0x20 00001146: ADD 00001147: SWAP1 00001148: LOG1 00001149: PUSH1 0x00 0000114b: DUP1 0000114c: MSTORE 0000114d: PUSH1 0x20 0000114f: PUSH1 0x00 00001151: RETURN 00001152: JUMPDEST 00001153: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001168: DUP4 00001169: AND 0000116a: PUSH1 0x00 0000116c: DUP2 0000116d: DUP2 0000116e: MSTORE 0000116f: PUSH1 0x03 00001171: PUSH1 0x20 00001173: SWAP1 00001174: DUP2 00001175: MSTORE 00001176: PUSH1 0x40 00001178: DUP1 00001179: DUP4 0000117a: KECCAK256 0000117b: DUP7 0000117c: SWAP1 0000117d: SSTORE 0000117e: DUP1 0000117f: MLOAD 00001180: SWAP4 00001181: DUP5 00001182: MSTORE 00001183: SWAP1 00001184: DUP4 00001185: ADD 00001186: DUP6 00001187: SWAP1 00001188: MSTORE 00001189: DUP1 0000118a: MLOAD 0000118b: SWAP2 0000118c: SWAP3 0000118d: PUSH32 0x5fdcf20c49c14d51c181382dd144c6867cfeb569bb5c9aadde23fc931c0fec25 000011ae: SWAP3 000011af: SWAP1 000011b0: DUP2 000011b1: SWAP1 000011b2: SUB 000011b3: SWAP1 000011b4: SWAP2 000011b5: ADD 000011b6: SWAP1 000011b7: LOG1 000011b8: POP 000011b9: PUSH1 0x40 000011bb: DUP1 000011bc: MLOAD 000011bd: DUP3 000011be: DUP2 000011bf: MSTORE 000011c0: PUSH13 0x01000000000000000000000000 000011ce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011e3: DUP7 000011e4: AND 000011e5: MUL 000011e6: PUSH1 0x20 000011e8: DUP3 000011e9: ADD 000011ea: MSTORE 000011eb: PUSH1 0x34 000011ed: DUP2 000011ee: ADD 000011ef: DUP5 000011f0: SWAP1 000011f1: MSTORE 000011f2: SWAP1 000011f3: MLOAD 000011f4: SWAP1 000011f5: DUP2 000011f6: SWAP1 000011f7: SUB 000011f8: PUSH1 0x54 000011fa: ADD 000011fb: SWAP1 000011fc: KECCAK256 000011fd: SWAP4 000011fe: SWAP3 000011ff: POP 00001200: POP 00001201: POP 00001202: JUMP 00001203: JUMPDEST 00001204: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001219: DUP2 0000121a: AND 0000121b: PUSH1 0x00 0000121d: SWAP1 0000121e: DUP2 0000121f: MSTORE 00001220: PUSH1 0x03 00001222: PUSH1 0x20 00001224: MSTORE 00001225: PUSH1 0x40 00001227: DUP2 00001228: KECCAK256 00001229: SLOAD 0000122a: DUP1 0000122b: ISZERO 0000122c: ISZERO 0000122d: PUSH2 0x1239 00001230: JUMPI 00001231: PUSH1 0x01 00001233: SWAP2 00001234: POP 00001235: PUSH2 0x0b0a 00001238: JUMP 00001239: JUMPDEST 0000123a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000124f: DUP4 00001250: AND 00001251: PUSH1 0x00 00001253: DUP2 00001254: DUP2 00001255: MSTORE 00001256: PUSH1 0x03 00001258: PUSH1 0x20 0000125a: MSTORE 0000125b: PUSH1 0x40 0000125d: DUP1 0000125e: DUP3 0000125f: KECCAK256 00001260: DUP3 00001261: SWAP1 00001262: SSTORE 00001263: MLOAD 00001264: DUP4 00001265: ISZERO 00001266: PUSH2 0x08fc 00001269: MUL 0000126a: SWAP2 0000126b: DUP5 0000126c: SWAP2 0000126d: SWAP1 0000126e: DUP2 0000126f: DUP2 00001270: DUP2 00001271: DUP6 00001272: DUP9 00001273: DUP9 00001274: CALL 00001275: SWAP4 00001276: POP 00001277: POP 00001278: POP 00001279: POP 0000127a: ISZERO 0000127b: ISZERO 0000127c: PUSH2 0x1093 0000127f: JUMPI 00001280: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001295: DUP4 00001296: AND 00001297: PUSH1 0x00 00001299: DUP2 0000129a: DUP2 0000129b: MSTORE 0000129c: PUSH1 0x03 0000129e: PUSH1 0x20 000012a0: SWAP1 000012a1: DUP2 000012a2: MSTORE 000012a3: PUSH1 0x40 000012a5: SWAP2 000012a6: DUP3 000012a7: SWAP1 000012a8: KECCAK256 000012a9: DUP5 000012aa: SWAP1 000012ab: SSTORE 000012ac: DUP2 000012ad: MLOAD 000012ae: SWAP3 000012af: DUP4 000012b0: MSTORE 000012b1: DUP3 000012b2: ADD 000012b3: DUP4 000012b4: SWAP1 000012b5: MSTORE 000012b6: DUP1 000012b7: MLOAD 000012b8: PUSH32 0xf4cc964b17b216b51e95b1c147d942c295b39ae42815ee808e0eac551e6a09b7 000012d9: SWAP3 000012da: DUP2 000012db: SWAP1 000012dc: SUB 000012dd: SWAP1 000012de: SWAP2 000012df: ADD 000012e0: SWAP1 000012e1: LOG1 000012e2: PUSH1 0x00 000012e4: SWAP2 000012e5: POP 000012e6: PUSH2 0x0b0a 000012e9: JUMP 000012ea: STOP 000012eb: LOG1 000012ec: PUSH6 0x627a7a723058 000012f3: KECCAK256 000012f4: UNKNOWN(0x24) 000012f5: DUP16 000012f6: BLOBHASH 000012f7: DUP7 000012f8: LT 000012f9: PUSH30
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x84df360603223202a06a036e2b566c762649ca2c1fe5e042d0954c4d6f9512ef
call_targets:
0xa94e336488a9d1ca05fdfa3ddc9b50ee07d65ffa
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x84df360603223202a06a036e2b566c762649ca2c1fe5e042d0954c4d6f9512ef",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xa94e336488a9d1ca05fdfa3ddc9b50ee07d65ffa"
],
"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": "0x0103c92b",
"selector": "0x0103c92b",
"calldata_variants": [
"0x0103c92b",
"0x0103c92b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x140c2f6a",
"selector": "0x140c2f6a",
"calldata_variants": [
"0x140c2f6a",
"0x140c2f6a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x359b77cc",
"selector": "0x359b77cc",
"calldata_variants": [
"0x359b77cc",
"0x359b77cc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x38649b2a",
"selector": "0x38649b2a",
"calldata_variants": [
"0x38649b2a",
"0x38649b2a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x428147ee",
"selector": "0x428147ee",
"calldata_variants": [
"0x428147ee",
"0x428147ee0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x449730b8",
"selector": "0x449730b8",
"calldata_variants": [
"0x449730b8",
"0x449730b80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4592cd1d",
"selector": "0x4592cd1d",
"calldata_variants": [
"0x4592cd1d",
"0x4592cd1d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x485484e5",
"selector": "0x485484e5",
"calldata_variants": [
"0x485484e5",
"0x485484e50000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1962,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2121,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4108,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 5,
"guards_detected": [],
"untrusted_call_count": 5
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x84df360603223202a06a036e2b566c762649ca2c1fe5e042d0954c4d6f9512ef
call_targets:
0xa94e336488a9d1ca05fdfa3ddc9b50ee07d65ffa
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x84df360603223202a06a036e2b566c762649ca2c1fe5e042d0954c4d6f9512ef",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xa94e336488a9d1ca05fdfa3ddc9b50ee07d65ffa"
],
"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": "0x0103c92b",
"selector": "0x0103c92b",
"calldata_variants": [
"0x0103c92b",
"0x0103c92b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x140c2f6a",
"selector": "0x140c2f6a",
"calldata_variants": [
"0x140c2f6a",
"0x140c2f6a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x359b77cc",
"selector": "0x359b77cc",
"calldata_variants": [
"0x359b77cc",
"0x359b77cc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x38649b2a",
"selector": "0x38649b2a",
"calldata_variants": [
"0x38649b2a",
"0x38649b2a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x428147ee",
"selector": "0x428147ee",
"calldata_variants": [
"0x428147ee",
"0x428147ee0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x449730b8",
"selector": "0x449730b8",
"calldata_variants": [
"0x449730b8",
"0x449730b80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4592cd1d",
"selector": "0x4592cd1d",
"calldata_variants": [
"0x4592cd1d",
"0x4592cd1d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x485484e5",
"selector": "0x485484e5",
"calldata_variants": [
"0x485484e5",
"0x485484e50000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1962,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2121,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4108,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": []
}
|