019b3844-baa8-7146-830f-16a4ad171271
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 |
|---|---|---|---|---|
| 20057 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 20058 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 110170 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 110171 | capability.graph | complete | 1 / 3 | 1 week ago |
| 110172 | detector.run | complete | 1 / 3 | 1 week ago |
| 110173 | 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: ISZERO 0000000a: PUSH2 0x001a 0000000d: JUMPI 0000000e: JUMPDEST 0000000f: CALLDATASIZE 00000010: ISZERO 00000011: PUSH2 0x0018 00000014: JUMPI 00000015: PUSH0 00000016: DUP1 00000017: REVERT 00000018: JUMPDEST 00000019: STOP 0000001a: JUMPDEST 0000001b: PUSH0 0000001c: CALLDATALOAD 0000001d: PUSH1 0xe0 0000001f: SHR 00000020: DUP1 00000021: PUSH4 0x1f420ce9 00000026: EQ 00000027: PUSH2 0x06a8 0000002a: JUMPI 0000002b: DUP1 0000002c: PUSH4 0x35f0c677 00000031: EQ 00000032: PUSH2 0x0664 00000035: JUMPI 00000036: DUP1 00000037: PUSH4 0x5f4b1019 0000003c: EQ 0000003d: PUSH2 0x062c 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0x6e4c74ec 00000047: EQ 00000048: PUSH2 0x03b5 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0x715018a6 00000052: EQ 00000053: PUSH2 0x035e 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0x8322fff2 0000005d: EQ 0000005e: PUSH2 0x0330 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0x8da5cb5b 00000068: EQ 00000069: PUSH2 0x0309 0000006c: JUMPI 0000006d: DUP1 0000006e: PUSH4 0xc1aeb674 00000073: EQ 00000074: PUSH2 0x025a 00000077: JUMPI 00000078: DUP1 00000079: PUSH4 0xdbfb72ee 0000007e: EQ 0000007f: PUSH2 0x0156 00000082: JUMPI 00000083: PUSH4 0xf2fde38b 00000088: SUB 00000089: PUSH2 0x000e 0000008c: JUMPI 0000008d: CALLVALUE 0000008e: PUSH2 0x0152 00000091: JUMPI 00000092: PUSH1 0x20 00000094: CALLDATASIZE 00000095: PUSH1 0x03 00000097: NOT 00000098: ADD 00000099: SLT 0000009a: PUSH2 0x0152 0000009d: JUMPI 0000009e: PUSH2 0x00a5 000000a1: PUSH2 0x0820 000000a4: JUMP 000000a5: JUMPDEST 000000a6: PUSH2 0x00ad 000000a9: PUSH2 0x093f 000000ac: JUMP 000000ad: JUMPDEST 000000ae: PUSH1 0x01 000000b0: PUSH1 0x01 000000b2: PUSH1 0xa0 000000b4: SHL 000000b5: SUB 000000b6: AND 000000b7: DUP1 000000b8: ISZERO 000000b9: PUSH2 0x00fe 000000bc: JUMPI 000000bd: PUSH0 000000be: DUP1 000000bf: SLOAD 000000c0: PUSH1 0x01 000000c2: PUSH1 0x01 000000c4: PUSH1 0xa0 000000c6: SHL 000000c7: SUB 000000c8: NOT 000000c9: DUP2 000000ca: AND 000000cb: DUP4 000000cc: OR 000000cd: DUP3 000000ce: SSTORE 000000cf: PUSH1 0x01 000000d1: PUSH1 0x01 000000d3: PUSH1 0xa0 000000d5: SHL 000000d6: SUB 000000d7: AND 000000d8: SWAP1 000000d9: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000000fa: SWAP1 000000fb: DUP1 000000fc: LOG3 000000fd: STOP 000000fe: JUMPDEST 000000ff: PUSH1 0x40 00000101: MLOAD 00000102: PUSH3 0x461bcd 00000106: PUSH1 0xe5 00000108: SHL 00000109: DUP2 0000010a: MSTORE 0000010b: PUSH1 0x20 0000010d: PUSH1 0x04 0000010f: DUP3 00000110: ADD 00000111: MSTORE 00000112: PUSH1 0x26 00000114: PUSH1 0x24 00000116: DUP3 00000117: ADD 00000118: MSTORE 00000119: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 0000013a: PUSH1 0x44 0000013c: DUP3 0000013d: ADD 0000013e: MSTORE 0000013f: PUSH6 0x646472657373 00000146: PUSH1 0xd0 00000148: SHL 00000149: PUSH1 0x64 0000014b: DUP3 0000014c: ADD 0000014d: MSTORE 0000014e: PUSH1 0x84 00000150: SWAP1 00000151: REVERT 00000152: JUMPDEST 00000153: PUSH0 00000154: DUP1 00000155: REVERT 00000156: JUMPDEST 00000157: CALLVALUE 00000158: PUSH2 0x0152 0000015b: JUMPI 0000015c: PUSH1 0x40 0000015e: CALLDATASIZE 0000015f: PUSH1 0x03 00000161: NOT 00000162: ADD 00000163: SLT 00000164: PUSH2 0x0152 00000167: JUMPI 00000168: PUSH2 0x016f 0000016b: PUSH2 0x0820 0000016e: JUMP 0000016f: JUMPDEST 00000170: PUSH2 0x0177 00000173: PUSH2 0x080a 00000176: JUMP 00000177: JUMPDEST 00000178: SWAP1 00000179: PUSH2 0x0180 0000017c: PUSH2 0x093f 0000017f: JUMP 00000180: JUMPDEST 00000181: PUSH1 0x40 00000183: MLOAD 00000184: PUSH4 0x70a08231 00000189: PUSH1 0xe0 0000018b: SHL 0000018c: DUP2 0000018d: MSTORE 0000018e: ADDRESS 0000018f: PUSH1 0x04 00000191: DUP3 00000192: ADD 00000193: MSTORE 00000194: PUSH1 0x01 00000196: PUSH1 0x01 00000198: PUSH1 0xa0 0000019a: SHL 0000019b: SUB 0000019c: SWAP2 0000019d: SWAP1 0000019e: SWAP2 0000019f: AND 000001a0: SWAP2 000001a1: SWAP1 000001a2: PUSH1 0x20 000001a4: DUP2 000001a5: PUSH1 0x24 000001a7: DUP2 000001a8: DUP7 000001a9: GAS 000001aa: STATICCALL 000001ab: DUP1 000001ac: ISZERO 000001ad: PUSH2 0x024f 000001b0: JUMPI 000001b1: PUSH0 000001b2: SWAP1 000001b3: PUSH2 0x021b 000001b6: JUMPI 000001b7: JUMPDEST 000001b8: PUSH2 0x01cf 000001bb: SWAP2 000001bc: POP 000001bd: DUP4 000001be: PUSH0 000001bf: MSTORE 000001c0: PUSH1 0x01 000001c2: PUSH1 0x20 000001c4: MSTORE 000001c5: PUSH1 0x40 000001c7: PUSH0 000001c8: KECCAK256 000001c9: SLOAD 000001ca: SWAP1 000001cb: PUSH2 0x0896 000001ce: JUMP 000001cf: JUMPDEST 000001d0: SWAP1 000001d1: DUP2 000001d2: ISZERO 000001d3: PUSH2 0x01df 000001d6: JUMPI 000001d7: PUSH2 0x0018 000001da: SWAP3 000001db: PUSH2 0x0996 000001de: JUMP 000001df: JUMPDEST 000001e0: PUSH1 0x40 000001e2: MLOAD 000001e3: PUSH3 0x461bcd 000001e7: PUSH1 0xe5 000001e9: SHL 000001ea: DUP2 000001eb: MSTORE 000001ec: PUSH1 0x20 000001ee: PUSH1 0x04 000001f0: DUP3 000001f1: ADD 000001f2: MSTORE 000001f3: PUSH1 0x14 000001f5: PUSH1 0x24 000001f7: DUP3 000001f8: ADD 000001f9: MSTORE 000001fa: PUSH20 0x1393d7d5d2551211149055d05317d05353d55395 0000020f: PUSH1 0x62 00000211: SHL 00000212: PUSH1 0x44 00000214: DUP3 00000215: ADD 00000216: MSTORE 00000217: PUSH1 0x64 00000219: SWAP1 0000021a: REVERT 0000021b: JUMPDEST 0000021c: POP 0000021d: PUSH1 0x20 0000021f: DUP2 00000220: RETURNDATASIZE 00000221: PUSH1 0x20 00000223: GT 00000224: PUSH2 0x0247 00000227: JUMPI 00000228: JUMPDEST 00000229: DUP2 0000022a: PUSH2 0x0235 0000022d: PUSH1 0x20 0000022f: SWAP4 00000230: DUP4 00000231: PUSH2 0x0860 00000234: JUMP 00000235: JUMPDEST 00000236: DUP2 00000237: ADD 00000238: SUB 00000239: SLT 0000023a: PUSH2 0x0152 0000023d: JUMPI 0000023e: PUSH2 0x01cf 00000241: SWAP1 00000242: MLOAD 00000243: PUSH2 0x01b7 00000246: JUMP 00000247: JUMPDEST 00000248: RETURNDATASIZE 00000249: SWAP2 0000024a: POP 0000024b: PUSH2 0x0228 0000024e: JUMP 0000024f: JUMPDEST 00000250: PUSH1 0x40 00000252: MLOAD 00000253: RETURNDATASIZE 00000254: PUSH0 00000255: DUP3 00000256: RETURNDATACOPY 00000257: RETURNDATASIZE 00000258: SWAP1 00000259: REVERT 0000025a: JUMPDEST 0000025b: CALLVALUE 0000025c: PUSH2 0x0152 0000025f: JUMPI 00000260: PUSH1 0x20 00000262: CALLDATASIZE 00000263: PUSH1 0x03 00000265: NOT 00000266: ADD 00000267: SLT 00000268: PUSH2 0x0152 0000026b: JUMPI 0000026c: PUSH1 0x04 0000026e: CALLDATALOAD 0000026f: PUSH0 00000270: MSTORE 00000271: PUSH1 0x02 00000273: PUSH1 0x20 00000275: MSTORE 00000276: PUSH1 0x40 00000278: PUSH0 00000279: KECCAK256 0000027a: PUSH1 0x40 0000027c: MLOAD 0000027d: DUP1 0000027e: PUSH1 0x20 00000280: DUP4 00000281: SLOAD 00000282: SWAP2 00000283: DUP3 00000284: DUP2 00000285: MSTORE 00000286: ADD 00000287: SWAP1 00000288: DUP2 00000289: SWAP4 0000028a: PUSH0 0000028b: MSTORE 0000028c: PUSH1 0x20 0000028e: PUSH0 0000028f: KECCAK256 00000290: SWAP1 00000291: PUSH0 00000292: JUMPDEST 00000293: DUP2 00000294: DUP2 00000295: LT 00000296: PUSH2 0x02f3 00000299: JUMPI 0000029a: POP 0000029b: POP 0000029c: POP 0000029d: DUP2 0000029e: PUSH2 0x02a8 000002a1: SWAP2 000002a2: SUB 000002a3: DUP3 000002a4: PUSH2 0x0860 000002a7: JUMP 000002a8: JUMPDEST 000002a9: PUSH1 0x40 000002ab: MLOAD 000002ac: SWAP2 000002ad: DUP3 000002ae: SWAP2 000002af: PUSH1 0x20 000002b1: DUP4 000002b2: ADD 000002b3: SWAP1 000002b4: PUSH1 0x20 000002b6: DUP5 000002b7: MSTORE 000002b8: MLOAD 000002b9: DUP1 000002ba: SWAP2 000002bb: MSTORE 000002bc: PUSH1 0x40 000002be: DUP4 000002bf: ADD 000002c0: SWAP2 000002c1: SWAP1 000002c2: PUSH0 000002c3: JUMPDEST 000002c4: DUP2 000002c5: DUP2 000002c6: LT 000002c7: PUSH2 0x02d1 000002ca: JUMPI 000002cb: POP 000002cc: POP 000002cd: POP 000002ce: SUB 000002cf: SWAP1 000002d0: RETURN 000002d1: JUMPDEST 000002d2: DUP3 000002d3: MLOAD 000002d4: PUSH1 0x01 000002d6: PUSH1 0x01 000002d8: PUSH1 0xa0 000002da: SHL 000002db: SUB 000002dc: AND 000002dd: DUP5 000002de: MSTORE 000002df: DUP6 000002e0: SWAP5 000002e1: POP 000002e2: PUSH1 0x20 000002e4: SWAP4 000002e5: DUP5 000002e6: ADD 000002e7: SWAP4 000002e8: SWAP1 000002e9: SWAP3 000002ea: ADD 000002eb: SWAP2 000002ec: PUSH1 0x01 000002ee: ADD 000002ef: PUSH2 0x02c3 000002f2: JUMP 000002f3: JUMPDEST 000002f4: DUP3 000002f5: SLOAD 000002f6: DUP5 000002f7: MSTORE 000002f8: PUSH1 0x20 000002fa: SWAP1 000002fb: SWAP4 000002fc: ADD 000002fd: SWAP3 000002fe: PUSH1 0x01 00000300: SWAP3 00000301: DUP4 00000302: ADD 00000303: SWAP3 00000304: ADD 00000305: PUSH2 0x0292 00000308: JUMP 00000309: JUMPDEST 0000030a: CALLVALUE 0000030b: PUSH2 0x0152 0000030e: JUMPI 0000030f: PUSH0 00000310: CALLDATASIZE 00000311: PUSH1 0x03 00000313: NOT 00000314: ADD 00000315: SLT 00000316: PUSH2 0x0152 00000319: JUMPI 0000031a: PUSH0 0000031b: SLOAD 0000031c: PUSH1 0x40 0000031e: MLOAD 0000031f: PUSH1 0x01 00000321: PUSH1 0x01 00000323: PUSH1 0xa0 00000325: SHL 00000326: SUB 00000327: SWAP1 00000328: SWAP2 00000329: AND 0000032a: DUP2 0000032b: MSTORE 0000032c: PUSH1 0x20 0000032e: SWAP1 0000032f: RETURN 00000330: JUMPDEST 00000331: CALLVALUE 00000332: PUSH2 0x0152 00000335: JUMPI 00000336: PUSH0 00000337: CALLDATASIZE 00000338: PUSH1 0x03 0000033a: NOT 0000033b: ADD 0000033c: SLT 0000033d: PUSH2 0x0152 00000340: JUMPI 00000341: PUSH1 0x20 00000343: PUSH1 0x40 00000345: MLOAD 00000346: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee 0000035b: DUP2 0000035c: MSTORE 0000035d: RETURN 0000035e: JUMPDEST 0000035f: CALLVALUE 00000360: PUSH2 0x0152 00000363: JUMPI 00000364: PUSH0 00000365: CALLDATASIZE 00000366: PUSH1 0x03 00000368: NOT 00000369: ADD 0000036a: SLT 0000036b: PUSH2 0x0152 0000036e: JUMPI 0000036f: PUSH2 0x0376 00000372: PUSH2 0x093f 00000375: JUMP 00000376: JUMPDEST 00000377: PUSH0 00000378: DUP1 00000379: SLOAD 0000037a: PUSH1 0x01 0000037c: PUSH1 0x01 0000037e: PUSH1 0xa0 00000380: SHL 00000381: SUB 00000382: NOT 00000383: DUP2 00000384: AND 00000385: DUP3 00000386: SSTORE 00000387: PUSH1 0x01 00000389: PUSH1 0x01 0000038b: PUSH1 0xa0 0000038d: SHL 0000038e: SUB 0000038f: AND 00000390: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000003b1: DUP3 000003b2: DUP1 000003b3: LOG3 000003b4: STOP 000003b5: JUMPDEST 000003b6: CALLVALUE 000003b7: PUSH2 0x0152 000003ba: JUMPI 000003bb: PUSH2 0x03c3 000003be: CALLDATASIZE 000003bf: PUSH2 0x0836 000003c2: JUMP 000003c3: JUMPDEST 000003c4: SWAP2 000003c5: PUSH2 0x03cc 000003c8: PUSH2 0x093f 000003cb: JUMP 000003cc: JUMPDEST 000003cd: DUP1 000003ce: PUSH0 000003cf: MSTORE 000003d0: PUSH1 0x02 000003d2: PUSH1 0x20 000003d4: MSTORE 000003d5: PUSH2 0x03f9 000003d8: PUSH1 0x40 000003da: PUSH0 000003db: KECCAK256 000003dc: SWAP3 000003dd: PUSH1 0x01 000003df: DUP1 000003e0: PUSH1 0xa0 000003e2: SHL 000003e3: SUB 000003e4: AND 000003e5: DUP1 000003e6: SWAP4 000003e7: PUSH1 0x01 000003e9: SWAP2 000003ea: PUSH0 000003eb: MSTORE 000003ec: ADD 000003ed: PUSH1 0x20 000003ef: MSTORE 000003f0: PUSH1 0x40 000003f2: PUSH0 000003f3: KECCAK256 000003f4: SLOAD 000003f5: ISZERO 000003f6: ISZERO 000003f7: SWAP1 000003f8: JUMP 000003f9: JUMPDEST 000003fa: ISZERO 000003fb: PUSH2 0x05f1 000003fe: JUMPI 000003ff: DUP1 00000400: PUSH0 00000401: MSTORE 00000402: PUSH1 0x03 00000404: PUSH1 0x20 00000406: MSTORE 00000407: PUSH1 0x40 00000409: PUSH0 0000040a: KECCAK256 0000040b: DUP3 0000040c: PUSH0 0000040d: MSTORE 0000040e: PUSH1 0x20 00000410: MSTORE 00000411: DUP3 00000412: PUSH1 0x40 00000414: PUSH0 00000415: KECCAK256 00000416: SLOAD 00000417: LT 00000418: PUSH2 0x05b0 0000041b: JUMPI 0000041c: DUP2 0000041d: PUSH0 0000041e: MSTORE 0000041f: PUSH1 0x01 00000421: PUSH1 0x20 00000423: MSTORE 00000424: PUSH1 0x40 00000426: PUSH0 00000427: KECCAK256 00000428: PUSH2 0x0432 0000042b: DUP5 0000042c: DUP3 0000042d: SLOAD 0000042e: PUSH2 0x0896 00000431: JUMP 00000432: JUMPDEST 00000433: SWAP1 00000434: SSTORE 00000435: PUSH0 00000436: MSTORE 00000437: PUSH1 0x03 00000439: PUSH1 0x20 0000043b: MSTORE 0000043c: PUSH1 0x40 0000043e: PUSH0 0000043f: KECCAK256 00000440: DUP2 00000441: PUSH0 00000442: MSTORE 00000443: PUSH1 0x20 00000445: MSTORE 00000446: PUSH1 0x40 00000448: PUSH0 00000449: KECCAK256 0000044a: PUSH2 0x0454 0000044d: DUP4 0000044e: DUP3 0000044f: SLOAD 00000450: PUSH2 0x0896 00000453: JUMP 00000454: JUMPDEST 00000455: SWAP1 00000456: SSTORE 00000457: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee 0000046c: DUP2 0000046d: SUB 0000046e: PUSH2 0x04d9 00000471: JUMPI 00000472: POP 00000473: PUSH0 00000474: DUP1 00000475: DUP1 00000476: DUP1 00000477: CALLER 00000478: BALANCE 00000479: SWAP5 0000047a: CALLER 0000047b: GAS 0000047c: CALL 0000047d: PUSH2 0x0484 00000480: PUSH2 0x0900 00000483: JUMP 00000484: JUMPDEST 00000485: POP 00000486: ISZERO 00000487: PUSH2 0x049f 0000048a: JUMPI 0000048b: PUSH2 0x0497 0000048e: PUSH1 0x20 00000490: SWAP2 00000491: CALLER 00000492: BALANCE 00000493: PUSH2 0x0896 00000496: JUMP 00000497: JUMPDEST 00000498: PUSH1 0x40 0000049a: MLOAD 0000049b: SWAP1 0000049c: DUP2 0000049d: MSTORE 0000049e: RETURN 0000049f: JUMPDEST 000004a0: PUSH1 0x40 000004a2: MLOAD 000004a3: PUSH3 0x461bcd 000004a7: PUSH1 0xe5 000004a9: SHL 000004aa: DUP2 000004ab: MSTORE 000004ac: PUSH1 0x20 000004ae: PUSH1 0x04 000004b0: DUP3 000004b1: ADD 000004b2: MSTORE 000004b3: PUSH1 0x12 000004b5: PUSH1 0x24 000004b7: DUP3 000004b8: ADD 000004b9: MSTORE 000004ba: PUSH18 0x08c8292988a88beae92a89088a482ae8aa89 000004cd: PUSH1 0x73 000004cf: SHL 000004d0: PUSH1 0x44 000004d2: DUP3 000004d3: ADD 000004d4: MSTORE 000004d5: PUSH1 0x64 000004d7: SWAP1 000004d8: REVERT 000004d9: JUMPDEST 000004da: PUSH1 0x40 000004dc: MLOAD 000004dd: PUSH4 0x70a08231 000004e2: PUSH1 0xe0 000004e4: SHL 000004e5: DUP2 000004e6: MSTORE 000004e7: CALLER 000004e8: PUSH1 0x04 000004ea: DUP3 000004eb: ADD 000004ec: MSTORE 000004ed: PUSH1 0x20 000004ef: DUP2 000004f0: PUSH1 0x24 000004f2: DUP2 000004f3: DUP6 000004f4: GAS 000004f5: STATICCALL 000004f6: SWAP1 000004f7: DUP2 000004f8: ISZERO 000004f9: PUSH2 0x024f 000004fc: JUMPI 000004fd: PUSH0 000004fe: SWAP2 000004ff: PUSH2 0x057d 00000502: JUMPI 00000503: JUMPDEST 00000504: POP 00000505: PUSH1 0x24 00000507: SWAP2 00000508: PUSH2 0x0515 0000050b: PUSH1 0x20 0000050d: SWAP3 0000050e: SWAP5 0000050f: CALLER 00000510: DUP4 00000511: PUSH2 0x0996 00000514: JUMP 00000515: JUMPDEST 00000516: PUSH1 0x40 00000518: MLOAD 00000519: PUSH4 0x70a08231 0000051e: PUSH1 0xe0 00000520: SHL 00000521: DUP2 00000522: MSTORE 00000523: CALLER 00000524: PUSH1 0x04 00000526: DUP3 00000527: ADD 00000528: MSTORE 00000529: SWAP3 0000052a: DUP4 0000052b: SWAP2 0000052c: DUP3 0000052d: SWAP1 0000052e: GAS 0000052f: STATICCALL 00000530: SWAP1 00000531: DUP2 00000532: ISZERO 00000533: PUSH2 0x024f 00000536: JUMPI 00000537: PUSH0 00000538: SWAP2 00000539: PUSH2 0x054a 0000053c: JUMPI 0000053d: JUMPDEST 0000053e: POP 0000053f: PUSH1 0x20 00000541: SWAP2 00000542: PUSH2 0x0497 00000545: SWAP2 00000546: PUSH2 0x0896 00000549: JUMP 0000054a: JUMPDEST 0000054b: SWAP1 0000054c: POP 0000054d: PUSH1 0x20 0000054f: DUP2 00000550: RETURNDATASIZE 00000551: PUSH1 0x20 00000553: GT 00000554: PUSH2 0x0575 00000557: JUMPI 00000558: JUMPDEST 00000559: DUP2 0000055a: PUSH2 0x0565 0000055d: PUSH1 0x20 0000055f: SWAP4 00000560: DUP4 00000561: PUSH2 0x0860 00000564: JUMP 00000565: JUMPDEST 00000566: DUP2 00000567: ADD 00000568: SUB 00000569: SLT 0000056a: PUSH2 0x0152 0000056d: JUMPI 0000056e: MLOAD 0000056f: PUSH1 0x20 00000571: PUSH2 0x053d 00000574: JUMP 00000575: JUMPDEST 00000576: RETURNDATASIZE 00000577: SWAP2 00000578: POP 00000579: PUSH2 0x0558 0000057c: JUMP 0000057d: JUMPDEST 0000057e: SWAP1 0000057f: POP 00000580: PUSH1 0x20 00000582: DUP2 00000583: RETURNDATASIZE 00000584: PUSH1 0x20 00000586: GT 00000587: PUSH2 0x05a8 0000058a: JUMPI 0000058b: JUMPDEST 0000058c: DUP2 0000058d: PUSH2 0x0598 00000590: PUSH1 0x20 00000592: SWAP4 00000593: DUP4 00000594: PUSH2 0x0860 00000597: JUMP 00000598: JUMPDEST 00000599: DUP2 0000059a: ADD 0000059b: SUB 0000059c: SLT 0000059d: PUSH2 0x0152 000005a0: JUMPI 000005a1: MLOAD 000005a2: PUSH1 0x24 000005a4: PUSH2 0x0503 000005a7: JUMP 000005a8: JUMPDEST 000005a9: RETURNDATASIZE 000005aa: SWAP2 000005ab: POP 000005ac: PUSH2 0x058b 000005af: JUMP 000005b0: JUMPDEST 000005b1: PUSH1 0x40 000005b3: MLOAD 000005b4: PUSH3 0x461bcd 000005b8: PUSH1 0xe5 000005ba: SHL 000005bb: DUP2 000005bc: MSTORE 000005bd: PUSH1 0x20 000005bf: PUSH1 0x04 000005c1: DUP3 000005c2: ADD 000005c3: MSTORE 000005c4: PUSH1 0x19 000005c6: PUSH1 0x24 000005c8: DUP3 000005c9: ADD 000005ca: MSTORE 000005cb: PUSH25 0x125394d551919250d251539517d513d2d15397d05353d55395 000005e5: PUSH1 0x3a 000005e7: SHL 000005e8: PUSH1 0x44 000005ea: DUP3 000005eb: ADD 000005ec: MSTORE 000005ed: PUSH1 0x64 000005ef: SWAP1 000005f0: REVERT 000005f1: JUMPDEST 000005f2: PUSH1 0x40 000005f4: MLOAD 000005f5: PUSH3 0x461bcd 000005f9: PUSH1 0xe5 000005fb: SHL 000005fc: DUP2 000005fd: MSTORE 000005fe: PUSH1 0x20 00000600: PUSH1 0x04 00000602: DUP3 00000603: ADD 00000604: MSTORE 00000605: PUSH1 0x13 00000607: PUSH1 0x24 00000609: DUP3 0000060a: ADD 0000060b: MSTORE 0000060c: PUSH19 0x2727aa2fa222a827a9a4aa22a22faa27a5a2a7 00000620: PUSH1 0x69 00000622: SHL 00000623: PUSH1 0x44 00000625: DUP3 00000626: ADD 00000627: MSTORE 00000628: PUSH1 0x64 0000062a: SWAP1 0000062b: REVERT 0000062c: JUMPDEST 0000062d: CALLVALUE 0000062e: PUSH2 0x0152 00000631: JUMPI 00000632: PUSH1 0x20 00000634: CALLDATASIZE 00000635: PUSH1 0x03 00000637: NOT 00000638: ADD 00000639: SLT 0000063a: PUSH2 0x0152 0000063d: JUMPI 0000063e: PUSH1 0x01 00000640: PUSH1 0x01 00000642: PUSH1 0xa0 00000644: SHL 00000645: SUB 00000646: PUSH2 0x064d 00000649: PUSH2 0x0820 0000064c: JUMP 0000064d: JUMPDEST 0000064e: AND 0000064f: PUSH0 00000650: MSTORE 00000651: PUSH1 0x01 00000653: PUSH1 0x20 00000655: MSTORE 00000656: PUSH1 0x20 00000658: PUSH1 0x40 0000065a: PUSH0 0000065b: KECCAK256 0000065c: SLOAD 0000065d: PUSH1 0x40 0000065f: MLOAD 00000660: SWAP1 00000661: DUP2 00000662: MSTORE 00000663: RETURN 00000664: JUMPDEST 00000665: CALLVALUE 00000666: PUSH2 0x0152 00000669: JUMPI 0000066a: PUSH1 0x40 0000066c: CALLDATASIZE 0000066d: PUSH1 0x03 0000066f: NOT 00000670: ADD 00000671: SLT 00000672: PUSH2 0x0152 00000675: JUMPI 00000676: PUSH2 0x067d 00000679: PUSH2 0x080a 0000067c: JUMP 0000067d: JUMPDEST 0000067e: PUSH1 0x04 00000680: CALLDATALOAD 00000681: PUSH0 00000682: MSTORE 00000683: PUSH1 0x03 00000685: PUSH1 0x20 00000687: MSTORE 00000688: PUSH1 0x40 0000068a: PUSH0 0000068b: KECCAK256 0000068c: SWAP1 0000068d: PUSH1 0x01 0000068f: DUP1 00000690: PUSH1 0xa0 00000692: SHL 00000693: SUB 00000694: AND 00000695: PUSH0 00000696: MSTORE 00000697: PUSH1 0x20 00000699: MSTORE 0000069a: PUSH1 0x20 0000069c: PUSH1 0x40 0000069e: PUSH0 0000069f: KECCAK256 000006a0: SLOAD 000006a1: PUSH1 0x40 000006a3: MLOAD 000006a4: SWAP1 000006a5: DUP2 000006a6: MSTORE 000006a7: RETURN 000006a8: JUMPDEST 000006a9: CALLVALUE 000006aa: PUSH2 0x0152 000006ad: JUMPI 000006ae: PUSH2 0x06b6 000006b1: CALLDATASIZE 000006b2: PUSH2 0x0836 000006b5: JUMP 000006b6: JUMPDEST 000006b7: SWAP2 000006b8: SWAP1 000006b9: PUSH2 0x06c0 000006bc: PUSH2 0x093f 000006bf: JUMP 000006c0: JUMPDEST 000006c1: PUSH1 0x01 000006c3: PUSH1 0x01 000006c5: PUSH1 0xa0 000006c7: SHL 000006c8: SUB 000006c9: AND 000006ca: SWAP1 000006cb: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee 000006e0: DUP3 000006e1: SUB 000006e2: PUSH2 0x0788 000006e5: JUMPI 000006e6: PUSH2 0x0707 000006e9: DUP4 000006ea: PUSH2 0x0700 000006ed: SELFBALANCE 000006ee: DUP6 000006ef: PUSH0 000006f0: MSTORE 000006f1: PUSH1 0x01 000006f3: PUSH1 0x20 000006f5: MSTORE 000006f6: PUSH1 0x40 000006f8: PUSH0 000006f9: KECCAK256 000006fa: SLOAD 000006fb: SWAP1 000006fc: PUSH2 0x0896 000006ff: JUMP 00000700: JUMPDEST 00000701: LT 00000702: ISZERO 00000703: PUSH2 0x08b7 00000706: JUMP 00000707: JUMPDEST 00000708: DUP1 00000709: PUSH0 0000070a: MSTORE 0000070b: PUSH1 0x02 0000070d: PUSH1 0x20 0000070f: MSTORE 00000710: PUSH2 0x072a 00000713: DUP3 00000714: PUSH1 0x40 00000716: PUSH0 00000717: KECCAK256 00000718: PUSH1 0x01 0000071a: SWAP2 0000071b: PUSH0 0000071c: MSTORE 0000071d: ADD 0000071e: PUSH1 0x20 00000720: MSTORE 00000721: PUSH1 0x40 00000723: PUSH0 00000724: KECCAK256 00000725: SLOAD 00000726: ISZERO 00000727: ISZERO 00000728: SWAP1 00000729: JUMP 0000072a: JUMPDEST 0000072b: ISZERO 0000072c: PUSH2 0x076d 0000072f: JUMPI 00000730: JUMPDEST 00000731: DUP2 00000732: PUSH0 00000733: MSTORE 00000734: PUSH1 0x01 00000736: PUSH1 0x20 00000738: MSTORE 00000739: PUSH1 0x40 0000073b: PUSH0 0000073c: KECCAK256 0000073d: PUSH2 0x0747 00000740: DUP5 00000741: DUP3 00000742: SLOAD 00000743: PUSH2 0x08f3 00000746: JUMP 00000747: JUMPDEST 00000748: SWAP1 00000749: SSTORE 0000074a: PUSH0 0000074b: MSTORE 0000074c: PUSH1 0x03 0000074e: PUSH1 0x20 00000750: MSTORE 00000751: PUSH1 0x40 00000753: PUSH0 00000754: KECCAK256 00000755: SWAP1 00000756: PUSH0 00000757: MSTORE 00000758: PUSH1 0x20 0000075a: MSTORE 0000075b: PUSH2 0x0769 0000075e: PUSH1 0x40 00000760: PUSH0 00000761: KECCAK256 00000762: SWAP2 00000763: DUP3 00000764: SLOAD 00000765: PUSH2 0x08f3 00000768: JUMP 00000769: JUMPDEST 0000076a: SWAP1 0000076b: SSTORE 0000076c: STOP 0000076d: JUMPDEST 0000076e: DUP1 0000076f: PUSH0 00000770: MSTORE 00000771: PUSH1 0x02 00000773: PUSH1 0x20 00000775: MSTORE 00000776: PUSH2 0x0782 00000779: DUP3 0000077a: PUSH1 0x40 0000077c: PUSH0 0000077d: KECCAK256 0000077e: PUSH2 0x0ab9 00000781: JUMP 00000782: JUMPDEST 00000783: POP 00000784: PUSH2 0x0730 00000787: JUMP 00000788: JUMPDEST 00000789: PUSH1 0x40 0000078b: MLOAD 0000078c: PUSH4 0x70a08231 00000791: PUSH1 0xe0 00000793: SHL 00000794: DUP2 00000795: MSTORE 00000796: ADDRESS 00000797: PUSH1 0x04 00000799: DUP3 0000079a: ADD 0000079b: MSTORE 0000079c: PUSH1 0x20 0000079e: DUP2 0000079f: PUSH1 0x24 000007a1: DUP2 000007a2: DUP7 000007a3: GAS 000007a4: STATICCALL 000007a5: SWAP1 000007a6: DUP2 000007a7: ISZERO 000007a8: PUSH2 0x024f 000007ab: JUMPI 000007ac: DUP5 000007ad: SWAP1 000007ae: PUSH0 000007af: SWAP3 000007b0: PUSH2 0x07d4 000007b3: JUMPI 000007b4: JUMPDEST 000007b5: POP 000007b6: PUSH2 0x0700 000007b9: PUSH2 0x07cf 000007bc: SWAP3 000007bd: DUP6 000007be: PUSH0 000007bf: MSTORE 000007c0: PUSH1 0x01 000007c2: PUSH1 0x20 000007c4: MSTORE 000007c5: PUSH1 0x40 000007c7: PUSH0 000007c8: KECCAK256 000007c9: SLOAD 000007ca: SWAP1 000007cb: PUSH2 0x0896 000007ce: JUMP 000007cf: JUMPDEST 000007d0: PUSH2 0x0707 000007d3: JUMP 000007d4: JUMPDEST 000007d5: SWAP2 000007d6: POP 000007d7: POP 000007d8: PUSH1 0x20 000007da: DUP2 000007db: RETURNDATASIZE 000007dc: PUSH1 0x20 000007de: GT 000007df: PUSH2 0x0802 000007e2: JUMPI 000007e3: JUMPDEST 000007e4: DUP2 000007e5: PUSH2 0x07f0 000007e8: PUSH1 0x20 000007ea: SWAP4 000007eb: DUP4 000007ec: PUSH2 0x0860 000007ef: JUMP 000007f0: JUMPDEST 000007f1: DUP2 000007f2: ADD 000007f3: SUB 000007f4: SLT 000007f5: PUSH2 0x0152 000007f8: JUMPI 000007f9: MLOAD 000007fa: DUP4 000007fb: PUSH2 0x0700 000007fe: PUSH2 0x07b4 00000801: JUMP 00000802: JUMPDEST 00000803: RETURNDATASIZE 00000804: SWAP2 00000805: POP 00000806: PUSH2 0x07e3 00000809: JUMP 0000080a: JUMPDEST 0000080b: PUSH1 0x24 0000080d: CALLDATALOAD 0000080e: SWAP1 0000080f: PUSH1 0x01 00000811: PUSH1 0x01 00000813: PUSH1 0xa0 00000815: SHL 00000816: SUB 00000817: DUP3 00000818: AND 00000819: DUP3 0000081a: SUB 0000081b: PUSH2 0x0152 0000081e: JUMPI 0000081f: JUMP 00000820: JUMPDEST 00000821: PUSH1 0x04 00000823: CALLDATALOAD 00000824: SWAP1 00000825: PUSH1 0x01 00000827: PUSH1 0x01 00000829: PUSH1 0xa0 0000082b: SHL 0000082c: SUB 0000082d: DUP3 0000082e: AND 0000082f: DUP3 00000830: SUB 00000831: PUSH2 0x0152 00000834: JUMPI 00000835: JUMP 00000836: JUMPDEST 00000837: PUSH1 0x60 00000839: SWAP1 0000083a: PUSH1 0x03 0000083c: NOT 0000083d: ADD 0000083e: SLT 0000083f: PUSH2 0x0152 00000842: JUMPI 00000843: PUSH1 0x04 00000845: CALLDATALOAD 00000846: SWAP1 00000847: PUSH1 0x24 00000849: CALLDATALOAD 0000084a: PUSH1 0x01 0000084c: PUSH1 0x01 0000084e: PUSH1 0xa0 00000850: SHL 00000851: SUB 00000852: DUP2 00000853: AND 00000854: DUP2 00000855: SUB 00000856: PUSH2 0x0152 00000859: JUMPI 0000085a: SWAP1 0000085b: PUSH1 0x44 0000085d: CALLDATALOAD 0000085e: SWAP1 0000085f: JUMP 00000860: JUMPDEST 00000861: SWAP1 00000862: PUSH1 0x1f 00000864: DUP1 00000865: NOT 00000866: SWAP2 00000867: ADD 00000868: AND 00000869: DUP2 0000086a: ADD 0000086b: SWAP1 0000086c: DUP2 0000086d: LT 0000086e: PUSH8 0xffffffffffffffff 00000877: DUP3 00000878: GT 00000879: OR 0000087a: PUSH2 0x0882 0000087d: JUMPI 0000087e: PUSH1 0x40 00000880: MSTORE 00000881: JUMP 00000882: JUMPDEST 00000883: PUSH4 0x4e487b71 00000888: PUSH1 0xe0 0000088a: SHL 0000088b: PUSH0 0000088c: MSTORE 0000088d: PUSH1 0x41 0000088f: PUSH1 0x04 00000891: MSTORE 00000892: PUSH1 0x24 00000894: PUSH0 00000895: REVERT 00000896: JUMPDEST 00000897: SWAP2 00000898: SWAP1 00000899: DUP3 0000089a: SUB 0000089b: SWAP2 0000089c: DUP3 0000089d: GT 0000089e: PUSH2 0x08a3 000008a1: JUMPI 000008a2: JUMP 000008a3: JUMPDEST 000008a4: PUSH4 0x4e487b71 000008a9: PUSH1 0xe0 000008ab: SHL 000008ac: PUSH0 000008ad: MSTORE 000008ae: PUSH1 0x11 000008b0: PUSH1 0x04 000008b2: MSTORE 000008b3: PUSH1 0x24 000008b5: PUSH0 000008b6: REVERT 000008b7: JUMPDEST 000008b8: ISZERO 000008b9: PUSH2 0x08be 000008bc: JUMPI 000008bd: JUMP 000008be: JUMPDEST 000008bf: PUSH1 0x40 000008c1: MLOAD 000008c2: PUSH3 0x461bcd 000008c6: PUSH1 0xe5 000008c8: SHL 000008c9: DUP2 000008ca: MSTORE 000008cb: PUSH1 0x20 000008cd: PUSH1 0x04 000008cf: DUP3 000008d0: ADD 000008d1: MSTORE 000008d2: PUSH1 0x0d 000008d4: PUSH1 0x24 000008d6: DUP3 000008d7: ADD 000008d8: MSTORE 000008d9: PUSH13 0x1393d517d1115413d4d2551151 000008e7: PUSH1 0x9a 000008e9: SHL 000008ea: PUSH1 0x44 000008ec: DUP3 000008ed: ADD 000008ee: MSTORE 000008ef: PUSH1 0x64 000008f1: SWAP1 000008f2: REVERT 000008f3: JUMPDEST 000008f4: SWAP2 000008f5: SWAP1 000008f6: DUP3 000008f7: ADD 000008f8: DUP1 000008f9: SWAP3 000008fa: GT 000008fb: PUSH2 0x08a3 000008fe: JUMPI 000008ff: JUMP 00000900: JUMPDEST 00000901: RETURNDATASIZE 00000902: ISZERO 00000903: PUSH2 0x093a 00000906: JUMPI 00000907: RETURNDATASIZE 00000908: SWAP1 00000909: PUSH8 0xffffffffffffffff 00000912: DUP3 00000913: GT 00000914: PUSH2 0x0882 00000917: JUMPI 00000918: PUSH1 0x40 0000091a: MLOAD 0000091b: SWAP2 0000091c: PUSH2 0x092f 0000091f: PUSH1 0x1f 00000921: DUP3 00000922: ADD 00000923: PUSH1 0x1f 00000925: NOT 00000926: AND 00000927: PUSH1 0x20 00000929: ADD 0000092a: DUP5 0000092b: PUSH2 0x0860 0000092e: JUMP 0000092f: JUMPDEST 00000930: DUP3 00000931: MSTORE 00000932: RETURNDATASIZE 00000933: PUSH0 00000934: PUSH1 0x20 00000936: DUP5 00000937: ADD 00000938: RETURNDATACOPY 00000939: JUMP 0000093a: JUMPDEST 0000093b: PUSH1 0x60 0000093d: SWAP1 0000093e: JUMP 0000093f: JUMPDEST 00000940: PUSH0 00000941: SLOAD 00000942: PUSH1 0x01 00000944: PUSH1 0x01 00000946: PUSH1 0xa0 00000948: SHL 00000949: SUB 0000094a: AND 0000094b: CALLER 0000094c: SUB 0000094d: PUSH2 0x0952 00000950: JUMPI 00000951: JUMP 00000952: JUMPDEST 00000953: PUSH1 0x64 00000955: PUSH1 0x40 00000957: MLOAD 00000958: PUSH3 0x461bcd 0000095c: PUSH1 0xe5 0000095e: SHL 0000095f: DUP2 00000960: MSTORE 00000961: PUSH1 0x20 00000963: PUSH1 0x04 00000965: DUP3 00000966: ADD 00000967: MSTORE 00000968: PUSH1 0x20 0000096a: PUSH1 0x24 0000096c: DUP3 0000096d: ADD 0000096e: MSTORE 0000096f: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000990: PUSH1 0x44 00000992: DUP3 00000993: ADD 00000994: MSTORE 00000995: REVERT 00000996: JUMPDEST 00000997: SWAP1 00000998: PUSH0 00000999: DUP1 0000099a: PUSH2 0x0a28 0000099d: SWAP5 0000099e: SWAP4 0000099f: PUSH1 0x40 000009a1: MLOAD 000009a2: SWAP5 000009a3: PUSH1 0x20 000009a5: DUP7 000009a6: ADD 000009a7: SWAP5 000009a8: PUSH4 0xa9059cbb 000009ad: PUSH1 0xe0 000009af: SHL 000009b0: DUP7 000009b1: MSTORE 000009b2: PUSH1 0x01 000009b4: DUP1 000009b5: PUSH1 0xa0 000009b7: SHL 000009b8: SUB 000009b9: AND 000009ba: PUSH1 0x24 000009bc: DUP8 000009bd: ADD 000009be: MSTORE 000009bf: PUSH1 0x44 000009c1: DUP7 000009c2: ADD 000009c3: MSTORE 000009c4: PUSH1 0x44 000009c6: DUP6 000009c7: MSTORE 000009c8: PUSH2 0x09d2 000009cb: PUSH1 0x64 000009cd: DUP7 000009ce: PUSH2 0x0860 000009d1: JUMP 000009d2: JUMPDEST 000009d3: PUSH1 0x01 000009d5: DUP1 000009d6: PUSH1 0xa0 000009d8: SHL 000009d9: SUB 000009da: AND 000009db: SWAP3 000009dc: PUSH1 0x40 000009de: MLOAD 000009df: SWAP5 000009e0: PUSH2 0x09ea 000009e3: PUSH1 0x40 000009e5: DUP8 000009e6: PUSH2 0x0860 000009e9: JUMP 000009ea: JUMPDEST 000009eb: PUSH1 0x20 000009ed: DUP7 000009ee: MSTORE 000009ef: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564 00000a10: PUSH1 0x20 00000a12: DUP8 00000a13: ADD 00000a14: MSTORE 00000a15: MLOAD 00000a16: SWAP1 00000a17: DUP3 00000a18: DUP6 00000a19: GAS 00000a1a: CALL 00000a1b: PUSH2 0x0a22 00000a1e: PUSH2 0x0900 00000a21: JUMP 00000a22: JUMPDEST 00000a23: SWAP2 00000a24: PUSH2 0x0b24 00000a27: JUMP 00000a28: JUMPDEST 00000a29: DUP1 00000a2a: MLOAD 00000a2b: SWAP1 00000a2c: DUP2 00000a2d: ISZERO 00000a2e: SWAP2 00000a2f: DUP3 00000a30: ISZERO 00000a31: PUSH2 0x0a96 00000a34: JUMPI 00000a35: JUMPDEST 00000a36: POP 00000a37: POP 00000a38: ISZERO 00000a39: PUSH2 0x0a3e 00000a3c: JUMPI 00000a3d: JUMP 00000a3e: JUMPDEST 00000a3f: PUSH1 0x40 00000a41: MLOAD 00000a42: PUSH3 0x461bcd 00000a46: PUSH1 0xe5 00000a48: SHL 00000a49: DUP2 00000a4a: MSTORE 00000a4b: PUSH1 0x20 00000a4d: PUSH1 0x04 00000a4f: DUP3 00000a50: ADD 00000a51: MSTORE 00000a52: PUSH1 0x2a 00000a54: PUSH1 0x24 00000a56: DUP3 00000a57: ADD 00000a58: MSTORE 00000a59: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e 00000a7a: PUSH1 0x44 00000a7c: DUP3 00000a7d: ADD 00000a7e: MSTORE 00000a7f: PUSH10 0x1bdd081cdd58d8d95959 00000a8a: PUSH1 0xb2 00000a8c: SHL 00000a8d: PUSH1 0x64 00000a8f: DUP3 00000a90: ADD 00000a91: MSTORE 00000a92: PUSH1 0x84 00000a94: SWAP1 00000a95: REVERT 00000a96: JUMPDEST 00000a97: DUP2 00000a98: SWAP3 00000a99: POP 00000a9a: SWAP1 00000a9b: PUSH1 0x20 00000a9d: SWAP2 00000a9e: DUP2 00000a9f: ADD 00000aa0: SUB 00000aa1: SLT 00000aa2: PUSH2 0x0152 00000aa5: JUMPI 00000aa6: PUSH1 0x20 00000aa8: ADD 00000aa9: MLOAD 00000aaa: DUP1 00000aab: ISZERO 00000aac: ISZERO 00000aad: DUP2 00000aae: SUB 00000aaf: PUSH2 0x0152 00000ab2: JUMPI 00000ab3: PUSH0 00000ab4: DUP1 00000ab5: PUSH2 0x0a35 00000ab8: JUMP 00000ab9: JUMPDEST 00000aba: PUSH0 00000abb: DUP3 00000abc: DUP2 00000abd: MSTORE 00000abe: PUSH1 0x01 00000ac0: DUP3 00000ac1: ADD 00000ac2: PUSH1 0x20 00000ac4: MSTORE 00000ac5: PUSH1 0x40 00000ac7: SWAP1 00000ac8: KECCAK256 00000ac9: SLOAD 00000aca: PUSH2 0x0b1e 00000acd: JUMPI 00000ace: DUP1 00000acf: SLOAD 00000ad0: SWAP1 00000ad1: PUSH1 0x01 00000ad3: PUSH1 0x40 00000ad5: SHL 00000ad6: DUP3 00000ad7: LT 00000ad8: ISZERO 00000ad9: PUSH2 0x0882 00000adc: JUMPI 00000add: PUSH1 0x01 00000adf: DUP3 00000ae0: ADD 00000ae1: DUP1 00000ae2: DUP3 00000ae3: SSTORE 00000ae4: DUP3 00000ae5: LT 00000ae6: ISZERO 00000ae7: PUSH2 0x0b0a 00000aea: JUMPI 00000aeb: DUP3 00000aec: PUSH1 0x01 00000aee: SWAP3 00000aef: DUP3 00000af0: PUSH0 00000af1: MSTORE 00000af2: PUSH1 0x20 00000af4: PUSH0 00000af5: KECCAK256 00000af6: ADD 00000af7: SSTORE 00000af8: DUP1 00000af9: SLOAD 00000afa: SWAP3 00000afb: PUSH0 00000afc: MSTORE 00000afd: ADD 00000afe: PUSH1 0x20 00000b00: MSTORE 00000b01: PUSH1 0x40 00000b03: PUSH0 00000b04: KECCAK256 00000b05: SSTORE 00000b06: PUSH1 0x01 00000b08: SWAP1 00000b09: JUMP 00000b0a: JUMPDEST 00000b0b: PUSH4 0x4e487b71 00000b10: PUSH1 0xe0 00000b12: SHL 00000b13: PUSH0 00000b14: MSTORE 00000b15: PUSH1 0x32 00000b17: PUSH1 0x04 00000b19: MSTORE 00000b1a: PUSH1 0x24 00000b1c: PUSH0 00000b1d: REVERT 00000b1e: JUMPDEST 00000b1f: POP 00000b20: POP 00000b21: PUSH0 00000b22: SWAP1 00000b23: JUMP 00000b24: JUMPDEST 00000b25: SWAP2 00000b26: SWAP3 00000b27: SWAP1 00000b28: ISZERO 00000b29: PUSH2 0x0b86 00000b2c: JUMPI 00000b2d: POP 00000b2e: DUP2 00000b2f: MLOAD 00000b30: ISZERO 00000b31: PUSH2 0x0b38 00000b34: JUMPI 00000b35: POP 00000b36: SWAP1 00000b37: JUMP 00000b38: JUMPDEST 00000b39: EXTCODESIZE 00000b3a: ISZERO 00000b3b: PUSH2 0x0b41 00000b3e: JUMPI 00000b3f: SWAP1 00000b40: JUMP 00000b41: JUMPDEST 00000b42: PUSH1 0x40 00000b44: MLOAD 00000b45: PUSH3 0x461bcd 00000b49: PUSH1 0xe5 00000b4b: SHL 00000b4c: DUP2 00000b4d: MSTORE 00000b4e: PUSH1 0x20 00000b50: PUSH1 0x04 00000b52: DUP3 00000b53: ADD 00000b54: MSTORE 00000b55: PUSH1 0x1d 00000b57: PUSH1 0x24 00000b59: DUP3 00000b5a: ADD 00000b5b: MSTORE 00000b5c: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000 00000b7d: PUSH1 0x44 00000b7f: DUP3 00000b80: ADD 00000b81: MSTORE 00000b82: PUSH1 0x64 00000b84: SWAP1 00000b85: REVERT 00000b86: JUMPDEST 00000b87: DUP3 00000b88: MLOAD 00000b89: SWAP1 00000b8a: SWAP2 00000b8b: POP 00000b8c: ISZERO 00000b8d: PUSH2 0x0b99 00000b90: JUMPI 00000b91: POP 00000b92: DUP1 00000b93: MLOAD 00000b94: SWAP1 00000b95: PUSH1 0x20 00000b97: ADD 00000b98: REVERT 00000b99: JUMPDEST 00000b9a: PUSH1 0x44 00000b9c: PUSH1 0x20 00000b9e: SWAP2 00000b9f: PUSH1 0x40 00000ba1: MLOAD 00000ba2: SWAP3 00000ba3: DUP4 00000ba4: SWAP2 00000ba5: PUSH3 0x461bcd 00000ba9: PUSH1 0xe5 00000bab: SHL 00000bac: DUP4 00000bad: MSTORE 00000bae: DUP2 00000baf: PUSH1 0x04 00000bb1: DUP5 00000bb2: ADD 00000bb3: MSTORE 00000bb4: DUP1 00000bb5: MLOAD 00000bb6: SWAP2 00000bb7: DUP3 00000bb8: SWAP2 00000bb9: DUP3 00000bba: PUSH1 0x24 00000bbc: DUP7 00000bbd: ADD 00000bbe: MSTORE 00000bbf: ADD 00000bc0: DUP5 00000bc1: DUP5 00000bc2: ADD 00000bc3: MCOPY 00000bc4: PUSH0 00000bc5: DUP3 00000bc6: DUP3 00000bc7: ADD 00000bc8: DUP5 00000bc9: ADD 00000bca: MSTORE 00000bcb: PUSH1 0x1f 00000bcd: ADD 00000bce: PUSH1 0x1f 00000bd0: NOT 00000bd1: AND 00000bd2: DUP2 00000bd3: ADD 00000bd4: SUB 00000bd5: ADD 00000bd6: SWAP1 00000bd7: REVERT 00000bd8: INVALID 00000bd9: LOG2 00000bda: PUSH5 0x6970667358 00000be0: UNKNOWN(0x22) 00000be1: SLT 00000be2: KECCAK256 00000be3: DUP5 00000be4: SIGNEXTEND 00000be5: SWAP16 00000be6: SWAP1 00000be7: UNKNOWN(0xE0) 00000be8: UNKNOWN(0xE8) 00000be9: UNKNOWN(0xEC) 00000bea: PUSH9 0x87a920b5dd9f245f60 00000bf4: UNKNOWN(0x29) 00000bf5: PUSH4 0x2f8defb7 00000bfa: UNKNOWN(0xEA) 00000bfb: UNKNOWN(0xB8) 00000bfc: ADD 00000bfd: UNKNOWN(0x0D) 00000bfe: UNKNOWN(0xF6) 00000bff: LOG4 00000c00: SWAP5 00000c01: UNKNOWN(0xE7) 00000c02: MSIZE 00000c03: PUSH5 0x736f6c6343 00000c09: STOP 00000c0a: ADDMOD 00000c0b: BYTE 00000c0c: STOP 00000c0d: 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 | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x013ec140a536d7db21ce6bf2ee5683b99fbdbf0c6e363a2a468f5a5ceee0c127
call_targets:
0xd5c673ece2197d77ec76aae1c68ee11e53c564d9
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x013ec140a536d7db21ce6bf2ee5683b99fbdbf0c6e363a2a468f5a5ceee0c127",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xd5c673ece2197d77ec76aae1c68ee11e53c564d9"
],
"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": "0x1f420ce9",
"selector": "0x1f420ce9",
"calldata_variants": [
"0x1f420ce9",
"0x1f420ce90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x35f0c677",
"selector": "0x35f0c677",
"calldata_variants": [
"0x35f0c677",
"0x35f0c6770000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5f4b1019",
"selector": "0x5f4b1019",
"calldata_variants": [
"0x5f4b1019",
"0x5f4b10190000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6e4c74ec",
"selector": "0x6e4c74ec",
"calldata_variants": [
"0x6e4c74ec",
"0x6e4c74ec0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8322fff2",
"selector": "0x8322fff2",
"calldata_variants": [
"0x8322fff2",
"0x8322fff20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc1aeb674",
"selector": "0xc1aeb674",
"calldata_variants": [
"0xc1aeb674",
"0xc1aeb6740000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1148,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2586,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [],
"untrusted_call_count": 2
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x013ec140a536d7db21ce6bf2ee5683b99fbdbf0c6e363a2a468f5a5ceee0c127
call_targets:
0xd5c673ece2197d77ec76aae1c68ee11e53c564d9
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x013ec140a536d7db21ce6bf2ee5683b99fbdbf0c6e363a2a468f5a5ceee0c127",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xd5c673ece2197d77ec76aae1c68ee11e53c564d9"
],
"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": "0x1f420ce9",
"selector": "0x1f420ce9",
"calldata_variants": [
"0x1f420ce9",
"0x1f420ce90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x35f0c677",
"selector": "0x35f0c677",
"calldata_variants": [
"0x35f0c677",
"0x35f0c6770000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5f4b1019",
"selector": "0x5f4b1019",
"calldata_variants": [
"0x5f4b1019",
"0x5f4b10190000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6e4c74ec",
"selector": "0x6e4c74ec",
"calldata_variants": [
"0x6e4c74ec",
"0x6e4c74ec0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8322fff2",
"selector": "0x8322fff2",
"calldata_variants": [
"0x8322fff2",
"0x8322fff20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc1aeb674",
"selector": "0xc1aeb674",
"calldata_variants": [
"0xc1aeb674",
"0xc1aeb6740000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1148,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2586,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|