019b477e-ae68-73c7-a4de-9cd473cfb6d4
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 |
|---|---|---|---|---|
| 21583 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 21584 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 65090 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 65091 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 65092 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 65093 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x00e2 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH1 0xe0 00000014: PUSH1 0x02 00000016: EXP 00000017: PUSH1 0x00 00000019: CALLDATALOAD 0000001a: DIV 0000001b: AND 0000001c: PUSH4 0x11ce0267 00000021: DUP2 00000022: EQ 00000023: PUSH2 0x00e7 00000026: JUMPI 00000027: DUP1 00000028: PUSH4 0x2020e9ea 0000002d: EQ 0000002e: PUSH2 0x0116 00000031: JUMPI 00000032: DUP1 00000033: PUSH4 0x2aed7f3f 00000038: EQ 00000039: PUSH2 0x012d 0000003c: JUMPI 0000003d: DUP1 0000003e: PUSH4 0x3a01e53a 00000043: EQ 00000044: PUSH2 0x014c 00000047: JUMPI 00000048: DUP1 00000049: PUSH4 0x3f4ba83a 0000004e: EQ 0000004f: PUSH2 0x01bb 00000052: JUMPI 00000053: DUP1 00000054: PUSH4 0x5c975abb 00000059: EQ 0000005a: PUSH2 0x01ce 0000005d: JUMPI 0000005e: DUP1 0000005f: PUSH4 0x5fd8c710 00000064: EQ 00000065: PUSH2 0x01f5 00000068: JUMPI 00000069: DUP1 0000006a: PUSH4 0x69d03738 0000006f: EQ 00000070: PUSH2 0x0208 00000073: JUMPI 00000074: DUP1 00000075: PUSH4 0x83197ef0 0000007a: EQ 0000007b: PUSH2 0x0227 0000007e: JUMPI 0000007f: DUP1 00000080: PUSH4 0x8456cb59 00000085: EQ 00000086: PUSH2 0x023a 00000089: JUMPI 0000008a: DUP1 0000008b: PUSH4 0x8da5cb5b 00000090: EQ 00000091: PUSH2 0x024d 00000094: JUMPI 00000095: DUP1 00000096: PUSH4 0x91e50314 0000009b: EQ 0000009c: PUSH2 0x0260 0000009f: JUMPI 000000a0: DUP1 000000a1: PUSH4 0xa22d5a51 000000a6: EQ 000000a7: PUSH2 0x0273 000000aa: JUMPI 000000ab: DUP1 000000ac: PUSH4 0xa7cebd4d 000000b1: EQ 000000b2: PUSH2 0x028d 000000b5: JUMPI 000000b6: DUP1 000000b7: PUSH4 0xb5794222 000000bc: EQ 000000bd: PUSH2 0x02d5 000000c0: JUMPI 000000c1: DUP1 000000c2: PUSH4 0xba6763ce 000000c7: EQ 000000c8: PUSH2 0x02e8 000000cb: JUMPI 000000cc: DUP1 000000cd: PUSH4 0xdd1b7a0f 000000d2: EQ 000000d3: PUSH2 0x02fb 000000d6: JUMPI 000000d7: DUP1 000000d8: PUSH4 0xf2fde38b 000000dd: EQ 000000de: PUSH2 0x030e 000000e1: JUMPI 000000e2: JUMPDEST 000000e3: PUSH1 0x00 000000e5: DUP1 000000e6: REVERT 000000e7: JUMPDEST 000000e8: CALLVALUE 000000e9: ISZERO 000000ea: PUSH2 0x00f2 000000ed: JUMPI 000000ee: PUSH1 0x00 000000f0: DUP1 000000f1: REVERT 000000f2: JUMPDEST 000000f3: PUSH2 0x00fa 000000f6: PUSH2 0x032d 000000f9: JUMP 000000fa: JUMPDEST 000000fb: PUSH1 0x40 000000fd: MLOAD 000000fe: PUSH1 0x01 00000100: PUSH1 0xa0 00000102: PUSH1 0x02 00000104: EXP 00000105: SUB 00000106: SWAP1 00000107: SWAP2 00000108: AND 00000109: DUP2 0000010a: MSTORE 0000010b: PUSH1 0x20 0000010d: ADD 0000010e: PUSH1 0x40 00000110: MLOAD 00000111: DUP1 00000112: SWAP2 00000113: SUB 00000114: SWAP1 00000115: RETURN 00000116: JUMPDEST 00000117: PUSH2 0x012b 0000011a: PUSH2 0xffff 0000011d: PUSH1 0x04 0000011f: CALLDATALOAD 00000120: DUP2 00000121: AND 00000122: SWAP1 00000123: PUSH1 0x24 00000125: CALLDATALOAD 00000126: AND 00000127: PUSH2 0x033c 0000012a: JUMP 0000012b: JUMPDEST 0000012c: STOP 0000012d: JUMPDEST 0000012e: CALLVALUE 0000012f: ISZERO 00000130: PUSH2 0x0138 00000133: JUMPI 00000134: PUSH1 0x00 00000136: DUP1 00000137: REVERT 00000138: JUMPDEST 00000139: PUSH2 0x012b 0000013c: PUSH1 0x01 0000013e: PUSH1 0xa0 00000140: PUSH1 0x02 00000142: EXP 00000143: SUB 00000144: PUSH1 0x04 00000146: CALLDATALOAD 00000147: AND 00000148: PUSH2 0x062d 0000014b: JUMP 0000014c: JUMPDEST 0000014d: CALLVALUE 0000014e: ISZERO 0000014f: PUSH2 0x0157 00000152: JUMPI 00000153: PUSH1 0x00 00000155: DUP1 00000156: REVERT 00000157: JUMPDEST 00000158: PUSH2 0x0166 0000015b: PUSH2 0xffff 0000015e: PUSH1 0x04 00000160: CALLDATALOAD 00000161: AND 00000162: PUSH2 0x06cc 00000165: JUMP 00000166: JUMPDEST 00000167: PUSH1 0x40 00000169: MLOAD 0000016a: SWAP5 0000016b: ISZERO 0000016c: ISZERO 0000016d: DUP6 0000016e: MSTORE 0000016f: PUSH2 0xffff 00000172: SWAP1 00000173: SWAP4 00000174: AND 00000175: PUSH1 0x20 00000177: DUP6 00000178: ADD 00000179: MSTORE 0000017a: PUSH16 0xffffffffffffffffffffffffffffffff 0000018b: SWAP1 0000018c: SWAP2 0000018d: AND 0000018e: PUSH1 0x40 00000190: DUP1 00000191: DUP6 00000192: ADD 00000193: SWAP2 00000194: SWAP1 00000195: SWAP2 00000196: MSTORE 00000197: PUSH8 0xffffffffffffffff 000001a0: SWAP2 000001a1: DUP3 000001a2: AND 000001a3: PUSH1 0x60 000001a5: DUP6 000001a6: ADD 000001a7: MSTORE 000001a8: SWAP2 000001a9: AND 000001aa: PUSH1 0x80 000001ac: DUP4 000001ad: ADD 000001ae: MSTORE 000001af: PUSH1 0xa0 000001b1: SWAP1 000001b2: SWAP2 000001b3: ADD 000001b4: SWAP1 000001b5: MLOAD 000001b6: DUP1 000001b7: SWAP2 000001b8: SUB 000001b9: SWAP1 000001ba: RETURN 000001bb: JUMPDEST 000001bc: CALLVALUE 000001bd: ISZERO 000001be: PUSH2 0x01c6 000001c1: JUMPI 000001c2: PUSH1 0x00 000001c4: DUP1 000001c5: REVERT 000001c6: JUMPDEST 000001c7: PUSH2 0x012b 000001ca: PUSH2 0x0762 000001cd: JUMP 000001ce: JUMPDEST 000001cf: CALLVALUE 000001d0: ISZERO 000001d1: PUSH2 0x01d9 000001d4: JUMPI 000001d5: PUSH1 0x00 000001d7: DUP1 000001d8: REVERT 000001d9: JUMPDEST 000001da: PUSH2 0x01e1 000001dd: PUSH2 0x083c 000001e0: JUMP 000001e1: JUMPDEST 000001e2: PUSH1 0x40 000001e4: MLOAD 000001e5: SWAP1 000001e6: ISZERO 000001e7: ISZERO 000001e8: DUP2 000001e9: MSTORE 000001ea: PUSH1 0x20 000001ec: ADD 000001ed: PUSH1 0x40 000001ef: MLOAD 000001f0: DUP1 000001f1: SWAP2 000001f2: SUB 000001f3: SWAP1 000001f4: RETURN 000001f5: JUMPDEST 000001f6: CALLVALUE 000001f7: ISZERO 000001f8: PUSH2 0x0200 000001fb: JUMPI 000001fc: PUSH1 0x00 000001fe: DUP1 000001ff: REVERT 00000200: JUMPDEST 00000201: PUSH2 0x01e1 00000204: PUSH2 0x084c 00000207: JUMP 00000208: JUMPDEST 00000209: CALLVALUE 0000020a: ISZERO 0000020b: PUSH2 0x0213 0000020e: JUMPI 0000020f: PUSH1 0x00 00000211: DUP1 00000212: REVERT 00000213: JUMPDEST 00000214: PUSH2 0x012b 00000217: PUSH1 0x01 00000219: PUSH1 0xa0 0000021b: PUSH1 0x02 0000021d: EXP 0000021e: SUB 0000021f: PUSH1 0x04 00000221: CALLDATALOAD 00000222: AND 00000223: PUSH2 0x08c8 00000226: JUMP 00000227: JUMPDEST 00000228: CALLVALUE 00000229: ISZERO 0000022a: PUSH2 0x0232 0000022d: JUMPI 0000022e: PUSH1 0x00 00000230: DUP1 00000231: REVERT 00000232: JUMPDEST 00000233: PUSH2 0x012b 00000236: PUSH2 0x09d4 00000239: JUMP 0000023a: JUMPDEST 0000023b: CALLVALUE 0000023c: ISZERO 0000023d: PUSH2 0x0245 00000240: JUMPI 00000241: PUSH1 0x00 00000243: DUP1 00000244: REVERT 00000245: JUMPDEST 00000246: PUSH2 0x012b 00000249: PUSH2 0x0a8f 0000024c: JUMP 0000024d: JUMPDEST 0000024e: CALLVALUE 0000024f: ISZERO 00000250: PUSH2 0x0258 00000253: JUMPI 00000254: PUSH1 0x00 00000256: DUP1 00000257: REVERT 00000258: JUMPDEST 00000259: PUSH2 0x00fa 0000025c: PUSH2 0x0b13 0000025f: JUMP 00000260: JUMPDEST 00000261: CALLVALUE 00000262: ISZERO 00000263: PUSH2 0x026b 00000266: JUMPI 00000267: PUSH1 0x00 00000269: DUP1 0000026a: REVERT 0000026b: JUMPDEST 0000026c: PUSH2 0x01e1 0000026f: PUSH2 0x0b22 00000272: JUMP 00000273: JUMPDEST 00000274: CALLVALUE 00000275: ISZERO 00000276: PUSH2 0x027e 00000279: JUMPI 0000027a: PUSH1 0x00 0000027c: DUP1 0000027d: REVERT 0000027e: JUMPDEST 0000027f: PUSH2 0x012b 00000282: PUSH2 0xffff 00000285: PUSH1 0x04 00000287: CALLDATALOAD 00000288: AND 00000289: PUSH2 0x0b32 0000028c: JUMP 0000028d: JUMPDEST 0000028e: CALLVALUE 0000028f: ISZERO 00000290: PUSH2 0x0298 00000293: JUMPI 00000294: PUSH1 0x00 00000296: DUP1 00000297: REVERT 00000298: JUMPDEST 00000299: PUSH2 0x012b 0000029c: PUSH2 0xffff 0000029f: PUSH1 0x04 000002a1: CALLDATALOAD 000002a2: DUP2 000002a3: AND 000002a4: SWAP1 000002a5: PUSH1 0x24 000002a7: CALLDATALOAD 000002a8: AND 000002a9: PUSH16 0xffffffffffffffffffffffffffffffff 000002ba: PUSH1 0x44 000002bc: CALLDATALOAD 000002bd: AND 000002be: PUSH8 0xffffffffffffffff 000002c7: PUSH1 0x64 000002c9: CALLDATALOAD 000002ca: DUP2 000002cb: AND 000002cc: SWAP1 000002cd: PUSH1 0x84 000002cf: CALLDATALOAD 000002d0: AND 000002d1: PUSH2 0x0bc3 000002d4: JUMP 000002d5: JUMPDEST 000002d6: CALLVALUE 000002d7: ISZERO 000002d8: PUSH2 0x02e0 000002db: JUMPI 000002dc: PUSH1 0x00 000002de: DUP1 000002df: REVERT 000002e0: JUMPDEST 000002e1: PUSH2 0x012b 000002e4: PUSH2 0x0ccf 000002e7: JUMP 000002e8: JUMPDEST 000002e9: CALLVALUE 000002ea: ISZERO 000002eb: PUSH2 0x02f3 000002ee: JUMPI 000002ef: PUSH1 0x00 000002f1: DUP1 000002f2: REVERT 000002f3: JUMPDEST 000002f4: PUSH2 0x01e1 000002f7: PUSH2 0x0d88 000002fa: JUMP 000002fb: JUMPDEST 000002fc: CALLVALUE 000002fd: ISZERO 000002fe: PUSH2 0x0306 00000301: JUMPI 00000302: PUSH1 0x00 00000304: DUP1 00000305: REVERT 00000306: JUMPDEST 00000307: PUSH2 0x00fa 0000030a: PUSH2 0x0e28 0000030d: JUMP 0000030e: JUMPDEST 0000030f: CALLVALUE 00000310: ISZERO 00000311: PUSH2 0x0319 00000314: JUMPI 00000315: PUSH1 0x00 00000317: DUP1 00000318: REVERT 00000319: JUMPDEST 0000031a: PUSH2 0x012b 0000031d: PUSH1 0x01 0000031f: PUSH1 0xa0 00000321: PUSH1 0x02 00000323: EXP 00000324: SUB 00000325: PUSH1 0x04 00000327: CALLDATALOAD 00000328: AND 00000329: PUSH2 0x0e37 0000032c: JUMP 0000032d: JUMPDEST 0000032e: PUSH1 0x02 00000330: SLOAD 00000331: PUSH1 0x01 00000333: PUSH1 0xa0 00000335: PUSH1 0x02 00000337: EXP 00000338: SUB 00000339: AND 0000033a: DUP2 0000033b: JUMP 0000033c: JUMPDEST 0000033d: PUSH1 0x00 0000033f: DUP1 00000340: SLOAD 00000341: DUP2 00000342: SWAP1 00000343: DUP2 00000344: SWAP1 00000345: DUP2 00000346: SWAP1 00000347: DUP2 00000348: SWAP1 00000349: PUSH1 0xa0 0000034b: PUSH1 0x02 0000034d: EXP 0000034e: SWAP1 0000034f: DIV 00000350: PUSH1 0xff 00000352: AND 00000353: ISZERO 00000354: PUSH2 0x035c 00000357: JUMPI 00000358: PUSH1 0x00 0000035a: DUP1 0000035b: REVERT 0000035c: JUMPDEST 0000035d: PUSH1 0x03 0000035f: SLOAD 00000360: PUSH1 0x01 00000362: PUSH1 0xa0 00000364: PUSH1 0x02 00000366: EXP 00000367: SUB 00000368: AND 00000369: PUSH4 0x857e996b 0000036e: DUP9 0000036f: PUSH1 0x40 00000371: MLOAD 00000372: PUSH1 0xe0 00000374: PUSH1 0x02 00000376: EXP 00000377: PUSH4 0xffffffff 0000037c: DUP5 0000037d: AND 0000037e: MUL 0000037f: DUP2 00000380: MSTORE 00000381: PUSH2 0xffff 00000384: SWAP1 00000385: SWAP2 00000386: AND 00000387: PUSH1 0x04 00000389: DUP3 0000038a: ADD 0000038b: MSTORE 0000038c: PUSH1 0x24 0000038e: ADD 0000038f: PUSH1 0xa0 00000391: PUSH1 0x40 00000393: MLOAD 00000394: DUP1 00000395: DUP4 00000396: SUB 00000397: DUP2 00000398: PUSH1 0x00 0000039a: DUP8 0000039b: DUP1 0000039c: EXTCODESIZE 0000039d: ISZERO 0000039e: ISZERO 0000039f: PUSH2 0x03a7 000003a2: JUMPI 000003a3: PUSH1 0x00 000003a5: DUP1 000003a6: REVERT 000003a7: JUMPDEST 000003a8: GAS 000003a9: CALL 000003aa: ISZERO 000003ab: ISZERO 000003ac: PUSH2 0x03b4 000003af: JUMPI 000003b0: PUSH1 0x00 000003b2: DUP1 000003b3: REVERT 000003b4: JUMPDEST 000003b5: POP 000003b6: POP 000003b7: POP 000003b8: PUSH1 0x40 000003ba: MLOAD 000003bb: DUP1 000003bc: MLOAD 000003bd: SWAP1 000003be: PUSH1 0x20 000003c0: ADD 000003c1: DUP1 000003c2: MLOAD 000003c3: SWAP1 000003c4: PUSH1 0x20 000003c6: ADD 000003c7: DUP1 000003c8: MLOAD 000003c9: SWAP1 000003ca: PUSH1 0x20 000003cc: ADD 000003cd: DUP1 000003ce: MLOAD 000003cf: SWAP1 000003d0: PUSH1 0x20 000003d2: ADD 000003d3: DUP1 000003d4: MLOAD 000003d5: SWAP5 000003d6: SWAP10 000003d7: POP 000003d8: SWAP3 000003d9: SWAP8 000003da: POP 000003db: SWAP1 000003dc: SWAP6 000003dd: POP 000003de: SWAP4 000003df: POP 000003e0: SWAP1 000003e1: SWAP2 000003e2: POP 000003e3: POP 000003e4: DUP5 000003e5: ISZERO 000003e6: PUSH2 0x03ee 000003e9: JUMPI 000003ea: PUSH1 0x00 000003ec: DUP1 000003ed: REVERT 000003ee: JUMPDEST 000003ef: PUSH1 0x00 000003f1: PUSH2 0xffff 000003f4: DUP6 000003f5: AND 000003f6: GT 000003f7: PUSH2 0x03ff 000003fa: JUMPI 000003fb: PUSH1 0x00 000003fd: DUP1 000003fe: REVERT 000003ff: JUMPDEST 00000400: PUSH16 0xffffffffffffffffffffffffffffffff 00000411: DUP4 00000412: AND 00000413: CALLVALUE 00000414: LT 00000415: ISZERO 00000416: PUSH2 0x041e 00000419: JUMPI 0000041a: PUSH1 0x00 0000041c: DUP1 0000041d: REVERT 0000041e: JUMPDEST 0000041f: DUP2 00000420: PUSH8 0xffffffffffffffff 00000429: AND 0000042a: TIMESTAMP 0000042b: LT 0000042c: ISZERO 0000042d: DUP1 0000042e: ISZERO 0000042f: PUSH2 0x0442 00000432: JUMPI 00000433: POP 00000434: DUP1 00000435: PUSH8 0xffffffffffffffff 0000043e: AND 0000043f: TIMESTAMP 00000440: GT 00000441: ISZERO 00000442: JUMPDEST 00000443: ISZERO 00000444: ISZERO 00000445: PUSH2 0x044d 00000448: JUMPI 00000449: PUSH1 0x00 0000044b: DUP1 0000044c: REVERT 0000044d: JUMPDEST 0000044e: PUSH1 0x03 00000450: SLOAD 00000451: PUSH1 0x00 00000453: SWAP1 00000454: PUSH1 0x01 00000456: PUSH1 0xa0 00000458: PUSH1 0x02 0000045a: EXP 0000045b: SUB 0000045c: AND 0000045d: PUSH4 0xff70c4d1 00000462: DUP10 00000463: DUP10 00000464: PUSH1 0x40 00000466: MLOAD 00000467: PUSH1 0xe0 00000469: PUSH1 0x02 0000046b: EXP 0000046c: PUSH4 0xffffffff 00000471: DUP6 00000472: AND 00000473: MUL 00000474: DUP2 00000475: MSTORE 00000476: PUSH2 0xffff 00000479: SWAP3 0000047a: DUP4 0000047b: AND 0000047c: PUSH1 0x04 0000047e: DUP3 0000047f: ADD 00000480: MSTORE 00000481: SWAP2 00000482: AND 00000483: PUSH1 0x24 00000485: DUP3 00000486: ADD 00000487: MSTORE 00000488: PUSH1 0x44 0000048a: ADD 0000048b: PUSH1 0x20 0000048d: PUSH1 0x40 0000048f: MLOAD 00000490: DUP1 00000491: DUP4 00000492: SUB 00000493: DUP2 00000494: PUSH1 0x00 00000496: DUP8 00000497: DUP1 00000498: EXTCODESIZE 00000499: ISZERO 0000049a: ISZERO 0000049b: PUSH2 0x04a3 0000049e: JUMPI 0000049f: PUSH1 0x00 000004a1: DUP1 000004a2: REVERT 000004a3: JUMPDEST 000004a4: GAS 000004a5: CALL 000004a6: ISZERO 000004a7: ISZERO 000004a8: PUSH2 0x04b0 000004ab: JUMPI 000004ac: PUSH1 0x00 000004ae: DUP1 000004af: REVERT 000004b0: JUMPDEST 000004b1: POP 000004b2: POP 000004b3: POP 000004b4: PUSH1 0x40 000004b6: MLOAD 000004b7: DUP1 000004b8: MLOAD 000004b9: SWAP1 000004ba: POP 000004bb: PUSH1 0x01 000004bd: PUSH1 0xa0 000004bf: PUSH1 0x02 000004c1: EXP 000004c2: SUB 000004c3: AND 000004c4: EQ 000004c5: ISZERO 000004c6: ISZERO 000004c7: PUSH2 0x04cf 000004ca: JUMPI 000004cb: PUSH1 0x00 000004cd: DUP1 000004ce: REVERT 000004cf: JUMPDEST 000004d0: PUSH1 0x03 000004d2: SLOAD 000004d3: PUSH2 0xffff 000004d6: DUP6 000004d7: AND 000004d8: SWAP1 000004d9: PUSH1 0x01 000004db: PUSH1 0xa0 000004dd: PUSH1 0x02 000004df: EXP 000004e0: SUB 000004e1: AND 000004e2: PUSH4 0x6310d902 000004e7: DUP10 000004e8: CALLER 000004e9: PUSH1 0x40 000004eb: MLOAD 000004ec: PUSH1 0xe0 000004ee: PUSH1 0x02 000004f0: EXP 000004f1: PUSH4 0xffffffff 000004f6: DUP6 000004f7: AND 000004f8: MUL 000004f9: DUP2 000004fa: MSTORE 000004fb: PUSH2 0xffff 000004fe: SWAP1 000004ff: SWAP3 00000500: AND 00000501: PUSH1 0x04 00000503: DUP4 00000504: ADD 00000505: MSTORE 00000506: PUSH1 0x01 00000508: PUSH1 0xa0 0000050a: PUSH1 0x02 0000050c: EXP 0000050d: SUB 0000050e: AND 0000050f: PUSH1 0x24 00000511: DUP3 00000512: ADD 00000513: MSTORE 00000514: PUSH1 0x44 00000516: ADD 00000517: PUSH1 0x20 00000519: PUSH1 0x40 0000051b: MLOAD 0000051c: DUP1 0000051d: DUP4 0000051e: SUB 0000051f: DUP2 00000520: PUSH1 0x00 00000522: DUP8 00000523: DUP1 00000524: EXTCODESIZE 00000525: ISZERO 00000526: ISZERO 00000527: PUSH2 0x052f 0000052a: JUMPI 0000052b: PUSH1 0x00 0000052d: DUP1 0000052e: REVERT 0000052f: JUMPDEST 00000530: GAS 00000531: CALL 00000532: ISZERO 00000533: ISZERO 00000534: PUSH2 0x053c 00000537: JUMPI 00000538: PUSH1 0x00 0000053a: DUP1 0000053b: REVERT 0000053c: JUMPDEST 0000053d: POP 0000053e: POP 0000053f: POP 00000540: PUSH1 0x40 00000542: MLOAD 00000543: DUP1 00000544: MLOAD 00000545: SWAP1 00000546: POP 00000547: PUSH2 0xffff 0000054a: AND 0000054b: LT 0000054c: ISZERO 0000054d: ISZERO 0000054e: PUSH2 0x0556 00000551: JUMPI 00000552: PUSH1 0x00 00000554: DUP1 00000555: REVERT 00000556: JUMPDEST 00000557: PUSH1 0x03 00000559: SLOAD 0000055a: PUSH1 0x01 0000055c: PUSH1 0xa0 0000055e: PUSH1 0x02 00000560: EXP 00000561: SUB 00000562: AND 00000563: PUSH4 0x6922eb06 00000568: DUP9 00000569: DUP9 0000056a: CALLER 0000056b: PUSH1 0x40 0000056d: MLOAD 0000056e: PUSH1 0xe0 00000570: PUSH1 0x02 00000572: EXP 00000573: PUSH4 0xffffffff 00000578: DUP7 00000579: AND 0000057a: MUL 0000057b: DUP2 0000057c: MSTORE 0000057d: PUSH2 0xffff 00000580: SWAP4 00000581: DUP5 00000582: AND 00000583: PUSH1 0x04 00000585: DUP3 00000586: ADD 00000587: MSTORE 00000588: SWAP2 00000589: SWAP1 0000058a: SWAP3 0000058b: AND 0000058c: PUSH1 0x24 0000058e: DUP3 0000058f: ADD 00000590: MSTORE 00000591: PUSH1 0x01 00000593: PUSH1 0xa0 00000595: PUSH1 0x02 00000597: EXP 00000598: SUB 00000599: SWAP1 0000059a: SWAP2 0000059b: AND 0000059c: PUSH1 0x44 0000059e: DUP3 0000059f: ADD 000005a0: MSTORE 000005a1: PUSH1 0x64 000005a3: ADD 000005a4: PUSH1 0x00 000005a6: PUSH1 0x40 000005a8: MLOAD 000005a9: DUP1 000005aa: DUP4 000005ab: SUB 000005ac: DUP2 000005ad: PUSH1 0x00 000005af: DUP8 000005b0: DUP1 000005b1: EXTCODESIZE 000005b2: ISZERO 000005b3: ISZERO 000005b4: PUSH2 0x05bc 000005b7: JUMPI 000005b8: PUSH1 0x00 000005ba: DUP1 000005bb: REVERT 000005bc: JUMPDEST 000005bd: GAS 000005be: CALL 000005bf: ISZERO 000005c0: ISZERO 000005c1: PUSH2 0x05c9 000005c4: JUMPI 000005c5: PUSH1 0x00 000005c7: DUP1 000005c8: REVERT 000005c9: JUMPDEST 000005ca: POP 000005cb: POP 000005cc: POP 000005cd: PUSH32 0x4011bd1a7140f1b78b187a866da338e637192a7bdbae2fcdaaed25affb412f80 000005ee: DUP8 000005ef: DUP8 000005f0: CALLER 000005f1: PUSH1 0x40 000005f3: MLOAD 000005f4: PUSH2 0xffff 000005f7: SWAP4 000005f8: DUP5 000005f9: AND 000005fa: DUP2 000005fb: MSTORE 000005fc: SWAP2 000005fd: SWAP1 000005fe: SWAP3 000005ff: AND 00000600: PUSH1 0x20 00000602: DUP3 00000603: ADD 00000604: MSTORE 00000605: PUSH1 0x01 00000607: PUSH1 0xa0 00000609: PUSH1 0x02 0000060b: EXP 0000060c: SUB 0000060d: SWAP1 0000060e: SWAP2 0000060f: AND 00000610: PUSH1 0x40 00000612: DUP1 00000613: DUP4 00000614: ADD 00000615: SWAP2 00000616: SWAP1 00000617: SWAP2 00000618: MSTORE 00000619: PUSH1 0x60 0000061b: SWAP1 0000061c: SWAP2 0000061d: ADD 0000061e: SWAP1 0000061f: MLOAD 00000620: DUP1 00000621: SWAP2 00000622: SUB 00000623: SWAP1 00000624: LOG1 00000625: POP 00000626: POP 00000627: POP 00000628: POP 00000629: POP 0000062a: POP 0000062b: POP 0000062c: JUMP 0000062d: JUMPDEST 0000062e: PUSH1 0x00 00000630: DUP1 00000631: SLOAD 00000632: CALLER 00000633: PUSH1 0x01 00000635: PUSH1 0xa0 00000637: PUSH1 0x02 00000639: EXP 0000063a: SUB 0000063b: SWAP1 0000063c: DUP2 0000063d: AND 0000063e: SWAP2 0000063f: AND 00000640: EQ 00000641: PUSH2 0x0649 00000644: JUMPI 00000645: PUSH1 0x00 00000647: DUP1 00000648: REVERT 00000649: JUMPDEST 0000064a: PUSH1 0x00 0000064c: SLOAD 0000064d: PUSH1 0xa0 0000064f: PUSH1 0x02 00000651: EXP 00000652: SWAP1 00000653: DIV 00000654: PUSH1 0xff 00000656: AND 00000657: ISZERO 00000658: ISZERO 00000659: PUSH2 0x0661 0000065c: JUMPI 0000065d: PUSH1 0x00 0000065f: DUP1 00000660: REVERT 00000661: JUMPDEST 00000662: POP 00000663: PUSH1 0x00 00000665: SLOAD 00000666: DUP2 00000667: SWAP1 00000668: PUSH1 0x01 0000066a: PUSH1 0xa0 0000066c: PUSH1 0x02 0000066e: EXP 0000066f: SUB 00000670: DUP1 00000671: DUP4 00000672: AND 00000673: SWAP2 00000674: PUSH4 0xf2fde38b 00000679: SWAP2 0000067a: AND 0000067b: PUSH1 0x40 0000067d: MLOAD 0000067e: PUSH1 0xe0 00000680: PUSH1 0x02 00000682: EXP 00000683: PUSH4 0xffffffff 00000688: DUP5 00000689: AND 0000068a: MUL 0000068b: DUP2 0000068c: MSTORE 0000068d: PUSH1 0x01 0000068f: PUSH1 0xa0 00000691: PUSH1 0x02 00000693: EXP 00000694: SUB 00000695: SWAP1 00000696: SWAP2 00000697: AND 00000698: PUSH1 0x04 0000069a: DUP3 0000069b: ADD 0000069c: MSTORE 0000069d: PUSH1 0x24 0000069f: ADD 000006a0: PUSH1 0x00 000006a2: PUSH1 0x40 000006a4: MLOAD 000006a5: DUP1 000006a6: DUP4 000006a7: SUB 000006a8: DUP2 000006a9: PUSH1 0x00 000006ab: DUP8 000006ac: DUP1 000006ad: EXTCODESIZE 000006ae: ISZERO 000006af: ISZERO 000006b0: PUSH2 0x06b8 000006b3: JUMPI 000006b4: PUSH1 0x00 000006b6: DUP1 000006b7: REVERT 000006b8: JUMPDEST 000006b9: GAS 000006ba: CALL 000006bb: ISZERO 000006bc: ISZERO 000006bd: PUSH2 0x06c5 000006c0: JUMPI 000006c1: PUSH1 0x00 000006c3: DUP1 000006c4: REVERT 000006c5: JUMPDEST 000006c6: POP 000006c7: POP 000006c8: POP 000006c9: POP 000006ca: POP 000006cb: JUMP 000006cc: JUMPDEST 000006cd: PUSH1 0x03 000006cf: SLOAD 000006d0: PUSH1 0x00 000006d2: SWAP1 000006d3: DUP2 000006d4: SWAP1 000006d5: DUP2 000006d6: SWAP1 000006d7: DUP2 000006d8: SWAP1 000006d9: DUP2 000006da: SWAP1 000006db: PUSH1 0x01 000006dd: PUSH1 0xa0 000006df: PUSH1 0x02 000006e1: EXP 000006e2: SUB 000006e3: AND 000006e4: PUSH4 0x857e996b 000006e9: DUP8 000006ea: PUSH1 0x40 000006ec: MLOAD 000006ed: PUSH1 0xe0 000006ef: PUSH1 0x02 000006f1: EXP 000006f2: PUSH4 0xffffffff 000006f7: DUP5 000006f8: AND 000006f9: MUL 000006fa: DUP2 000006fb: MSTORE 000006fc: PUSH2 0xffff 000006ff: SWAP1 00000700: SWAP2 00000701: AND 00000702: PUSH1 0x04 00000704: DUP3 00000705: ADD 00000706: MSTORE 00000707: PUSH1 0x24 00000709: ADD 0000070a: PUSH1 0xa0 0000070c: PUSH1 0x40 0000070e: MLOAD 0000070f: DUP1 00000710: DUP4 00000711: SUB 00000712: DUP2 00000713: PUSH1 0x00 00000715: DUP8 00000716: DUP1 00000717: EXTCODESIZE 00000718: ISZERO 00000719: ISZERO 0000071a: PUSH2 0x0722 0000071d: JUMPI 0000071e: PUSH1 0x00 00000720: DUP1 00000721: REVERT 00000722: JUMPDEST 00000723: GAS 00000724: CALL 00000725: ISZERO 00000726: ISZERO 00000727: PUSH2 0x072f 0000072a: JUMPI 0000072b: PUSH1 0x00 0000072d: DUP1 0000072e: REVERT 0000072f: JUMPDEST 00000730: POP 00000731: POP 00000732: POP 00000733: PUSH1 0x40 00000735: MLOAD 00000736: DUP1 00000737: MLOAD 00000738: SWAP1 00000739: PUSH1 0x20 0000073b: ADD 0000073c: DUP1 0000073d: MLOAD 0000073e: SWAP1 0000073f: PUSH1 0x20 00000741: ADD 00000742: DUP1 00000743: MLOAD 00000744: SWAP1 00000745: PUSH1 0x20 00000747: ADD 00000748: DUP1 00000749: MLOAD 0000074a: SWAP1 0000074b: PUSH1 0x20 0000074d: ADD 0000074e: DUP1 0000074f: MLOAD 00000750: SWAP5 00000751: SWAP12 00000752: SWAP4 00000753: SWAP11 00000754: POP 00000755: SWAP2 00000756: SWAP9 00000757: POP 00000758: SWAP7 00000759: POP 0000075a: SWAP2 0000075b: SWAP5 0000075c: POP 0000075d: SWAP3 0000075e: POP 0000075f: POP 00000760: POP 00000761: JUMP 00000762: JUMPDEST 00000763: PUSH1 0x00 00000765: SLOAD 00000766: CALLER 00000767: PUSH1 0x01 00000769: PUSH1 0xa0 0000076b: PUSH1 0x02 0000076d: EXP 0000076e: SUB 0000076f: SWAP1 00000770: DUP2 00000771: AND 00000772: SWAP2 00000773: AND 00000774: EQ 00000775: PUSH2 0x077d 00000778: JUMPI 00000779: PUSH1 0x00 0000077b: DUP1 0000077c: REVERT 0000077d: JUMPDEST 0000077e: PUSH1 0x00 00000780: SLOAD 00000781: PUSH1 0xa0 00000783: PUSH1 0x02 00000785: EXP 00000786: SWAP1 00000787: DIV 00000788: PUSH1 0xff 0000078a: AND 0000078b: ISZERO 0000078c: ISZERO 0000078d: PUSH2 0x0795 00000790: JUMPI 00000791: PUSH1 0x00 00000793: DUP1 00000794: REVERT 00000795: JUMPDEST 00000796: PUSH1 0x01 00000798: SLOAD 00000799: PUSH1 0x01 0000079b: PUSH1 0xa0 0000079d: PUSH1 0x02 0000079f: EXP 000007a0: SUB 000007a1: AND 000007a2: ISZERO 000007a3: ISZERO 000007a4: PUSH2 0x07ac 000007a7: JUMPI 000007a8: PUSH1 0x00 000007aa: DUP1 000007ab: REVERT 000007ac: JUMPDEST 000007ad: PUSH1 0x02 000007af: SLOAD 000007b0: PUSH1 0x01 000007b2: PUSH1 0xa0 000007b4: PUSH1 0x02 000007b6: EXP 000007b7: SUB 000007b8: AND 000007b9: ISZERO 000007ba: ISZERO 000007bb: PUSH2 0x07c3 000007be: JUMPI 000007bf: PUSH1 0x00 000007c1: DUP1 000007c2: REVERT 000007c3: JUMPDEST 000007c4: PUSH1 0x02 000007c6: SLOAD 000007c7: PUSH1 0x01 000007c9: PUSH1 0xa0 000007cb: PUSH1 0x02 000007cd: EXP 000007ce: SUB 000007cf: ADDRESS 000007d0: DUP2 000007d1: AND 000007d2: SWAP2 000007d3: AND 000007d4: PUSH4 0x8da5cb5b 000007d9: PUSH1 0x40 000007db: MLOAD 000007dc: DUP2 000007dd: PUSH4 0xffffffff 000007e2: AND 000007e3: PUSH1 0xe0 000007e5: PUSH1 0x02 000007e7: EXP 000007e8: MUL 000007e9: DUP2 000007ea: MSTORE 000007eb: PUSH1 0x04 000007ed: ADD 000007ee: PUSH1 0x20 000007f0: PUSH1 0x40 000007f2: MLOAD 000007f3: DUP1 000007f4: DUP4 000007f5: SUB 000007f6: DUP2 000007f7: PUSH1 0x00 000007f9: DUP8 000007fa: DUP1 000007fb: EXTCODESIZE 000007fc: ISZERO 000007fd: ISZERO 000007fe: PUSH2 0x0806 00000801: JUMPI 00000802: PUSH1 0x00 00000804: DUP1 00000805: REVERT 00000806: JUMPDEST 00000807: GAS 00000808: CALL 00000809: ISZERO 0000080a: ISZERO 0000080b: PUSH2 0x0813 0000080e: JUMPI 0000080f: PUSH1 0x00 00000811: DUP1 00000812: REVERT 00000813: JUMPDEST 00000814: POP 00000815: POP 00000816: POP 00000817: PUSH1 0x40 00000819: MLOAD 0000081a: DUP1 0000081b: MLOAD 0000081c: SWAP1 0000081d: POP 0000081e: PUSH1 0x01 00000820: PUSH1 0xa0 00000822: PUSH1 0x02 00000824: EXP 00000825: SUB 00000826: AND 00000827: EQ 00000828: ISZERO 00000829: ISZERO 0000082a: PUSH2 0x0832 0000082d: JUMPI 0000082e: PUSH1 0x00 00000830: DUP1 00000831: REVERT 00000832: JUMPDEST 00000833: PUSH2 0x083a 00000836: PUSH2 0x0ee8 00000839: JUMP 0000083a: JUMPDEST 0000083b: JUMP 0000083c: JUMPDEST 0000083d: PUSH1 0x00 0000083f: SLOAD 00000840: PUSH1 0xa0 00000842: PUSH1 0x02 00000844: EXP 00000845: SWAP1 00000846: DIV 00000847: PUSH1 0xff 00000849: AND 0000084a: DUP2 0000084b: JUMP 0000084c: JUMPDEST 0000084d: PUSH1 0x01 0000084f: SLOAD 00000850: PUSH1 0x00 00000852: DUP1 00000853: SLOAD 00000854: SWAP1 00000855: SWAP2 00000856: PUSH1 0x01 00000858: PUSH1 0xa0 0000085a: PUSH1 0x02 0000085c: EXP 0000085d: SUB 0000085e: SWAP1 0000085f: DUP2 00000860: AND 00000861: SWAP2 00000862: DUP4 00000863: SWAP2 00000864: CALLER 00000865: DUP2 00000866: AND 00000867: SWAP2 00000868: AND 00000869: EQ 0000086a: DUP1 0000086b: PUSH2 0x0885 0000086e: JUMPI 0000086f: POP 00000870: DUP2 00000871: PUSH1 0x01 00000873: PUSH1 0xa0 00000875: PUSH1 0x02 00000877: EXP 00000878: SUB 00000879: AND 0000087a: CALLER 0000087b: PUSH1 0x01 0000087d: PUSH1 0xa0 0000087f: PUSH1 0x02 00000881: EXP 00000882: SUB 00000883: AND 00000884: EQ 00000885: JUMPDEST 00000886: ISZERO 00000887: ISZERO 00000888: PUSH2 0x0890 0000088b: JUMPI 0000088c: PUSH1 0x00 0000088e: DUP1 0000088f: REVERT 00000890: JUMPDEST 00000891: DUP2 00000892: PUSH1 0x01 00000894: PUSH1 0xa0 00000896: PUSH1 0x02 00000898: EXP 00000899: SUB 0000089a: AND 0000089b: PUSH2 0x08fc 0000089e: ADDRESS 0000089f: PUSH1 0x01 000008a1: PUSH1 0xa0 000008a3: PUSH1 0x02 000008a5: EXP 000008a6: SUB 000008a7: AND 000008a8: BALANCE 000008a9: SWAP1 000008aa: DUP2 000008ab: ISZERO 000008ac: MUL 000008ad: SWAP1 000008ae: PUSH1 0x40 000008b0: MLOAD 000008b1: PUSH1 0x00 000008b3: PUSH1 0x40 000008b5: MLOAD 000008b6: DUP1 000008b7: DUP4 000008b8: SUB 000008b9: DUP2 000008ba: DUP6 000008bb: DUP9 000008bc: DUP9 000008bd: CALL 000008be: SWAP8 000008bf: SWAP7 000008c0: POP 000008c1: POP 000008c2: POP 000008c3: POP 000008c4: POP 000008c5: POP 000008c6: POP 000008c7: JUMP 000008c8: JUMPDEST 000008c9: PUSH1 0x00 000008cb: DUP1 000008cc: SLOAD 000008cd: CALLER 000008ce: PUSH1 0x01 000008d0: PUSH1 0xa0 000008d2: PUSH1 0x02 000008d4: EXP 000008d5: SUB 000008d6: SWAP1 000008d7: DUP2 000008d8: AND 000008d9: SWAP2 000008da: AND 000008db: EQ 000008dc: PUSH2 0x08e4 000008df: JUMPI 000008e0: PUSH1 0x00 000008e2: DUP1 000008e3: REVERT 000008e4: JUMPDEST 000008e5: PUSH1 0x01 000008e7: PUSH1 0xa0 000008e9: PUSH1 0x02 000008eb: EXP 000008ec: SUB 000008ed: DUP3 000008ee: AND 000008ef: ISZERO 000008f0: ISZERO 000008f1: PUSH2 0x08f9 000008f4: JUMPI 000008f5: PUSH1 0x00 000008f7: DUP1 000008f8: REVERT 000008f9: JUMPDEST 000008fa: POP 000008fb: DUP1 000008fc: PUSH1 0x01 000008fe: PUSH1 0xa0 00000900: PUSH1 0x02 00000902: EXP 00000903: SUB 00000904: DUP2 00000905: AND 00000906: PUSH4 0x01ffc9a7 0000090b: PUSH32 0x9f40b77900000000000000000000000000000000000000000000000000000000 0000092c: PUSH1 0x40 0000092e: MLOAD 0000092f: PUSH1 0xe0 00000931: PUSH1 0x02 00000933: EXP 00000934: PUSH4 0xffffffff 00000939: DUP5 0000093a: AND 0000093b: MUL 0000093c: DUP2 0000093d: MSTORE 0000093e: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 0000095f: SWAP1 00000960: SWAP2 00000961: AND 00000962: PUSH1 0x04 00000964: DUP3 00000965: ADD 00000966: MSTORE 00000967: PUSH1 0x24 00000969: ADD 0000096a: PUSH1 0x20 0000096c: PUSH1 0x40 0000096e: MLOAD 0000096f: DUP1 00000970: DUP4 00000971: SUB 00000972: DUP2 00000973: PUSH1 0x00 00000975: DUP8 00000976: DUP1 00000977: EXTCODESIZE 00000978: ISZERO 00000979: ISZERO 0000097a: PUSH2 0x0982 0000097d: JUMPI 0000097e: PUSH1 0x00 00000980: DUP1 00000981: REVERT 00000982: JUMPDEST 00000983: GAS 00000984: CALL 00000985: ISZERO 00000986: ISZERO 00000987: PUSH2 0x098f 0000098a: JUMPI 0000098b: PUSH1 0x00 0000098d: DUP1 0000098e: REVERT 0000098f: JUMPDEST 00000990: POP 00000991: POP 00000992: POP 00000993: PUSH1 0x40 00000995: MLOAD 00000996: DUP1 00000997: MLOAD 00000998: SWAP1 00000999: POP 0000099a: ISZERO 0000099b: ISZERO 0000099c: PUSH2 0x09a4 0000099f: JUMPI 000009a0: PUSH1 0x00 000009a2: DUP1 000009a3: REVERT 000009a4: JUMPDEST 000009a5: PUSH1 0x01 000009a7: DUP1 000009a8: SLOAD 000009a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009be: NOT 000009bf: AND 000009c0: PUSH1 0x01 000009c2: PUSH1 0xa0 000009c4: PUSH1 0x02 000009c6: EXP 000009c7: SUB 000009c8: SWAP3 000009c9: SWAP1 000009ca: SWAP3 000009cb: AND 000009cc: SWAP2 000009cd: SWAP1 000009ce: SWAP2 000009cf: OR 000009d0: SWAP1 000009d1: SSTORE 000009d2: POP 000009d3: JUMP 000009d4: JUMPDEST 000009d5: PUSH1 0x00 000009d7: DUP1 000009d8: SLOAD 000009d9: CALLER 000009da: PUSH1 0x01 000009dc: PUSH1 0xa0 000009de: PUSH1 0x02 000009e0: EXP 000009e1: SUB 000009e2: SWAP1 000009e3: DUP2 000009e4: AND 000009e5: SWAP2 000009e6: AND 000009e7: EQ 000009e8: PUSH2 0x09f0 000009eb: JUMPI 000009ec: PUSH1 0x00 000009ee: DUP1 000009ef: REVERT 000009f0: JUMPDEST 000009f1: PUSH1 0x00 000009f3: SLOAD 000009f4: PUSH1 0xa0 000009f6: PUSH1 0x02 000009f8: EXP 000009f9: SWAP1 000009fa: DIV 000009fb: PUSH1 0xff 000009fd: AND 000009fe: ISZERO 000009ff: ISZERO 00000a00: PUSH2 0x0a08 00000a03: JUMPI 00000a04: PUSH1 0x00 00000a06: DUP1 00000a07: REVERT 00000a08: JUMPDEST 00000a09: PUSH1 0x02 00000a0b: SLOAD 00000a0c: PUSH1 0x01 00000a0e: PUSH1 0xa0 00000a10: PUSH1 0x02 00000a12: EXP 00000a13: SUB 00000a14: AND 00000a15: PUSH4 0x8da5cb5b 00000a1a: PUSH1 0x40 00000a1c: MLOAD 00000a1d: DUP2 00000a1e: PUSH4 0xffffffff 00000a23: AND 00000a24: PUSH1 0xe0 00000a26: PUSH1 0x02 00000a28: EXP 00000a29: MUL 00000a2a: DUP2 00000a2b: MSTORE 00000a2c: PUSH1 0x04 00000a2e: ADD 00000a2f: PUSH1 0x20 00000a31: PUSH1 0x40 00000a33: MLOAD 00000a34: DUP1 00000a35: DUP4 00000a36: SUB 00000a37: DUP2 00000a38: PUSH1 0x00 00000a3a: DUP8 00000a3b: DUP1 00000a3c: EXTCODESIZE 00000a3d: ISZERO 00000a3e: ISZERO 00000a3f: PUSH2 0x0a47 00000a42: JUMPI 00000a43: PUSH1 0x00 00000a45: DUP1 00000a46: REVERT 00000a47: JUMPDEST 00000a48: GAS 00000a49: CALL 00000a4a: ISZERO 00000a4b: ISZERO 00000a4c: PUSH2 0x0a54 00000a4f: JUMPI 00000a50: PUSH1 0x00 00000a52: DUP1 00000a53: REVERT 00000a54: JUMPDEST 00000a55: POP 00000a56: POP 00000a57: POP 00000a58: PUSH1 0x40 00000a5a: MLOAD 00000a5b: DUP1 00000a5c: MLOAD 00000a5d: SWAP1 00000a5e: POP 00000a5f: SWAP1 00000a60: POP 00000a61: ADDRESS 00000a62: PUSH1 0x01 00000a64: PUSH1 0xa0 00000a66: PUSH1 0x02 00000a68: EXP 00000a69: SUB 00000a6a: AND 00000a6b: DUP2 00000a6c: PUSH1 0x01 00000a6e: PUSH1 0xa0 00000a70: PUSH1 0x02 00000a72: EXP 00000a73: SUB 00000a74: AND 00000a75: EQ 00000a76: ISZERO 00000a77: ISZERO 00000a78: ISZERO 00000a79: PUSH2 0x0a81 00000a7c: JUMPI 00000a7d: PUSH1 0x00 00000a7f: DUP1 00000a80: REVERT 00000a81: JUMPDEST 00000a82: PUSH1 0x00 00000a84: SLOAD 00000a85: PUSH1 0x01 00000a87: PUSH1 0xa0 00000a89: PUSH1 0x02 00000a8b: EXP 00000a8c: SUB 00000a8d: AND 00000a8e: SELFDESTRUCT 00000a8f: JUMPDEST 00000a90: PUSH1 0x00 00000a92: SLOAD 00000a93: CALLER 00000a94: PUSH1 0x01 00000a96: PUSH1 0xa0 00000a98: PUSH1 0x02 00000a9a: EXP 00000a9b: SUB 00000a9c: SWAP1 00000a9d: DUP2 00000a9e: AND 00000a9f: SWAP2 00000aa0: AND 00000aa1: EQ 00000aa2: PUSH2 0x0aaa 00000aa5: JUMPI 00000aa6: PUSH1 0x00 00000aa8: DUP1 00000aa9: REVERT 00000aaa: JUMPDEST 00000aab: PUSH1 0x00 00000aad: SLOAD 00000aae: PUSH1 0xa0 00000ab0: PUSH1 0x02 00000ab2: EXP 00000ab3: SWAP1 00000ab4: DIV 00000ab5: PUSH1 0xff 00000ab7: AND 00000ab8: ISZERO 00000ab9: PUSH2 0x0ac1 00000abc: JUMPI 00000abd: PUSH1 0x00 00000abf: DUP1 00000ac0: REVERT 00000ac1: JUMPDEST 00000ac2: PUSH1 0x00 00000ac4: DUP1 00000ac5: SLOAD 00000ac6: PUSH21 0xff0000000000000000000000000000000000000000 00000adc: NOT 00000add: AND 00000ade: PUSH1 0xa0 00000ae0: PUSH1 0x02 00000ae2: EXP 00000ae3: OR 00000ae4: SWAP1 00000ae5: SSTORE 00000ae6: PUSH32 0x6985a02210a168e66602d3235cb6db0e70f92b3ba4d376a33c0f3d9434bff625 00000b07: PUSH1 0x40 00000b09: MLOAD 00000b0a: PUSH1 0x40 00000b0c: MLOAD 00000b0d: DUP1 00000b0e: SWAP2 00000b0f: SUB 00000b10: SWAP1 00000b11: LOG1 00000b12: JUMP 00000b13: JUMPDEST 00000b14: PUSH1 0x00 00000b16: SLOAD 00000b17: PUSH1 0x01 00000b19: PUSH1 0xa0 00000b1b: PUSH1 0x02 00000b1d: EXP 00000b1e: SUB 00000b1f: AND 00000b20: DUP2 00000b21: JUMP 00000b22: JUMPDEST 00000b23: PUSH1 0x02 00000b25: SLOAD 00000b26: PUSH1 0xa0 00000b28: PUSH1 0x02 00000b2a: EXP 00000b2b: SWAP1 00000b2c: DIV 00000b2d: PUSH1 0xff 00000b2f: AND 00000b30: DUP2 00000b31: JUMP 00000b32: JUMPDEST 00000b33: PUSH1 0x00 00000b35: SLOAD 00000b36: CALLER 00000b37: PUSH1 0x01 00000b39: PUSH1 0xa0 00000b3b: PUSH1 0x02 00000b3d: EXP 00000b3e: SUB 00000b3f: SWAP1 00000b40: DUP2 00000b41: AND 00000b42: SWAP2 00000b43: AND 00000b44: EQ 00000b45: PUSH2 0x0b4d 00000b48: JUMPI 00000b49: PUSH1 0x00 00000b4b: DUP1 00000b4c: REVERT 00000b4d: JUMPDEST 00000b4e: PUSH1 0x00 00000b50: SLOAD 00000b51: PUSH1 0xa0 00000b53: PUSH1 0x02 00000b55: EXP 00000b56: SWAP1 00000b57: DIV 00000b58: PUSH1 0xff 00000b5a: AND 00000b5b: ISZERO 00000b5c: ISZERO 00000b5d: PUSH2 0x0b65 00000b60: JUMPI 00000b61: PUSH1 0x00 00000b63: DUP1 00000b64: REVERT 00000b65: JUMPDEST 00000b66: PUSH1 0x03 00000b68: SLOAD 00000b69: PUSH1 0x01 00000b6b: PUSH1 0xa0 00000b6d: PUSH1 0x02 00000b6f: EXP 00000b70: SUB 00000b71: AND 00000b72: PUSH4 0xa22d5a51 00000b77: DUP3 00000b78: PUSH1 0x40 00000b7a: MLOAD 00000b7b: PUSH1 0xe0 00000b7d: PUSH1 0x02 00000b7f: EXP 00000b80: PUSH4 0xffffffff 00000b85: DUP5 00000b86: AND 00000b87: MUL 00000b88: DUP2 00000b89: MSTORE 00000b8a: PUSH2 0xffff 00000b8d: SWAP1 00000b8e: SWAP2 00000b8f: AND 00000b90: PUSH1 0x04 00000b92: DUP3 00000b93: ADD 00000b94: MSTORE 00000b95: PUSH1 0x24 00000b97: ADD 00000b98: PUSH1 0x00 00000b9a: PUSH1 0x40 00000b9c: MLOAD 00000b9d: DUP1 00000b9e: DUP4 00000b9f: SUB 00000ba0: DUP2 00000ba1: PUSH1 0x00 00000ba3: DUP8 00000ba4: DUP1 00000ba5: EXTCODESIZE 00000ba6: ISZERO 00000ba7: ISZERO 00000ba8: PUSH2 0x0bb0 00000bab: JUMPI 00000bac: PUSH1 0x00 00000bae: DUP1 00000baf: REVERT 00000bb0: JUMPDEST 00000bb1: GAS 00000bb2: CALL 00000bb3: ISZERO 00000bb4: ISZERO 00000bb5: PUSH2 0x0bbd 00000bb8: JUMPI 00000bb9: PUSH1 0x00 00000bbb: DUP1 00000bbc: REVERT 00000bbd: JUMPDEST 00000bbe: POP 00000bbf: POP 00000bc0: POP 00000bc1: POP 00000bc2: JUMP 00000bc3: JUMPDEST 00000bc4: PUSH1 0x00 00000bc6: SLOAD 00000bc7: CALLER 00000bc8: PUSH1 0x01 00000bca: PUSH1 0xa0 00000bcc: PUSH1 0x02 00000bce: EXP 00000bcf: SUB 00000bd0: SWAP1 00000bd1: DUP2 00000bd2: AND 00000bd3: SWAP2 00000bd4: AND 00000bd5: EQ 00000bd6: PUSH2 0x0bde 00000bd9: JUMPI 00000bda: PUSH1 0x00 00000bdc: DUP1 00000bdd: REVERT 00000bde: JUMPDEST 00000bdf: PUSH1 0x00 00000be1: SLOAD 00000be2: PUSH1 0xa0 00000be4: PUSH1 0x02 00000be6: EXP 00000be7: SWAP1 00000be8: DIV 00000be9: PUSH1 0xff 00000beb: AND 00000bec: ISZERO 00000bed: PUSH2 0x0bf5 00000bf0: JUMPI 00000bf1: PUSH1 0x00 00000bf3: DUP1 00000bf4: REVERT 00000bf5: JUMPDEST 00000bf6: PUSH1 0x03 00000bf8: SLOAD 00000bf9: PUSH1 0x01 00000bfb: PUSH1 0xa0 00000bfd: PUSH1 0x02 00000bff: EXP 00000c00: SUB 00000c01: AND 00000c02: PUSH4 0xa7cebd4d 00000c07: DUP7 00000c08: DUP7 00000c09: DUP7 00000c0a: DUP7 00000c0b: DUP7 00000c0c: PUSH1 0x40 00000c0e: MLOAD 00000c0f: PUSH1 0xe0 00000c11: PUSH1 0x02 00000c13: EXP 00000c14: PUSH4 0xffffffff 00000c19: DUP9 00000c1a: AND 00000c1b: MUL 00000c1c: DUP2 00000c1d: MSTORE 00000c1e: PUSH2 0xffff 00000c21: SWAP6 00000c22: DUP7 00000c23: AND 00000c24: PUSH1 0x04 00000c26: DUP3 00000c27: ADD 00000c28: MSTORE 00000c29: SWAP4 00000c2a: SWAP1 00000c2b: SWAP5 00000c2c: AND 00000c2d: PUSH1 0x24 00000c2f: DUP5 00000c30: ADD 00000c31: MSTORE 00000c32: PUSH16 0xffffffffffffffffffffffffffffffff 00000c43: SWAP1 00000c44: SWAP2 00000c45: AND 00000c46: PUSH1 0x44 00000c48: DUP4 00000c49: ADD 00000c4a: MSTORE 00000c4b: PUSH8 0xffffffffffffffff 00000c54: SWAP1 00000c55: DUP2 00000c56: AND 00000c57: PUSH1 0x64 00000c59: DUP4 00000c5a: ADD 00000c5b: MSTORE 00000c5c: SWAP2 00000c5d: SWAP1 00000c5e: SWAP2 00000c5f: AND 00000c60: PUSH1 0x84 00000c62: DUP3 00000c63: ADD 00000c64: MSTORE 00000c65: PUSH1 0xa4 00000c67: ADD 00000c68: PUSH1 0x00 00000c6a: PUSH1 0x40 00000c6c: MLOAD 00000c6d: DUP1 00000c6e: DUP4 00000c6f: SUB 00000c70: DUP2 00000c71: PUSH1 0x00 00000c73: DUP8 00000c74: DUP1 00000c75: EXTCODESIZE 00000c76: ISZERO 00000c77: ISZERO 00000c78: PUSH2 0x0c80 00000c7b: JUMPI 00000c7c: PUSH1 0x00 00000c7e: DUP1 00000c7f: REVERT 00000c80: JUMPDEST 00000c81: GAS 00000c82: CALL 00000c83: ISZERO 00000c84: ISZERO 00000c85: PUSH2 0x0c8d 00000c88: JUMPI 00000c89: PUSH1 0x00 00000c8b: DUP1 00000c8c: REVERT 00000c8d: JUMPDEST 00000c8e: POP 00000c8f: POP 00000c90: POP 00000c91: PUSH32 0xe4f5fd0349c3ee5c3d79f73440e2304b49ff2aae9b05d1e65b8c99d596dc0326 00000cb2: DUP6 00000cb3: PUSH1 0x40 00000cb5: MLOAD 00000cb6: PUSH2 0xffff 00000cb9: SWAP1 00000cba: SWAP2 00000cbb: AND 00000cbc: DUP2 00000cbd: MSTORE 00000cbe: PUSH1 0x20 00000cc0: ADD 00000cc1: PUSH1 0x40 00000cc3: MLOAD 00000cc4: DUP1 00000cc5: SWAP2 00000cc6: SUB 00000cc7: SWAP1 00000cc8: LOG1 00000cc9: POP 00000cca: POP 00000ccb: POP 00000ccc: POP 00000ccd: POP 00000cce: JUMP 00000ccf: JUMPDEST 00000cd0: PUSH1 0x00 00000cd2: DUP1 00000cd3: SLOAD 00000cd4: CALLER 00000cd5: PUSH1 0x01 00000cd7: PUSH1 0xa0 00000cd9: PUSH1 0x02 00000cdb: EXP 00000cdc: SUB 00000cdd: SWAP1 00000cde: DUP2 00000cdf: AND 00000ce0: SWAP2 00000ce1: AND 00000ce2: EQ 00000ce3: PUSH2 0x0ceb 00000ce6: JUMPI 00000ce7: PUSH1 0x00 00000ce9: DUP1 00000cea: REVERT 00000ceb: JUMPDEST 00000cec: PUSH1 0x00 00000cee: SLOAD 00000cef: PUSH1 0xa0 00000cf1: PUSH1 0x02 00000cf3: EXP 00000cf4: SWAP1 00000cf5: DIV 00000cf6: PUSH1 0xff 00000cf8: AND 00000cf9: ISZERO 00000cfa: ISZERO 00000cfb: PUSH2 0x0d03 00000cfe: JUMPI 00000cff: PUSH1 0x00 00000d01: DUP1 00000d02: REVERT 00000d03: JUMPDEST 00000d04: PUSH1 0x02 00000d06: SLOAD 00000d07: PUSH1 0x01 00000d09: PUSH1 0xa0 00000d0b: PUSH1 0x02 00000d0d: EXP 00000d0e: SUB 00000d0f: AND 00000d10: PUSH4 0x8da5cb5b 00000d15: PUSH1 0x40 00000d17: MLOAD 00000d18: DUP2 00000d19: PUSH4 0xffffffff 00000d1e: AND 00000d1f: PUSH1 0xe0 00000d21: PUSH1 0x02 00000d23: EXP 00000d24: MUL 00000d25: DUP2 00000d26: MSTORE 00000d27: PUSH1 0x04 00000d29: ADD 00000d2a: PUSH1 0x20 00000d2c: PUSH1 0x40 00000d2e: MLOAD 00000d2f: DUP1 00000d30: DUP4 00000d31: SUB 00000d32: DUP2 00000d33: PUSH1 0x00 00000d35: DUP8 00000d36: DUP1 00000d37: EXTCODESIZE 00000d38: ISZERO 00000d39: ISZERO 00000d3a: PUSH2 0x0d42 00000d3d: JUMPI 00000d3e: PUSH1 0x00 00000d40: DUP1 00000d41: REVERT 00000d42: JUMPDEST 00000d43: GAS 00000d44: CALL 00000d45: ISZERO 00000d46: ISZERO 00000d47: PUSH2 0x0d4f 00000d4a: JUMPI 00000d4b: PUSH1 0x00 00000d4d: DUP1 00000d4e: REVERT 00000d4f: JUMPDEST 00000d50: POP 00000d51: POP 00000d52: POP 00000d53: PUSH1 0x40 00000d55: MLOAD 00000d56: DUP1 00000d57: MLOAD 00000d58: SWAP1 00000d59: POP 00000d5a: SWAP1 00000d5b: POP 00000d5c: ADDRESS 00000d5d: PUSH1 0x01 00000d5f: PUSH1 0xa0 00000d61: PUSH1 0x02 00000d63: EXP 00000d64: SUB 00000d65: AND 00000d66: DUP2 00000d67: PUSH1 0x01 00000d69: PUSH1 0xa0 00000d6b: PUSH1 0x02 00000d6d: EXP 00000d6e: SUB 00000d6f: AND 00000d70: EQ 00000d71: ISZERO 00000d72: ISZERO 00000d73: ISZERO 00000d74: PUSH2 0x0d7c 00000d77: JUMPI 00000d78: PUSH1 0x00 00000d7a: DUP1 00000d7b: REVERT 00000d7c: JUMPDEST 00000d7d: DUP1 00000d7e: PUSH1 0x01 00000d80: PUSH1 0xa0 00000d82: PUSH1 0x02 00000d84: EXP 00000d85: SUB 00000d86: AND 00000d87: SELFDESTRUCT 00000d88: JUMPDEST 00000d89: PUSH1 0x01 00000d8b: SLOAD 00000d8c: PUSH1 0x00 00000d8e: DUP1 00000d8f: SLOAD 00000d90: SWAP1 00000d91: SWAP2 00000d92: PUSH1 0x01 00000d94: PUSH1 0xa0 00000d96: PUSH1 0x02 00000d98: EXP 00000d99: SUB 00000d9a: SWAP1 00000d9b: DUP2 00000d9c: AND 00000d9d: SWAP2 00000d9e: DUP4 00000d9f: SWAP2 00000da0: CALLER 00000da1: DUP2 00000da2: AND 00000da3: SWAP2 00000da4: AND 00000da5: EQ 00000da6: DUP1 00000da7: PUSH2 0x0dc1 00000daa: JUMPI 00000dab: POP 00000dac: DUP2 00000dad: PUSH1 0x01 00000daf: PUSH1 0xa0 00000db1: PUSH1 0x02 00000db3: EXP 00000db4: SUB 00000db5: AND 00000db6: CALLER 00000db7: PUSH1 0x01 00000db9: PUSH1 0xa0 00000dbb: PUSH1 0x02 00000dbd: EXP 00000dbe: SUB 00000dbf: AND 00000dc0: EQ 00000dc1: JUMPDEST 00000dc2: ISZERO 00000dc3: ISZERO 00000dc4: PUSH2 0x0dcc 00000dc7: JUMPI 00000dc8: PUSH1 0x00 00000dca: DUP1 00000dcb: REVERT 00000dcc: JUMPDEST 00000dcd: PUSH1 0x02 00000dcf: SLOAD 00000dd0: PUSH1 0x01 00000dd2: PUSH1 0xa0 00000dd4: PUSH1 0x02 00000dd6: EXP 00000dd7: SUB 00000dd8: AND 00000dd9: PUSH4 0x5fd8c710 00000dde: PUSH1 0x40 00000de0: MLOAD 00000de1: DUP2 00000de2: PUSH4 0xffffffff 00000de7: AND 00000de8: PUSH1 0xe0 00000dea: PUSH1 0x02 00000dec: EXP 00000ded: MUL 00000dee: DUP2 00000def: MSTORE 00000df0: PUSH1 0x04 00000df2: ADD 00000df3: PUSH1 0x20 00000df5: PUSH1 0x40 00000df7: MLOAD 00000df8: DUP1 00000df9: DUP4 00000dfa: SUB 00000dfb: DUP2 00000dfc: PUSH1 0x00 00000dfe: DUP8 00000dff: DUP1 00000e00: EXTCODESIZE 00000e01: ISZERO 00000e02: ISZERO 00000e03: PUSH2 0x0e0b 00000e06: JUMPI 00000e07: PUSH1 0x00 00000e09: DUP1 00000e0a: REVERT 00000e0b: JUMPDEST 00000e0c: GAS 00000e0d: CALL 00000e0e: ISZERO 00000e0f: ISZERO 00000e10: PUSH2 0x0e18 00000e13: JUMPI 00000e14: PUSH1 0x00 00000e16: DUP1 00000e17: REVERT 00000e18: JUMPDEST 00000e19: POP 00000e1a: POP 00000e1b: POP 00000e1c: PUSH1 0x40 00000e1e: MLOAD 00000e1f: DUP1 00000e20: MLOAD 00000e21: SWAP5 00000e22: SWAP4 00000e23: POP 00000e24: POP 00000e25: POP 00000e26: POP 00000e27: JUMP 00000e28: JUMPDEST 00000e29: PUSH1 0x01 00000e2b: SLOAD 00000e2c: PUSH1 0x01 00000e2e: PUSH1 0xa0 00000e30: PUSH1 0x02 00000e32: EXP 00000e33: SUB 00000e34: AND 00000e35: DUP2 00000e36: JUMP 00000e37: JUMPDEST 00000e38: PUSH1 0x00 00000e3a: SLOAD 00000e3b: CALLER 00000e3c: PUSH1 0x01 00000e3e: PUSH1 0xa0 00000e40: PUSH1 0x02 00000e42: EXP 00000e43: SUB 00000e44: SWAP1 00000e45: DUP2 00000e46: AND 00000e47: SWAP2 00000e48: AND 00000e49: EQ 00000e4a: PUSH2 0x0e52 00000e4d: JUMPI 00000e4e: PUSH1 0x00 00000e50: DUP1 00000e51: REVERT 00000e52: JUMPDEST 00000e53: PUSH1 0x01 00000e55: PUSH1 0xa0 00000e57: PUSH1 0x02 00000e59: EXP 00000e5a: SUB 00000e5b: DUP2 00000e5c: AND 00000e5d: ISZERO 00000e5e: ISZERO 00000e5f: PUSH2 0x0e67 00000e62: JUMPI 00000e63: PUSH1 0x00 00000e65: DUP1 00000e66: REVERT 00000e67: JUMPDEST 00000e68: PUSH1 0x00 00000e6a: SLOAD 00000e6b: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000e8c: SWAP1 00000e8d: PUSH1 0x01 00000e8f: PUSH1 0xa0 00000e91: PUSH1 0x02 00000e93: EXP 00000e94: SUB 00000e95: AND 00000e96: DUP3 00000e97: PUSH1 0x40 00000e99: MLOAD 00000e9a: PUSH1 0x01 00000e9c: PUSH1 0xa0 00000e9e: PUSH1 0x02 00000ea0: EXP 00000ea1: SUB 00000ea2: SWAP3 00000ea3: DUP4 00000ea4: AND 00000ea5: DUP2 00000ea6: MSTORE 00000ea7: SWAP2 00000ea8: AND 00000ea9: PUSH1 0x20 00000eab: DUP3 00000eac: ADD 00000ead: MSTORE 00000eae: PUSH1 0x40 00000eb0: SWAP1 00000eb1: DUP2 00000eb2: ADD 00000eb3: SWAP1 00000eb4: MLOAD 00000eb5: DUP1 00000eb6: SWAP2 00000eb7: SUB 00000eb8: SWAP1 00000eb9: LOG1 00000eba: PUSH1 0x00 00000ebc: DUP1 00000ebd: SLOAD 00000ebe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ed3: NOT 00000ed4: AND 00000ed5: PUSH1 0x01 00000ed7: PUSH1 0xa0 00000ed9: PUSH1 0x02 00000edb: EXP 00000edc: SUB 00000edd: SWAP3 00000ede: SWAP1 00000edf: SWAP3 00000ee0: AND 00000ee1: SWAP2 00000ee2: SWAP1 00000ee3: SWAP2 00000ee4: OR 00000ee5: SWAP1 00000ee6: SSTORE 00000ee7: JUMP 00000ee8: JUMPDEST 00000ee9: PUSH1 0x00 00000eeb: SLOAD 00000eec: CALLER 00000eed: PUSH1 0x01 00000eef: PUSH1 0xa0 00000ef1: PUSH1 0x02 00000ef3: EXP 00000ef4: SUB 00000ef5: SWAP1 00000ef6: DUP2 00000ef7: AND 00000ef8: SWAP2 00000ef9: AND 00000efa: EQ 00000efb: PUSH2 0x0f03 00000efe: JUMPI 00000eff: PUSH1 0x00 00000f01: DUP1 00000f02: REVERT 00000f03: JUMPDEST 00000f04: PUSH1 0x00 00000f06: SLOAD 00000f07: PUSH1 0xa0 00000f09: PUSH1 0x02 00000f0b: EXP 00000f0c: SWAP1 00000f0d: DIV 00000f0e: PUSH1 0xff 00000f10: AND 00000f11: ISZERO 00000f12: ISZERO 00000f13: PUSH2 0x0f1b 00000f16: JUMPI 00000f17: PUSH1 0x00 00000f19: DUP1 00000f1a: REVERT 00000f1b: JUMPDEST 00000f1c: PUSH1 0x00 00000f1e: DUP1 00000f1f: SLOAD 00000f20: PUSH21 0xff0000000000000000000000000000000000000000 00000f36: NOT 00000f37: AND 00000f38: SWAP1 00000f39: SSTORE 00000f3a: PUSH32 0x7805862f689e2f13df9f062ff482ad3ad112aca9e0847911ed832e158c525b33 00000f5b: PUSH1 0x40 00000f5d: MLOAD 00000f5e: PUSH1 0x40 00000f60: MLOAD 00000f61: DUP1 00000f62: SWAP2 00000f63: SUB 00000f64: SWAP1 00000f65: LOG1 00000f66: JUMP 00000f67: STOP 00000f68: LOG1 00000f69: PUSH6 0x627a7a723058 00000f70: KECCAK256 00000f71: UNKNOWN(0xA9) 00000f72: UNKNOWN(0xD9) 00000f73: SWAP16 00000f74: UNKNOWN(0xCE) 00000f75: UNKNOWN(0xA9) 00000f76: STATICCALL 00000f77: UNKNOWN(0x0F) 00000f78: GT 00000f79: DUP3 00000f7a: UNKNOWN(0xD4) 00000f7b: PUSH22 0x5154fbafaec89a7fbaab397bbf64ffe80fd4cbd29600 00000f92: UNKNOWN(0x29)
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x8cdda5c790da1ee077a928dd3d6f78d3f32f1ac511aac035d03fb57a20f12756
call_targets:
0xce26ead209ba9c7bf9f80312555834d81bf11a08
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x8cdda5c790da1ee077a928dd3d6f78d3f32f1ac511aac035d03fb57a20f12756",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xce26ead209ba9c7bf9f80312555834d81bf11a08"
],
"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": "0x11ce0267",
"selector": "0x11ce0267",
"calldata_variants": [
"0x11ce0267",
"0x11ce02670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2020e9ea",
"selector": "0x2020e9ea",
"calldata_variants": [
"0x2020e9ea",
"0x2020e9ea0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2aed7f3f",
"selector": "0x2aed7f3f",
"calldata_variants": [
"0x2aed7f3f",
"0x2aed7f3f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3a01e53a",
"selector": "0x3a01e53a",
"calldata_variants": [
"0x3a01e53a",
"0x3a01e53a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3f4ba83a",
"selector": "0x3f4ba83a",
"calldata_variants": [
"0x3f4ba83a",
"0x3f4ba83a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c975abb",
"selector": "0x5c975abb",
"calldata_variants": [
"0x5c975abb",
"0x5c975abb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5fd8c710",
"selector": "0x5fd8c710",
"calldata_variants": [
"0x5fd8c710",
"0x5fd8c7100000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x69d03738",
"selector": "0x69d03738",
"calldata_variants": [
"0x69d03738",
"0x69d037380000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 937,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1189,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1329,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 14,
"guards_detected": [],
"untrusted_call_count": 14
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x8cdda5c790da1ee077a928dd3d6f78d3f32f1ac511aac035d03fb57a20f12756
call_targets:
0xce26ead209ba9c7bf9f80312555834d81bf11a08
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x8cdda5c790da1ee077a928dd3d6f78d3f32f1ac511aac035d03fb57a20f12756",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xce26ead209ba9c7bf9f80312555834d81bf11a08"
],
"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": "0x11ce0267",
"selector": "0x11ce0267",
"calldata_variants": [
"0x11ce0267",
"0x11ce02670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2020e9ea",
"selector": "0x2020e9ea",
"calldata_variants": [
"0x2020e9ea",
"0x2020e9ea0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2aed7f3f",
"selector": "0x2aed7f3f",
"calldata_variants": [
"0x2aed7f3f",
"0x2aed7f3f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3a01e53a",
"selector": "0x3a01e53a",
"calldata_variants": [
"0x3a01e53a",
"0x3a01e53a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3f4ba83a",
"selector": "0x3f4ba83a",
"calldata_variants": [
"0x3f4ba83a",
"0x3f4ba83a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c975abb",
"selector": "0x5c975abb",
"calldata_variants": [
"0x5c975abb",
"0x5c975abb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5fd8c710",
"selector": "0x5fd8c710",
"calldata_variants": [
"0x5fd8c710",
"0x5fd8c7100000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x69d03738",
"selector": "0x69d03738",
"calldata_variants": [
"0x69d03738",
"0x69d037380000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 937,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1189,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1329,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 14,
"guards_detected": []
}
|
| high | other | detector | SELFDESTRUCT reachable | 65 | no | no |
viewtrace_id: 0xa91595ae2313185193851e26c891b2e969cc0bef244bc37f0760be9cdb23fa00
validation_json{
"sink": "SELFDESTRUCT",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0xa91595ae2313185193851e26c891b2e969cc0bef244bc37f0760be9cdb23fa00",
"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": "0x11ce0267",
"selector": "0x11ce0267",
"calldata_variants": [
"0x11ce0267",
"0x11ce02670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2020e9ea",
"selector": "0x2020e9ea",
"calldata_variants": [
"0x2020e9ea",
"0x2020e9ea0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2aed7f3f",
"selector": "0x2aed7f3f",
"calldata_variants": [
"0x2aed7f3f",
"0x2aed7f3f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3a01e53a",
"selector": "0x3a01e53a",
"calldata_variants": [
"0x3a01e53a",
"0x3a01e53a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3f4ba83a",
"selector": "0x3f4ba83a",
"calldata_variants": [
"0x3f4ba83a",
"0x3f4ba83a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c975abb",
"selector": "0x5c975abb",
"calldata_variants": [
"0x5c975abb",
"0x5c975abb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5fd8c710",
"selector": "0x5fd8c710",
"calldata_variants": [
"0x5fd8c710",
"0x5fd8c7100000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x69d03738",
"selector": "0x69d03738",
"calldata_variants": [
"0x69d03738",
"0x69d037380000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [],
"selfdestruct_count": 2
}
|