019b3844-9796-731e-a321-b1b2929d178c
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 |
|---|---|---|---|---|
| 13747 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 13748 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 85604 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 85605 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 85606 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 85607 | validation.fork | complete | 1 / 3 | 2 weeks 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 0x0118 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x68e5585d 00000019: GT 0000001a: PUSH2 0x00a0 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xa6ac4b35 00000024: GT 00000025: PUSH2 0x0064 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xa6ac4b35 0000002f: EQ 00000030: PUSH2 0x032c 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xb88a802f 0000003a: EQ 0000003b: PUSH2 0x0355 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xb8bec6a0 00000045: EQ 00000046: PUSH2 0x036a 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xe40df156 00000050: EQ 00000051: PUSH2 0x0396 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xf2fde38b 0000005b: EQ 0000005c: PUSH2 0x03ab 0000005f: JUMPI 00000060: PUSH2 0x011f 00000063: JUMP 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0x68e5585d 0000006b: EQ 0000006c: PUSH2 0x0259 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x6bf3f9e5 00000076: EQ 00000077: PUSH2 0x02a5 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x715018a6 00000081: EQ 00000082: PUSH2 0x02d8 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0x8da5cb5b 0000008c: EQ 0000008d: PUSH2 0x02ed 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0xa694fc3a 00000097: EQ 00000098: PUSH2 0x0302 0000009b: JUMPI 0000009c: PUSH2 0x011f 0000009f: JUMP 000000a0: JUMPDEST 000000a1: DUP1 000000a2: PUSH4 0x2e17de78 000000a7: GT 000000a8: PUSH2 0x00e7 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x2e17de78 000000b2: EQ 000000b3: PUSH2 0x01db 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x4cf088d9 000000bd: EQ 000000be: PUSH2 0x0205 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0x5155b3ce 000000c8: EQ 000000c9: PUSH2 0x021a 000000cc: JUMPI 000000cd: DUP1 000000ce: PUSH4 0x5f8dda7f 000000d3: EQ 000000d4: PUSH2 0x022f 000000d7: JUMPI 000000d8: DUP1 000000d9: PUSH4 0x615543cb 000000de: EQ 000000df: PUSH2 0x0244 000000e2: JUMPI 000000e3: PUSH2 0x011f 000000e6: JUMP 000000e7: JUMPDEST 000000e8: DUP1 000000e9: PUSH4 0x01048eee 000000ee: EQ 000000ef: PUSH2 0x0124 000000f2: JUMPI 000000f3: DUP1 000000f4: PUSH4 0x078b0fb7 000000f9: EQ 000000fa: PUSH2 0x014b 000000fd: JUMPI 000000fe: DUP1 000000ff: PUSH4 0x141ac951 00000104: EQ 00000105: PUSH2 0x017e 00000108: JUMPI 00000109: DUP1 0000010a: PUSH4 0x21172e5d 0000010f: EQ 00000110: PUSH2 0x01aa 00000113: JUMPI 00000114: PUSH2 0x011f 00000117: JUMP 00000118: JUMPDEST 00000119: CALLDATASIZE 0000011a: PUSH2 0x011f 0000011d: JUMPI 0000011e: STOP 0000011f: JUMPDEST 00000120: PUSH1 0x00 00000122: DUP1 00000123: REVERT 00000124: JUMPDEST 00000125: CALLVALUE 00000126: DUP1 00000127: ISZERO 00000128: PUSH2 0x0130 0000012b: JUMPI 0000012c: PUSH1 0x00 0000012e: DUP1 0000012f: REVERT 00000130: JUMPDEST 00000131: POP 00000132: PUSH2 0x0139 00000135: PUSH2 0x03de 00000138: JUMP 00000139: JUMPDEST 0000013a: PUSH1 0x40 0000013c: DUP1 0000013d: MLOAD 0000013e: SWAP2 0000013f: DUP3 00000140: MSTORE 00000141: MLOAD 00000142: SWAP1 00000143: DUP2 00000144: SWAP1 00000145: SUB 00000146: PUSH1 0x20 00000148: ADD 00000149: SWAP1 0000014a: RETURN 0000014b: JUMPDEST 0000014c: CALLVALUE 0000014d: DUP1 0000014e: ISZERO 0000014f: PUSH2 0x0157 00000152: JUMPI 00000153: PUSH1 0x00 00000155: DUP1 00000156: REVERT 00000157: JUMPDEST 00000158: POP 00000159: PUSH2 0x0139 0000015c: PUSH1 0x04 0000015e: DUP1 0000015f: CALLDATASIZE 00000160: SUB 00000161: PUSH1 0x20 00000163: DUP2 00000164: LT 00000165: ISZERO 00000166: PUSH2 0x016e 00000169: JUMPI 0000016a: PUSH1 0x00 0000016c: DUP1 0000016d: REVERT 0000016e: JUMPDEST 0000016f: POP 00000170: CALLDATALOAD 00000171: PUSH1 0x01 00000173: PUSH1 0x01 00000175: PUSH1 0xa0 00000177: SHL 00000178: SUB 00000179: AND 0000017a: PUSH2 0x03e4 0000017d: JUMP 0000017e: JUMPDEST 0000017f: CALLVALUE 00000180: DUP1 00000181: ISZERO 00000182: PUSH2 0x018a 00000185: JUMPI 00000186: PUSH1 0x00 00000188: DUP1 00000189: REVERT 0000018a: JUMPDEST 0000018b: POP 0000018c: PUSH2 0x01a8 0000018f: PUSH1 0x04 00000191: DUP1 00000192: CALLDATASIZE 00000193: SUB 00000194: PUSH1 0x20 00000196: DUP2 00000197: LT 00000198: ISZERO 00000199: PUSH2 0x01a1 0000019c: JUMPI 0000019d: PUSH1 0x00 0000019f: DUP1 000001a0: REVERT 000001a1: JUMPDEST 000001a2: POP 000001a3: CALLDATALOAD 000001a4: PUSH2 0x0446 000001a7: JUMP 000001a8: JUMPDEST 000001a9: STOP 000001aa: JUMPDEST 000001ab: CALLVALUE 000001ac: DUP1 000001ad: ISZERO 000001ae: PUSH2 0x01b6 000001b1: JUMPI 000001b2: PUSH1 0x00 000001b4: DUP1 000001b5: REVERT 000001b6: JUMPDEST 000001b7: POP 000001b8: PUSH2 0x01bf 000001bb: PUSH2 0x052b 000001be: JUMP 000001bf: JUMPDEST 000001c0: PUSH1 0x40 000001c2: DUP1 000001c3: MLOAD 000001c4: PUSH1 0x01 000001c6: PUSH1 0x01 000001c8: PUSH1 0xa0 000001ca: SHL 000001cb: SUB 000001cc: SWAP1 000001cd: SWAP3 000001ce: AND 000001cf: DUP3 000001d0: MSTORE 000001d1: MLOAD 000001d2: SWAP1 000001d3: DUP2 000001d4: SWAP1 000001d5: SUB 000001d6: PUSH1 0x20 000001d8: ADD 000001d9: SWAP1 000001da: RETURN 000001db: JUMPDEST 000001dc: CALLVALUE 000001dd: DUP1 000001de: ISZERO 000001df: PUSH2 0x01e7 000001e2: JUMPI 000001e3: PUSH1 0x00 000001e5: DUP1 000001e6: REVERT 000001e7: JUMPDEST 000001e8: POP 000001e9: PUSH2 0x01a8 000001ec: PUSH1 0x04 000001ee: DUP1 000001ef: CALLDATASIZE 000001f0: SUB 000001f1: PUSH1 0x20 000001f3: DUP2 000001f4: LT 000001f5: ISZERO 000001f6: PUSH2 0x01fe 000001f9: JUMPI 000001fa: PUSH1 0x00 000001fc: DUP1 000001fd: REVERT 000001fe: JUMPDEST 000001ff: POP 00000200: CALLDATALOAD 00000201: PUSH2 0x053a 00000204: JUMP 00000205: JUMPDEST 00000206: CALLVALUE 00000207: DUP1 00000208: ISZERO 00000209: PUSH2 0x0211 0000020c: JUMPI 0000020d: PUSH1 0x00 0000020f: DUP1 00000210: REVERT 00000211: JUMPDEST 00000212: POP 00000213: PUSH2 0x01bf 00000216: PUSH2 0x0662 00000219: JUMP 0000021a: JUMPDEST 0000021b: CALLVALUE 0000021c: DUP1 0000021d: ISZERO 0000021e: PUSH2 0x0226 00000221: JUMPI 00000222: PUSH1 0x00 00000224: DUP1 00000225: REVERT 00000226: JUMPDEST 00000227: POP 00000228: PUSH2 0x01a8 0000022b: PUSH2 0x0671 0000022e: JUMP 0000022f: JUMPDEST 00000230: CALLVALUE 00000231: DUP1 00000232: ISZERO 00000233: PUSH2 0x023b 00000236: JUMPI 00000237: PUSH1 0x00 00000239: DUP1 0000023a: REVERT 0000023b: JUMPDEST 0000023c: POP 0000023d: PUSH2 0x0139 00000240: PUSH2 0x075f 00000243: JUMP 00000244: JUMPDEST 00000245: CALLVALUE 00000246: DUP1 00000247: ISZERO 00000248: PUSH2 0x0250 0000024b: JUMPI 0000024c: PUSH1 0x00 0000024e: DUP1 0000024f: REVERT 00000250: JUMPDEST 00000251: POP 00000252: PUSH2 0x01bf 00000255: PUSH2 0x0765 00000258: JUMP 00000259: JUMPDEST 0000025a: CALLVALUE 0000025b: DUP1 0000025c: ISZERO 0000025d: PUSH2 0x0265 00000260: JUMPI 00000261: PUSH1 0x00 00000263: DUP1 00000264: REVERT 00000265: JUMPDEST 00000266: POP 00000267: PUSH2 0x028c 0000026a: PUSH1 0x04 0000026c: DUP1 0000026d: CALLDATASIZE 0000026e: SUB 0000026f: PUSH1 0x20 00000271: DUP2 00000272: LT 00000273: ISZERO 00000274: PUSH2 0x027c 00000277: JUMPI 00000278: PUSH1 0x00 0000027a: DUP1 0000027b: REVERT 0000027c: JUMPDEST 0000027d: POP 0000027e: CALLDATALOAD 0000027f: PUSH1 0x01 00000281: PUSH1 0x01 00000283: PUSH1 0xa0 00000285: SHL 00000286: SUB 00000287: AND 00000288: PUSH2 0x0774 0000028b: JUMP 0000028c: JUMPDEST 0000028d: PUSH1 0x40 0000028f: DUP1 00000290: MLOAD 00000291: SWAP3 00000292: DUP4 00000293: MSTORE 00000294: PUSH1 0x20 00000296: DUP4 00000297: ADD 00000298: SWAP2 00000299: SWAP1 0000029a: SWAP2 0000029b: MSTORE 0000029c: DUP1 0000029d: MLOAD 0000029e: SWAP2 0000029f: DUP3 000002a0: SWAP1 000002a1: SUB 000002a2: ADD 000002a3: SWAP1 000002a4: RETURN 000002a5: JUMPDEST 000002a6: CALLVALUE 000002a7: DUP1 000002a8: ISZERO 000002a9: PUSH2 0x02b1 000002ac: JUMPI 000002ad: PUSH1 0x00 000002af: DUP1 000002b0: REVERT 000002b1: JUMPDEST 000002b2: POP 000002b3: PUSH2 0x01a8 000002b6: PUSH1 0x04 000002b8: DUP1 000002b9: CALLDATASIZE 000002ba: SUB 000002bb: PUSH1 0x20 000002bd: DUP2 000002be: LT 000002bf: ISZERO 000002c0: PUSH2 0x02c8 000002c3: JUMPI 000002c4: PUSH1 0x00 000002c6: DUP1 000002c7: REVERT 000002c8: JUMPDEST 000002c9: POP 000002ca: CALLDATALOAD 000002cb: PUSH1 0x01 000002cd: PUSH1 0x01 000002cf: PUSH1 0xa0 000002d1: SHL 000002d2: SUB 000002d3: AND 000002d4: PUSH2 0x078d 000002d7: JUMP 000002d8: JUMPDEST 000002d9: CALLVALUE 000002da: DUP1 000002db: ISZERO 000002dc: PUSH2 0x02e4 000002df: JUMPI 000002e0: PUSH1 0x00 000002e2: DUP1 000002e3: REVERT 000002e4: JUMPDEST 000002e5: POP 000002e6: PUSH2 0x01a8 000002e9: PUSH2 0x0811 000002ec: JUMP 000002ed: JUMPDEST 000002ee: CALLVALUE 000002ef: DUP1 000002f0: ISZERO 000002f1: PUSH2 0x02f9 000002f4: JUMPI 000002f5: PUSH1 0x00 000002f7: DUP1 000002f8: REVERT 000002f9: JUMPDEST 000002fa: POP 000002fb: PUSH2 0x01bf 000002fe: PUSH2 0x08b3 00000301: JUMP 00000302: JUMPDEST 00000303: CALLVALUE 00000304: DUP1 00000305: ISZERO 00000306: PUSH2 0x030e 00000309: JUMPI 0000030a: PUSH1 0x00 0000030c: DUP1 0000030d: REVERT 0000030e: JUMPDEST 0000030f: POP 00000310: PUSH2 0x01a8 00000313: PUSH1 0x04 00000315: DUP1 00000316: CALLDATASIZE 00000317: SUB 00000318: PUSH1 0x20 0000031a: DUP2 0000031b: LT 0000031c: ISZERO 0000031d: PUSH2 0x0325 00000320: JUMPI 00000321: PUSH1 0x00 00000323: DUP1 00000324: REVERT 00000325: JUMPDEST 00000326: POP 00000327: CALLDATALOAD 00000328: PUSH2 0x08c2 0000032b: JUMP 0000032c: JUMPDEST 0000032d: CALLVALUE 0000032e: DUP1 0000032f: ISZERO 00000330: PUSH2 0x0338 00000333: JUMPI 00000334: PUSH1 0x00 00000336: DUP1 00000337: REVERT 00000338: JUMPDEST 00000339: POP 0000033a: PUSH2 0x0341 0000033d: PUSH2 0x09e8 00000340: JUMP 00000341: JUMPDEST 00000342: PUSH1 0x40 00000344: DUP1 00000345: MLOAD 00000346: SWAP2 00000347: ISZERO 00000348: ISZERO 00000349: DUP3 0000034a: MSTORE 0000034b: MLOAD 0000034c: SWAP1 0000034d: DUP2 0000034e: SWAP1 0000034f: SUB 00000350: PUSH1 0x20 00000352: ADD 00000353: SWAP1 00000354: RETURN 00000355: JUMPDEST 00000356: CALLVALUE 00000357: DUP1 00000358: ISZERO 00000359: PUSH2 0x0361 0000035c: JUMPI 0000035d: PUSH1 0x00 0000035f: DUP1 00000360: REVERT 00000361: JUMPDEST 00000362: POP 00000363: PUSH2 0x01a8 00000366: PUSH2 0x09f1 00000369: JUMP 0000036a: JUMPDEST 0000036b: CALLVALUE 0000036c: DUP1 0000036d: ISZERO 0000036e: PUSH2 0x0376 00000371: JUMPI 00000372: PUSH1 0x00 00000374: DUP1 00000375: REVERT 00000376: JUMPDEST 00000377: POP 00000378: PUSH2 0x01a8 0000037b: PUSH1 0x04 0000037d: DUP1 0000037e: CALLDATASIZE 0000037f: SUB 00000380: PUSH1 0x20 00000382: DUP2 00000383: LT 00000384: ISZERO 00000385: PUSH2 0x038d 00000388: JUMPI 00000389: PUSH1 0x00 0000038b: DUP1 0000038c: REVERT 0000038d: JUMPDEST 0000038e: POP 0000038f: CALLDATALOAD 00000390: ISZERO 00000391: ISZERO 00000392: PUSH2 0x0b62 00000395: JUMP 00000396: JUMPDEST 00000397: CALLVALUE 00000398: DUP1 00000399: ISZERO 0000039a: PUSH2 0x03a2 0000039d: JUMPI 0000039e: PUSH1 0x00 000003a0: DUP1 000003a1: REVERT 000003a2: JUMPDEST 000003a3: POP 000003a4: PUSH2 0x0139 000003a7: PUSH2 0x0bcd 000003aa: JUMP 000003ab: JUMPDEST 000003ac: CALLVALUE 000003ad: DUP1 000003ae: ISZERO 000003af: PUSH2 0x03b7 000003b2: JUMPI 000003b3: PUSH1 0x00 000003b5: DUP1 000003b6: REVERT 000003b7: JUMPDEST 000003b8: POP 000003b9: PUSH2 0x01a8 000003bc: PUSH1 0x04 000003be: DUP1 000003bf: CALLDATASIZE 000003c0: SUB 000003c1: PUSH1 0x20 000003c3: DUP2 000003c4: LT 000003c5: ISZERO 000003c6: PUSH2 0x03ce 000003c9: JUMPI 000003ca: PUSH1 0x00 000003cc: DUP1 000003cd: REVERT 000003ce: JUMPDEST 000003cf: POP 000003d0: CALLDATALOAD 000003d1: PUSH1 0x01 000003d3: PUSH1 0x01 000003d5: PUSH1 0xa0 000003d7: SHL 000003d8: SUB 000003d9: AND 000003da: PUSH2 0x0bd3 000003dd: JUMP 000003de: JUMPDEST 000003df: PUSH1 0x05 000003e1: SLOAD 000003e2: DUP2 000003e3: JUMP 000003e4: JUMPDEST 000003e5: PUSH1 0x01 000003e7: PUSH1 0x01 000003e9: PUSH1 0xa0 000003eb: SHL 000003ec: SUB 000003ed: DUP2 000003ee: AND 000003ef: PUSH1 0x00 000003f1: SWAP1 000003f2: DUP2 000003f3: MSTORE 000003f4: PUSH1 0x08 000003f6: PUSH1 0x20 000003f8: MSTORE 000003f9: PUSH1 0x40 000003fb: DUP2 000003fc: KECCAK256 000003fd: DUP1 000003fe: SLOAD 000003ff: PUSH1 0x01 00000401: SWAP1 00000402: SWAP2 00000403: ADD 00000404: SLOAD 00000405: PUSH1 0x04 00000407: SLOAD 00000408: PUSH2 0x0440 0000040b: SWAP3 0000040c: PUSH8 0x0de0b6b3a7640000 00000415: SWAP3 00000416: PUSH2 0x0434 00000419: SWAP3 0000041a: PUSH2 0x0428 0000041d: SWAP2 0000041e: PUSH4 0xffffffff 00000423: PUSH2 0x0ccb 00000426: AND 00000427: JUMP 00000428: JUMPDEST 00000429: SWAP1 0000042a: PUSH4 0xffffffff 0000042f: PUSH2 0x0d14 00000432: AND 00000433: JUMP 00000434: JUMPDEST 00000435: SWAP1 00000436: PUSH4 0xffffffff 0000043b: PUSH2 0x0d6d 0000043e: AND 0000043f: JUMP 00000440: JUMPDEST 00000441: SWAP3 00000442: SWAP2 00000443: POP 00000444: POP 00000445: JUMP 00000446: JUMPDEST 00000447: CALLER 00000448: PUSH1 0x00 0000044a: SWAP1 0000044b: DUP2 0000044c: MSTORE 0000044d: PUSH1 0x08 0000044f: PUSH1 0x20 00000451: MSTORE 00000452: PUSH1 0x40 00000454: SWAP1 00000455: KECCAK256 00000456: SLOAD 00000457: DUP2 00000458: GT 00000459: ISZERO 0000045a: PUSH2 0x0462 0000045d: JUMPI 0000045e: PUSH1 0x00 00000460: DUP1 00000461: REVERT 00000462: JUMPDEST 00000463: CALLER 00000464: PUSH1 0x00 00000466: SWAP1 00000467: DUP2 00000468: MSTORE 00000469: PUSH1 0x08 0000046b: PUSH1 0x20 0000046d: MSTORE 0000046e: PUSH1 0x40 00000470: SWAP1 00000471: KECCAK256 00000472: SLOAD 00000473: PUSH2 0x0482 00000476: SWAP1 00000477: DUP3 00000478: PUSH4 0xffffffff 0000047d: PUSH2 0x0ccb 00000480: AND 00000481: JUMP 00000482: JUMPDEST 00000483: CALLER 00000484: PUSH1 0x00 00000486: SWAP1 00000487: DUP2 00000488: MSTORE 00000489: PUSH1 0x08 0000048b: PUSH1 0x20 0000048d: MSTORE 0000048e: PUSH1 0x40 00000490: SWAP1 00000491: KECCAK256 00000492: SSTORE 00000493: PUSH1 0x05 00000495: SLOAD 00000496: PUSH2 0x04a5 00000499: SWAP1 0000049a: DUP3 0000049b: PUSH4 0xffffffff 000004a0: PUSH2 0x0ccb 000004a3: AND 000004a4: JUMP 000004a5: JUMPDEST 000004a6: PUSH1 0x05 000004a8: SSTORE 000004a9: PUSH1 0x01 000004ab: SLOAD 000004ac: PUSH1 0x40 000004ae: DUP1 000004af: MLOAD 000004b0: PUSH4 0xa9059cbb 000004b5: PUSH1 0xe0 000004b7: SHL 000004b8: DUP2 000004b9: MSTORE 000004ba: CALLER 000004bb: PUSH1 0x04 000004bd: DUP3 000004be: ADD 000004bf: MSTORE 000004c0: PUSH1 0x24 000004c2: DUP2 000004c3: ADD 000004c4: DUP5 000004c5: SWAP1 000004c6: MSTORE 000004c7: SWAP1 000004c8: MLOAD 000004c9: PUSH1 0x01 000004cb: PUSH1 0x01 000004cd: PUSH1 0xa0 000004cf: SHL 000004d0: SUB 000004d1: SWAP1 000004d2: SWAP3 000004d3: AND 000004d4: SWAP2 000004d5: PUSH4 0xa9059cbb 000004da: SWAP2 000004db: PUSH1 0x44 000004dd: DUP1 000004de: DUP3 000004df: ADD 000004e0: SWAP3 000004e1: PUSH1 0x20 000004e3: SWAP3 000004e4: SWAP1 000004e5: SWAP2 000004e6: SWAP1 000004e7: DUP3 000004e8: SWAP1 000004e9: SUB 000004ea: ADD 000004eb: DUP2 000004ec: PUSH1 0x00 000004ee: DUP8 000004ef: DUP1 000004f0: EXTCODESIZE 000004f1: ISZERO 000004f2: DUP1 000004f3: ISZERO 000004f4: PUSH2 0x04fc 000004f7: JUMPI 000004f8: PUSH1 0x00 000004fa: DUP1 000004fb: REVERT 000004fc: JUMPDEST 000004fd: POP 000004fe: GAS 000004ff: CALL 00000500: ISZERO 00000501: DUP1 00000502: ISZERO 00000503: PUSH2 0x0510 00000506: JUMPI 00000507: RETURNDATASIZE 00000508: PUSH1 0x00 0000050a: DUP1 0000050b: RETURNDATACOPY 0000050c: RETURNDATASIZE 0000050d: PUSH1 0x00 0000050f: REVERT 00000510: JUMPDEST 00000511: POP 00000512: POP 00000513: POP 00000514: POP 00000515: PUSH1 0x40 00000517: MLOAD 00000518: RETURNDATASIZE 00000519: PUSH1 0x20 0000051b: DUP2 0000051c: LT 0000051d: ISZERO 0000051e: PUSH2 0x0526 00000521: JUMPI 00000522: PUSH1 0x00 00000524: DUP1 00000525: REVERT 00000526: JUMPDEST 00000527: POP 00000528: POP 00000529: POP 0000052a: JUMP 0000052b: JUMPDEST 0000052c: PUSH1 0x02 0000052e: SLOAD 0000052f: PUSH1 0x01 00000531: PUSH1 0x01 00000533: PUSH1 0xa0 00000535: SHL 00000536: SUB 00000537: AND 00000538: DUP2 00000539: JUMP 0000053a: JUMPDEST 0000053b: CALLER 0000053c: PUSH1 0x00 0000053e: SWAP1 0000053f: DUP2 00000540: MSTORE 00000541: PUSH1 0x08 00000543: PUSH1 0x20 00000545: MSTORE 00000546: PUSH1 0x40 00000548: SWAP1 00000549: KECCAK256 0000054a: SLOAD 0000054b: DUP2 0000054c: GT 0000054d: ISZERO 0000054e: PUSH2 0x0556 00000551: JUMPI 00000552: PUSH1 0x00 00000554: DUP1 00000555: REVERT 00000556: JUMPDEST 00000557: PUSH2 0x055e 0000055a: PUSH2 0x09f1 0000055d: JUMP 0000055e: JUMPDEST 0000055f: CALLER 00000560: PUSH1 0x00 00000562: SWAP1 00000563: DUP2 00000564: MSTORE 00000565: PUSH1 0x08 00000567: PUSH1 0x20 00000569: MSTORE 0000056a: PUSH1 0x40 0000056c: SWAP1 0000056d: KECCAK256 0000056e: SLOAD 0000056f: PUSH2 0x057e 00000572: SWAP1 00000573: DUP3 00000574: PUSH4 0xffffffff 00000579: PUSH2 0x0ccb 0000057c: AND 0000057d: JUMP 0000057e: JUMPDEST 0000057f: CALLER 00000580: PUSH1 0x00 00000582: SWAP1 00000583: DUP2 00000584: MSTORE 00000585: PUSH1 0x08 00000587: PUSH1 0x20 00000589: MSTORE 0000058a: PUSH1 0x40 0000058c: SWAP1 0000058d: KECCAK256 0000058e: SSTORE 0000058f: PUSH1 0x05 00000591: SLOAD 00000592: PUSH2 0x05a1 00000595: SWAP1 00000596: DUP3 00000597: PUSH4 0xffffffff 0000059c: PUSH2 0x0ccb 0000059f: AND 000005a0: JUMP 000005a1: JUMPDEST 000005a2: PUSH1 0x05 000005a4: SSTORE 000005a5: PUSH1 0x01 000005a7: SLOAD 000005a8: PUSH1 0x40 000005aa: DUP1 000005ab: MLOAD 000005ac: PUSH4 0xa9059cbb 000005b1: PUSH1 0xe0 000005b3: SHL 000005b4: DUP2 000005b5: MSTORE 000005b6: CALLER 000005b7: PUSH1 0x04 000005b9: DUP3 000005ba: ADD 000005bb: MSTORE 000005bc: PUSH1 0x24 000005be: DUP2 000005bf: ADD 000005c0: DUP5 000005c1: SWAP1 000005c2: MSTORE 000005c3: SWAP1 000005c4: MLOAD 000005c5: PUSH1 0x01 000005c7: PUSH1 0x01 000005c9: PUSH1 0xa0 000005cb: SHL 000005cc: SUB 000005cd: SWAP1 000005ce: SWAP3 000005cf: AND 000005d0: SWAP2 000005d1: PUSH4 0xa9059cbb 000005d6: SWAP2 000005d7: PUSH1 0x44 000005d9: DUP1 000005da: DUP3 000005db: ADD 000005dc: SWAP3 000005dd: PUSH1 0x20 000005df: SWAP3 000005e0: SWAP1 000005e1: SWAP2 000005e2: SWAP1 000005e3: DUP3 000005e4: SWAP1 000005e5: SUB 000005e6: ADD 000005e7: DUP2 000005e8: PUSH1 0x00 000005ea: DUP8 000005eb: DUP1 000005ec: EXTCODESIZE 000005ed: ISZERO 000005ee: DUP1 000005ef: ISZERO 000005f0: PUSH2 0x05f8 000005f3: JUMPI 000005f4: PUSH1 0x00 000005f6: DUP1 000005f7: REVERT 000005f8: JUMPDEST 000005f9: POP 000005fa: GAS 000005fb: CALL 000005fc: ISZERO 000005fd: DUP1 000005fe: ISZERO 000005ff: PUSH2 0x060c 00000602: JUMPI 00000603: RETURNDATASIZE 00000604: PUSH1 0x00 00000606: DUP1 00000607: RETURNDATACOPY 00000608: RETURNDATASIZE 00000609: PUSH1 0x00 0000060b: REVERT 0000060c: JUMPDEST 0000060d: POP 0000060e: POP 0000060f: POP 00000610: POP 00000611: PUSH1 0x40 00000613: MLOAD 00000614: RETURNDATASIZE 00000615: PUSH1 0x20 00000617: DUP2 00000618: LT 00000619: ISZERO 0000061a: PUSH2 0x0622 0000061d: JUMPI 0000061e: PUSH1 0x00 00000620: DUP1 00000621: REVERT 00000622: JUMPDEST 00000623: POP 00000624: POP 00000625: PUSH1 0x40 00000627: DUP1 00000628: MLOAD 00000629: CALLER 0000062a: DUP2 0000062b: MSTORE 0000062c: PUSH1 0x20 0000062e: DUP2 0000062f: ADD 00000630: DUP4 00000631: SWAP1 00000632: MSTORE 00000633: DUP2 00000634: MLOAD 00000635: PUSH32 0x545050507a8661192f1558da44995244c032c454c28dcad997401ab8cb3b304b 00000656: SWAP3 00000657: SWAP2 00000658: DUP2 00000659: SWAP1 0000065a: SUB 0000065b: SWAP1 0000065c: SWAP2 0000065d: ADD 0000065e: SWAP1 0000065f: LOG1 00000660: POP 00000661: JUMP 00000662: JUMPDEST 00000663: PUSH1 0x03 00000665: SLOAD 00000666: PUSH1 0x01 00000668: PUSH1 0x01 0000066a: PUSH1 0xa0 0000066c: SHL 0000066d: SUB 0000066e: AND 0000066f: DUP2 00000670: JUMP 00000671: JUMPDEST 00000672: PUSH1 0x00 00000674: PUSH2 0x0688 00000677: PUSH1 0x06 00000679: SLOAD 0000067a: SELFBALANCE 0000067b: PUSH2 0x0ccb 0000067e: SWAP1 0000067f: SWAP2 00000680: SWAP1 00000681: PUSH4 0xffffffff 00000686: AND 00000687: JUMP 00000688: JUMPDEST 00000689: SWAP1 0000068a: POP 0000068b: PUSH1 0x00 0000068d: DUP2 0000068e: GT 0000068f: DUP1 00000690: ISZERO 00000691: PUSH2 0x069b 00000694: JUMPI 00000695: POP 00000696: PUSH1 0x05 00000698: SLOAD 00000699: ISZERO 0000069a: ISZERO 0000069b: JUMPDEST 0000069c: ISZERO 0000069d: PUSH2 0x075c 000006a0: JUMPI 000006a1: PUSH1 0x05 000006a3: SLOAD 000006a4: PUSH1 0x00 000006a6: SWAP1 000006a7: PUSH2 0x06c2 000006aa: SWAP1 000006ab: PUSH2 0x0434 000006ae: DUP5 000006af: PUSH8 0x0de0b6b3a7640000 000006b8: PUSH4 0xffffffff 000006bd: PUSH2 0x0d14 000006c0: AND 000006c1: JUMP 000006c2: JUMPDEST 000006c3: PUSH1 0x04 000006c5: SLOAD 000006c6: SWAP1 000006c7: SWAP2 000006c8: POP 000006c9: PUSH2 0x06d8 000006cc: SWAP1 000006cd: DUP3 000006ce: PUSH4 0xffffffff 000006d3: PUSH2 0x0daf 000006d6: AND 000006d7: JUMP 000006d8: JUMPDEST 000006d9: PUSH1 0x04 000006db: SSTORE 000006dc: PUSH1 0x05 000006de: SLOAD 000006df: PUSH2 0x0710 000006e2: SWAP1 000006e3: PUSH2 0x0701 000006e6: SWAP1 000006e7: PUSH8 0x0de0b6b3a7640000 000006f0: SWAP1 000006f1: PUSH2 0x0434 000006f4: SWAP1 000006f5: DUP6 000006f6: SWAP1 000006f7: PUSH4 0xffffffff 000006fc: PUSH2 0x0d14 000006ff: AND 00000700: JUMP 00000701: JUMPDEST 00000702: PUSH1 0x06 00000704: SLOAD 00000705: SWAP1 00000706: PUSH4 0xffffffff 0000070b: PUSH2 0x0daf 0000070e: AND 0000070f: JUMP 00000710: JUMPDEST 00000711: PUSH1 0x06 00000713: DUP2 00000714: SWAP1 00000715: SSTORE 00000716: PUSH1 0x04 00000718: SLOAD 00000719: PUSH1 0x40 0000071b: DUP1 0000071c: MLOAD 0000071d: DUP6 0000071e: DUP2 0000071f: MSTORE 00000720: PUSH1 0x20 00000722: DUP2 00000723: ADD 00000724: SWAP3 00000725: SWAP1 00000726: SWAP3 00000727: MSTORE 00000728: DUP2 00000729: DUP2 0000072a: ADD 0000072b: SWAP3 0000072c: SWAP1 0000072d: SWAP3 0000072e: MSTORE 0000072f: SWAP1 00000730: MLOAD 00000731: PUSH32 0x916dfa9a5d1ae78d10d4087d714cf5f694e6d83e3a03c4985410df467cef6ca8 00000752: SWAP2 00000753: DUP2 00000754: SWAP1 00000755: SUB 00000756: PUSH1 0x60 00000758: ADD 00000759: SWAP1 0000075a: LOG1 0000075b: POP 0000075c: JUMPDEST 0000075d: POP 0000075e: JUMP 0000075f: JUMPDEST 00000760: PUSH1 0x04 00000762: SLOAD 00000763: DUP2 00000764: JUMP 00000765: JUMPDEST 00000766: PUSH1 0x01 00000768: SLOAD 00000769: PUSH1 0x01 0000076b: PUSH1 0x01 0000076d: PUSH1 0xa0 0000076f: SHL 00000770: SUB 00000771: AND 00000772: DUP2 00000773: JUMP 00000774: JUMPDEST 00000775: PUSH1 0x08 00000777: PUSH1 0x20 00000779: MSTORE 0000077a: PUSH1 0x00 0000077c: SWAP1 0000077d: DUP2 0000077e: MSTORE 0000077f: PUSH1 0x40 00000781: SWAP1 00000782: KECCAK256 00000783: DUP1 00000784: SLOAD 00000785: PUSH1 0x01 00000787: SWAP1 00000788: SWAP2 00000789: ADD 0000078a: SLOAD 0000078b: DUP3 0000078c: JUMP 0000078d: JUMPDEST 0000078e: PUSH2 0x0795 00000791: PUSH2 0x0e09 00000794: JUMP 00000795: JUMPDEST 00000796: PUSH1 0x00 00000798: SLOAD 00000799: PUSH1 0x01 0000079b: PUSH1 0x01 0000079d: PUSH1 0xa0 0000079f: SHL 000007a0: SUB 000007a1: SWAP1 000007a2: DUP2 000007a3: AND 000007a4: SWAP2 000007a5: AND 000007a6: EQ 000007a7: PUSH2 0x07e5 000007aa: JUMPI 000007ab: PUSH1 0x40 000007ad: DUP1 000007ae: MLOAD 000007af: PUSH3 0x461bcd 000007b3: PUSH1 0xe5 000007b5: SHL 000007b6: DUP2 000007b7: MSTORE 000007b8: PUSH1 0x20 000007ba: PUSH1 0x04 000007bc: DUP3 000007bd: ADD 000007be: DUP2 000007bf: SWAP1 000007c0: MSTORE 000007c1: PUSH1 0x24 000007c3: DUP3 000007c4: ADD 000007c5: MSTORE 000007c6: PUSH1 0x00 000007c8: DUP1 000007c9: MLOAD 000007ca: PUSH1 0x20 000007cc: PUSH2 0x0f51 000007cf: DUP4 000007d0: CODECOPY 000007d1: DUP2 000007d2: MLOAD 000007d3: SWAP2 000007d4: MSTORE 000007d5: PUSH1 0x44 000007d7: DUP3 000007d8: ADD 000007d9: MSTORE 000007da: SWAP1 000007db: MLOAD 000007dc: SWAP1 000007dd: DUP2 000007de: SWAP1 000007df: SUB 000007e0: PUSH1 0x64 000007e2: ADD 000007e3: SWAP1 000007e4: REVERT 000007e5: JUMPDEST 000007e6: PUSH1 0x02 000007e8: DUP1 000007e9: SLOAD 000007ea: PUSH1 0x01 000007ec: PUSH1 0x01 000007ee: PUSH1 0xa0 000007f0: SHL 000007f1: SUB 000007f2: SWAP1 000007f3: SWAP3 000007f4: AND 000007f5: PUSH1 0x01 000007f7: PUSH1 0x01 000007f9: PUSH1 0xa0 000007fb: SHL 000007fc: SUB 000007fd: NOT 000007fe: SWAP3 000007ff: DUP4 00000800: AND 00000801: DUP2 00000802: OR 00000803: SWAP1 00000804: SWAP2 00000805: SSTORE 00000806: PUSH1 0x03 00000808: DUP1 00000809: SLOAD 0000080a: SWAP1 0000080b: SWAP3 0000080c: AND 0000080d: OR 0000080e: SWAP1 0000080f: SSTORE 00000810: JUMP 00000811: JUMPDEST 00000812: PUSH2 0x0819 00000815: PUSH2 0x0e09 00000818: JUMP 00000819: JUMPDEST 0000081a: PUSH1 0x00 0000081c: SLOAD 0000081d: PUSH1 0x01 0000081f: PUSH1 0x01 00000821: PUSH1 0xa0 00000823: SHL 00000824: SUB 00000825: SWAP1 00000826: DUP2 00000827: AND 00000828: SWAP2 00000829: AND 0000082a: EQ 0000082b: PUSH2 0x0869 0000082e: JUMPI 0000082f: PUSH1 0x40 00000831: DUP1 00000832: MLOAD 00000833: PUSH3 0x461bcd 00000837: PUSH1 0xe5 00000839: SHL 0000083a: DUP2 0000083b: MSTORE 0000083c: PUSH1 0x20 0000083e: PUSH1 0x04 00000840: DUP3 00000841: ADD 00000842: DUP2 00000843: SWAP1 00000844: MSTORE 00000845: PUSH1 0x24 00000847: DUP3 00000848: ADD 00000849: MSTORE 0000084a: PUSH1 0x00 0000084c: DUP1 0000084d: MLOAD 0000084e: PUSH1 0x20 00000850: PUSH2 0x0f51 00000853: DUP4 00000854: CODECOPY 00000855: DUP2 00000856: MLOAD 00000857: SWAP2 00000858: MSTORE 00000859: PUSH1 0x44 0000085b: DUP3 0000085c: ADD 0000085d: MSTORE 0000085e: SWAP1 0000085f: MLOAD 00000860: SWAP1 00000861: DUP2 00000862: SWAP1 00000863: SUB 00000864: PUSH1 0x64 00000866: ADD 00000867: SWAP1 00000868: REVERT 00000869: JUMPDEST 0000086a: PUSH1 0x00 0000086c: DUP1 0000086d: SLOAD 0000086e: PUSH1 0x40 00000870: MLOAD 00000871: PUSH1 0x01 00000873: PUSH1 0x01 00000875: PUSH1 0xa0 00000877: SHL 00000878: SUB 00000879: SWAP1 0000087a: SWAP2 0000087b: AND 0000087c: SWAP1 0000087d: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 0000089e: SWAP1 0000089f: DUP4 000008a0: SWAP1 000008a1: LOG3 000008a2: PUSH1 0x00 000008a4: DUP1 000008a5: SLOAD 000008a6: PUSH1 0x01 000008a8: PUSH1 0x01 000008aa: PUSH1 0xa0 000008ac: SHL 000008ad: SUB 000008ae: NOT 000008af: AND 000008b0: SWAP1 000008b1: SSTORE 000008b2: JUMP 000008b3: JUMPDEST 000008b4: PUSH1 0x00 000008b6: SLOAD 000008b7: PUSH1 0x01 000008b9: PUSH1 0x01 000008bb: PUSH1 0xa0 000008bd: SHL 000008be: SUB 000008bf: AND 000008c0: SWAP1 000008c1: JUMP 000008c2: JUMPDEST 000008c3: PUSH1 0x01 000008c5: SLOAD 000008c6: PUSH1 0x40 000008c8: DUP1 000008c9: MLOAD 000008ca: PUSH4 0x23b872dd 000008cf: PUSH1 0xe0 000008d1: SHL 000008d2: DUP2 000008d3: MSTORE 000008d4: CALLER 000008d5: PUSH1 0x04 000008d7: DUP3 000008d8: ADD 000008d9: MSTORE 000008da: ADDRESS 000008db: PUSH1 0x24 000008dd: DUP3 000008de: ADD 000008df: MSTORE 000008e0: PUSH1 0x44 000008e2: DUP2 000008e3: ADD 000008e4: DUP5 000008e5: SWAP1 000008e6: MSTORE 000008e7: SWAP1 000008e8: MLOAD 000008e9: PUSH1 0x01 000008eb: PUSH1 0x01 000008ed: PUSH1 0xa0 000008ef: SHL 000008f0: SUB 000008f1: SWAP1 000008f2: SWAP3 000008f3: AND 000008f4: SWAP2 000008f5: PUSH4 0x23b872dd 000008fa: SWAP2 000008fb: PUSH1 0x64 000008fd: DUP1 000008fe: DUP3 000008ff: ADD 00000900: SWAP3 00000901: PUSH1 0x20 00000903: SWAP3 00000904: SWAP1 00000905: SWAP2 00000906: SWAP1 00000907: DUP3 00000908: SWAP1 00000909: SUB 0000090a: ADD 0000090b: DUP2 0000090c: PUSH1 0x00 0000090e: DUP8 0000090f: DUP1 00000910: EXTCODESIZE 00000911: ISZERO 00000912: DUP1 00000913: ISZERO 00000914: PUSH2 0x091c 00000917: JUMPI 00000918: PUSH1 0x00 0000091a: DUP1 0000091b: REVERT 0000091c: JUMPDEST 0000091d: POP 0000091e: GAS 0000091f: CALL 00000920: ISZERO 00000921: DUP1 00000922: ISZERO 00000923: PUSH2 0x0930 00000926: JUMPI 00000927: RETURNDATASIZE 00000928: PUSH1 0x00 0000092a: DUP1 0000092b: RETURNDATACOPY 0000092c: RETURNDATASIZE 0000092d: PUSH1 0x00 0000092f: REVERT 00000930: JUMPDEST 00000931: POP 00000932: POP 00000933: POP 00000934: POP 00000935: PUSH1 0x40 00000937: MLOAD 00000938: RETURNDATASIZE 00000939: PUSH1 0x20 0000093b: DUP2 0000093c: LT 0000093d: ISZERO 0000093e: PUSH2 0x0946 00000941: JUMPI 00000942: PUSH1 0x00 00000944: DUP1 00000945: REVERT 00000946: JUMPDEST 00000947: POP 00000948: MLOAD 00000949: PUSH2 0x0951 0000094c: JUMPI 0000094d: PUSH1 0x00 0000094f: DUP1 00000950: REVERT 00000951: JUMPDEST 00000952: PUSH2 0x0959 00000955: PUSH2 0x09f1 00000958: JUMP 00000959: JUMPDEST 0000095a: CALLER 0000095b: PUSH1 0x00 0000095d: SWAP1 0000095e: DUP2 0000095f: MSTORE 00000960: PUSH1 0x08 00000962: PUSH1 0x20 00000964: MSTORE 00000965: PUSH1 0x40 00000967: SWAP1 00000968: KECCAK256 00000969: SLOAD 0000096a: PUSH2 0x0979 0000096d: SWAP1 0000096e: DUP3 0000096f: PUSH4 0xffffffff 00000974: PUSH2 0x0daf 00000977: AND 00000978: JUMP 00000979: JUMPDEST 0000097a: CALLER 0000097b: PUSH1 0x00 0000097d: SWAP1 0000097e: DUP2 0000097f: MSTORE 00000980: PUSH1 0x08 00000982: PUSH1 0x20 00000984: MSTORE 00000985: PUSH1 0x40 00000987: SWAP1 00000988: KECCAK256 00000989: SWAP1 0000098a: DUP2 0000098b: SSTORE 0000098c: PUSH1 0x04 0000098e: SLOAD 0000098f: PUSH1 0x01 00000991: SWAP1 00000992: SWAP2 00000993: ADD 00000994: SSTORE 00000995: PUSH1 0x05 00000997: SLOAD 00000998: PUSH2 0x09a7 0000099b: SWAP1 0000099c: DUP3 0000099d: PUSH4 0xffffffff 000009a2: PUSH2 0x0daf 000009a5: AND 000009a6: JUMP 000009a7: JUMPDEST 000009a8: PUSH1 0x05 000009aa: SSTORE 000009ab: PUSH1 0x40 000009ad: DUP1 000009ae: MLOAD 000009af: CALLER 000009b0: DUP2 000009b1: MSTORE 000009b2: PUSH1 0x20 000009b4: DUP2 000009b5: ADD 000009b6: DUP4 000009b7: SWAP1 000009b8: MSTORE 000009b9: DUP2 000009ba: MLOAD 000009bb: PUSH32 0x6bcf4e76c988bda6cf08a4f220579db4d6d16169ab326ccdb1c1e04f2acc7a7c 000009dc: SWAP3 000009dd: SWAP2 000009de: DUP2 000009df: SWAP1 000009e0: SUB 000009e1: SWAP1 000009e2: SWAP2 000009e3: ADD 000009e4: SWAP1 000009e5: LOG1 000009e6: POP 000009e7: JUMP 000009e8: JUMPDEST 000009e9: PUSH1 0x07 000009eb: SLOAD 000009ec: PUSH1 0xff 000009ee: AND 000009ef: DUP2 000009f0: JUMP 000009f1: JUMPDEST 000009f2: PUSH1 0x07 000009f4: SLOAD 000009f5: PUSH1 0xff 000009f7: AND 000009f8: DUP1 000009f9: ISZERO 000009fa: PUSH2 0x0a0e 000009fd: JUMPI 000009fe: POP 000009ff: PUSH1 0x02 00000a01: SLOAD 00000a02: PUSH1 0x01 00000a04: PUSH1 0x01 00000a06: PUSH1 0xa0 00000a08: SHL 00000a09: SUB 00000a0a: AND 00000a0b: BALANCE 00000a0c: ISZERO 00000a0d: ISZERO 00000a0e: JUMPDEST 00000a0f: ISZERO 00000a10: PUSH2 0x0a7c 00000a13: JUMPI 00000a14: PUSH1 0x03 00000a16: PUSH1 0x00 00000a18: SWAP1 00000a19: SLOAD 00000a1a: SWAP1 00000a1b: PUSH2 0x0100 00000a1e: EXP 00000a1f: SWAP1 00000a20: DIV 00000a21: PUSH1 0x01 00000a23: PUSH1 0x01 00000a25: PUSH1 0xa0 00000a27: SHL 00000a28: SUB 00000a29: AND 00000a2a: PUSH1 0x01 00000a2c: PUSH1 0x01 00000a2e: PUSH1 0xa0 00000a30: SHL 00000a31: SUB 00000a32: AND 00000a33: PUSH4 0x5e745fe3 00000a38: PUSH1 0x40 00000a3a: MLOAD 00000a3b: DUP2 00000a3c: PUSH4 0xffffffff 00000a41: AND 00000a42: PUSH1 0xe0 00000a44: SHL 00000a45: DUP2 00000a46: MSTORE 00000a47: PUSH1 0x04 00000a49: ADD 00000a4a: PUSH1 0x00 00000a4c: PUSH1 0x40 00000a4e: MLOAD 00000a4f: DUP1 00000a50: DUP4 00000a51: SUB 00000a52: DUP2 00000a53: PUSH1 0x00 00000a55: DUP8 00000a56: DUP1 00000a57: EXTCODESIZE 00000a58: ISZERO 00000a59: DUP1 00000a5a: ISZERO 00000a5b: PUSH2 0x0a63 00000a5e: JUMPI 00000a5f: PUSH1 0x00 00000a61: DUP1 00000a62: REVERT 00000a63: JUMPDEST 00000a64: POP 00000a65: GAS 00000a66: CALL 00000a67: ISZERO 00000a68: DUP1 00000a69: ISZERO 00000a6a: PUSH2 0x0a77 00000a6d: JUMPI 00000a6e: RETURNDATASIZE 00000a6f: PUSH1 0x00 00000a71: DUP1 00000a72: RETURNDATACOPY 00000a73: RETURNDATASIZE 00000a74: PUSH1 0x00 00000a76: REVERT 00000a77: JUMPDEST 00000a78: POP 00000a79: POP 00000a7a: POP 00000a7b: POP 00000a7c: JUMPDEST 00000a7d: PUSH2 0x0a84 00000a80: PUSH2 0x0671 00000a83: JUMP 00000a84: JUMPDEST 00000a85: CALLER 00000a86: PUSH1 0x00 00000a88: SWAP1 00000a89: DUP2 00000a8a: MSTORE 00000a8b: PUSH1 0x08 00000a8d: PUSH1 0x20 00000a8f: MSTORE 00000a90: PUSH1 0x40 00000a92: SWAP1 00000a93: KECCAK256 00000a94: SLOAD 00000a95: ISZERO 00000a96: PUSH2 0x0b60 00000a99: JUMPI 00000a9a: PUSH1 0x05 00000a9c: SLOAD 00000a9d: CALLER 00000a9e: PUSH1 0x00 00000aa0: SWAP1 00000aa1: DUP2 00000aa2: MSTORE 00000aa3: PUSH1 0x08 00000aa5: PUSH1 0x20 00000aa7: MSTORE 00000aa8: PUSH1 0x40 00000aaa: DUP2 00000aab: KECCAK256 00000aac: SLOAD 00000aad: SWAP1 00000aae: SWAP2 00000aaf: GT 00000ab0: ISZERO 00000ab1: PUSH2 0x0ac2 00000ab4: JUMPI 00000ab5: PUSH2 0x0abd 00000ab8: CALLER 00000ab9: PUSH2 0x03e4 00000abc: JUMP 00000abd: JUMPDEST 00000abe: PUSH2 0x0ac6 00000ac1: JUMP 00000ac2: JUMPDEST 00000ac3: PUSH1 0x06 00000ac5: SLOAD 00000ac6: JUMPDEST 00000ac7: PUSH1 0x04 00000ac9: SLOAD 00000aca: CALLER 00000acb: PUSH1 0x00 00000acd: SWAP1 00000ace: DUP2 00000acf: MSTORE 00000ad0: PUSH1 0x08 00000ad2: PUSH1 0x20 00000ad4: MSTORE 00000ad5: PUSH1 0x40 00000ad7: SWAP1 00000ad8: KECCAK256 00000ad9: PUSH1 0x01 00000adb: ADD 00000adc: SSTORE 00000add: PUSH1 0x06 00000adf: SLOAD 00000ae0: SWAP1 00000ae1: SWAP2 00000ae2: POP 00000ae3: PUSH2 0x0af2 00000ae6: SWAP1 00000ae7: DUP3 00000ae8: PUSH4 0xffffffff 00000aed: PUSH2 0x0ccb 00000af0: AND 00000af1: JUMP 00000af2: JUMPDEST 00000af3: PUSH1 0x06 00000af5: SSTORE 00000af6: PUSH1 0x40 00000af8: MLOAD 00000af9: CALLER 00000afa: SWAP1 00000afb: DUP3 00000afc: ISZERO 00000afd: PUSH2 0x08fc 00000b00: MUL 00000b01: SWAP1 00000b02: DUP4 00000b03: SWAP1 00000b04: PUSH1 0x00 00000b06: DUP2 00000b07: DUP2 00000b08: DUP2 00000b09: DUP6 00000b0a: DUP9 00000b0b: DUP9 00000b0c: CALL 00000b0d: SWAP4 00000b0e: POP 00000b0f: POP 00000b10: POP 00000b11: POP 00000b12: ISZERO 00000b13: DUP1 00000b14: ISZERO 00000b15: PUSH2 0x0b22 00000b18: JUMPI 00000b19: RETURNDATASIZE 00000b1a: PUSH1 0x00 00000b1c: DUP1 00000b1d: RETURNDATACOPY 00000b1e: RETURNDATASIZE 00000b1f: PUSH1 0x00 00000b21: REVERT 00000b22: JUMPDEST 00000b23: POP 00000b24: PUSH1 0x40 00000b26: DUP1 00000b27: MLOAD 00000b28: CALLER 00000b29: DUP2 00000b2a: MSTORE 00000b2b: PUSH1 0x20 00000b2d: DUP2 00000b2e: ADD 00000b2f: DUP4 00000b30: SWAP1 00000b31: MSTORE 00000b32: DUP2 00000b33: MLOAD 00000b34: PUSH32 0xbe14eb59e3e469f750fb848a6c79218e4fdddfe055c6247f80e6d2913fc6715a 00000b55: SWAP3 00000b56: SWAP2 00000b57: DUP2 00000b58: SWAP1 00000b59: SUB 00000b5a: SWAP1 00000b5b: SWAP2 00000b5c: ADD 00000b5d: SWAP1 00000b5e: LOG1 00000b5f: POP 00000b60: JUMPDEST 00000b61: JUMP 00000b62: JUMPDEST 00000b63: PUSH2 0x0b6a 00000b66: PUSH2 0x0e09 00000b69: JUMP 00000b6a: JUMPDEST 00000b6b: PUSH1 0x00 00000b6d: SLOAD 00000b6e: PUSH1 0x01 00000b70: PUSH1 0x01 00000b72: PUSH1 0xa0 00000b74: SHL 00000b75: SUB 00000b76: SWAP1 00000b77: DUP2 00000b78: AND 00000b79: SWAP2 00000b7a: AND 00000b7b: EQ 00000b7c: PUSH2 0x0bba 00000b7f: JUMPI 00000b80: PUSH1 0x40 00000b82: DUP1 00000b83: MLOAD 00000b84: PUSH3 0x461bcd 00000b88: PUSH1 0xe5 00000b8a: SHL 00000b8b: DUP2 00000b8c: MSTORE 00000b8d: PUSH1 0x20 00000b8f: PUSH1 0x04 00000b91: DUP3 00000b92: ADD 00000b93: DUP2 00000b94: SWAP1 00000b95: MSTORE 00000b96: PUSH1 0x24 00000b98: DUP3 00000b99: ADD 00000b9a: MSTORE 00000b9b: PUSH1 0x00 00000b9d: DUP1 00000b9e: MLOAD 00000b9f: PUSH1 0x20 00000ba1: PUSH2 0x0f51 00000ba4: DUP4 00000ba5: CODECOPY 00000ba6: DUP2 00000ba7: MLOAD 00000ba8: SWAP2 00000ba9: MSTORE 00000baa: PUSH1 0x44 00000bac: DUP3 00000bad: ADD 00000bae: MSTORE 00000baf: SWAP1 00000bb0: MLOAD 00000bb1: SWAP1 00000bb2: DUP2 00000bb3: SWAP1 00000bb4: SUB 00000bb5: PUSH1 0x64 00000bb7: ADD 00000bb8: SWAP1 00000bb9: REVERT 00000bba: JUMPDEST 00000bbb: PUSH1 0x07 00000bbd: DUP1 00000bbe: SLOAD 00000bbf: PUSH1 0xff 00000bc1: NOT 00000bc2: AND 00000bc3: SWAP2 00000bc4: ISZERO 00000bc5: ISZERO 00000bc6: SWAP2 00000bc7: SWAP1 00000bc8: SWAP2 00000bc9: OR 00000bca: SWAP1 00000bcb: SSTORE 00000bcc: JUMP 00000bcd: JUMPDEST 00000bce: PUSH1 0x06 00000bd0: SLOAD 00000bd1: DUP2 00000bd2: JUMP 00000bd3: JUMPDEST 00000bd4: PUSH2 0x0bdb 00000bd7: PUSH2 0x0e09 00000bda: JUMP 00000bdb: JUMPDEST 00000bdc: PUSH1 0x00 00000bde: SLOAD 00000bdf: PUSH1 0x01 00000be1: PUSH1 0x01 00000be3: PUSH1 0xa0 00000be5: SHL 00000be6: SUB 00000be7: SWAP1 00000be8: DUP2 00000be9: AND 00000bea: SWAP2 00000beb: AND 00000bec: EQ 00000bed: PUSH2 0x0c2b 00000bf0: JUMPI 00000bf1: PUSH1 0x40 00000bf3: DUP1 00000bf4: MLOAD 00000bf5: PUSH3 0x461bcd 00000bf9: PUSH1 0xe5 00000bfb: SHL 00000bfc: DUP2 00000bfd: MSTORE 00000bfe: PUSH1 0x20 00000c00: PUSH1 0x04 00000c02: DUP3 00000c03: ADD 00000c04: DUP2 00000c05: SWAP1 00000c06: MSTORE 00000c07: PUSH1 0x24 00000c09: DUP3 00000c0a: ADD 00000c0b: MSTORE 00000c0c: PUSH1 0x00 00000c0e: DUP1 00000c0f: MLOAD 00000c10: PUSH1 0x20 00000c12: PUSH2 0x0f51 00000c15: DUP4 00000c16: CODECOPY 00000c17: DUP2 00000c18: MLOAD 00000c19: SWAP2 00000c1a: MSTORE 00000c1b: PUSH1 0x44 00000c1d: DUP3 00000c1e: ADD 00000c1f: MSTORE 00000c20: SWAP1 00000c21: MLOAD 00000c22: SWAP1 00000c23: DUP2 00000c24: SWAP1 00000c25: SUB 00000c26: PUSH1 0x64 00000c28: ADD 00000c29: SWAP1 00000c2a: REVERT 00000c2b: JUMPDEST 00000c2c: PUSH1 0x01 00000c2e: PUSH1 0x01 00000c30: PUSH1 0xa0 00000c32: SHL 00000c33: SUB 00000c34: DUP2 00000c35: AND 00000c36: PUSH2 0x0c70 00000c39: JUMPI 00000c3a: PUSH1 0x40 00000c3c: MLOAD 00000c3d: PUSH3 0x461bcd 00000c41: PUSH1 0xe5 00000c43: SHL 00000c44: DUP2 00000c45: MSTORE 00000c46: PUSH1 0x04 00000c48: ADD 00000c49: DUP1 00000c4a: DUP1 00000c4b: PUSH1 0x20 00000c4d: ADD 00000c4e: DUP3 00000c4f: DUP2 00000c50: SUB 00000c51: DUP3 00000c52: MSTORE 00000c53: PUSH1 0x26 00000c55: DUP2 00000c56: MSTORE 00000c57: PUSH1 0x20 00000c59: ADD 00000c5a: DUP1 00000c5b: PUSH2 0x0f0a 00000c5e: PUSH1 0x26 00000c60: SWAP2 00000c61: CODECOPY 00000c62: PUSH1 0x40 00000c64: ADD 00000c65: SWAP2 00000c66: POP 00000c67: POP 00000c68: PUSH1 0x40 00000c6a: MLOAD 00000c6b: DUP1 00000c6c: SWAP2 00000c6d: SUB 00000c6e: SWAP1 00000c6f: REVERT 00000c70: JUMPDEST 00000c71: PUSH1 0x00 00000c73: DUP1 00000c74: SLOAD 00000c75: PUSH1 0x40 00000c77: MLOAD 00000c78: PUSH1 0x01 00000c7a: PUSH1 0x01 00000c7c: PUSH1 0xa0 00000c7e: SHL 00000c7f: SUB 00000c80: DUP1 00000c81: DUP6 00000c82: AND 00000c83: SWAP4 00000c84: SWAP3 00000c85: AND 00000c86: SWAP2 00000c87: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000ca8: SWAP2 00000ca9: LOG3 00000caa: PUSH1 0x00 00000cac: DUP1 00000cad: SLOAD 00000cae: PUSH1 0x01 00000cb0: PUSH1 0x01 00000cb2: PUSH1 0xa0 00000cb4: SHL 00000cb5: SUB 00000cb6: NOT 00000cb7: AND 00000cb8: PUSH1 0x01 00000cba: PUSH1 0x01 00000cbc: PUSH1 0xa0 00000cbe: SHL 00000cbf: SUB 00000cc0: SWAP3 00000cc1: SWAP1 00000cc2: SWAP3 00000cc3: AND 00000cc4: SWAP2 00000cc5: SWAP1 00000cc6: SWAP2 00000cc7: OR 00000cc8: SWAP1 00000cc9: SSTORE 00000cca: JUMP 00000ccb: JUMPDEST 00000ccc: PUSH1 0x00 00000cce: PUSH2 0x0d0d 00000cd1: DUP4 00000cd2: DUP4 00000cd3: PUSH1 0x40 00000cd5: MLOAD 00000cd6: DUP1 00000cd7: PUSH1 0x40 00000cd9: ADD 00000cda: PUSH1 0x40 00000cdc: MSTORE 00000cdd: DUP1 00000cde: PUSH1 0x1e 00000ce0: DUP2 00000ce1: MSTORE 00000ce2: PUSH1 0x20 00000ce4: ADD 00000ce5: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000 00000d06: DUP2 00000d07: MSTORE 00000d08: POP 00000d09: PUSH2 0x0e0d 00000d0c: JUMP 00000d0d: JUMPDEST 00000d0e: SWAP4 00000d0f: SWAP3 00000d10: POP 00000d11: POP 00000d12: POP 00000d13: JUMP 00000d14: JUMPDEST 00000d15: PUSH1 0x00 00000d17: DUP3 00000d18: PUSH2 0x0d23 00000d1b: JUMPI 00000d1c: POP 00000d1d: PUSH1 0x00 00000d1f: PUSH2 0x0440 00000d22: JUMP 00000d23: JUMPDEST 00000d24: DUP3 00000d25: DUP3 00000d26: MUL 00000d27: DUP3 00000d28: DUP5 00000d29: DUP3 00000d2a: DUP2 00000d2b: PUSH2 0x0d30 00000d2e: JUMPI 00000d2f: INVALID 00000d30: JUMPDEST 00000d31: DIV 00000d32: EQ 00000d33: PUSH2 0x0d0d 00000d36: JUMPI 00000d37: PUSH1 0x40 00000d39: MLOAD 00000d3a: PUSH3 0x461bcd 00000d3e: PUSH1 0xe5 00000d40: SHL 00000d41: DUP2 00000d42: MSTORE 00000d43: PUSH1 0x04 00000d45: ADD 00000d46: DUP1 00000d47: DUP1 00000d48: PUSH1 0x20 00000d4a: ADD 00000d4b: DUP3 00000d4c: DUP2 00000d4d: SUB 00000d4e: DUP3 00000d4f: MSTORE 00000d50: PUSH1 0x21 00000d52: DUP2 00000d53: MSTORE 00000d54: PUSH1 0x20 00000d56: ADD 00000d57: DUP1 00000d58: PUSH2 0x0f30 00000d5b: PUSH1 0x21 00000d5d: SWAP2 00000d5e: CODECOPY 00000d5f: PUSH1 0x40 00000d61: ADD 00000d62: SWAP2 00000d63: POP 00000d64: POP 00000d65: PUSH1 0x40 00000d67: MLOAD 00000d68: DUP1 00000d69: SWAP2 00000d6a: SUB 00000d6b: SWAP1 00000d6c: REVERT 00000d6d: JUMPDEST 00000d6e: PUSH1 0x00 00000d70: PUSH2 0x0d0d 00000d73: DUP4 00000d74: DUP4 00000d75: PUSH1 0x40 00000d77: MLOAD 00000d78: DUP1 00000d79: PUSH1 0x40 00000d7b: ADD 00000d7c: PUSH1 0x40 00000d7e: MSTORE 00000d7f: DUP1 00000d80: PUSH1 0x1a 00000d82: DUP2 00000d83: MSTORE 00000d84: PUSH1 0x20 00000d86: ADD 00000d87: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000 00000da8: DUP2 00000da9: MSTORE 00000daa: POP 00000dab: PUSH2 0x0ea4 00000dae: JUMP 00000daf: JUMPDEST 00000db0: PUSH1 0x00 00000db2: DUP3 00000db3: DUP3 00000db4: ADD 00000db5: DUP4 00000db6: DUP2 00000db7: LT 00000db8: ISZERO 00000db9: PUSH2 0x0d0d 00000dbc: JUMPI 00000dbd: PUSH1 0x40 00000dbf: DUP1 00000dc0: MLOAD 00000dc1: PUSH3 0x461bcd 00000dc5: PUSH1 0xe5 00000dc7: SHL 00000dc8: DUP2 00000dc9: MSTORE 00000dca: PUSH1 0x20 00000dcc: PUSH1 0x04 00000dce: DUP3 00000dcf: ADD 00000dd0: MSTORE 00000dd1: PUSH1 0x1b 00000dd3: PUSH1 0x24 00000dd5: DUP3 00000dd6: ADD 00000dd7: MSTORE 00000dd8: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000 00000df9: PUSH1 0x44 00000dfb: DUP3 00000dfc: ADD 00000dfd: MSTORE 00000dfe: SWAP1 00000dff: MLOAD 00000e00: SWAP1 00000e01: DUP2 00000e02: SWAP1 00000e03: SUB 00000e04: PUSH1 0x64 00000e06: ADD 00000e07: SWAP1 00000e08: REVERT 00000e09: JUMPDEST 00000e0a: CALLER 00000e0b: SWAP1 00000e0c: JUMP 00000e0d: JUMPDEST 00000e0e: PUSH1 0x00 00000e10: DUP2 00000e11: DUP5 00000e12: DUP5 00000e13: GT 00000e14: ISZERO 00000e15: PUSH2 0x0e9c 00000e18: JUMPI 00000e19: PUSH1 0x40 00000e1b: MLOAD 00000e1c: PUSH3 0x461bcd 00000e20: PUSH1 0xe5 00000e22: SHL 00000e23: DUP2 00000e24: MSTORE 00000e25: PUSH1 0x04 00000e27: ADD 00000e28: DUP1 00000e29: DUP1 00000e2a: PUSH1 0x20 00000e2c: ADD 00000e2d: DUP3 00000e2e: DUP2 00000e2f: SUB 00000e30: DUP3 00000e31: MSTORE 00000e32: DUP4 00000e33: DUP2 00000e34: DUP2 00000e35: MLOAD 00000e36: DUP2 00000e37: MSTORE 00000e38: PUSH1 0x20 00000e3a: ADD 00000e3b: SWAP2 00000e3c: POP 00000e3d: DUP1 00000e3e: MLOAD 00000e3f: SWAP1 00000e40: PUSH1 0x20 00000e42: ADD 00000e43: SWAP1 00000e44: DUP1 00000e45: DUP4 00000e46: DUP4 00000e47: PUSH1 0x00 00000e49: JUMPDEST 00000e4a: DUP4 00000e4b: DUP2 00000e4c: LT 00000e4d: ISZERO 00000e4e: PUSH2 0x0e61 00000e51: JUMPI 00000e52: DUP2 00000e53: DUP2 00000e54: ADD 00000e55: MLOAD 00000e56: DUP4 00000e57: DUP3 00000e58: ADD 00000e59: MSTORE 00000e5a: PUSH1 0x20 00000e5c: ADD 00000e5d: PUSH2 0x0e49 00000e60: JUMP 00000e61: JUMPDEST 00000e62: POP 00000e63: POP 00000e64: POP 00000e65: POP 00000e66: SWAP1 00000e67: POP 00000e68: SWAP1 00000e69: DUP2 00000e6a: ADD 00000e6b: SWAP1 00000e6c: PUSH1 0x1f 00000e6e: AND 00000e6f: DUP1 00000e70: ISZERO 00000e71: PUSH2 0x0e8e 00000e74: JUMPI 00000e75: DUP1 00000e76: DUP3 00000e77: SUB 00000e78: DUP1 00000e79: MLOAD 00000e7a: PUSH1 0x01 00000e7c: DUP4 00000e7d: PUSH1 0x20 00000e7f: SUB 00000e80: PUSH2 0x0100 00000e83: EXP 00000e84: SUB 00000e85: NOT 00000e86: AND 00000e87: DUP2 00000e88: MSTORE 00000e89: PUSH1 0x20 00000e8b: ADD 00000e8c: SWAP2 00000e8d: POP 00000e8e: JUMPDEST 00000e8f: POP 00000e90: SWAP3 00000e91: POP 00000e92: POP 00000e93: POP 00000e94: PUSH1 0x40 00000e96: MLOAD 00000e97: DUP1 00000e98: SWAP2 00000e99: SUB 00000e9a: SWAP1 00000e9b: REVERT 00000e9c: JUMPDEST 00000e9d: POP 00000e9e: POP 00000e9f: POP 00000ea0: SWAP1 00000ea1: SUB 00000ea2: SWAP1 00000ea3: JUMP 00000ea4: JUMPDEST 00000ea5: PUSH1 0x00 00000ea7: DUP2 00000ea8: DUP4 00000ea9: PUSH2 0x0ef3 00000eac: JUMPI 00000ead: PUSH1 0x40 00000eaf: MLOAD 00000eb0: PUSH3 0x461bcd 00000eb4: PUSH1 0xe5 00000eb6: SHL 00000eb7: DUP2 00000eb8: MSTORE 00000eb9: PUSH1 0x20 00000ebb: PUSH1 0x04 00000ebd: DUP3 00000ebe: ADD 00000ebf: DUP2 00000ec0: DUP2 00000ec1: MSTORE 00000ec2: DUP4 00000ec3: MLOAD 00000ec4: PUSH1 0x24 00000ec6: DUP5 00000ec7: ADD 00000ec8: MSTORE 00000ec9: DUP4 00000eca: MLOAD 00000ecb: SWAP1 00000ecc: SWAP3 00000ecd: DUP4 00000ece: SWAP3 00000ecf: PUSH1 0x44 00000ed1: SWAP1 00000ed2: SWAP2 00000ed3: ADD 00000ed4: SWAP2 00000ed5: SWAP1 00000ed6: DUP6 00000ed7: ADD 00000ed8: SWAP1 00000ed9: DUP1 00000eda: DUP4 00000edb: DUP4 00000edc: PUSH1 0x00 00000ede: DUP4 00000edf: ISZERO 00000ee0: PUSH2 0x0e61 00000ee3: JUMPI 00000ee4: DUP2 00000ee5: DUP2 00000ee6: ADD 00000ee7: MLOAD 00000ee8: DUP4 00000ee9: DUP3 00000eea: ADD 00000eeb: MSTORE 00000eec: PUSH1 0x20 00000eee: ADD 00000eef: PUSH2 0x0e49 00000ef2: JUMP 00000ef3: JUMPDEST 00000ef4: POP 00000ef5: PUSH1 0x00 00000ef7: DUP4 00000ef8: DUP6 00000ef9: DUP2 00000efa: PUSH2 0x0eff 00000efd: JUMPI 00000efe: INVALID 00000eff: JUMPDEST 00000f00: DIV 00000f01: SWAP6 00000f02: SWAP5 00000f03: POP 00000f04: POP 00000f05: POP 00000f06: POP 00000f07: POP 00000f08: JUMP 00000f09: INVALID 00000f0a: UNKNOWN(0x4F) 00000f0b: PUSH24 0x6e61626c653a206e6577206f776e65722069732074686520 00000f24: PUSH27 0x65726f2061646472657373536166654d6174683a206d756c746970 00000f40: PUSH13 0x69636174696f6e206f76657266 00000f4e: PUSH13 0x6f774f776e61626c653a206361 00000f5c: PUSH13 0x6c6572206973206e6f74207468 00000f6a: PUSH6 0x206f776e6572 00000f71: LOG2 00000f72: PUSH5 0x6970667358 00000f78: UNKNOWN(0x22) 00000f79: SLT 00000f7a: KECCAK256 00000f7b: UNKNOWN(0x29) 00000f7c: PUSH22 0xe40bff8f1e2f52eab8c9f33f4d9018404da84d829920 00000f93: UNKNOWN(0xCB) 00000f94: SLOAD 00000f95: DUP13 00000f96: GASLIMIT 00000f97: PUSH19
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xddad730e1d8d8bf3262585ce5e94c5d8a8562a2e12e160aae093f40c37be4b1a
call_targets:
0xf21c4f3a748f38a0b244f649d19fdcc55678f576
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xddad730e1d8d8bf3262585ce5e94c5d8a8562a2e12e160aae093f40c37be4b1a",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xf21c4f3a748f38a0b244f649d19fdcc55678f576"
],
"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": "0xa6ac4b35",
"selector": "0xa6ac4b35",
"calldata_variants": [
"0xa6ac4b35",
"0xa6ac4b350000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb88a802f",
"selector": "0xb88a802f",
"calldata_variants": [
"0xb88a802f",
"0xb88a802f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb8bec6a0",
"selector": "0xb8bec6a0",
"calldata_variants": [
"0xb8bec6a0",
"0xb8bec6a00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe40df156",
"selector": "0xe40df156",
"calldata_variants": [
"0xe40df156",
"0xe40df1560000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x68e5585d",
"selector": "0x68e5585d",
"calldata_variants": [
"0x68e5585d",
"0x68e5585d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6bf3f9e5",
"selector": "0x6bf3f9e5",
"calldata_variants": [
"0x6bf3f9e5",
"0x6bf3f9e50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1279,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1531,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2335,
"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: 0xddad730e1d8d8bf3262585ce5e94c5d8a8562a2e12e160aae093f40c37be4b1a
call_targets:
0xf21c4f3a748f38a0b244f649d19fdcc55678f576
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xddad730e1d8d8bf3262585ce5e94c5d8a8562a2e12e160aae093f40c37be4b1a",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xf21c4f3a748f38a0b244f649d19fdcc55678f576"
],
"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": "0xa6ac4b35",
"selector": "0xa6ac4b35",
"calldata_variants": [
"0xa6ac4b35",
"0xa6ac4b350000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb88a802f",
"selector": "0xb88a802f",
"calldata_variants": [
"0xb88a802f",
"0xb88a802f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb8bec6a0",
"selector": "0xb8bec6a0",
"calldata_variants": [
"0xb8bec6a0",
"0xb8bec6a00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe40df156",
"selector": "0xe40df156",
"calldata_variants": [
"0xe40df156",
"0xe40df1560000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x68e5585d",
"selector": "0x68e5585d",
"calldata_variants": [
"0x68e5585d",
"0x68e5585d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6bf3f9e5",
"selector": "0x6bf3f9e5",
"calldata_variants": [
"0x6bf3f9e5",
"0x6bf3f9e50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1279,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1531,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2335,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": []
}
|