019b3844-9c13-7199-858b-89ace88e9c55
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 |
|---|---|---|---|---|
| 14533 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 14534 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 99859 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 99860 | capability.graph | complete | 1 / 3 | 1 week ago |
| 99861 | detector.run | complete | 1 / 3 | 1 week ago |
| 99862 | 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 0x008a 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x715018a6 00000019: GT 0000001a: PUSH2 0x0059 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x715018a6 00000024: EQ 00000025: PUSH2 0x01e6 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x8da5cb5b 0000002f: EQ 00000030: PUSH2 0x01fb 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xd1bc76a1 0000003a: EQ 0000003b: PUSH2 0x022c 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xe57b614e 00000045: EQ 00000046: PUSH2 0x0256 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf2fde38b 00000050: EQ 00000051: PUSH2 0x026b 00000054: JUMPI 00000055: PUSH2 0x0091 00000058: JUMP 00000059: JUMPDEST 0000005a: DUP1 0000005b: PUSH4 0x3acefa20 00000060: EQ 00000061: PUSH2 0x0093 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0x4aba412a 0000006b: EQ 0000006c: PUSH2 0x00cf 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x63453ae1 00000076: EQ 00000077: PUSH2 0x00e4 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x659e8da1 00000081: EQ 00000082: PUSH2 0x0117 00000085: JUMPI 00000086: PUSH2 0x0091 00000089: JUMP 0000008a: JUMPDEST 0000008b: CALLDATASIZE 0000008c: PUSH2 0x0091 0000008f: JUMPI 00000090: STOP 00000091: JUMPDEST 00000092: STOP 00000093: JUMPDEST 00000094: CALLVALUE 00000095: DUP1 00000096: ISZERO 00000097: PUSH2 0x009f 0000009a: JUMPI 0000009b: PUSH1 0x00 0000009d: DUP1 0000009e: REVERT 0000009f: JUMPDEST 000000a0: POP 000000a1: PUSH2 0x00bd 000000a4: PUSH1 0x04 000000a6: DUP1 000000a7: CALLDATASIZE 000000a8: SUB 000000a9: PUSH1 0x20 000000ab: DUP2 000000ac: LT 000000ad: ISZERO 000000ae: PUSH2 0x00b6 000000b1: JUMPI 000000b2: PUSH1 0x00 000000b4: DUP1 000000b5: REVERT 000000b6: JUMPDEST 000000b7: POP 000000b8: CALLDATALOAD 000000b9: PUSH2 0x029e 000000bc: JUMP 000000bd: JUMPDEST 000000be: PUSH1 0x40 000000c0: DUP1 000000c1: MLOAD 000000c2: SWAP2 000000c3: DUP3 000000c4: MSTORE 000000c5: MLOAD 000000c6: SWAP1 000000c7: DUP2 000000c8: SWAP1 000000c9: SUB 000000ca: PUSH1 0x20 000000cc: ADD 000000cd: SWAP1 000000ce: RETURN 000000cf: JUMPDEST 000000d0: CALLVALUE 000000d1: DUP1 000000d2: ISZERO 000000d3: PUSH2 0x00db 000000d6: JUMPI 000000d7: PUSH1 0x00 000000d9: DUP1 000000da: REVERT 000000db: JUMPDEST 000000dc: POP 000000dd: PUSH2 0x00bd 000000e0: PUSH2 0x02bc 000000e3: JUMP 000000e4: JUMPDEST 000000e5: CALLVALUE 000000e6: DUP1 000000e7: ISZERO 000000e8: PUSH2 0x00f0 000000eb: JUMPI 000000ec: PUSH1 0x00 000000ee: DUP1 000000ef: REVERT 000000f0: JUMPDEST 000000f1: POP 000000f2: PUSH2 0x0091 000000f5: PUSH1 0x04 000000f7: DUP1 000000f8: CALLDATASIZE 000000f9: SUB 000000fa: PUSH1 0x20 000000fc: DUP2 000000fd: LT 000000fe: ISZERO 000000ff: PUSH2 0x0107 00000102: JUMPI 00000103: PUSH1 0x00 00000105: DUP1 00000106: REVERT 00000107: JUMPDEST 00000108: POP 00000109: CALLDATALOAD 0000010a: PUSH1 0x01 0000010c: PUSH1 0x01 0000010e: PUSH1 0xa0 00000110: SHL 00000111: SUB 00000112: AND 00000113: PUSH2 0x02c2 00000116: JUMP 00000117: JUMPDEST 00000118: CALLVALUE 00000119: DUP1 0000011a: ISZERO 0000011b: PUSH2 0x0123 0000011e: JUMPI 0000011f: PUSH1 0x00 00000121: DUP1 00000122: REVERT 00000123: JUMPDEST 00000124: POP 00000125: PUSH2 0x0091 00000128: PUSH1 0x04 0000012a: DUP1 0000012b: CALLDATASIZE 0000012c: SUB 0000012d: PUSH1 0x60 0000012f: DUP2 00000130: LT 00000131: ISZERO 00000132: PUSH2 0x013a 00000135: JUMPI 00000136: PUSH1 0x00 00000138: DUP1 00000139: REVERT 0000013a: JUMPDEST 0000013b: DUP2 0000013c: ADD 0000013d: SWAP1 0000013e: PUSH1 0x20 00000140: DUP2 00000141: ADD 00000142: DUP2 00000143: CALLDATALOAD 00000144: PUSH5 0x0100000000 0000014a: DUP2 0000014b: GT 0000014c: ISZERO 0000014d: PUSH2 0x0155 00000150: JUMPI 00000151: PUSH1 0x00 00000153: DUP1 00000154: REVERT 00000155: JUMPDEST 00000156: DUP3 00000157: ADD 00000158: DUP4 00000159: PUSH1 0x20 0000015b: DUP3 0000015c: ADD 0000015d: GT 0000015e: ISZERO 0000015f: PUSH2 0x0167 00000162: JUMPI 00000163: PUSH1 0x00 00000165: DUP1 00000166: REVERT 00000167: JUMPDEST 00000168: DUP1 00000169: CALLDATALOAD 0000016a: SWAP1 0000016b: PUSH1 0x20 0000016d: ADD 0000016e: SWAP2 0000016f: DUP5 00000170: PUSH1 0x20 00000172: DUP4 00000173: MUL 00000174: DUP5 00000175: ADD 00000176: GT 00000177: PUSH5 0x0100000000 0000017d: DUP4 0000017e: GT 0000017f: OR 00000180: ISZERO 00000181: PUSH2 0x0189 00000184: JUMPI 00000185: PUSH1 0x00 00000187: DUP1 00000188: REVERT 00000189: JUMPDEST 0000018a: SWAP2 0000018b: SWAP4 0000018c: SWAP1 0000018d: SWAP3 0000018e: SWAP1 0000018f: SWAP2 00000190: PUSH1 0x20 00000192: DUP2 00000193: ADD 00000194: SWAP1 00000195: CALLDATALOAD 00000196: PUSH5 0x0100000000 0000019c: DUP2 0000019d: GT 0000019e: ISZERO 0000019f: PUSH2 0x01a7 000001a2: JUMPI 000001a3: PUSH1 0x00 000001a5: DUP1 000001a6: REVERT 000001a7: JUMPDEST 000001a8: DUP3 000001a9: ADD 000001aa: DUP4 000001ab: PUSH1 0x20 000001ad: DUP3 000001ae: ADD 000001af: GT 000001b0: ISZERO 000001b1: PUSH2 0x01b9 000001b4: JUMPI 000001b5: PUSH1 0x00 000001b7: DUP1 000001b8: REVERT 000001b9: JUMPDEST 000001ba: DUP1 000001bb: CALLDATALOAD 000001bc: SWAP1 000001bd: PUSH1 0x20 000001bf: ADD 000001c0: SWAP2 000001c1: DUP5 000001c2: PUSH1 0x20 000001c4: DUP4 000001c5: MUL 000001c6: DUP5 000001c7: ADD 000001c8: GT 000001c9: PUSH5 0x0100000000 000001cf: DUP4 000001d0: GT 000001d1: OR 000001d2: ISZERO 000001d3: PUSH2 0x01db 000001d6: JUMPI 000001d7: PUSH1 0x00 000001d9: DUP1 000001da: REVERT 000001db: JUMPDEST 000001dc: SWAP2 000001dd: SWAP4 000001de: POP 000001df: SWAP2 000001e0: POP 000001e1: CALLDATALOAD 000001e2: PUSH2 0x0488 000001e5: JUMP 000001e6: JUMPDEST 000001e7: CALLVALUE 000001e8: DUP1 000001e9: ISZERO 000001ea: PUSH2 0x01f2 000001ed: JUMPI 000001ee: PUSH1 0x00 000001f0: DUP1 000001f1: REVERT 000001f2: JUMPDEST 000001f3: POP 000001f4: PUSH2 0x0091 000001f7: PUSH2 0x0572 000001fa: JUMP 000001fb: JUMPDEST 000001fc: CALLVALUE 000001fd: DUP1 000001fe: ISZERO 000001ff: PUSH2 0x0207 00000202: JUMPI 00000203: PUSH1 0x00 00000205: DUP1 00000206: REVERT 00000207: JUMPDEST 00000208: POP 00000209: PUSH2 0x0210 0000020c: PUSH2 0x0630 0000020f: JUMP 00000210: JUMPDEST 00000211: PUSH1 0x40 00000213: DUP1 00000214: MLOAD 00000215: PUSH1 0x01 00000217: PUSH1 0x01 00000219: PUSH1 0xa0 0000021b: SHL 0000021c: SUB 0000021d: SWAP1 0000021e: SWAP3 0000021f: AND 00000220: DUP3 00000221: MSTORE 00000222: MLOAD 00000223: SWAP1 00000224: DUP2 00000225: SWAP1 00000226: SUB 00000227: PUSH1 0x20 00000229: ADD 0000022a: SWAP1 0000022b: RETURN 0000022c: JUMPDEST 0000022d: CALLVALUE 0000022e: DUP1 0000022f: ISZERO 00000230: PUSH2 0x0238 00000233: JUMPI 00000234: PUSH1 0x00 00000236: DUP1 00000237: REVERT 00000238: JUMPDEST 00000239: POP 0000023a: PUSH2 0x0210 0000023d: PUSH1 0x04 0000023f: DUP1 00000240: CALLDATASIZE 00000241: SUB 00000242: PUSH1 0x20 00000244: DUP2 00000245: LT 00000246: ISZERO 00000247: PUSH2 0x024f 0000024a: JUMPI 0000024b: PUSH1 0x00 0000024d: DUP1 0000024e: REVERT 0000024f: JUMPDEST 00000250: POP 00000251: CALLDATALOAD 00000252: PUSH2 0x0640 00000255: JUMP 00000256: JUMPDEST 00000257: CALLVALUE 00000258: DUP1 00000259: ISZERO 0000025a: PUSH2 0x0262 0000025d: JUMPI 0000025e: PUSH1 0x00 00000260: DUP1 00000261: REVERT 00000262: JUMPDEST 00000263: POP 00000264: PUSH2 0x00bd 00000267: PUSH2 0x0667 0000026a: JUMP 0000026b: JUMPDEST 0000026c: CALLVALUE 0000026d: DUP1 0000026e: ISZERO 0000026f: PUSH2 0x0277 00000272: JUMPI 00000273: PUSH1 0x00 00000275: DUP1 00000276: REVERT 00000277: JUMPDEST 00000278: POP 00000279: PUSH2 0x0091 0000027c: PUSH1 0x04 0000027e: DUP1 0000027f: CALLDATASIZE 00000280: SUB 00000281: PUSH1 0x20 00000283: DUP2 00000284: LT 00000285: ISZERO 00000286: PUSH2 0x028e 00000289: JUMPI 0000028a: PUSH1 0x00 0000028c: DUP1 0000028d: REVERT 0000028e: JUMPDEST 0000028f: POP 00000290: CALLDATALOAD 00000291: PUSH1 0x01 00000293: PUSH1 0x01 00000295: PUSH1 0xa0 00000297: SHL 00000298: SUB 00000299: AND 0000029a: PUSH2 0x066d 0000029d: JUMP 0000029e: JUMPDEST 0000029f: PUSH1 0x02 000002a1: DUP2 000002a2: DUP2 000002a3: SLOAD 000002a4: DUP2 000002a5: LT 000002a6: PUSH2 0x02ab 000002a9: JUMPI 000002aa: INVALID 000002ab: JUMPDEST 000002ac: PUSH1 0x00 000002ae: SWAP2 000002af: DUP3 000002b0: MSTORE 000002b1: PUSH1 0x20 000002b3: SWAP1 000002b4: SWAP2 000002b5: KECCAK256 000002b6: ADD 000002b7: SLOAD 000002b8: SWAP1 000002b9: POP 000002ba: DUP2 000002bb: JUMP 000002bc: JUMPDEST 000002bd: PUSH1 0x04 000002bf: SLOAD 000002c0: DUP2 000002c1: JUMP 000002c2: JUMPDEST 000002c3: PUSH1 0x00 000002c5: PUSH1 0x01 000002c7: PUSH1 0x01 000002c9: PUSH1 0xa0 000002cb: SHL 000002cc: SUB 000002cd: DUP3 000002ce: AND 000002cf: PUSH2 0x02d9 000002d2: JUMPI 000002d3: POP 000002d4: SELFBALANCE 000002d5: PUSH2 0x034e 000002d8: JUMP 000002d9: JUMPDEST 000002da: PUSH1 0x40 000002dc: DUP1 000002dd: MLOAD 000002de: PUSH4 0x70a08231 000002e3: PUSH1 0xe0 000002e5: SHL 000002e6: DUP2 000002e7: MSTORE 000002e8: ADDRESS 000002e9: PUSH1 0x04 000002eb: DUP3 000002ec: ADD 000002ed: MSTORE 000002ee: SWAP1 000002ef: MLOAD 000002f0: PUSH1 0x01 000002f2: PUSH1 0x01 000002f4: PUSH1 0xa0 000002f6: SHL 000002f7: SUB 000002f8: DUP5 000002f9: AND 000002fa: SWAP2 000002fb: PUSH4 0x70a08231 00000300: SWAP2 00000301: PUSH1 0x24 00000303: DUP1 00000304: DUP4 00000305: ADD 00000306: SWAP3 00000307: PUSH1 0x20 00000309: SWAP3 0000030a: SWAP2 0000030b: SWAP1 0000030c: DUP3 0000030d: SWAP1 0000030e: SUB 0000030f: ADD 00000310: DUP2 00000311: DUP7 00000312: DUP1 00000313: EXTCODESIZE 00000314: ISZERO 00000315: DUP1 00000316: ISZERO 00000317: PUSH2 0x031f 0000031a: JUMPI 0000031b: PUSH1 0x00 0000031d: DUP1 0000031e: REVERT 0000031f: JUMPDEST 00000320: POP 00000321: GAS 00000322: STATICCALL 00000323: ISZERO 00000324: DUP1 00000325: ISZERO 00000326: PUSH2 0x0333 00000329: JUMPI 0000032a: RETURNDATASIZE 0000032b: PUSH1 0x00 0000032d: DUP1 0000032e: RETURNDATACOPY 0000032f: RETURNDATASIZE 00000330: PUSH1 0x00 00000332: REVERT 00000333: JUMPDEST 00000334: POP 00000335: POP 00000336: POP 00000337: POP 00000338: PUSH1 0x40 0000033a: MLOAD 0000033b: RETURNDATASIZE 0000033c: PUSH1 0x20 0000033e: DUP2 0000033f: LT 00000340: ISZERO 00000341: PUSH2 0x0349 00000344: JUMPI 00000345: PUSH1 0x00 00000347: DUP1 00000348: REVERT 00000349: JUMPDEST 0000034a: POP 0000034b: MLOAD 0000034c: SWAP1 0000034d: POP 0000034e: JUMPDEST 0000034f: PUSH1 0x00 00000351: JUMPDEST 00000352: PUSH1 0x01 00000354: SLOAD 00000355: DUP2 00000356: LT 00000357: ISZERO 00000358: PUSH2 0x043f 0000035b: JUMPI 0000035c: PUSH1 0x01 0000035e: PUSH1 0x01 00000360: PUSH1 0xa0 00000362: SHL 00000363: SUB 00000364: DUP4 00000365: AND 00000366: PUSH2 0x03db 00000369: JUMPI 0000036a: PUSH2 0x03d6 0000036d: PUSH2 0x03a8 00000370: PUSH1 0x03 00000372: SLOAD 00000373: PUSH2 0x039c 00000376: DUP6 00000377: PUSH1 0x02 00000379: DUP7 0000037a: DUP2 0000037b: SLOAD 0000037c: DUP2 0000037d: LT 0000037e: PUSH2 0x0383 00000381: JUMPI 00000382: INVALID 00000383: JUMPDEST 00000384: SWAP1 00000385: PUSH1 0x00 00000387: MSTORE 00000388: PUSH1 0x20 0000038a: PUSH1 0x00 0000038c: KECCAK256 0000038d: ADD 0000038e: SLOAD 0000038f: PUSH2 0x0781 00000392: SWAP1 00000393: SWAP2 00000394: SWAP1 00000395: PUSH4 0xffffffff 0000039a: AND 0000039b: JUMP 0000039c: JUMPDEST 0000039d: SWAP1 0000039e: PUSH4 0xffffffff 000003a3: PUSH2 0x07e3 000003a6: AND 000003a7: JUMP 000003a8: JUMPDEST 000003a9: PUSH1 0x01 000003ab: DUP4 000003ac: DUP2 000003ad: SLOAD 000003ae: DUP2 000003af: LT 000003b0: PUSH2 0x03b5 000003b3: JUMPI 000003b4: INVALID 000003b5: JUMPDEST 000003b6: PUSH1 0x00 000003b8: SWAP2 000003b9: DUP3 000003ba: MSTORE 000003bb: PUSH1 0x20 000003bd: SWAP1 000003be: SWAP2 000003bf: KECCAK256 000003c0: ADD 000003c1: SLOAD 000003c2: PUSH1 0x01 000003c4: PUSH1 0x01 000003c6: PUSH1 0xa0 000003c8: SHL 000003c9: SUB 000003ca: AND 000003cb: SWAP1 000003cc: PUSH4 0xffffffff 000003d1: PUSH2 0x084a 000003d4: AND 000003d5: JUMP 000003d6: JUMPDEST 000003d7: PUSH2 0x0437 000003da: JUMP 000003db: JUMPDEST 000003dc: PUSH2 0x0437 000003df: PUSH1 0x01 000003e1: DUP3 000003e2: DUP2 000003e3: SLOAD 000003e4: DUP2 000003e5: LT 000003e6: PUSH2 0x03eb 000003e9: JUMPI 000003ea: INVALID 000003eb: JUMPDEST 000003ec: SWAP1 000003ed: PUSH1 0x00 000003ef: MSTORE 000003f0: PUSH1 0x20 000003f2: PUSH1 0x00 000003f4: KECCAK256 000003f5: ADD 000003f6: PUSH1 0x00 000003f8: SWAP1 000003f9: SLOAD 000003fa: SWAP1 000003fb: PUSH2 0x0100 000003fe: EXP 000003ff: SWAP1 00000400: DIV 00000401: PUSH1 0x01 00000403: PUSH1 0x01 00000405: PUSH1 0xa0 00000407: SHL 00000408: SUB 00000409: AND 0000040a: PUSH2 0x0420 0000040d: PUSH1 0x03 0000040f: SLOAD 00000410: PUSH2 0x039c 00000413: DUP7 00000414: PUSH1 0x02 00000416: DUP8 00000417: DUP2 00000418: SLOAD 00000419: DUP2 0000041a: LT 0000041b: PUSH2 0x0383 0000041e: JUMPI 0000041f: INVALID 00000420: JUMPDEST 00000421: PUSH1 0x01 00000423: PUSH1 0x01 00000425: PUSH1 0xa0 00000427: SHL 00000428: SUB 00000429: DUP7 0000042a: AND 0000042b: SWAP2 0000042c: SWAP1 0000042d: PUSH4 0xffffffff 00000432: PUSH2 0x0934 00000435: AND 00000436: JUMP 00000437: JUMPDEST 00000438: PUSH1 0x01 0000043a: ADD 0000043b: PUSH2 0x0351 0000043e: JUMP 0000043f: JUMPDEST 00000440: POP 00000441: PUSH1 0x40 00000443: DUP1 00000444: MLOAD 00000445: PUSH1 0x01 00000447: PUSH1 0x01 00000449: PUSH1 0xa0 0000044b: SHL 0000044c: SUB 0000044d: DUP5 0000044e: AND 0000044f: DUP2 00000450: MSTORE 00000451: PUSH1 0x20 00000453: DUP2 00000454: ADD 00000455: DUP4 00000456: SWAP1 00000457: MSTORE 00000458: DUP2 00000459: MLOAD 0000045a: PUSH32 0x1c3489c67a4bb88aa610696be839f257d543b27baca95734820eeb388a7440dd 0000047b: SWAP3 0000047c: SWAP2 0000047d: DUP2 0000047e: SWAP1 0000047f: SUB 00000480: SWAP1 00000481: SWAP2 00000482: ADD 00000483: SWAP1 00000484: LOG1 00000485: POP 00000486: POP 00000487: JUMP 00000488: JUMPDEST 00000489: PUSH2 0x0490 0000048c: PUSH2 0x0986 0000048f: JUMP 00000490: JUMPDEST 00000491: PUSH1 0x01 00000493: PUSH1 0x01 00000495: PUSH1 0xa0 00000497: SHL 00000498: SUB 00000499: AND 0000049a: PUSH2 0x04a1 0000049d: PUSH2 0x0630 000004a0: JUMP 000004a1: JUMPDEST 000004a2: PUSH1 0x01 000004a4: PUSH1 0x01 000004a6: PUSH1 0xa0 000004a8: SHL 000004a9: SUB 000004aa: AND 000004ab: EQ 000004ac: PUSH2 0x04fc 000004af: JUMPI 000004b0: PUSH1 0x40 000004b2: DUP1 000004b3: MLOAD 000004b4: PUSH3 0x461bcd 000004b8: PUSH1 0xe5 000004ba: SHL 000004bb: DUP2 000004bc: MSTORE 000004bd: PUSH1 0x20 000004bf: PUSH1 0x04 000004c1: DUP3 000004c2: ADD 000004c3: DUP2 000004c4: SWAP1 000004c5: MSTORE 000004c6: PUSH1 0x24 000004c8: DUP3 000004c9: ADD 000004ca: MSTORE 000004cb: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 000004ec: PUSH1 0x44 000004ee: DUP3 000004ef: ADD 000004f0: MSTORE 000004f1: SWAP1 000004f2: MLOAD 000004f3: SWAP1 000004f4: DUP2 000004f5: SWAP1 000004f6: SUB 000004f7: PUSH1 0x64 000004f9: ADD 000004fa: SWAP1 000004fb: REVERT 000004fc: JUMPDEST 000004fd: PUSH2 0x056b 00000500: DUP6 00000501: DUP6 00000502: DUP1 00000503: DUP1 00000504: PUSH1 0x20 00000506: MUL 00000507: PUSH1 0x20 00000509: ADD 0000050a: PUSH1 0x40 0000050c: MLOAD 0000050d: SWAP1 0000050e: DUP2 0000050f: ADD 00000510: PUSH1 0x40 00000512: MSTORE 00000513: DUP1 00000514: SWAP4 00000515: SWAP3 00000516: SWAP2 00000517: SWAP1 00000518: DUP2 00000519: DUP2 0000051a: MSTORE 0000051b: PUSH1 0x20 0000051d: ADD 0000051e: DUP4 0000051f: DUP4 00000520: PUSH1 0x20 00000522: MUL 00000523: DUP1 00000524: DUP3 00000525: DUP5 00000526: CALLDATACOPY 00000527: PUSH1 0x00 00000529: SWAP3 0000052a: ADD 0000052b: SWAP2 0000052c: SWAP1 0000052d: SWAP2 0000052e: MSTORE 0000052f: POP 00000530: POP 00000531: PUSH1 0x40 00000533: DUP1 00000534: MLOAD 00000535: PUSH1 0x20 00000537: DUP1 00000538: DUP10 00000539: MUL 0000053a: DUP3 0000053b: DUP2 0000053c: ADD 0000053d: DUP3 0000053e: ADD 0000053f: SWAP1 00000540: SWAP4 00000541: MSTORE 00000542: DUP9 00000543: DUP3 00000544: MSTORE 00000545: SWAP1 00000546: SWAP4 00000547: POP 00000548: DUP9 00000549: SWAP3 0000054a: POP 0000054b: DUP8 0000054c: SWAP2 0000054d: DUP3 0000054e: SWAP2 0000054f: DUP6 00000550: ADD 00000551: SWAP1 00000552: DUP5 00000553: SWAP1 00000554: DUP1 00000555: DUP3 00000556: DUP5 00000557: CALLDATACOPY 00000558: PUSH1 0x00 0000055a: SWAP3 0000055b: ADD 0000055c: SWAP2 0000055d: SWAP1 0000055e: SWAP2 0000055f: MSTORE 00000560: POP 00000561: DUP7 00000562: SWAP3 00000563: POP 00000564: PUSH2 0x098a 00000567: SWAP2 00000568: POP 00000569: POP 0000056a: JUMP 0000056b: JUMPDEST 0000056c: POP 0000056d: POP 0000056e: POP 0000056f: POP 00000570: POP 00000571: JUMP 00000572: JUMPDEST 00000573: PUSH2 0x057a 00000576: PUSH2 0x0986 00000579: JUMP 0000057a: JUMPDEST 0000057b: PUSH1 0x01 0000057d: PUSH1 0x01 0000057f: PUSH1 0xa0 00000581: SHL 00000582: SUB 00000583: AND 00000584: PUSH2 0x058b 00000587: PUSH2 0x0630 0000058a: JUMP 0000058b: JUMPDEST 0000058c: PUSH1 0x01 0000058e: PUSH1 0x01 00000590: PUSH1 0xa0 00000592: SHL 00000593: SUB 00000594: AND 00000595: EQ 00000596: PUSH2 0x05e6 00000599: JUMPI 0000059a: PUSH1 0x40 0000059c: DUP1 0000059d: MLOAD 0000059e: PUSH3 0x461bcd 000005a2: PUSH1 0xe5 000005a4: SHL 000005a5: DUP2 000005a6: MSTORE 000005a7: PUSH1 0x20 000005a9: PUSH1 0x04 000005ab: DUP3 000005ac: ADD 000005ad: DUP2 000005ae: SWAP1 000005af: MSTORE 000005b0: PUSH1 0x24 000005b2: DUP3 000005b3: ADD 000005b4: MSTORE 000005b5: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 000005d6: PUSH1 0x44 000005d8: DUP3 000005d9: ADD 000005da: MSTORE 000005db: SWAP1 000005dc: MLOAD 000005dd: SWAP1 000005de: DUP2 000005df: SWAP1 000005e0: SUB 000005e1: PUSH1 0x64 000005e3: ADD 000005e4: SWAP1 000005e5: REVERT 000005e6: JUMPDEST 000005e7: PUSH1 0x00 000005e9: DUP1 000005ea: SLOAD 000005eb: PUSH1 0x40 000005ed: MLOAD 000005ee: PUSH1 0x01 000005f0: PUSH1 0x01 000005f2: PUSH1 0xa0 000005f4: SHL 000005f5: SUB 000005f6: SWAP1 000005f7: SWAP2 000005f8: AND 000005f9: SWAP1 000005fa: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 0000061b: SWAP1 0000061c: DUP4 0000061d: SWAP1 0000061e: LOG3 0000061f: PUSH1 0x00 00000621: DUP1 00000622: SLOAD 00000623: PUSH1 0x01 00000625: PUSH1 0x01 00000627: PUSH1 0xa0 00000629: SHL 0000062a: SUB 0000062b: NOT 0000062c: AND 0000062d: SWAP1 0000062e: SSTORE 0000062f: JUMP 00000630: JUMPDEST 00000631: PUSH1 0x00 00000633: SLOAD 00000634: PUSH1 0x01 00000636: PUSH1 0x01 00000638: PUSH1 0xa0 0000063a: SHL 0000063b: SUB 0000063c: AND 0000063d: JUMPDEST 0000063e: SWAP1 0000063f: JUMP 00000640: JUMPDEST 00000641: PUSH1 0x01 00000643: DUP2 00000644: DUP2 00000645: SLOAD 00000646: DUP2 00000647: LT 00000648: PUSH2 0x064d 0000064b: JUMPI 0000064c: INVALID 0000064d: JUMPDEST 0000064e: PUSH1 0x00 00000650: SWAP2 00000651: DUP3 00000652: MSTORE 00000653: PUSH1 0x20 00000655: SWAP1 00000656: SWAP2 00000657: KECCAK256 00000658: ADD 00000659: SLOAD 0000065a: PUSH1 0x01 0000065c: PUSH1 0x01 0000065e: PUSH1 0xa0 00000660: SHL 00000661: SUB 00000662: AND 00000663: SWAP1 00000664: POP 00000665: DUP2 00000666: JUMP 00000667: JUMPDEST 00000668: PUSH1 0x03 0000066a: SLOAD 0000066b: DUP2 0000066c: JUMP 0000066d: JUMPDEST 0000066e: PUSH2 0x0675 00000671: PUSH2 0x0986 00000674: JUMP 00000675: JUMPDEST 00000676: PUSH1 0x01 00000678: PUSH1 0x01 0000067a: PUSH1 0xa0 0000067c: SHL 0000067d: SUB 0000067e: AND 0000067f: PUSH2 0x0686 00000682: PUSH2 0x0630 00000685: JUMP 00000686: JUMPDEST 00000687: PUSH1 0x01 00000689: PUSH1 0x01 0000068b: PUSH1 0xa0 0000068d: SHL 0000068e: SUB 0000068f: AND 00000690: EQ 00000691: PUSH2 0x06e1 00000694: JUMPI 00000695: PUSH1 0x40 00000697: DUP1 00000698: MLOAD 00000699: PUSH3 0x461bcd 0000069d: PUSH1 0xe5 0000069f: SHL 000006a0: DUP2 000006a1: MSTORE 000006a2: PUSH1 0x20 000006a4: PUSH1 0x04 000006a6: DUP3 000006a7: ADD 000006a8: DUP2 000006a9: SWAP1 000006aa: MSTORE 000006ab: PUSH1 0x24 000006ad: DUP3 000006ae: ADD 000006af: MSTORE 000006b0: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 000006d1: PUSH1 0x44 000006d3: DUP3 000006d4: ADD 000006d5: MSTORE 000006d6: SWAP1 000006d7: MLOAD 000006d8: SWAP1 000006d9: DUP2 000006da: SWAP1 000006db: SUB 000006dc: PUSH1 0x64 000006de: ADD 000006df: SWAP1 000006e0: REVERT 000006e1: JUMPDEST 000006e2: PUSH1 0x01 000006e4: PUSH1 0x01 000006e6: PUSH1 0xa0 000006e8: SHL 000006e9: SUB 000006ea: DUP2 000006eb: AND 000006ec: PUSH2 0x0726 000006ef: JUMPI 000006f0: PUSH1 0x40 000006f2: MLOAD 000006f3: PUSH3 0x461bcd 000006f7: PUSH1 0xe5 000006f9: SHL 000006fa: DUP2 000006fb: MSTORE 000006fc: PUSH1 0x04 000006fe: ADD 000006ff: DUP1 00000700: DUP1 00000701: PUSH1 0x20 00000703: ADD 00000704: DUP3 00000705: DUP2 00000706: SUB 00000707: DUP3 00000708: MSTORE 00000709: PUSH1 0x26 0000070b: DUP2 0000070c: MSTORE 0000070d: PUSH1 0x20 0000070f: ADD 00000710: DUP1 00000711: PUSH2 0x0f73 00000714: PUSH1 0x26 00000716: SWAP2 00000717: CODECOPY 00000718: PUSH1 0x40 0000071a: ADD 0000071b: SWAP2 0000071c: POP 0000071d: POP 0000071e: PUSH1 0x40 00000720: MLOAD 00000721: DUP1 00000722: SWAP2 00000723: SUB 00000724: SWAP1 00000725: REVERT 00000726: JUMPDEST 00000727: PUSH1 0x00 00000729: DUP1 0000072a: SLOAD 0000072b: PUSH1 0x40 0000072d: MLOAD 0000072e: PUSH1 0x01 00000730: PUSH1 0x01 00000732: PUSH1 0xa0 00000734: SHL 00000735: SUB 00000736: DUP1 00000737: DUP6 00000738: AND 00000739: SWAP4 0000073a: SWAP3 0000073b: AND 0000073c: SWAP2 0000073d: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 0000075e: SWAP2 0000075f: LOG3 00000760: PUSH1 0x00 00000762: DUP1 00000763: SLOAD 00000764: PUSH1 0x01 00000766: PUSH1 0x01 00000768: PUSH1 0xa0 0000076a: SHL 0000076b: SUB 0000076c: NOT 0000076d: AND 0000076e: PUSH1 0x01 00000770: PUSH1 0x01 00000772: PUSH1 0xa0 00000774: SHL 00000775: SUB 00000776: SWAP3 00000777: SWAP1 00000778: SWAP3 00000779: AND 0000077a: SWAP2 0000077b: SWAP1 0000077c: SWAP2 0000077d: OR 0000077e: SWAP1 0000077f: SSTORE 00000780: JUMP 00000781: JUMPDEST 00000782: PUSH1 0x00 00000784: DUP3 00000785: PUSH2 0x0790 00000788: JUMPI 00000789: POP 0000078a: PUSH1 0x00 0000078c: PUSH2 0x07dd 0000078f: JUMP 00000790: JUMPDEST 00000791: DUP3 00000792: DUP3 00000793: MUL 00000794: DUP3 00000795: DUP5 00000796: DUP3 00000797: DUP2 00000798: PUSH2 0x079d 0000079b: JUMPI 0000079c: INVALID 0000079d: JUMPDEST 0000079e: DIV 0000079f: EQ 000007a0: PUSH2 0x07da 000007a3: JUMPI 000007a4: PUSH1 0x40 000007a6: MLOAD 000007a7: PUSH3 0x461bcd 000007ab: PUSH1 0xe5 000007ad: SHL 000007ae: DUP2 000007af: MSTORE 000007b0: PUSH1 0x04 000007b2: ADD 000007b3: DUP1 000007b4: DUP1 000007b5: PUSH1 0x20 000007b7: ADD 000007b8: DUP3 000007b9: DUP2 000007ba: SUB 000007bb: DUP3 000007bc: MSTORE 000007bd: PUSH1 0x21 000007bf: DUP2 000007c0: MSTORE 000007c1: PUSH1 0x20 000007c3: ADD 000007c4: DUP1 000007c5: PUSH2 0x0ff9 000007c8: PUSH1 0x21 000007ca: SWAP2 000007cb: CODECOPY 000007cc: PUSH1 0x40 000007ce: ADD 000007cf: SWAP2 000007d0: POP 000007d1: POP 000007d2: PUSH1 0x40 000007d4: MLOAD 000007d5: DUP1 000007d6: SWAP2 000007d7: SUB 000007d8: SWAP1 000007d9: REVERT 000007da: JUMPDEST 000007db: SWAP1 000007dc: POP 000007dd: JUMPDEST 000007de: SWAP3 000007df: SWAP2 000007e0: POP 000007e1: POP 000007e2: JUMP 000007e3: JUMPDEST 000007e4: PUSH1 0x00 000007e6: DUP1 000007e7: DUP3 000007e8: GT 000007e9: PUSH2 0x0839 000007ec: JUMPI 000007ed: PUSH1 0x40 000007ef: DUP1 000007f0: MLOAD 000007f1: PUSH3 0x461bcd 000007f5: PUSH1 0xe5 000007f7: SHL 000007f8: DUP2 000007f9: MSTORE 000007fa: PUSH1 0x20 000007fc: PUSH1 0x04 000007fe: DUP3 000007ff: ADD 00000800: MSTORE 00000801: PUSH1 0x1a 00000803: PUSH1 0x24 00000805: DUP3 00000806: ADD 00000807: MSTORE 00000808: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000 00000829: PUSH1 0x44 0000082b: DUP3 0000082c: ADD 0000082d: MSTORE 0000082e: SWAP1 0000082f: MLOAD 00000830: SWAP1 00000831: DUP2 00000832: SWAP1 00000833: SUB 00000834: PUSH1 0x64 00000836: ADD 00000837: SWAP1 00000838: REVERT 00000839: JUMPDEST 0000083a: DUP2 0000083b: DUP4 0000083c: DUP2 0000083d: PUSH2 0x0842 00000840: JUMPI 00000841: INVALID 00000842: JUMPDEST 00000843: DIV 00000844: SWAP4 00000845: SWAP3 00000846: POP 00000847: POP 00000848: POP 00000849: JUMP 0000084a: JUMPDEST 0000084b: DUP1 0000084c: SELFBALANCE 0000084d: LT 0000084e: ISZERO 0000084f: PUSH2 0x089f 00000852: JUMPI 00000853: PUSH1 0x40 00000855: DUP1 00000856: MLOAD 00000857: PUSH3 0x461bcd 0000085b: PUSH1 0xe5 0000085d: SHL 0000085e: DUP2 0000085f: MSTORE 00000860: PUSH1 0x20 00000862: PUSH1 0x04 00000864: DUP3 00000865: ADD 00000866: MSTORE 00000867: PUSH1 0x1d 00000869: PUSH1 0x24 0000086b: DUP3 0000086c: ADD 0000086d: MSTORE 0000086e: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e6365000000 0000088f: PUSH1 0x44 00000891: DUP3 00000892: ADD 00000893: MSTORE 00000894: SWAP1 00000895: MLOAD 00000896: SWAP1 00000897: DUP2 00000898: SWAP1 00000899: SUB 0000089a: PUSH1 0x64 0000089c: ADD 0000089d: SWAP1 0000089e: REVERT 0000089f: JUMPDEST 000008a0: PUSH1 0x40 000008a2: MLOAD 000008a3: PUSH1 0x00 000008a5: SWAP1 000008a6: PUSH1 0x01 000008a8: PUSH1 0x01 000008aa: PUSH1 0xa0 000008ac: SHL 000008ad: SUB 000008ae: DUP5 000008af: AND 000008b0: SWAP1 000008b1: DUP4 000008b2: SWAP1 000008b3: DUP4 000008b4: DUP2 000008b5: DUP2 000008b6: DUP2 000008b7: DUP6 000008b8: DUP8 000008b9: GAS 000008ba: CALL 000008bb: SWAP3 000008bc: POP 000008bd: POP 000008be: POP 000008bf: RETURNDATASIZE 000008c0: DUP1 000008c1: PUSH1 0x00 000008c3: DUP2 000008c4: EQ 000008c5: PUSH2 0x08ea 000008c8: JUMPI 000008c9: PUSH1 0x40 000008cb: MLOAD 000008cc: SWAP2 000008cd: POP 000008ce: PUSH1 0x1f 000008d0: NOT 000008d1: PUSH1 0x3f 000008d3: RETURNDATASIZE 000008d4: ADD 000008d5: AND 000008d6: DUP3 000008d7: ADD 000008d8: PUSH1 0x40 000008da: MSTORE 000008db: RETURNDATASIZE 000008dc: DUP3 000008dd: MSTORE 000008de: RETURNDATASIZE 000008df: PUSH1 0x00 000008e1: PUSH1 0x20 000008e3: DUP5 000008e4: ADD 000008e5: RETURNDATACOPY 000008e6: PUSH2 0x08ef 000008e9: JUMP 000008ea: JUMPDEST 000008eb: PUSH1 0x60 000008ed: SWAP2 000008ee: POP 000008ef: JUMPDEST 000008f0: POP 000008f1: POP 000008f2: SWAP1 000008f3: POP 000008f4: DUP1 000008f5: PUSH2 0x092f 000008f8: JUMPI 000008f9: PUSH1 0x40 000008fb: MLOAD 000008fc: PUSH3 0x461bcd 00000900: PUSH1 0xe5 00000902: SHL 00000903: DUP2 00000904: MSTORE 00000905: PUSH1 0x04 00000907: ADD 00000908: DUP1 00000909: DUP1 0000090a: PUSH1 0x20 0000090c: ADD 0000090d: DUP3 0000090e: DUP2 0000090f: SUB 00000910: DUP3 00000911: MSTORE 00000912: PUSH1 0x3a 00000914: DUP2 00000915: MSTORE 00000916: PUSH1 0x20 00000918: ADD 00000919: DUP1 0000091a: PUSH2 0x0f99 0000091d: PUSH1 0x3a 0000091f: SWAP2 00000920: CODECOPY 00000921: PUSH1 0x40 00000923: ADD 00000924: SWAP2 00000925: POP 00000926: POP 00000927: PUSH1 0x40 00000929: MLOAD 0000092a: DUP1 0000092b: SWAP2 0000092c: SUB 0000092d: SWAP1 0000092e: REVERT 0000092f: JUMPDEST 00000930: POP 00000931: POP 00000932: POP 00000933: JUMP 00000934: JUMPDEST 00000935: PUSH1 0x40 00000937: DUP1 00000938: MLOAD 00000939: PUSH1 0x01 0000093b: PUSH1 0x01 0000093d: PUSH1 0xa0 0000093f: SHL 00000940: SUB 00000941: DUP5 00000942: AND 00000943: PUSH1 0x24 00000945: DUP3 00000946: ADD 00000947: MSTORE 00000948: PUSH1 0x44 0000094a: DUP1 0000094b: DUP3 0000094c: ADD 0000094d: DUP5 0000094e: SWAP1 0000094f: MSTORE 00000950: DUP3 00000951: MLOAD 00000952: DUP1 00000953: DUP4 00000954: SUB 00000955: SWAP1 00000956: SWAP2 00000957: ADD 00000958: DUP2 00000959: MSTORE 0000095a: PUSH1 0x64 0000095c: SWAP1 0000095d: SWAP2 0000095e: ADD 0000095f: SWAP1 00000960: SWAP2 00000961: MSTORE 00000962: PUSH1 0x20 00000964: DUP2 00000965: ADD 00000966: DUP1 00000967: MLOAD 00000968: PUSH1 0x01 0000096a: PUSH1 0x01 0000096c: PUSH1 0xe0 0000096e: SHL 0000096f: SUB 00000970: AND 00000971: PUSH4 0xa9059cbb 00000976: PUSH1 0xe0 00000978: SHL 00000979: OR 0000097a: SWAP1 0000097b: MSTORE 0000097c: PUSH2 0x092f 0000097f: SWAP1 00000980: DUP5 00000981: SWAP1 00000982: PUSH2 0x0b5e 00000985: JUMP 00000986: JUMPDEST 00000987: CALLER 00000988: SWAP1 00000989: JUMP 0000098a: JUMPDEST 0000098b: TIMESTAMP 0000098c: PUSH1 0x04 0000098e: SLOAD 0000098f: LT 00000990: PUSH2 0x09e0 00000993: JUMPI 00000994: PUSH1 0x40 00000996: DUP1 00000997: MLOAD 00000998: PUSH3 0x461bcd 0000099c: PUSH1 0xe5 0000099e: SHL 0000099f: DUP2 000009a0: MSTORE 000009a1: PUSH1 0x20 000009a3: PUSH1 0x04 000009a5: DUP3 000009a6: ADD 000009a7: MSTORE 000009a8: PUSH1 0x1e 000009aa: PUSH1 0x24 000009ac: DUP3 000009ad: ADD 000009ae: MSTORE 000009af: PUSH32 0x43616e6e6f74206368616e67652064657374696e6174696f6e73207965740000 000009d0: PUSH1 0x44 000009d2: DUP3 000009d3: ADD 000009d4: MSTORE 000009d5: SWAP1 000009d6: MLOAD 000009d7: SWAP1 000009d8: DUP2 000009d9: SWAP1 000009da: SUB 000009db: PUSH1 0x64 000009dd: ADD 000009de: SWAP1 000009df: REVERT 000009e0: JUMPDEST 000009e1: DUP2 000009e2: MLOAD 000009e3: DUP4 000009e4: MLOAD 000009e5: EQ 000009e6: PUSH2 0x0a36 000009e9: JUMPI 000009ea: PUSH1 0x40 000009ec: DUP1 000009ed: MLOAD 000009ee: PUSH3 0x461bcd 000009f2: PUSH1 0xe5 000009f4: SHL 000009f5: DUP2 000009f6: MSTORE 000009f7: PUSH1 0x20 000009f9: PUSH1 0x04 000009fb: DUP3 000009fc: ADD 000009fd: MSTORE 000009fe: PUSH1 0x1a 00000a00: PUSH1 0x24 00000a02: DUP3 00000a03: ADD 00000a04: MSTORE 00000a05: PUSH32 0x44617461206c656e67746873206d75737420626520657175616c000000000000 00000a26: PUSH1 0x44 00000a28: DUP3 00000a29: ADD 00000a2a: MSTORE 00000a2b: SWAP1 00000a2c: MLOAD 00000a2d: SWAP1 00000a2e: DUP2 00000a2f: SWAP1 00000a30: SUB 00000a31: PUSH1 0x64 00000a33: ADD 00000a34: SWAP1 00000a35: REVERT 00000a36: JUMPDEST 00000a37: PUSH1 0x00 00000a39: DUP4 00000a3a: MLOAD 00000a3b: GT 00000a3c: PUSH2 0x0a8c 00000a3f: JUMPI 00000a40: PUSH1 0x40 00000a42: DUP1 00000a43: MLOAD 00000a44: PUSH3 0x461bcd 00000a48: PUSH1 0xe5 00000a4a: SHL 00000a4b: DUP2 00000a4c: MSTORE 00000a4d: PUSH1 0x20 00000a4f: PUSH1 0x04 00000a51: DUP3 00000a52: ADD 00000a53: MSTORE 00000a54: PUSH1 0x1f 00000a56: PUSH1 0x24 00000a58: DUP3 00000a59: ADD 00000a5a: MSTORE 00000a5b: PUSH32 0x4174206c65617374206f6e6520726563697069656e7420726571756972656400 00000a7c: PUSH1 0x44 00000a7e: DUP3 00000a7f: ADD 00000a80: MSTORE 00000a81: SWAP1 00000a82: MLOAD 00000a83: SWAP1 00000a84: DUP2 00000a85: SWAP1 00000a86: SUB 00000a87: PUSH1 0x64 00000a89: ADD 00000a8a: SWAP1 00000a8b: REVERT 00000a8c: JUMPDEST 00000a8d: PUSH1 0x10 00000a8f: DUP4 00000a90: MLOAD 00000a91: GT 00000a92: ISZERO 00000a93: PUSH2 0x0ae3 00000a96: JUMPI 00000a97: PUSH1 0x40 00000a99: DUP1 00000a9a: MLOAD 00000a9b: PUSH3 0x461bcd 00000a9f: PUSH1 0xe5 00000aa1: SHL 00000aa2: DUP2 00000aa3: MSTORE 00000aa4: PUSH1 0x20 00000aa6: PUSH1 0x04 00000aa8: DUP3 00000aa9: ADD 00000aaa: MSTORE 00000aab: PUSH1 0x1d 00000aad: PUSH1 0x24 00000aaf: DUP3 00000ab0: ADD 00000ab1: MSTORE 00000ab2: PUSH32 0x4d6178696d756d20313620726563697069656e747320616c6c6f776564000000 00000ad3: PUSH1 0x44 00000ad5: DUP3 00000ad6: ADD 00000ad7: MSTORE 00000ad8: SWAP1 00000ad9: MLOAD 00000ada: SWAP1 00000adb: DUP2 00000adc: SWAP1 00000add: SUB 00000ade: PUSH1 0x64 00000ae0: ADD 00000ae1: SWAP1 00000ae2: REVERT 00000ae3: JUMPDEST 00000ae4: DUP3 00000ae5: MLOAD 00000ae6: PUSH2 0x0af6 00000ae9: SWAP1 00000aea: PUSH1 0x01 00000aec: SWAP1 00000aed: PUSH1 0x20 00000aef: DUP7 00000af0: ADD 00000af1: SWAP1 00000af2: PUSH2 0x0e88 00000af5: JUMP 00000af6: JUMPDEST 00000af7: POP 00000af8: DUP2 00000af9: MLOAD 00000afa: PUSH2 0x0b0a 00000afd: SWAP1 00000afe: PUSH1 0x02 00000b00: SWAP1 00000b01: PUSH1 0x20 00000b03: DUP6 00000b04: ADD 00000b05: SWAP1 00000b06: PUSH2 0x0eed 00000b09: JUMP 00000b0a: JUMPDEST 00000b0b: POP 00000b0c: PUSH1 0x00 00000b0e: PUSH1 0x03 00000b10: DUP2 00000b11: SWAP1 00000b12: SSTORE 00000b13: JUMPDEST 00000b14: PUSH1 0x01 00000b16: SLOAD 00000b17: DUP2 00000b18: LT 00000b19: ISZERO 00000b1a: PUSH2 0x0b54 00000b1d: JUMPI 00000b1e: PUSH2 0x0b49 00000b21: PUSH1 0x02 00000b23: DUP3 00000b24: DUP2 00000b25: SLOAD 00000b26: DUP2 00000b27: LT 00000b28: PUSH2 0x0b2d 00000b2b: JUMPI 00000b2c: INVALID 00000b2d: JUMPDEST 00000b2e: SWAP1 00000b2f: PUSH1 0x00 00000b31: MSTORE 00000b32: PUSH1 0x20 00000b34: PUSH1 0x00 00000b36: KECCAK256 00000b37: ADD 00000b38: SLOAD 00000b39: PUSH1 0x03 00000b3b: SLOAD 00000b3c: PUSH2 0x0c0f 00000b3f: SWAP1 00000b40: SWAP2 00000b41: SWAP1 00000b42: PUSH4 0xffffffff 00000b47: AND 00000b48: JUMP 00000b49: JUMPDEST 00000b4a: PUSH1 0x03 00000b4c: SSTORE 00000b4d: PUSH1 0x01 00000b4f: ADD 00000b50: PUSH2 0x0b13 00000b53: JUMP 00000b54: JUMPDEST 00000b55: POP 00000b56: TIMESTAMP 00000b57: ADD 00000b58: PUSH1 0x04 00000b5a: SSTORE 00000b5b: POP 00000b5c: POP 00000b5d: JUMP 00000b5e: JUMPDEST 00000b5f: PUSH1 0x60 00000b61: PUSH2 0x0bb3 00000b64: DUP3 00000b65: PUSH1 0x40 00000b67: MLOAD 00000b68: DUP1 00000b69: PUSH1 0x40 00000b6b: ADD 00000b6c: PUSH1 0x40 00000b6e: MSTORE 00000b6f: DUP1 00000b70: PUSH1 0x20 00000b72: DUP2 00000b73: MSTORE 00000b74: PUSH1 0x20 00000b76: ADD 00000b77: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564 00000b98: DUP2 00000b99: MSTORE 00000b9a: POP 00000b9b: DUP6 00000b9c: PUSH1 0x01 00000b9e: PUSH1 0x01 00000ba0: PUSH1 0xa0 00000ba2: SHL 00000ba3: SUB 00000ba4: AND 00000ba5: PUSH2 0x0c69 00000ba8: SWAP1 00000ba9: SWAP3 00000baa: SWAP2 00000bab: SWAP1 00000bac: PUSH4 0xffffffff 00000bb1: AND 00000bb2: JUMP 00000bb3: JUMPDEST 00000bb4: DUP1 00000bb5: MLOAD 00000bb6: SWAP1 00000bb7: SWAP2 00000bb8: POP 00000bb9: ISZERO 00000bba: PUSH2 0x092f 00000bbd: JUMPI 00000bbe: DUP1 00000bbf: DUP1 00000bc0: PUSH1 0x20 00000bc2: ADD 00000bc3: SWAP1 00000bc4: MLOAD 00000bc5: PUSH1 0x20 00000bc7: DUP2 00000bc8: LT 00000bc9: ISZERO 00000bca: PUSH2 0x0bd2 00000bcd: JUMPI 00000bce: PUSH1 0x00 00000bd0: DUP1 00000bd1: REVERT 00000bd2: JUMPDEST 00000bd3: POP 00000bd4: MLOAD 00000bd5: PUSH2 0x092f 00000bd8: JUMPI 00000bd9: PUSH1 0x40 00000bdb: MLOAD 00000bdc: PUSH3 0x461bcd 00000be0: PUSH1 0xe5 00000be2: SHL 00000be3: DUP2 00000be4: MSTORE 00000be5: PUSH1 0x04 00000be7: ADD 00000be8: DUP1 00000be9: DUP1 00000bea: PUSH1 0x20 00000bec: ADD 00000bed: DUP3 00000bee: DUP2 00000bef: SUB 00000bf0: DUP3 00000bf1: MSTORE 00000bf2: PUSH1 0x2a 00000bf4: DUP2 00000bf5: MSTORE 00000bf6: PUSH1 0x20 00000bf8: ADD 00000bf9: DUP1 00000bfa: PUSH2 0x101a 00000bfd: PUSH1 0x2a 00000bff: SWAP2 00000c00: CODECOPY 00000c01: PUSH1 0x40 00000c03: ADD 00000c04: SWAP2 00000c05: POP 00000c06: POP 00000c07: PUSH1 0x40 00000c09: MLOAD 00000c0a: DUP1 00000c0b: SWAP2 00000c0c: SUB 00000c0d: SWAP1 00000c0e: REVERT 00000c0f: JUMPDEST 00000c10: PUSH1 0x00 00000c12: DUP3 00000c13: DUP3 00000c14: ADD 00000c15: DUP4 00000c16: DUP2 00000c17: LT 00000c18: ISZERO 00000c19: PUSH2 0x07da 00000c1c: JUMPI 00000c1d: PUSH1 0x40 00000c1f: DUP1 00000c20: MLOAD 00000c21: PUSH3 0x461bcd 00000c25: PUSH1 0xe5 00000c27: SHL 00000c28: DUP2 00000c29: MSTORE 00000c2a: PUSH1 0x20 00000c2c: PUSH1 0x04 00000c2e: DUP3 00000c2f: ADD 00000c30: MSTORE 00000c31: PUSH1 0x1b 00000c33: PUSH1 0x24 00000c35: DUP3 00000c36: ADD 00000c37: MSTORE 00000c38: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000 00000c59: PUSH1 0x44 00000c5b: DUP3 00000c5c: ADD 00000c5d: MSTORE 00000c5e: SWAP1 00000c5f: MLOAD 00000c60: SWAP1 00000c61: DUP2 00000c62: SWAP1 00000c63: SUB 00000c64: PUSH1 0x64 00000c66: ADD 00000c67: SWAP1 00000c68: REVERT 00000c69: JUMPDEST 00000c6a: PUSH1 0x60 00000c6c: PUSH2 0x0c78 00000c6f: DUP5 00000c70: DUP5 00000c71: PUSH1 0x00 00000c73: DUP6 00000c74: PUSH2 0x0c82 00000c77: JUMP 00000c78: JUMPDEST 00000c79: SWAP1 00000c7a: POP 00000c7b: JUMPDEST 00000c7c: SWAP4 00000c7d: SWAP3 00000c7e: POP 00000c7f: POP 00000c80: POP 00000c81: JUMP 00000c82: JUMPDEST 00000c83: PUSH1 0x60 00000c85: DUP3 00000c86: SELFBALANCE 00000c87: LT 00000c88: ISZERO 00000c89: PUSH2 0x0cc3 00000c8c: JUMPI 00000c8d: PUSH1 0x40 00000c8f: MLOAD 00000c90: PUSH3 0x461bcd 00000c94: PUSH1 0xe5 00000c96: SHL 00000c97: DUP2 00000c98: MSTORE 00000c99: PUSH1 0x04 00000c9b: ADD 00000c9c: DUP1 00000c9d: DUP1 00000c9e: PUSH1 0x20 00000ca0: ADD 00000ca1: DUP3 00000ca2: DUP2 00000ca3: SUB 00000ca4: DUP3 00000ca5: MSTORE 00000ca6: PUSH1 0x26 00000ca8: DUP2 00000ca9: MSTORE 00000caa: PUSH1 0x20 00000cac: ADD 00000cad: DUP1 00000cae: PUSH2 0x0fd3 00000cb1: PUSH1 0x26 00000cb3: SWAP2 00000cb4: CODECOPY 00000cb5: PUSH1 0x40 00000cb7: ADD 00000cb8: SWAP2 00000cb9: POP 00000cba: POP 00000cbb: PUSH1 0x40 00000cbd: MLOAD 00000cbe: DUP1 00000cbf: SWAP2 00000cc0: SUB 00000cc1: SWAP1 00000cc2: REVERT 00000cc3: JUMPDEST 00000cc4: PUSH2 0x0ccc 00000cc7: DUP6 00000cc8: PUSH2 0x0dde 00000ccb: JUMP 00000ccc: JUMPDEST 00000ccd: PUSH2 0x0d1d 00000cd0: JUMPI 00000cd1: PUSH1 0x40 00000cd3: DUP1 00000cd4: MLOAD 00000cd5: PUSH3 0x461bcd 00000cd9: PUSH1 0xe5 00000cdb: SHL 00000cdc: DUP2 00000cdd: MSTORE 00000cde: PUSH1 0x20 00000ce0: PUSH1 0x04 00000ce2: DUP3 00000ce3: ADD 00000ce4: MSTORE 00000ce5: PUSH1 0x1d 00000ce7: PUSH1 0x24 00000ce9: DUP3 00000cea: ADD 00000ceb: MSTORE 00000cec: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000 00000d0d: PUSH1 0x44 00000d0f: DUP3 00000d10: ADD 00000d11: MSTORE 00000d12: SWAP1 00000d13: MLOAD 00000d14: SWAP1 00000d15: DUP2 00000d16: SWAP1 00000d17: SUB 00000d18: PUSH1 0x64 00000d1a: ADD 00000d1b: SWAP1 00000d1c: REVERT 00000d1d: JUMPDEST 00000d1e: PUSH1 0x00 00000d20: PUSH1 0x60 00000d22: DUP7 00000d23: PUSH1 0x01 00000d25: PUSH1 0x01 00000d27: PUSH1 0xa0 00000d29: SHL 00000d2a: SUB 00000d2b: AND 00000d2c: DUP6 00000d2d: DUP8 00000d2e: PUSH1 0x40 00000d30: MLOAD 00000d31: DUP1 00000d32: DUP3 00000d33: DUP1 00000d34: MLOAD 00000d35: SWAP1 00000d36: PUSH1 0x20 00000d38: ADD 00000d39: SWAP1 00000d3a: DUP1 00000d3b: DUP4 00000d3c: DUP4 00000d3d: JUMPDEST 00000d3e: PUSH1 0x20 00000d40: DUP4 00000d41: LT 00000d42: PUSH2 0x0d5c 00000d45: JUMPI 00000d46: DUP1 00000d47: MLOAD 00000d48: DUP3 00000d49: MSTORE 00000d4a: PUSH1 0x1f 00000d4c: NOT 00000d4d: SWAP1 00000d4e: SWAP3 00000d4f: ADD 00000d50: SWAP2 00000d51: PUSH1 0x20 00000d53: SWAP2 00000d54: DUP3 00000d55: ADD 00000d56: SWAP2 00000d57: ADD 00000d58: PUSH2 0x0d3d 00000d5b: JUMP 00000d5c: JUMPDEST 00000d5d: PUSH1 0x01 00000d5f: DUP4 00000d60: PUSH1 0x20 00000d62: SUB 00000d63: PUSH2 0x0100 00000d66: EXP 00000d67: SUB 00000d68: DUP1 00000d69: NOT 00000d6a: DUP3 00000d6b: MLOAD 00000d6c: AND 00000d6d: DUP2 00000d6e: DUP5 00000d6f: MLOAD 00000d70: AND 00000d71: DUP1 00000d72: DUP3 00000d73: OR 00000d74: DUP6 00000d75: MSTORE 00000d76: POP 00000d77: POP 00000d78: POP 00000d79: POP 00000d7a: POP 00000d7b: POP 00000d7c: SWAP1 00000d7d: POP 00000d7e: ADD 00000d7f: SWAP2 00000d80: POP 00000d81: POP 00000d82: PUSH1 0x00 00000d84: PUSH1 0x40 00000d86: MLOAD 00000d87: DUP1 00000d88: DUP4 00000d89: SUB 00000d8a: DUP2 00000d8b: DUP6 00000d8c: DUP8 00000d8d: GAS 00000d8e: CALL 00000d8f: SWAP3 00000d90: POP 00000d91: POP 00000d92: POP 00000d93: RETURNDATASIZE 00000d94: DUP1 00000d95: PUSH1 0x00 00000d97: DUP2 00000d98: EQ 00000d99: PUSH2 0x0dbe 00000d9c: JUMPI 00000d9d: PUSH1 0x40 00000d9f: MLOAD 00000da0: SWAP2 00000da1: POP 00000da2: PUSH1 0x1f 00000da4: NOT 00000da5: PUSH1 0x3f 00000da7: RETURNDATASIZE 00000da8: ADD 00000da9: AND 00000daa: DUP3 00000dab: ADD 00000dac: PUSH1 0x40 00000dae: MSTORE 00000daf: RETURNDATASIZE 00000db0: DUP3 00000db1: MSTORE 00000db2: RETURNDATASIZE 00000db3: PUSH1 0x00 00000db5: PUSH1 0x20 00000db7: DUP5 00000db8: ADD 00000db9: RETURNDATACOPY 00000dba: PUSH2 0x0dc3 00000dbd: JUMP 00000dbe: JUMPDEST 00000dbf: PUSH1 0x60 00000dc1: SWAP2 00000dc2: POP 00000dc3: JUMPDEST 00000dc4: POP 00000dc5: SWAP2 00000dc6: POP 00000dc7: SWAP2 00000dc8: POP 00000dc9: PUSH2 0x0dd3 00000dcc: DUP3 00000dcd: DUP3 00000dce: DUP7 00000dcf: PUSH2 0x0de4 00000dd2: JUMP 00000dd3: JUMPDEST 00000dd4: SWAP8 00000dd5: SWAP7 00000dd6: POP 00000dd7: POP 00000dd8: POP 00000dd9: POP 00000dda: POP 00000ddb: POP 00000ddc: POP 00000ddd: JUMP 00000dde: JUMPDEST 00000ddf: EXTCODESIZE 00000de0: ISZERO 00000de1: ISZERO 00000de2: SWAP1 00000de3: JUMP 00000de4: JUMPDEST 00000de5: PUSH1 0x60 00000de7: DUP4 00000de8: ISZERO 00000de9: PUSH2 0x0df3 00000dec: JUMPI 00000ded: POP 00000dee: DUP2 00000def: PUSH2 0x0c7b 00000df2: JUMP 00000df3: JUMPDEST 00000df4: DUP3 00000df5: MLOAD 00000df6: ISZERO 00000df7: PUSH2 0x0e03 00000dfa: JUMPI 00000dfb: DUP3 00000dfc: MLOAD 00000dfd: DUP1 00000dfe: DUP5 00000dff: PUSH1 0x20 00000e01: ADD 00000e02: REVERT 00000e03: JUMPDEST 00000e04: DUP2 00000e05: PUSH1 0x40 00000e07: MLOAD 00000e08: PUSH3 0x461bcd 00000e0c: PUSH1 0xe5 00000e0e: SHL 00000e0f: DUP2 00000e10: MSTORE 00000e11: PUSH1 0x04 00000e13: ADD 00000e14: DUP1 00000e15: DUP1 00000e16: PUSH1 0x20 00000e18: ADD 00000e19: DUP3 00000e1a: DUP2 00000e1b: SUB 00000e1c: DUP3 00000e1d: MSTORE 00000e1e: DUP4 00000e1f: DUP2 00000e20: DUP2 00000e21: MLOAD 00000e22: DUP2 00000e23: MSTORE 00000e24: PUSH1 0x20 00000e26: ADD 00000e27: SWAP2 00000e28: POP 00000e29: DUP1 00000e2a: MLOAD 00000e2b: SWAP1 00000e2c: PUSH1 0x20 00000e2e: ADD 00000e2f: SWAP1 00000e30: DUP1 00000e31: DUP4 00000e32: DUP4 00000e33: PUSH1 0x00 00000e35: JUMPDEST 00000e36: DUP4 00000e37: DUP2 00000e38: LT 00000e39: ISZERO 00000e3a: PUSH2 0x0e4d 00000e3d: JUMPI 00000e3e: DUP2 00000e3f: DUP2 00000e40: ADD 00000e41: MLOAD 00000e42: DUP4 00000e43: DUP3 00000e44: ADD 00000e45: MSTORE 00000e46: PUSH1 0x20 00000e48: ADD 00000e49: PUSH2 0x0e35 00000e4c: JUMP 00000e4d: JUMPDEST 00000e4e: POP 00000e4f: POP 00000e50: POP 00000e51: POP 00000e52: SWAP1 00000e53: POP 00000e54: SWAP1 00000e55: DUP2 00000e56: ADD 00000e57: SWAP1 00000e58: PUSH1 0x1f 00000e5a: AND 00000e5b: DUP1 00000e5c: ISZERO 00000e5d: PUSH2 0x0e7a 00000e60: JUMPI 00000e61: DUP1 00000e62: DUP3 00000e63: SUB 00000e64: DUP1 00000e65: MLOAD 00000e66: PUSH1 0x01 00000e68: DUP4 00000e69: PUSH1 0x20 00000e6b: SUB 00000e6c: PUSH2 0x0100 00000e6f: EXP 00000e70: SUB 00000e71: NOT 00000e72: AND 00000e73: DUP2 00000e74: MSTORE 00000e75: PUSH1 0x20 00000e77: ADD 00000e78: SWAP2 00000e79: POP 00000e7a: JUMPDEST 00000e7b: POP 00000e7c: SWAP3 00000e7d: POP 00000e7e: POP 00000e7f: POP 00000e80: PUSH1 0x40 00000e82: MLOAD 00000e83: DUP1 00000e84: SWAP2 00000e85: SUB 00000e86: SWAP1 00000e87: REVERT 00000e88: JUMPDEST 00000e89: DUP3 00000e8a: DUP1 00000e8b: SLOAD 00000e8c: DUP3 00000e8d: DUP3 00000e8e: SSTORE 00000e8f: SWAP1 00000e90: PUSH1 0x00 00000e92: MSTORE 00000e93: PUSH1 0x20 00000e95: PUSH1 0x00 00000e97: KECCAK256 00000e98: SWAP1 00000e99: DUP2 00000e9a: ADD 00000e9b: SWAP3 00000e9c: DUP3 00000e9d: ISZERO 00000e9e: PUSH2 0x0edd 00000ea1: JUMPI 00000ea2: SWAP2 00000ea3: PUSH1 0x20 00000ea5: MUL 00000ea6: DUP3 00000ea7: ADD 00000ea8: JUMPDEST 00000ea9: DUP3 00000eaa: DUP2 00000eab: GT 00000eac: ISZERO 00000ead: PUSH2 0x0edd 00000eb0: JUMPI 00000eb1: DUP3 00000eb2: MLOAD 00000eb3: DUP3 00000eb4: SLOAD 00000eb5: PUSH1 0x01 00000eb7: PUSH1 0x01 00000eb9: PUSH1 0xa0 00000ebb: SHL 00000ebc: SUB 00000ebd: NOT 00000ebe: AND 00000ebf: PUSH1 0x01 00000ec1: PUSH1 0x01 00000ec3: PUSH1 0xa0 00000ec5: SHL 00000ec6: SUB 00000ec7: SWAP1 00000ec8: SWAP2 00000ec9: AND 00000eca: OR 00000ecb: DUP3 00000ecc: SSTORE 00000ecd: PUSH1 0x20 00000ecf: SWAP1 00000ed0: SWAP3 00000ed1: ADD 00000ed2: SWAP2 00000ed3: PUSH1 0x01 00000ed5: SWAP1 00000ed6: SWAP2 00000ed7: ADD 00000ed8: SWAP1 00000ed9: PUSH2 0x0ea8 00000edc: JUMP 00000edd: JUMPDEST 00000ede: POP 00000edf: PUSH2 0x0ee9 00000ee2: SWAP3 00000ee3: SWAP2 00000ee4: POP 00000ee5: PUSH2 0x0f34 00000ee8: JUMP 00000ee9: JUMPDEST 00000eea: POP 00000eeb: SWAP1 00000eec: JUMP 00000eed: JUMPDEST 00000eee: DUP3 00000eef: DUP1 00000ef0: SLOAD 00000ef1: DUP3 00000ef2: DUP3 00000ef3: SSTORE 00000ef4: SWAP1 00000ef5: PUSH1 0x00 00000ef7: MSTORE 00000ef8: PUSH1 0x20 00000efa: PUSH1 0x00 00000efc: KECCAK256 00000efd: SWAP1 00000efe: DUP2 00000eff: ADD 00000f00: SWAP3 00000f01: DUP3 00000f02: ISZERO 00000f03: PUSH2 0x0f28 00000f06: JUMPI 00000f07: SWAP2 00000f08: PUSH1 0x20 00000f0a: MUL 00000f0b: DUP3 00000f0c: ADD 00000f0d: JUMPDEST 00000f0e: DUP3 00000f0f: DUP2 00000f10: GT 00000f11: ISZERO 00000f12: PUSH2 0x0f28 00000f15: JUMPI 00000f16: DUP3 00000f17: MLOAD 00000f18: DUP3 00000f19: SSTORE 00000f1a: SWAP2 00000f1b: PUSH1 0x20 00000f1d: ADD 00000f1e: SWAP2 00000f1f: SWAP1 00000f20: PUSH1 0x01 00000f22: ADD 00000f23: SWAP1 00000f24: PUSH2 0x0f0d 00000f27: JUMP 00000f28: JUMPDEST 00000f29: POP 00000f2a: PUSH2 0x0ee9 00000f2d: SWAP3 00000f2e: SWAP2 00000f2f: POP 00000f30: PUSH2 0x0f58 00000f33: JUMP 00000f34: JUMPDEST 00000f35: PUSH2 0x063d 00000f38: SWAP2 00000f39: SWAP1 00000f3a: JUMPDEST 00000f3b: DUP1 00000f3c: DUP3 00000f3d: GT 00000f3e: ISZERO 00000f3f: PUSH2 0x0ee9 00000f42: JUMPI 00000f43: DUP1 00000f44: SLOAD 00000f45: PUSH1 0x01 00000f47: PUSH1 0x01 00000f49: PUSH1 0xa0 00000f4b: SHL 00000f4c: SUB 00000f4d: NOT 00000f4e: AND 00000f4f: DUP2 00000f50: SSTORE 00000f51: PUSH1 0x01 00000f53: ADD 00000f54: PUSH2 0x0f3a 00000f57: JUMP 00000f58: JUMPDEST 00000f59: PUSH2 0x063d 00000f5c: SWAP2 00000f5d: SWAP1 00000f5e: JUMPDEST 00000f5f: DUP1 00000f60: DUP3 00000f61: GT 00000f62: ISZERO 00000f63: PUSH2 0x0ee9 00000f66: JUMPI 00000f67: PUSH1 0x00 00000f69: DUP2 00000f6a: SSTORE 00000f6b: PUSH1 0x01 00000f6d: ADD 00000f6e: PUSH2 0x0f5e 00000f71: JUMP 00000f72: INVALID 00000f73: UNKNOWN(0x4F) 00000f74: PUSH24 0x6e61626c653a206e6577206f776e65722069732074686520 00000f8d: PUSH27 0x65726f2061646472657373416464726573733a20756e61626c6520 00000fa9: PUSH21 0x6f2073656e642076616c75652c2072656369706965 00000fbf: PUSH15 0x74206d617920686176652072657665 00000fcf: PUSH19 0x746564416464726573733a20696e7375666669 00000fe3: PUSH4 0x69656e74 00000fe8: KECCAK256 00000fe9: PUSH3 0x616c61 00000fed: PUSH15 0x636520666f722063616c6c53616665 00000ffd: UNKNOWN(0x4D) 00000ffe: PUSH2 0x7468 00001001: GASPRICE 00001002: KECCAK256 00001003: PUSH14 0x756c7469706c69636174696f6e20 00001012: PUSH16 0x766572666c6f77536166654552433230 00001023: GASPRICE 00001024: KECCAK256 00001025: GASLIMIT 00001026: MSTORE 00001027: NUMBER 00001028: ORIGIN 00001029: ADDRESS 0000102a: KECCAK256 0000102b: PUSH16 0x7065726174696f6e20646964206e6f74 0000103c: KECCAK256 0000103d: PUSH20 0x756363656564a2646970667358221220ff2d0dfb 00001052: DUP2 00001053: UNKNOWN(0xAD) 00001054: SLOAD 00001055: BLOBBASEFEE 00001056: UNKNOWN(0xCA) 00001057: INVALID 00001058: ADDMOD 00001059: DUP9 0000105a: SWAP7 0000105b: DUP3 0000105c: UNKNOWN(0x27) 0000105d: SWAP11 0000105e: UNKNOWN(0xCA) 0000105f: DUP6 00001060: REVERT 00001061: UNKNOWN(0xAD) 00001062: UNKNOWN(0xE9) 00001063: UNKNOWN(0xCD) 00001064: CREATE2 00001065: XOR 00001066: UNKNOWN(0x2B) 00001067: DUP6 00001068: UNKNOWN(0xAC) 00001069: UNKNOWN(0xE9) 0000106a: UNKNOWN(0xC2) 0000106b: UNKNOWN(0xD0) 0000106c: MULMOD 0000106d: UNKNOWN(0xC8) 0000106e: PUSH5 0x736f6c6343 00001074: STOP 00001075: MOD 00001076: DIV 00001077: STOP 00001078: CALLER
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 | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd1bc76a1",
"selector": "0xd1bc76a1",
"calldata_variants": [
"0xd1bc76a1",
"0xd1bc76a10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe57b614e",
"selector": "0xe57b614e",
"calldata_variants": [
"0xe57b614e",
"0xe57b614e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3acefa20",
"selector": "0x3acefa20",
"calldata_variants": [
"0x3acefa20",
"0x3acefa200000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4aba412a",
"selector": "0x4aba412a",
"calldata_variants": [
"0x4aba412a",
"0x4aba412a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x63453ae1",
"selector": "0x63453ae1",
"calldata_variants": [
"0x63453ae1",
"0x63453ae10000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 4136,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xef7786ae2fca9d5880817599402d196dbd40845e9d9c23707c509a375419c495
call_targets:
0x88c4b9bfec80d3bbd453dc75b0ba23b0a7c790bc
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xef7786ae2fca9d5880817599402d196dbd40845e9d9c23707c509a375419c495",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x88c4b9bfec80d3bbd453dc75b0ba23b0a7c790bc"
],
"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": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd1bc76a1",
"selector": "0xd1bc76a1",
"calldata_variants": [
"0xd1bc76a1",
"0xd1bc76a10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe57b614e",
"selector": "0xe57b614e",
"calldata_variants": [
"0xe57b614e",
"0xe57b614e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3acefa20",
"selector": "0x3acefa20",
"calldata_variants": [
"0x3acefa20",
"0x3acefa200000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4aba412a",
"selector": "0x4aba412a",
"calldata_variants": [
"0x4aba412a",
"0x4aba412a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x63453ae1",
"selector": "0x63453ae1",
"calldata_variants": [
"0x63453ae1",
"0x63453ae10000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2234,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3470,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [
{
"pc": 4136,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 2
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xef7786ae2fca9d5880817599402d196dbd40845e9d9c23707c509a375419c495
call_targets:
0x88c4b9bfec80d3bbd453dc75b0ba23b0a7c790bc
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xef7786ae2fca9d5880817599402d196dbd40845e9d9c23707c509a375419c495",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x88c4b9bfec80d3bbd453dc75b0ba23b0a7c790bc"
],
"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": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd1bc76a1",
"selector": "0xd1bc76a1",
"calldata_variants": [
"0xd1bc76a1",
"0xd1bc76a10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe57b614e",
"selector": "0xe57b614e",
"calldata_variants": [
"0xe57b614e",
"0xe57b614e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3acefa20",
"selector": "0x3acefa20",
"calldata_variants": [
"0x3acefa20",
"0x3acefa200000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4aba412a",
"selector": "0x4aba412a",
"calldata_variants": [
"0x4aba412a",
"0x4aba412a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x63453ae1",
"selector": "0x63453ae1",
"calldata_variants": [
"0x63453ae1",
"0x63453ae10000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2234,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3470,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": [
{
"pc": 4136,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0xfe7508e973e7372c23c44ff68ec670b30fc6f00ad966c5bf9757f130cc26805f
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 18,
"trace_id": "0xfe7508e973e7372c23c44ff68ec670b30fc6f00ad966c5bf9757f130cc26805f",
"confirmed": false,
"trace_mode": "structLogs",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd1bc76a1",
"selector": "0xd1bc76a1",
"calldata_variants": [
"0xd1bc76a1",
"0xd1bc76a10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe57b614e",
"selector": "0xe57b614e",
"calldata_variants": [
"0xe57b614e",
"0xe57b614e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3acefa20",
"selector": "0x3acefa20",
"calldata_variants": [
"0x3acefa20",
"0x3acefa200000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4aba412a",
"selector": "0x4aba412a",
"calldata_variants": [
"0x4aba412a",
"0x4aba412a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x63453ae1",
"selector": "0x63453ae1",
"calldata_variants": [
"0x63453ae1",
"0x63453ae10000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 0,
"create2_count": 1
}
|