019ba5fa-2102-71ac-bf2a-8e92dd8305ad
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 |
|---|---|---|---|---|
| 32197 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 32198 | proxy.resolve | complete | 1 / 3 | 3 months ago |
| 32199 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 32200 | analysis.bundle | complete | 1 / 3 | 3 months ago |
| 32201 | capability.graph | complete | 1 / 3 | 3 months ago |
| 32202 | detector.run | complete | 1 / 3 | 3 months ago |
| 32203 | validation.fork | complete | 1 / 3 | 3 months ago |
{
"status": "not_proxy"
}
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 0x0113 0000000c: JUMPI 0000000d: PUSH0 0000000e: CALLDATALOAD 0000000f: PUSH1 0xe0 00000011: SHR 00000012: DUP1 00000013: PUSH4 0x8456cb59 00000018: GT 00000019: PUSH2 0x009d 0000001c: JUMPI 0000001d: DUP1 0000001e: PUSH4 0xd26b3e26 00000023: GT 00000024: PUSH2 0x0062 00000027: JUMPI 00000028: DUP1 00000029: PUSH4 0xd26b3e26 0000002e: EQ 0000002f: PUSH2 0x031d 00000032: JUMPI 00000033: DUP1 00000034: PUSH4 0xd2edb68f 00000039: EQ 0000003a: PUSH2 0x033c 0000003d: JUMPI 0000003e: DUP1 0000003f: PUSH4 0xd547741f 00000044: EQ 00000045: PUSH2 0x035b 00000048: JUMPI 00000049: DUP1 0000004a: PUSH4 0xe63ab1e9 0000004f: EQ 00000050: PUSH2 0x037a 00000053: JUMPI 00000054: DUP1 00000055: PUSH4 0xfb1bb9de 0000005a: EQ 0000005b: PUSH2 0x03ad 0000005e: JUMPI 0000005f: PUSH0 00000060: DUP1 00000061: REVERT 00000062: JUMPDEST 00000063: DUP1 00000064: PUSH4 0x8456cb59 00000069: EQ 0000006a: PUSH2 0x02a7 0000006d: JUMPI 0000006e: DUP1 0000006f: PUSH4 0x91d14854 00000074: EQ 00000075: PUSH2 0x02bb 00000078: JUMPI 00000079: DUP1 0000007a: PUSH4 0x9872ab84 0000007f: EQ 00000080: PUSH2 0x02da 00000083: JUMPI 00000084: DUP1 00000085: PUSH4 0xa217fddf 0000008a: EQ 0000008b: PUSH2 0x02f8 0000008e: JUMPI 0000008f: DUP1 00000090: PUSH4 0xacd08aa7 00000095: EQ 00000096: PUSH2 0x030b 00000099: JUMPI 0000009a: PUSH0 0000009b: DUP1 0000009c: REVERT 0000009d: JUMPDEST 0000009e: DUP1 0000009f: PUSH4 0x36568abe 000000a4: GT 000000a5: PUSH2 0x00e3 000000a8: JUMPI 000000a9: DUP1 000000aa: PUSH4 0x36568abe 000000af: EQ 000000b0: PUSH2 0x0222 000000b3: JUMPI 000000b4: DUP1 000000b5: PUSH4 0x3f4ba83a 000000ba: EQ 000000bb: PUSH2 0x0241 000000be: JUMPI 000000bf: DUP1 000000c0: PUSH4 0x540385a3 000000c5: EQ 000000c6: PUSH2 0x0255 000000c9: JUMPI 000000ca: DUP1 000000cb: PUSH4 0x5c62c822 000000d0: EQ 000000d1: PUSH2 0x0269 000000d4: JUMPI 000000d5: DUP1 000000d6: PUSH4 0x5c975abb 000000db: EQ 000000dc: PUSH2 0x0288 000000df: JUMPI 000000e0: PUSH0 000000e1: DUP1 000000e2: REVERT 000000e3: JUMPDEST 000000e4: DUP1 000000e5: PUSH4 0x01ffc9a7 000000ea: EQ 000000eb: PUSH2 0x0169 000000ee: JUMPI 000000ef: DUP1 000000f0: PUSH4 0x248a9ca3 000000f5: EQ 000000f6: PUSH2 0x019d 000000f9: JUMPI 000000fa: DUP1 000000fb: PUSH4 0x2ba29d38 00000100: EQ 00000101: PUSH2 0x01ca 00000104: JUMPI 00000105: DUP1 00000106: PUSH4 0x2f2ff15d 0000010b: EQ 0000010c: PUSH2 0x0201 0000010f: JUMPI 00000110: PUSH0 00000111: DUP1 00000112: REVERT 00000113: JUMPDEST 00000114: CALLDATASIZE 00000115: PUSH2 0x0165 00000118: JUMPI 00000119: PUSH1 0x40 0000011b: MLOAD 0000011c: CALLVALUE 0000011d: DUP2 0000011e: MSTORE 0000011f: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee 00000134: SWAP1 00000135: CALLER 00000136: SWAP1 00000137: PUSH32 0x34a31c07280ba0d3e5c883a4468da49d04e80d542a11e74c91fa4aa96a3c96da 00000158: SWAP1 00000159: PUSH1 0x20 0000015b: ADD 0000015c: PUSH1 0x40 0000015e: MLOAD 0000015f: DUP1 00000160: SWAP2 00000161: SUB 00000162: SWAP1 00000163: LOG3 00000164: STOP 00000165: JUMPDEST 00000166: PUSH0 00000167: DUP1 00000168: REVERT 00000169: JUMPDEST 0000016a: CALLVALUE 0000016b: DUP1 0000016c: ISZERO 0000016d: PUSH2 0x0174 00000170: JUMPI 00000171: PUSH0 00000172: DUP1 00000173: REVERT 00000174: JUMPDEST 00000175: POP 00000176: PUSH2 0x0188 00000179: PUSH2 0x0183 0000017c: CALLDATASIZE 0000017d: PUSH1 0x04 0000017f: PUSH2 0x0cf9 00000182: JUMP 00000183: JUMPDEST 00000184: PUSH2 0x03e0 00000187: JUMP 00000188: JUMPDEST 00000189: PUSH1 0x40 0000018b: MLOAD 0000018c: SWAP1 0000018d: ISZERO 0000018e: ISZERO 0000018f: DUP2 00000190: MSTORE 00000191: PUSH1 0x20 00000193: ADD 00000194: JUMPDEST 00000195: PUSH1 0x40 00000197: MLOAD 00000198: DUP1 00000199: SWAP2 0000019a: SUB 0000019b: SWAP1 0000019c: RETURN 0000019d: JUMPDEST 0000019e: CALLVALUE 0000019f: DUP1 000001a0: ISZERO 000001a1: PUSH2 0x01a8 000001a4: JUMPI 000001a5: PUSH0 000001a6: DUP1 000001a7: REVERT 000001a8: JUMPDEST 000001a9: POP 000001aa: PUSH2 0x01bc 000001ad: PUSH2 0x01b7 000001b0: CALLDATASIZE 000001b1: PUSH1 0x04 000001b3: PUSH2 0x0d27 000001b6: JUMP 000001b7: JUMPDEST 000001b8: PUSH2 0x0416 000001bb: JUMP 000001bc: JUMPDEST 000001bd: PUSH1 0x40 000001bf: MLOAD 000001c0: SWAP1 000001c1: DUP2 000001c2: MSTORE 000001c3: PUSH1 0x20 000001c5: ADD 000001c6: PUSH2 0x0194 000001c9: JUMP 000001ca: JUMPDEST 000001cb: CALLVALUE 000001cc: DUP1 000001cd: ISZERO 000001ce: PUSH2 0x01d5 000001d1: JUMPI 000001d2: PUSH0 000001d3: DUP1 000001d4: REVERT 000001d5: JUMPDEST 000001d6: POP 000001d7: PUSH1 0x01 000001d9: SLOAD 000001da: PUSH2 0x01e9 000001dd: SWAP1 000001de: PUSH1 0x01 000001e0: PUSH1 0x01 000001e2: PUSH1 0xa0 000001e4: SHL 000001e5: SUB 000001e6: AND 000001e7: DUP2 000001e8: JUMP 000001e9: JUMPDEST 000001ea: PUSH1 0x40 000001ec: MLOAD 000001ed: PUSH1 0x01 000001ef: PUSH1 0x01 000001f1: PUSH1 0xa0 000001f3: SHL 000001f4: SUB 000001f5: SWAP1 000001f6: SWAP2 000001f7: AND 000001f8: DUP2 000001f9: MSTORE 000001fa: PUSH1 0x20 000001fc: ADD 000001fd: PUSH2 0x0194 00000200: JUMP 00000201: JUMPDEST 00000202: CALLVALUE 00000203: DUP1 00000204: ISZERO 00000205: PUSH2 0x020c 00000208: JUMPI 00000209: PUSH0 0000020a: DUP1 0000020b: REVERT 0000020c: JUMPDEST 0000020d: POP 0000020e: PUSH2 0x0220 00000211: PUSH2 0x021b 00000214: CALLDATASIZE 00000215: PUSH1 0x04 00000217: PUSH2 0x0d52 0000021a: JUMP 0000021b: JUMPDEST 0000021c: PUSH2 0x0436 0000021f: JUMP 00000220: JUMPDEST 00000221: STOP 00000222: JUMPDEST 00000223: CALLVALUE 00000224: DUP1 00000225: ISZERO 00000226: PUSH2 0x022d 00000229: JUMPI 0000022a: PUSH0 0000022b: DUP1 0000022c: REVERT 0000022d: JUMPDEST 0000022e: POP 0000022f: PUSH2 0x0220 00000232: PUSH2 0x023c 00000235: CALLDATASIZE 00000236: PUSH1 0x04 00000238: PUSH2 0x0d52 0000023b: JUMP 0000023c: JUMPDEST 0000023d: PUSH2 0x0458 00000240: JUMP 00000241: JUMPDEST 00000242: CALLVALUE 00000243: DUP1 00000244: ISZERO 00000245: PUSH2 0x024c 00000248: JUMPI 00000249: PUSH0 0000024a: DUP1 0000024b: REVERT 0000024c: JUMPDEST 0000024d: POP 0000024e: PUSH2 0x0220 00000251: PUSH2 0x0490 00000254: JUMP 00000255: JUMPDEST 00000256: CALLVALUE 00000257: DUP1 00000258: ISZERO 00000259: PUSH2 0x0260 0000025c: JUMPI 0000025d: PUSH0 0000025e: DUP1 0000025f: REVERT 00000260: JUMPDEST 00000261: POP 00000262: PUSH2 0x01bc 00000265: PUSH2 0x04c9 00000268: JUMP 00000269: JUMPDEST 0000026a: CALLVALUE 0000026b: DUP1 0000026c: ISZERO 0000026d: PUSH2 0x0274 00000270: JUMPI 00000271: PUSH0 00000272: DUP1 00000273: REVERT 00000274: JUMPDEST 00000275: POP 00000276: PUSH2 0x0220 00000279: PUSH2 0x0283 0000027c: CALLDATASIZE 0000027d: PUSH1 0x04 0000027f: PUSH2 0x0d27 00000282: JUMP 00000283: JUMPDEST 00000284: PUSH2 0x0540 00000287: JUMP 00000288: JUMPDEST 00000289: CALLVALUE 0000028a: DUP1 0000028b: ISZERO 0000028c: PUSH2 0x0293 0000028f: JUMPI 00000290: PUSH0 00000291: DUP1 00000292: REVERT 00000293: JUMPDEST 00000294: POP 00000295: PUSH0 00000296: SLOAD 00000297: PUSH2 0x0188 0000029a: SWAP1 0000029b: PUSH1 0x01 0000029d: PUSH1 0xa0 0000029f: SHL 000002a0: SWAP1 000002a1: DIV 000002a2: PUSH1 0xff 000002a4: AND 000002a5: DUP2 000002a6: JUMP 000002a7: JUMPDEST 000002a8: CALLVALUE 000002a9: DUP1 000002aa: ISZERO 000002ab: PUSH2 0x02b2 000002ae: JUMPI 000002af: PUSH0 000002b0: DUP1 000002b1: REVERT 000002b2: JUMPDEST 000002b3: POP 000002b4: PUSH2 0x0220 000002b7: PUSH2 0x068b 000002ba: JUMP 000002bb: JUMPDEST 000002bc: CALLVALUE 000002bd: DUP1 000002be: ISZERO 000002bf: PUSH2 0x02c6 000002c2: JUMPI 000002c3: PUSH0 000002c4: DUP1 000002c5: REVERT 000002c6: JUMPDEST 000002c7: POP 000002c8: PUSH2 0x0188 000002cb: PUSH2 0x02d5 000002ce: CALLDATASIZE 000002cf: PUSH1 0x04 000002d1: PUSH2 0x0d52 000002d4: JUMP 000002d5: JUMPDEST 000002d6: PUSH2 0x06ca 000002d9: JUMP 000002da: JUMPDEST 000002db: CALLVALUE 000002dc: DUP1 000002dd: ISZERO 000002de: PUSH2 0x02e5 000002e1: JUMPI 000002e2: PUSH0 000002e3: DUP1 000002e4: REVERT 000002e5: JUMPDEST 000002e6: POP 000002e7: PUSH0 000002e8: SLOAD 000002e9: PUSH2 0x01e9 000002ec: SWAP1 000002ed: PUSH1 0x01 000002ef: PUSH1 0x01 000002f1: PUSH1 0xa0 000002f3: SHL 000002f4: SUB 000002f5: AND 000002f6: DUP2 000002f7: JUMP 000002f8: JUMPDEST 000002f9: CALLVALUE 000002fa: DUP1 000002fb: ISZERO 000002fc: PUSH2 0x0303 000002ff: JUMPI 00000300: PUSH0 00000301: DUP1 00000302: REVERT 00000303: JUMPDEST 00000304: POP 00000305: PUSH2 0x01bc 00000308: PUSH0 00000309: DUP2 0000030a: JUMP 0000030b: JUMPDEST 0000030c: CALLVALUE 0000030d: DUP1 0000030e: ISZERO 0000030f: PUSH2 0x0316 00000312: JUMPI 00000313: PUSH0 00000314: DUP1 00000315: REVERT 00000316: JUMPDEST 00000317: POP 00000318: SELFBALANCE 00000319: PUSH2 0x01bc 0000031c: JUMP 0000031d: JUMPDEST 0000031e: CALLVALUE 0000031f: DUP1 00000320: ISZERO 00000321: PUSH2 0x0328 00000324: JUMPI 00000325: PUSH0 00000326: DUP1 00000327: REVERT 00000328: JUMPDEST 00000329: POP 0000032a: PUSH2 0x0220 0000032d: PUSH2 0x0337 00000330: CALLDATASIZE 00000331: PUSH1 0x04 00000333: PUSH2 0x0d80 00000336: JUMP 00000337: JUMPDEST 00000338: PUSH2 0x0700 0000033b: JUMP 0000033c: JUMPDEST 0000033d: CALLVALUE 0000033e: DUP1 0000033f: ISZERO 00000340: PUSH2 0x0347 00000343: JUMPI 00000344: PUSH0 00000345: DUP1 00000346: REVERT 00000347: JUMPDEST 00000348: POP 00000349: PUSH2 0x0220 0000034c: PUSH2 0x0356 0000034f: CALLDATASIZE 00000350: PUSH1 0x04 00000352: PUSH2 0x0dfc 00000355: JUMP 00000356: JUMPDEST 00000357: PUSH2 0x0937 0000035a: JUMP 0000035b: JUMPDEST 0000035c: CALLVALUE 0000035d: DUP1 0000035e: ISZERO 0000035f: PUSH2 0x0366 00000362: JUMPI 00000363: PUSH0 00000364: DUP1 00000365: REVERT 00000366: JUMPDEST 00000367: POP 00000368: PUSH2 0x0220 0000036b: PUSH2 0x0375 0000036e: CALLDATASIZE 0000036f: PUSH1 0x04 00000371: PUSH2 0x0d52 00000374: JUMP 00000375: JUMPDEST 00000376: PUSH2 0x0adf 00000379: JUMP 0000037a: JUMPDEST 0000037b: CALLVALUE 0000037c: DUP1 0000037d: ISZERO 0000037e: PUSH2 0x0385 00000381: JUMPI 00000382: PUSH0 00000383: DUP1 00000384: REVERT 00000385: JUMPDEST 00000386: POP 00000387: PUSH2 0x01bc 0000038a: PUSH32 0x65d7a28e3265b37a6474929f336521b332c1681b933f6cb9f3376673440d862a 000003ab: DUP2 000003ac: JUMP 000003ad: JUMPDEST 000003ae: CALLVALUE 000003af: DUP1 000003b0: ISZERO 000003b1: PUSH2 0x03b8 000003b4: JUMPI 000003b5: PUSH0 000003b6: DUP1 000003b7: REVERT 000003b8: JUMPDEST 000003b9: POP 000003ba: PUSH2 0x01bc 000003bd: PUSH32 0x427da25fe773164f88948d3e215c94b6554e2ed5e5f203a821c9f2f6131cf75a 000003de: DUP2 000003df: JUMP 000003e0: JUMPDEST 000003e1: PUSH0 000003e2: PUSH1 0x01 000003e4: PUSH1 0x01 000003e6: PUSH1 0xe0 000003e8: SHL 000003e9: SUB 000003ea: NOT 000003eb: DUP3 000003ec: AND 000003ed: PUSH4 0x7965db0b 000003f2: PUSH1 0xe0 000003f4: SHL 000003f5: EQ 000003f6: DUP1 000003f7: PUSH2 0x0410 000003fa: JUMPI 000003fb: POP 000003fc: PUSH4 0x01ffc9a7 00000401: PUSH1 0xe0 00000403: SHL 00000404: PUSH1 0x01 00000406: PUSH1 0x01 00000408: PUSH1 0xe0 0000040a: SHL 0000040b: SUB 0000040c: NOT 0000040d: DUP4 0000040e: AND 0000040f: EQ 00000410: JUMPDEST 00000411: SWAP3 00000412: SWAP2 00000413: POP 00000414: POP 00000415: JUMP 00000416: JUMPDEST 00000417: PUSH0 00000418: SWAP1 00000419: DUP2 0000041a: MSTORE 0000041b: PUSH0 0000041c: DUP1 0000041d: MLOAD 0000041e: PUSH1 0x20 00000420: PUSH2 0x0e96 00000423: DUP4 00000424: CODECOPY 00000425: DUP2 00000426: MLOAD 00000427: SWAP2 00000428: MSTORE 00000429: PUSH1 0x20 0000042b: MSTORE 0000042c: PUSH1 0x40 0000042e: SWAP1 0000042f: KECCAK256 00000430: PUSH1 0x01 00000432: ADD 00000433: SLOAD 00000434: SWAP1 00000435: JUMP 00000436: JUMPDEST 00000437: PUSH2 0x043f 0000043a: DUP3 0000043b: PUSH2 0x0416 0000043e: JUMP 0000043f: JUMPDEST 00000440: PUSH2 0x0448 00000443: DUP2 00000444: PUSH2 0x0afb 00000447: JUMP 00000448: JUMPDEST 00000449: PUSH2 0x0452 0000044c: DUP4 0000044d: DUP4 0000044e: PUSH2 0x0b05 00000451: JUMP 00000452: JUMPDEST 00000453: POP 00000454: POP 00000455: POP 00000456: POP 00000457: JUMP 00000458: JUMPDEST 00000459: PUSH1 0x01 0000045b: PUSH1 0x01 0000045d: PUSH1 0xa0 0000045f: SHL 00000460: SUB 00000461: DUP2 00000462: AND 00000463: CALLER 00000464: EQ 00000465: PUSH2 0x0481 00000468: JUMPI 00000469: PUSH1 0x40 0000046b: MLOAD 0000046c: PUSH4 0x334bd919 00000471: PUSH1 0xe1 00000473: SHL 00000474: DUP2 00000475: MSTORE 00000476: PUSH1 0x04 00000478: ADD 00000479: PUSH1 0x40 0000047b: MLOAD 0000047c: DUP1 0000047d: SWAP2 0000047e: SUB 0000047f: SWAP1 00000480: REVERT 00000481: JUMPDEST 00000482: PUSH2 0x048b 00000485: DUP3 00000486: DUP3 00000487: PUSH2 0x0ba6 0000048a: JUMP 0000048b: JUMPDEST 0000048c: POP 0000048d: POP 0000048e: POP 0000048f: JUMP 00000490: JUMPDEST 00000491: PUSH32 0x427da25fe773164f88948d3e215c94b6554e2ed5e5f203a821c9f2f6131cf75a 000004b2: PUSH2 0x04ba 000004b5: DUP2 000004b6: PUSH2 0x0afb 000004b9: JUMP 000004ba: JUMPDEST 000004bb: POP 000004bc: PUSH0 000004bd: DUP1 000004be: SLOAD 000004bf: PUSH1 0xff 000004c1: PUSH1 0xa0 000004c3: SHL 000004c4: NOT 000004c5: AND 000004c6: SWAP1 000004c7: SSTORE 000004c8: JUMP 000004c9: JUMPDEST 000004ca: PUSH0 000004cb: DUP1 000004cc: SLOAD 000004cd: PUSH1 0x40 000004cf: MLOAD 000004d0: PUSH4 0x266d6a83 000004d5: PUSH1 0xe1 000004d7: SHL 000004d8: DUP2 000004d9: MSTORE 000004da: PUSH8 0x0de0b6b3a7640000 000004e3: PUSH1 0x04 000004e5: DUP3 000004e6: ADD 000004e7: MSTORE 000004e8: PUSH1 0x01 000004ea: PUSH1 0x01 000004ec: PUSH1 0xa0 000004ee: SHL 000004ef: SUB 000004f0: SWAP1 000004f1: SWAP2 000004f2: AND 000004f3: SWAP1 000004f4: PUSH4 0x4cdad506 000004f9: SWAP1 000004fa: PUSH1 0x24 000004fc: ADD 000004fd: PUSH1 0x20 000004ff: PUSH1 0x40 00000501: MLOAD 00000502: DUP1 00000503: DUP4 00000504: SUB 00000505: DUP2 00000506: DUP7 00000507: GAS 00000508: STATICCALL 00000509: ISZERO 0000050a: DUP1 0000050b: ISZERO 0000050c: PUSH2 0x0517 0000050f: JUMPI 00000510: RETURNDATASIZE 00000511: PUSH0 00000512: DUP1 00000513: RETURNDATACOPY 00000514: RETURNDATASIZE 00000515: PUSH0 00000516: REVERT 00000517: JUMPDEST 00000518: POP 00000519: POP 0000051a: POP 0000051b: POP 0000051c: PUSH1 0x40 0000051e: MLOAD 0000051f: RETURNDATASIZE 00000520: PUSH1 0x1f 00000522: NOT 00000523: PUSH1 0x1f 00000525: DUP3 00000526: ADD 00000527: AND 00000528: DUP3 00000529: ADD 0000052a: DUP1 0000052b: PUSH1 0x40 0000052d: MSTORE 0000052e: POP 0000052f: DUP2 00000530: ADD 00000531: SWAP1 00000532: PUSH2 0x053b 00000535: SWAP2 00000536: SWAP1 00000537: PUSH2 0x0e7e 0000053a: JUMP 0000053b: JUMPDEST 0000053c: SWAP1 0000053d: POP 0000053e: SWAP1 0000053f: JUMP 00000540: JUMPDEST 00000541: PUSH1 0x01 00000543: SLOAD 00000544: PUSH1 0x01 00000546: PUSH1 0x01 00000548: PUSH1 0xa0 0000054a: SHL 0000054b: SUB 0000054c: AND 0000054d: CALLER 0000054e: EQ 0000054f: PUSH2 0x0572 00000552: JUMPI 00000553: PUSH1 0x40 00000555: MLOAD 00000556: PUSH4 0x0bde7ac3 0000055b: PUSH1 0xe1 0000055d: SHL 0000055e: DUP2 0000055f: MSTORE 00000560: CALLER 00000561: PUSH1 0x04 00000563: DUP3 00000564: ADD 00000565: MSTORE 00000566: PUSH1 0x24 00000568: ADD 00000569: JUMPDEST 0000056a: PUSH1 0x40 0000056c: MLOAD 0000056d: DUP1 0000056e: SWAP2 0000056f: SUB 00000570: SWAP1 00000571: REVERT 00000572: JUMPDEST 00000573: PUSH0 00000574: SLOAD 00000575: PUSH1 0x01 00000577: PUSH1 0xa0 00000579: SHL 0000057a: SWAP1 0000057b: DIV 0000057c: PUSH1 0xff 0000057e: AND 0000057f: ISZERO 00000580: PUSH2 0x059c 00000583: JUMPI 00000584: PUSH1 0x40 00000586: MLOAD 00000587: PUSH4 0xab35696f 0000058c: PUSH1 0xe0 0000058e: SHL 0000058f: DUP2 00000590: MSTORE 00000591: PUSH1 0x04 00000593: ADD 00000594: PUSH1 0x40 00000596: MLOAD 00000597: DUP1 00000598: SWAP2 00000599: SUB 0000059a: SWAP1 0000059b: REVERT 0000059c: JUMPDEST 0000059d: PUSH2 0x05a4 000005a0: PUSH2 0x0c1f 000005a3: JUMP 000005a4: JUMPDEST 000005a5: PUSH0 000005a6: DUP1 000005a7: SLOAD 000005a8: SWAP1 000005a9: PUSH2 0x0100 000005ac: EXP 000005ad: SWAP1 000005ae: DIV 000005af: PUSH1 0x01 000005b1: PUSH1 0x01 000005b3: PUSH1 0xa0 000005b5: SHL 000005b6: SUB 000005b7: AND 000005b8: PUSH1 0x01 000005ba: PUSH1 0x01 000005bc: PUSH1 0xa0 000005be: SHL 000005bf: SUB 000005c0: AND 000005c1: PUSH4 0x1ef2aac5 000005c6: DUP3 000005c7: PUSH1 0x40 000005c9: MLOAD 000005ca: DUP3 000005cb: PUSH4 0xffffffff 000005d0: AND 000005d1: PUSH1 0xe0 000005d3: SHL 000005d4: DUP2 000005d5: MSTORE 000005d6: PUSH1 0x04 000005d8: ADD 000005d9: PUSH0 000005da: PUSH1 0x40 000005dc: MLOAD 000005dd: DUP1 000005de: DUP4 000005df: SUB 000005e0: DUP2 000005e1: DUP6 000005e2: DUP9 000005e3: DUP1 000005e4: EXTCODESIZE 000005e5: ISZERO 000005e6: DUP1 000005e7: ISZERO 000005e8: PUSH2 0x05ef 000005eb: JUMPI 000005ec: PUSH0 000005ed: DUP1 000005ee: REVERT 000005ef: JUMPDEST 000005f0: POP 000005f1: GAS 000005f2: CALL 000005f3: ISZERO 000005f4: DUP1 000005f5: ISZERO 000005f6: PUSH2 0x0601 000005f9: JUMPI 000005fa: RETURNDATASIZE 000005fb: PUSH0 000005fc: DUP1 000005fd: RETURNDATACOPY 000005fe: RETURNDATASIZE 000005ff: PUSH0 00000600: REVERT 00000601: JUMPDEST 00000602: POP 00000603: POP 00000604: PUSH0 00000605: SLOAD 00000606: PUSH1 0x40 00000608: MLOAD 00000609: DUP6 0000060a: DUP2 0000060b: MSTORE 0000060c: PUSH1 0x01 0000060e: PUSH1 0x01 00000610: PUSH1 0xa0 00000612: SHL 00000613: SUB 00000614: SWAP1 00000615: SWAP2 00000616: AND 00000617: SWAP4 00000618: POP 00000619: CALLER 0000061a: SWAP3 0000061b: POP 0000061c: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee 00000631: SWAP2 00000632: POP 00000633: PUSH32 0x10964f2d145c29d7c7688147486387f37f033564029b447ab7c0983f292acc78 00000654: SWAP1 00000655: PUSH1 0x20 00000657: ADD 00000658: PUSH1 0x40 0000065a: MLOAD 0000065b: DUP1 0000065c: SWAP2 0000065d: SUB 0000065e: SWAP1 0000065f: LOG4 00000660: PUSH2 0x0688 00000663: PUSH1 0x01 00000665: PUSH32 0x9b779b17422d0df92223018b32b4d1fa46e071723d6817e2486d003becc55f00 00000686: SSTORE 00000687: JUMP 00000688: JUMPDEST 00000689: POP 0000068a: JUMP 0000068b: JUMPDEST 0000068c: PUSH32 0x65d7a28e3265b37a6474929f336521b332c1681b933f6cb9f3376673440d862a 000006ad: PUSH2 0x06b5 000006b0: DUP2 000006b1: PUSH2 0x0afb 000006b4: JUMP 000006b5: JUMPDEST 000006b6: POP 000006b7: PUSH0 000006b8: DUP1 000006b9: SLOAD 000006ba: PUSH1 0xff 000006bc: PUSH1 0xa0 000006be: SHL 000006bf: NOT 000006c0: AND 000006c1: PUSH1 0x01 000006c3: PUSH1 0xa0 000006c5: SHL 000006c6: OR 000006c7: SWAP1 000006c8: SSTORE 000006c9: JUMP 000006ca: JUMPDEST 000006cb: PUSH0 000006cc: SWAP2 000006cd: DUP3 000006ce: MSTORE 000006cf: PUSH0 000006d0: DUP1 000006d1: MLOAD 000006d2: PUSH1 0x20 000006d4: PUSH2 0x0e96 000006d7: DUP4 000006d8: CODECOPY 000006d9: DUP2 000006da: MLOAD 000006db: SWAP2 000006dc: MSTORE 000006dd: PUSH1 0x20 000006df: SWAP1 000006e0: DUP2 000006e1: MSTORE 000006e2: PUSH1 0x40 000006e4: DUP1 000006e5: DUP5 000006e6: KECCAK256 000006e7: PUSH1 0x01 000006e9: PUSH1 0x01 000006eb: PUSH1 0xa0 000006ed: SHL 000006ee: SUB 000006ef: SWAP4 000006f0: SWAP1 000006f1: SWAP4 000006f2: AND 000006f3: DUP5 000006f4: MSTORE 000006f5: SWAP2 000006f6: SWAP1 000006f7: MSTORE 000006f8: SWAP1 000006f9: KECCAK256 000006fa: SLOAD 000006fb: PUSH1 0xff 000006fd: AND 000006fe: SWAP1 000006ff: JUMP 00000700: JUMPDEST 00000701: DUP1 00000702: MLOAD 00000703: PUSH1 0x01 00000705: PUSH1 0x01 00000707: PUSH1 0xa0 00000709: SHL 0000070a: SUB 0000070b: DUP2 0000070c: AND 0000070d: PUSH2 0x0729 00000710: JUMPI 00000711: PUSH1 0x40 00000713: MLOAD 00000714: PUSH4 0xd92e233d 00000719: PUSH1 0xe0 0000071b: SHL 0000071c: DUP2 0000071d: MSTORE 0000071e: PUSH1 0x04 00000720: ADD 00000721: PUSH1 0x40 00000723: MLOAD 00000724: DUP1 00000725: SWAP2 00000726: SUB 00000727: SWAP1 00000728: REVERT 00000729: JUMPDEST 0000072a: PUSH1 0x20 0000072c: DUP3 0000072d: ADD 0000072e: MLOAD 0000072f: PUSH1 0x01 00000731: PUSH1 0x01 00000733: PUSH1 0xa0 00000735: SHL 00000736: SUB 00000737: DUP2 00000738: AND 00000739: PUSH2 0x0755 0000073c: JUMPI 0000073d: PUSH1 0x40 0000073f: MLOAD 00000740: PUSH4 0xd92e233d 00000745: PUSH1 0xe0 00000747: SHL 00000748: DUP2 00000749: MSTORE 0000074a: PUSH1 0x04 0000074c: ADD 0000074d: PUSH1 0x40 0000074f: MLOAD 00000750: DUP1 00000751: SWAP2 00000752: SUB 00000753: SWAP1 00000754: REVERT 00000755: JUMPDEST 00000756: PUSH1 0x40 00000758: DUP4 00000759: ADD 0000075a: MLOAD 0000075b: PUSH1 0x01 0000075d: PUSH1 0x01 0000075f: PUSH1 0xa0 00000761: SHL 00000762: SUB 00000763: DUP2 00000764: AND 00000765: PUSH2 0x0781 00000768: JUMPI 00000769: PUSH1 0x40 0000076b: MLOAD 0000076c: PUSH4 0xd92e233d 00000771: PUSH1 0xe0 00000773: SHL 00000774: DUP2 00000775: MSTORE 00000776: PUSH1 0x04 00000778: ADD 00000779: PUSH1 0x40 0000077b: MLOAD 0000077c: DUP1 0000077d: SWAP2 0000077e: SUB 0000077f: SWAP1 00000780: REVERT 00000781: JUMPDEST 00000782: PUSH32 0xf0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a00 000007a3: DUP1 000007a4: SLOAD 000007a5: PUSH1 0x01 000007a7: PUSH1 0x40 000007a9: SHL 000007aa: DUP2 000007ab: DIV 000007ac: PUSH1 0xff 000007ae: AND 000007af: ISZERO 000007b0: SWAP1 000007b1: PUSH8 0xffffffffffffffff 000007ba: AND 000007bb: PUSH0 000007bc: DUP2 000007bd: ISZERO 000007be: DUP1 000007bf: ISZERO 000007c0: PUSH2 0x07c6 000007c3: JUMPI 000007c4: POP 000007c5: DUP3 000007c6: JUMPDEST 000007c7: SWAP1 000007c8: POP 000007c9: PUSH0 000007ca: DUP3 000007cb: PUSH8 0xffffffffffffffff 000007d4: AND 000007d5: PUSH1 0x01 000007d7: EQ 000007d8: DUP1 000007d9: ISZERO 000007da: PUSH2 0x07e2 000007dd: JUMPI 000007de: POP 000007df: ADDRESS 000007e0: EXTCODESIZE 000007e1: ISZERO 000007e2: JUMPDEST 000007e3: SWAP1 000007e4: POP 000007e5: DUP2 000007e6: ISZERO 000007e7: DUP1 000007e8: ISZERO 000007e9: PUSH2 0x07f0 000007ec: JUMPI 000007ed: POP 000007ee: DUP1 000007ef: ISZERO 000007f0: JUMPDEST 000007f1: ISZERO 000007f2: PUSH2 0x080e 000007f5: JUMPI 000007f6: PUSH1 0x40 000007f8: MLOAD 000007f9: PUSH4 0xf92ee8a9 000007fe: PUSH1 0xe0 00000800: SHL 00000801: DUP2 00000802: MSTORE 00000803: PUSH1 0x04 00000805: ADD 00000806: PUSH1 0x40 00000808: MLOAD 00000809: DUP1 0000080a: SWAP2 0000080b: SUB 0000080c: SWAP1 0000080d: REVERT 0000080e: JUMPDEST 0000080f: DUP5 00000810: SLOAD 00000811: PUSH8 0xffffffffffffffff 0000081a: NOT 0000081b: AND 0000081c: PUSH1 0x01 0000081e: OR 0000081f: DUP6 00000820: SSTORE 00000821: DUP4 00000822: ISZERO 00000823: PUSH2 0x0838 00000826: JUMPI 00000827: DUP5 00000828: SLOAD 00000829: PUSH1 0xff 0000082b: PUSH1 0x40 0000082d: SHL 0000082e: NOT 0000082f: AND 00000830: PUSH1 0x01 00000832: PUSH1 0x40 00000834: SHL 00000835: OR 00000836: DUP6 00000837: SSTORE 00000838: JUMPDEST 00000839: PUSH2 0x0840 0000083c: PUSH2 0x0c69 0000083f: JUMP 00000840: JUMPDEST 00000841: DUP9 00000842: MLOAD 00000843: PUSH2 0x084d 00000846: SWAP1 00000847: PUSH0 00000848: SWAP1 00000849: PUSH2 0x0b05 0000084c: JUMP 0000084d: JUMPDEST 0000084e: POP 0000084f: PUSH2 0x087b 00000852: PUSH32 0x65d7a28e3265b37a6474929f336521b332c1681b933f6cb9f3376673440d862a 00000873: DUP11 00000874: PUSH0 00000875: ADD 00000876: MLOAD 00000877: PUSH2 0x0b05 0000087a: JUMP 0000087b: JUMPDEST 0000087c: POP 0000087d: PUSH2 0x08a9 00000880: PUSH32 0x427da25fe773164f88948d3e215c94b6554e2ed5e5f203a821c9f2f6131cf75a 000008a1: DUP11 000008a2: PUSH0 000008a3: ADD 000008a4: MLOAD 000008a5: PUSH2 0x0b05 000008a8: JUMP 000008a9: JUMPDEST 000008aa: POP 000008ab: PUSH1 0x20 000008ad: DUP10 000008ae: ADD 000008af: MLOAD 000008b0: PUSH1 0x01 000008b2: DUP1 000008b3: SLOAD 000008b4: PUSH1 0x01 000008b6: PUSH1 0x01 000008b8: PUSH1 0xa0 000008ba: SHL 000008bb: SUB 000008bc: SWAP3 000008bd: DUP4 000008be: AND 000008bf: PUSH1 0x01 000008c1: PUSH1 0x01 000008c3: PUSH1 0xa0 000008c5: SHL 000008c6: SUB 000008c7: NOT 000008c8: SWAP1 000008c9: SWAP2 000008ca: AND 000008cb: OR 000008cc: SWAP1 000008cd: SSTORE 000008ce: PUSH1 0x40 000008d0: DUP11 000008d1: ADD 000008d2: MLOAD 000008d3: PUSH0 000008d4: DUP1 000008d5: SLOAD 000008d6: PUSH1 0x01 000008d8: PUSH1 0x01 000008da: PUSH1 0xa8 000008dc: SHL 000008dd: SUB 000008de: NOT 000008df: AND 000008e0: SWAP2 000008e1: SWAP1 000008e2: SWAP3 000008e3: AND 000008e4: OR 000008e5: SWAP1 000008e6: SSTORE 000008e7: DUP4 000008e8: ISZERO 000008e9: PUSH2 0x092c 000008ec: JUMPI 000008ed: DUP5 000008ee: SLOAD 000008ef: PUSH1 0xff 000008f1: PUSH1 0x40 000008f3: SHL 000008f4: NOT 000008f5: AND 000008f6: DUP6 000008f7: SSTORE 000008f8: PUSH1 0x40 000008fa: MLOAD 000008fb: PUSH1 0x01 000008fd: DUP2 000008fe: MSTORE 000008ff: PUSH32 0xc7f505b2f371ae2175ee4913f4499e1f2633a7b5936321eed1cdaeb6115181d2 00000920: SWAP1 00000921: PUSH1 0x20 00000923: ADD 00000924: PUSH1 0x40 00000926: MLOAD 00000927: DUP1 00000928: SWAP2 00000929: SUB 0000092a: SWAP1 0000092b: LOG1 0000092c: JUMPDEST 0000092d: POP 0000092e: POP 0000092f: POP 00000930: POP 00000931: POP 00000932: POP 00000933: POP 00000934: POP 00000935: POP 00000936: JUMP 00000937: JUMPDEST 00000938: PUSH1 0x01 0000093a: SLOAD 0000093b: PUSH1 0x01 0000093d: PUSH1 0x01 0000093f: PUSH1 0xa0 00000941: SHL 00000942: SUB 00000943: AND 00000944: CALLER 00000945: EQ 00000946: PUSH2 0x0964 00000949: JUMPI 0000094a: PUSH1 0x40 0000094c: MLOAD 0000094d: PUSH4 0x0bde7ac3 00000952: PUSH1 0xe1 00000954: SHL 00000955: DUP2 00000956: MSTORE 00000957: CALLER 00000958: PUSH1 0x04 0000095a: DUP3 0000095b: ADD 0000095c: MSTORE 0000095d: PUSH1 0x24 0000095f: ADD 00000960: PUSH2 0x0569 00000963: JUMP 00000964: JUMPDEST 00000965: PUSH0 00000966: SLOAD 00000967: PUSH1 0x01 00000969: PUSH1 0xa0 0000096b: SHL 0000096c: SWAP1 0000096d: DIV 0000096e: PUSH1 0xff 00000970: AND 00000971: ISZERO 00000972: PUSH2 0x098e 00000975: JUMPI 00000976: PUSH1 0x40 00000978: MLOAD 00000979: PUSH4 0xab35696f 0000097e: PUSH1 0xe0 00000980: SHL 00000981: DUP2 00000982: MSTORE 00000983: PUSH1 0x04 00000985: ADD 00000986: PUSH1 0x40 00000988: MLOAD 00000989: DUP1 0000098a: SWAP2 0000098b: SUB 0000098c: SWAP1 0000098d: REVERT 0000098e: JUMPDEST 0000098f: PUSH2 0x0996 00000992: PUSH2 0x0c1f 00000995: JUMP 00000996: JUMPDEST 00000997: SELFBALANCE 00000998: DUP4 00000999: DUP2 0000099a: LT 0000099b: ISZERO 0000099c: PUSH2 0x09dc 0000099f: JUMPI 000009a0: PUSH1 0x40 000009a2: MLOAD 000009a3: PUSH4 0xa8c6953f 000009a8: PUSH1 0xe0 000009aa: SHL 000009ab: DUP2 000009ac: MSTORE 000009ad: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee 000009c2: PUSH1 0x04 000009c4: DUP3 000009c5: ADD 000009c6: MSTORE 000009c7: PUSH1 0x24 000009c9: DUP2 000009ca: ADD 000009cb: DUP6 000009cc: SWAP1 000009cd: MSTORE 000009ce: PUSH1 0x44 000009d0: DUP2 000009d1: ADD 000009d2: DUP3 000009d3: SWAP1 000009d4: MSTORE 000009d5: PUSH1 0x64 000009d7: ADD 000009d8: PUSH2 0x0569 000009db: JUMP 000009dc: JUMPDEST 000009dd: PUSH0 000009de: DUP6 000009df: PUSH1 0x01 000009e1: PUSH1 0x01 000009e3: PUSH1 0xa0 000009e5: SHL 000009e6: SUB 000009e7: AND 000009e8: DUP6 000009e9: PUSH1 0x40 000009eb: MLOAD 000009ec: PUSH0 000009ed: PUSH1 0x40 000009ef: MLOAD 000009f0: DUP1 000009f1: DUP4 000009f2: SUB 000009f3: DUP2 000009f4: DUP6 000009f5: DUP8 000009f6: GAS 000009f7: CALL 000009f8: SWAP3 000009f9: POP 000009fa: POP 000009fb: POP 000009fc: RETURNDATASIZE 000009fd: DUP1 000009fe: PUSH0 000009ff: DUP2 00000a00: EQ 00000a01: PUSH2 0x0a25 00000a04: JUMPI 00000a05: PUSH1 0x40 00000a07: MLOAD 00000a08: SWAP2 00000a09: POP 00000a0a: PUSH1 0x1f 00000a0c: NOT 00000a0d: PUSH1 0x3f 00000a0f: RETURNDATASIZE 00000a10: ADD 00000a11: AND 00000a12: DUP3 00000a13: ADD 00000a14: PUSH1 0x40 00000a16: MSTORE 00000a17: RETURNDATASIZE 00000a18: DUP3 00000a19: MSTORE 00000a1a: RETURNDATASIZE 00000a1b: PUSH0 00000a1c: PUSH1 0x20 00000a1e: DUP5 00000a1f: ADD 00000a20: RETURNDATACOPY 00000a21: PUSH2 0x0a2a 00000a24: JUMP 00000a25: JUMPDEST 00000a26: PUSH1 0x60 00000a28: SWAP2 00000a29: POP 00000a2a: JUMPDEST 00000a2b: POP 00000a2c: POP 00000a2d: SWAP1 00000a2e: POP 00000a2f: DUP1 00000a30: PUSH2 0x0a5e 00000a33: JUMPI 00000a34: PUSH1 0x40 00000a36: MLOAD 00000a37: PUSH4 0xf68179b1 00000a3c: PUSH1 0xe0 00000a3e: SHL 00000a3f: DUP2 00000a40: MSTORE 00000a41: PUSH1 0x04 00000a43: DUP2 00000a44: ADD 00000a45: DUP7 00000a46: SWAP1 00000a47: MSTORE 00000a48: PUSH1 0x01 00000a4a: PUSH1 0x01 00000a4c: PUSH1 0xa0 00000a4e: SHL 00000a4f: SUB 00000a50: DUP8 00000a51: AND 00000a52: PUSH1 0x24 00000a54: DUP3 00000a55: ADD 00000a56: MSTORE 00000a57: PUSH1 0x44 00000a59: ADD 00000a5a: PUSH2 0x0569 00000a5d: JUMP 00000a5e: JUMPDEST 00000a5f: PUSH1 0x40 00000a61: MLOAD 00000a62: DUP6 00000a63: DUP2 00000a64: MSTORE 00000a65: PUSH1 0x01 00000a67: PUSH1 0x01 00000a69: PUSH1 0xa0 00000a6b: SHL 00000a6c: SUB 00000a6d: DUP8 00000a6e: AND 00000a6f: SWAP1 00000a70: CALLER 00000a71: SWAP1 00000a72: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee 00000a87: SWAP1 00000a88: PUSH32 0x25137ec1c481240ec1a0e55c3c8c5f5e3467c1a66454f84fb39c963378cc0e77 00000aa9: SWAP1 00000aaa: PUSH1 0x20 00000aac: ADD 00000aad: PUSH1 0x40 00000aaf: MLOAD 00000ab0: DUP1 00000ab1: SWAP2 00000ab2: SUB 00000ab3: SWAP1 00000ab4: LOG4 00000ab5: POP 00000ab6: POP 00000ab7: PUSH2 0x0452 00000aba: PUSH1 0x01 00000abc: PUSH32 0x9b779b17422d0df92223018b32b4d1fa46e071723d6817e2486d003becc55f00 00000add: SSTORE 00000ade: JUMP 00000adf: JUMPDEST 00000ae0: PUSH2 0x0ae8 00000ae3: DUP3 00000ae4: PUSH2 0x0416 00000ae7: JUMP 00000ae8: JUMPDEST 00000ae9: PUSH2 0x0af1 00000aec: DUP2 00000aed: PUSH2 0x0afb 00000af0: JUMP 00000af1: JUMPDEST 00000af2: PUSH2 0x0452 00000af5: DUP4 00000af6: DUP4 00000af7: PUSH2 0x0ba6 00000afa: JUMP 00000afb: JUMPDEST 00000afc: PUSH2 0x0688 00000aff: DUP2 00000b00: CALLER 00000b01: PUSH2 0x0c73 00000b04: JUMP 00000b05: JUMPDEST 00000b06: PUSH0 00000b07: PUSH0 00000b08: DUP1 00000b09: MLOAD 00000b0a: PUSH1 0x20 00000b0c: PUSH2 0x0e96 00000b0f: DUP4 00000b10: CODECOPY 00000b11: DUP2 00000b12: MLOAD 00000b13: SWAP2 00000b14: MSTORE 00000b15: PUSH2 0x0b1e 00000b18: DUP5 00000b19: DUP5 00000b1a: PUSH2 0x06ca 00000b1d: JUMP 00000b1e: JUMPDEST 00000b1f: PUSH2 0x0b9d 00000b22: JUMPI 00000b23: PUSH0 00000b24: DUP5 00000b25: DUP2 00000b26: MSTORE 00000b27: PUSH1 0x20 00000b29: DUP3 00000b2a: DUP2 00000b2b: MSTORE 00000b2c: PUSH1 0x40 00000b2e: DUP1 00000b2f: DUP4 00000b30: KECCAK256 00000b31: PUSH1 0x01 00000b33: PUSH1 0x01 00000b35: PUSH1 0xa0 00000b37: SHL 00000b38: SUB 00000b39: DUP8 00000b3a: AND 00000b3b: DUP5 00000b3c: MSTORE 00000b3d: SWAP1 00000b3e: SWAP2 00000b3f: MSTORE 00000b40: SWAP1 00000b41: KECCAK256 00000b42: DUP1 00000b43: SLOAD 00000b44: PUSH1 0xff 00000b46: NOT 00000b47: AND 00000b48: PUSH1 0x01 00000b4a: OR 00000b4b: SWAP1 00000b4c: SSTORE 00000b4d: PUSH2 0x0b53 00000b50: CALLER 00000b51: SWAP1 00000b52: JUMP 00000b53: JUMPDEST 00000b54: PUSH1 0x01 00000b56: PUSH1 0x01 00000b58: PUSH1 0xa0 00000b5a: SHL 00000b5b: SUB 00000b5c: AND 00000b5d: DUP4 00000b5e: PUSH1 0x01 00000b60: PUSH1 0x01 00000b62: PUSH1 0xa0 00000b64: SHL 00000b65: SUB 00000b66: AND 00000b67: DUP6 00000b68: PUSH32 0x2f8788117e7eff1d82e926ec794901d17c78024a50270940304540a733656f0d 00000b89: PUSH1 0x40 00000b8b: MLOAD 00000b8c: PUSH1 0x40 00000b8e: MLOAD 00000b8f: DUP1 00000b90: SWAP2 00000b91: SUB 00000b92: SWAP1 00000b93: LOG4 00000b94: PUSH1 0x01 00000b96: SWAP2 00000b97: POP 00000b98: POP 00000b99: PUSH2 0x0410 00000b9c: JUMP 00000b9d: JUMPDEST 00000b9e: PUSH0 00000b9f: SWAP2 00000ba0: POP 00000ba1: POP 00000ba2: PUSH2 0x0410 00000ba5: JUMP 00000ba6: JUMPDEST 00000ba7: PUSH0 00000ba8: PUSH0 00000ba9: DUP1 00000baa: MLOAD 00000bab: PUSH1 0x20 00000bad: PUSH2 0x0e96 00000bb0: DUP4 00000bb1: CODECOPY 00000bb2: DUP2 00000bb3: MLOAD 00000bb4: SWAP2 00000bb5: MSTORE 00000bb6: PUSH2 0x0bbf 00000bb9: DUP5 00000bba: DUP5 00000bbb: PUSH2 0x06ca 00000bbe: JUMP 00000bbf: JUMPDEST 00000bc0: ISZERO 00000bc1: PUSH2 0x0b9d 00000bc4: JUMPI 00000bc5: PUSH0 00000bc6: DUP5 00000bc7: DUP2 00000bc8: MSTORE 00000bc9: PUSH1 0x20 00000bcb: DUP3 00000bcc: DUP2 00000bcd: MSTORE 00000bce: PUSH1 0x40 00000bd0: DUP1 00000bd1: DUP4 00000bd2: KECCAK256 00000bd3: PUSH1 0x01 00000bd5: PUSH1 0x01 00000bd7: PUSH1 0xa0 00000bd9: SHL 00000bda: SUB 00000bdb: DUP8 00000bdc: AND 00000bdd: DUP1 00000bde: DUP6 00000bdf: MSTORE 00000be0: SWAP3 00000be1: MSTORE 00000be2: DUP1 00000be3: DUP4 00000be4: KECCAK256 00000be5: DUP1 00000be6: SLOAD 00000be7: PUSH1 0xff 00000be9: NOT 00000bea: AND 00000beb: SWAP1 00000bec: SSTORE 00000bed: MLOAD 00000bee: CALLER 00000bef: SWAP3 00000bf0: DUP8 00000bf1: SWAP2 00000bf2: PUSH32 0xf6391f5c32d9c69d2a47ea670b442974b53935d1edc7fd64eb21e047a839171b 00000c13: SWAP2 00000c14: SWAP1 00000c15: LOG4 00000c16: PUSH1 0x01 00000c18: SWAP2 00000c19: POP 00000c1a: POP 00000c1b: PUSH2 0x0410 00000c1e: JUMP 00000c1f: JUMPDEST 00000c20: PUSH32 0x9b779b17422d0df92223018b32b4d1fa46e071723d6817e2486d003becc55f00 00000c41: DUP1 00000c42: SLOAD 00000c43: PUSH1 0x01 00000c45: NOT 00000c46: ADD 00000c47: PUSH2 0x0c63 00000c4a: JUMPI 00000c4b: PUSH1 0x40 00000c4d: MLOAD 00000c4e: PUSH4 0x3ee5aeb5 00000c53: PUSH1 0xe0 00000c55: SHL 00000c56: DUP2 00000c57: MSTORE 00000c58: PUSH1 0x04 00000c5a: ADD 00000c5b: PUSH1 0x40 00000c5d: MLOAD 00000c5e: DUP1 00000c5f: SWAP2 00000c60: SUB 00000c61: SWAP1 00000c62: REVERT 00000c63: JUMPDEST 00000c64: PUSH1 0x02 00000c66: SWAP1 00000c67: SSTORE 00000c68: JUMP 00000c69: JUMPDEST 00000c6a: PUSH2 0x0c71 00000c6d: PUSH2 0x0cb0 00000c70: JUMP 00000c71: JUMPDEST 00000c72: JUMP 00000c73: JUMPDEST 00000c74: PUSH2 0x0c7d 00000c77: DUP3 00000c78: DUP3 00000c79: PUSH2 0x06ca 00000c7c: JUMP 00000c7d: JUMPDEST 00000c7e: PUSH2 0x0cac 00000c81: JUMPI 00000c82: PUSH1 0x40 00000c84: MLOAD 00000c85: PUSH4 0xe2517d3f 00000c8a: PUSH1 0xe0 00000c8c: SHL 00000c8d: DUP2 00000c8e: MSTORE 00000c8f: PUSH1 0x01 00000c91: PUSH1 0x01 00000c93: PUSH1 0xa0 00000c95: SHL 00000c96: SUB 00000c97: DUP3 00000c98: AND 00000c99: PUSH1 0x04 00000c9b: DUP3 00000c9c: ADD 00000c9d: MSTORE 00000c9e: PUSH1 0x24 00000ca0: DUP2 00000ca1: ADD 00000ca2: DUP4 00000ca3: SWAP1 00000ca4: MSTORE 00000ca5: PUSH1 0x44 00000ca7: ADD 00000ca8: PUSH2 0x0569 00000cab: JUMP 00000cac: JUMPDEST 00000cad: POP 00000cae: POP 00000caf: JUMP 00000cb0: JUMPDEST 00000cb1: PUSH32 0xf0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a00 00000cd2: SLOAD 00000cd3: PUSH1 0x01 00000cd5: PUSH1 0x40 00000cd7: SHL 00000cd8: SWAP1 00000cd9: DIV 00000cda: PUSH1 0xff 00000cdc: AND 00000cdd: PUSH2 0x0c71 00000ce0: JUMPI 00000ce1: PUSH1 0x40 00000ce3: MLOAD 00000ce4: PUSH4 0x1afcd79f 00000ce9: PUSH1 0xe3 00000ceb: SHL 00000cec: DUP2 00000ced: MSTORE 00000cee: PUSH1 0x04 00000cf0: ADD 00000cf1: PUSH1 0x40 00000cf3: MLOAD 00000cf4: DUP1 00000cf5: SWAP2 00000cf6: SUB 00000cf7: SWAP1 00000cf8: REVERT 00000cf9: JUMPDEST 00000cfa: PUSH0 00000cfb: PUSH1 0x20 00000cfd: DUP3 00000cfe: DUP5 00000cff: SUB 00000d00: SLT 00000d01: ISZERO 00000d02: PUSH2 0x0d09 00000d05: JUMPI 00000d06: PUSH0 00000d07: DUP1 00000d08: REVERT 00000d09: JUMPDEST 00000d0a: DUP2 00000d0b: CALLDATALOAD 00000d0c: PUSH1 0x01 00000d0e: PUSH1 0x01 00000d10: PUSH1 0xe0 00000d12: SHL 00000d13: SUB 00000d14: NOT 00000d15: DUP2 00000d16: AND 00000d17: DUP2 00000d18: EQ 00000d19: PUSH2 0x0d20 00000d1c: JUMPI 00000d1d: PUSH0 00000d1e: DUP1 00000d1f: REVERT 00000d20: JUMPDEST 00000d21: SWAP4 00000d22: SWAP3 00000d23: POP 00000d24: POP 00000d25: POP 00000d26: JUMP 00000d27: JUMPDEST 00000d28: PUSH0 00000d29: PUSH1 0x20 00000d2b: DUP3 00000d2c: DUP5 00000d2d: SUB 00000d2e: SLT 00000d2f: ISZERO 00000d30: PUSH2 0x0d37 00000d33: JUMPI 00000d34: PUSH0 00000d35: DUP1 00000d36: REVERT 00000d37: JUMPDEST 00000d38: POP 00000d39: CALLDATALOAD 00000d3a: SWAP2 00000d3b: SWAP1 00000d3c: POP 00000d3d: JUMP 00000d3e: JUMPDEST 00000d3f: PUSH1 0x01 00000d41: PUSH1 0x01 00000d43: PUSH1 0xa0 00000d45: SHL 00000d46: SUB 00000d47: DUP2 00000d48: AND 00000d49: DUP2 00000d4a: EQ 00000d4b: PUSH2 0x0688 00000d4e: JUMPI 00000d4f: PUSH0 00000d50: DUP1 00000d51: REVERT 00000d52: JUMPDEST 00000d53: PUSH0 00000d54: DUP1 00000d55: PUSH1 0x40 00000d57: DUP4 00000d58: DUP6 00000d59: SUB 00000d5a: SLT 00000d5b: ISZERO 00000d5c: PUSH2 0x0d63 00000d5f: JUMPI 00000d60: PUSH0 00000d61: DUP1 00000d62: REVERT 00000d63: JUMPDEST 00000d64: DUP3 00000d65: CALLDATALOAD 00000d66: SWAP2 00000d67: POP 00000d68: PUSH1 0x20 00000d6a: DUP4 00000d6b: ADD 00000d6c: CALLDATALOAD 00000d6d: PUSH2 0x0d75 00000d70: DUP2 00000d71: PUSH2 0x0d3e 00000d74: JUMP 00000d75: JUMPDEST 00000d76: DUP1 00000d77: SWAP2 00000d78: POP 00000d79: POP 00000d7a: SWAP3 00000d7b: POP 00000d7c: SWAP3 00000d7d: SWAP1 00000d7e: POP 00000d7f: JUMP 00000d80: JUMPDEST 00000d81: PUSH0 00000d82: PUSH1 0x60 00000d84: DUP3 00000d85: DUP5 00000d86: SUB 00000d87: SLT 00000d88: ISZERO 00000d89: PUSH2 0x0d90 00000d8c: JUMPI 00000d8d: PUSH0 00000d8e: DUP1 00000d8f: REVERT 00000d90: JUMPDEST 00000d91: PUSH1 0x40 00000d93: MLOAD 00000d94: PUSH1 0x60 00000d96: DUP2 00000d97: ADD 00000d98: DUP2 00000d99: DUP2 00000d9a: LT 00000d9b: PUSH8 0xffffffffffffffff 00000da4: DUP3 00000da5: GT 00000da6: OR 00000da7: ISZERO 00000da8: PUSH2 0x0dbf 00000dab: JUMPI 00000dac: PUSH4 0x4e487b71 00000db1: PUSH1 0xe0 00000db3: SHL 00000db4: PUSH0 00000db5: MSTORE 00000db6: PUSH1 0x41 00000db8: PUSH1 0x04 00000dba: MSTORE 00000dbb: PUSH1 0x24 00000dbd: PUSH0 00000dbe: REVERT 00000dbf: JUMPDEST 00000dc0: PUSH1 0x40 00000dc2: MSTORE 00000dc3: DUP3 00000dc4: CALLDATALOAD 00000dc5: PUSH2 0x0dcd 00000dc8: DUP2 00000dc9: PUSH2 0x0d3e 00000dcc: JUMP 00000dcd: JUMPDEST 00000dce: DUP2 00000dcf: MSTORE 00000dd0: PUSH1 0x20 00000dd2: DUP4 00000dd3: ADD 00000dd4: CALLDATALOAD 00000dd5: PUSH2 0x0ddd 00000dd8: DUP2 00000dd9: PUSH2 0x0d3e 00000ddc: JUMP 00000ddd: JUMPDEST 00000dde: PUSH1 0x20 00000de0: DUP3 00000de1: ADD 00000de2: MSTORE 00000de3: PUSH1 0x40 00000de5: DUP4 00000de6: ADD 00000de7: CALLDATALOAD 00000de8: PUSH2 0x0df0 00000deb: DUP2 00000dec: PUSH2 0x0d3e 00000def: JUMP 00000df0: JUMPDEST 00000df1: PUSH1 0x40 00000df3: DUP3 00000df4: ADD 00000df5: MSTORE 00000df6: SWAP4 00000df7: SWAP3 00000df8: POP 00000df9: POP 00000dfa: POP 00000dfb: JUMP 00000dfc: JUMPDEST 00000dfd: PUSH0 00000dfe: DUP1 00000dff: PUSH0 00000e00: DUP1 00000e01: PUSH1 0x60 00000e03: DUP6 00000e04: DUP8 00000e05: SUB 00000e06: SLT 00000e07: ISZERO 00000e08: PUSH2 0x0e0f 00000e0b: JUMPI 00000e0c: PUSH0 00000e0d: DUP1 00000e0e: REVERT 00000e0f: JUMPDEST 00000e10: DUP5 00000e11: CALLDATALOAD 00000e12: PUSH2 0x0e1a 00000e15: DUP2 00000e16: PUSH2 0x0d3e 00000e19: JUMP 00000e1a: JUMPDEST 00000e1b: SWAP4 00000e1c: POP 00000e1d: PUSH1 0x20 00000e1f: DUP6 00000e20: ADD 00000e21: CALLDATALOAD 00000e22: SWAP3 00000e23: POP 00000e24: PUSH1 0x40 00000e26: DUP6 00000e27: ADD 00000e28: CALLDATALOAD 00000e29: PUSH8 0xffffffffffffffff 00000e32: DUP1 00000e33: DUP3 00000e34: GT 00000e35: ISZERO 00000e36: PUSH2 0x0e3d 00000e39: JUMPI 00000e3a: PUSH0 00000e3b: DUP1 00000e3c: REVERT 00000e3d: JUMPDEST 00000e3e: DUP2 00000e3f: DUP8 00000e40: ADD 00000e41: SWAP2 00000e42: POP 00000e43: DUP8 00000e44: PUSH1 0x1f 00000e46: DUP4 00000e47: ADD 00000e48: SLT 00000e49: PUSH2 0x0e50 00000e4c: JUMPI 00000e4d: PUSH0 00000e4e: DUP1 00000e4f: REVERT 00000e50: JUMPDEST 00000e51: DUP2 00000e52: CALLDATALOAD 00000e53: DUP2 00000e54: DUP2 00000e55: GT 00000e56: ISZERO 00000e57: PUSH2 0x0e5e 00000e5a: JUMPI 00000e5b: PUSH0 00000e5c: DUP1 00000e5d: REVERT 00000e5e: JUMPDEST 00000e5f: DUP9 00000e60: PUSH1 0x20 00000e62: DUP3 00000e63: DUP6 00000e64: ADD 00000e65: ADD 00000e66: GT 00000e67: ISZERO 00000e68: PUSH2 0x0e6f 00000e6b: JUMPI 00000e6c: PUSH0 00000e6d: DUP1 00000e6e: REVERT 00000e6f: JUMPDEST 00000e70: SWAP6 00000e71: SWAP9 00000e72: SWAP5 00000e73: SWAP8 00000e74: POP 00000e75: POP 00000e76: PUSH1 0x20 00000e78: ADD 00000e79: SWAP5 00000e7a: POP 00000e7b: POP 00000e7c: POP 00000e7d: JUMP 00000e7e: JUMPDEST 00000e7f: PUSH0 00000e80: PUSH1 0x20 00000e82: DUP3 00000e83: DUP5 00000e84: SUB 00000e85: SLT 00000e86: ISZERO 00000e87: PUSH2 0x0e8e 00000e8a: JUMPI 00000e8b: PUSH0 00000e8c: DUP1 00000e8d: REVERT 00000e8e: JUMPDEST 00000e8f: POP 00000e90: MLOAD 00000e91: SWAP2 00000e92: SWAP1 00000e93: POP 00000e94: JUMP 00000e95: INVALID 00000e96: MUL 00000e97: UNKNOWN(0xDD) 00000e98: PUSH28 0xc7dec4dceedda775e58dd541e08a116c6c53815c0bd028192f7b6268 00000eb5: STOP 00000eb6: LOG2 00000eb7: PUSH5 0x6970667358 00000ebd: UNKNOWN(0x22) 00000ebe: SLT 00000ebf: KECCAK256 00000ec0: DUP14 00000ec1: UNKNOWN(0x27) 00000ec2: UNKNOWN(0xB1) 00000ec3: PUSH26 0xd865bd32c94fae6a09a9a953118f6745b55ba84f343c1cd38020 00000ede: UNKNOWN(0xA9) 00000edf: UNKNOWN(0x2F) 00000ee0: PUSH5 0x736f6c6343 00000ee6: STOP 00000ee7: ADDMOD 00000ee8: XOR 00000ee9: STOP 00000eea: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xb14c2e0c8cf7aea975941f459283c653ecaccf82b650c10d0be90ee284501adf
call_targets:
0xe1a2a7fac6729360e6794f2f137621e2cdb0fed5
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xb14c2e0c8cf7aea975941f459283c653ecaccf82b650c10d0be90ee284501adf",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xe1a2a7fac6729360e6794f2f137621e2cdb0fed5"
],
"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": "0xd26b3e26",
"selector": "0xd26b3e26",
"calldata_variants": [
"0xd26b3e26",
"0xd26b3e260000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd2edb68f",
"selector": "0xd2edb68f",
"calldata_variants": [
"0xd2edb68f",
"0xd2edb68f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd547741f",
"selector": "0xd547741f",
"calldata_variants": [
"0xd547741f",
"0xd547741f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe63ab1e9",
"selector": "0xe63ab1e9",
"calldata_variants": [
"0xe63ab1e9",
"0xe63ab1e90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfb1bb9de",
"selector": "0xfb1bb9de",
"calldata_variants": [
"0xfb1bb9de",
"0xfb1bb9de0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8456cb59",
"selector": "0x8456cb59",
"calldata_variants": [
"0x8456cb59",
"0x8456cb590000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x91d14854",
"selector": "0x91d14854",
"calldata_variants": [
"0x91d14854",
"0x91d148540000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9872ab84",
"selector": "0x9872ab84",
"calldata_variants": [
"0x9872ab84",
"0x9872ab840000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1522,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2551,
"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: 0xb14c2e0c8cf7aea975941f459283c653ecaccf82b650c10d0be90ee284501adf
call_targets:
0xe1a2a7fac6729360e6794f2f137621e2cdb0fed5
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xb14c2e0c8cf7aea975941f459283c653ecaccf82b650c10d0be90ee284501adf",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xe1a2a7fac6729360e6794f2f137621e2cdb0fed5"
],
"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": "0xd26b3e26",
"selector": "0xd26b3e26",
"calldata_variants": [
"0xd26b3e26",
"0xd26b3e260000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd2edb68f",
"selector": "0xd2edb68f",
"calldata_variants": [
"0xd2edb68f",
"0xd2edb68f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd547741f",
"selector": "0xd547741f",
"calldata_variants": [
"0xd547741f",
"0xd547741f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe63ab1e9",
"selector": "0xe63ab1e9",
"calldata_variants": [
"0xe63ab1e9",
"0xe63ab1e90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfb1bb9de",
"selector": "0xfb1bb9de",
"calldata_variants": [
"0xfb1bb9de",
"0xfb1bb9de0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8456cb59",
"selector": "0x8456cb59",
"calldata_variants": [
"0x8456cb59",
"0x8456cb590000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x91d14854",
"selector": "0x91d14854",
"calldata_variants": [
"0x91d14854",
"0x91d148540000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9872ab84",
"selector": "0x9872ab84",
"calldata_variants": [
"0x9872ab84",
"0x9872ab840000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1522,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2551,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|