019ba928-f72c-71d8-9f31-0523e03eae6e
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 |
|---|---|---|---|---|
| 35130 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 35131 | proxy.resolve | complete | 1 / 3 | 3 months ago |
| 35132 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 35133 | analysis.bundle | complete | 1 / 3 | 3 months ago |
| 35134 | capability.graph | complete | 1 / 3 | 3 months ago |
| 35135 | detector.run | complete | 1 / 3 | 3 months ago |
| 35136 | 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: CALLVALUE 00000006: DUP1 00000007: ISZERO 00000008: PUSH2 0x0010 0000000b: JUMPI 0000000c: PUSH1 0x00 0000000e: DUP1 0000000f: REVERT 00000010: JUMPDEST 00000011: POP 00000012: PUSH1 0x04 00000014: CALLDATASIZE 00000015: LT 00000016: PUSH2 0x00ea 00000019: JUMPI 0000001a: PUSH1 0x00 0000001c: CALLDATALOAD 0000001d: PUSH1 0xe0 0000001f: SHR 00000020: DUP1 00000021: PUSH4 0x8a471df9 00000026: GT 00000027: PUSH2 0x008c 0000002a: JUMPI 0000002b: DUP1 0000002c: PUSH4 0xbec61462 00000031: GT 00000032: PUSH2 0x0066 00000035: JUMPI 00000036: DUP1 00000037: PUSH4 0xbec61462 0000003c: EQ 0000003d: PUSH2 0x021a 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0xbf7e214f 00000047: EQ 00000048: PUSH2 0x0237 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0xc9d4623f 00000052: EQ 00000053: PUSH2 0x023f 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0xf3fef3a3 0000005d: EQ 0000005e: PUSH2 0x0247 00000061: JUMPI 00000062: PUSH2 0x00ea 00000065: JUMP 00000066: JUMPDEST 00000067: DUP1 00000068: PUSH4 0x8a471df9 0000006d: EQ 0000006e: PUSH2 0x0195 00000071: JUMPI 00000072: DUP1 00000073: PUSH4 0x8da5cb5b 00000078: EQ 00000079: PUSH2 0x019d 0000007c: JUMPI 0000007d: DUP1 0000007e: PUSH4 0xb1ffd471 00000083: EQ 00000084: PUSH2 0x01a5 00000087: JUMPI 00000088: PUSH2 0x00ea 0000008b: JUMP 0000008c: JUMPDEST 0000008d: DUP1 0000008e: PUSH4 0x365a86fc 00000093: GT 00000094: PUSH2 0x00c8 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0x365a86fc 0000009e: EQ 0000009f: PUSH2 0x0157 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0x54fd4d50 000000a9: EQ 000000aa: PUSH2 0x015f 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0x7a9e5e4b 000000b4: EQ 000000b5: PUSH2 0x0167 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0x7b103999 000000bf: EQ 000000c0: PUSH2 0x018d 000000c3: JUMPI 000000c4: PUSH2 0x00ea 000000c7: JUMP 000000c8: JUMPDEST 000000c9: DUP1 000000ca: PUSH4 0x13af4035 000000cf: EQ 000000d0: PUSH2 0x00ef 000000d3: JUMPI 000000d4: DUP1 000000d5: PUSH4 0x158ef93e 000000da: EQ 000000db: PUSH2 0x0117 000000de: JUMPI 000000df: DUP1 000000e0: PUSH4 0x20531bc9 000000e5: EQ 000000e6: PUSH2 0x0133 000000e9: JUMPI 000000ea: JUMPDEST 000000eb: PUSH1 0x00 000000ed: DUP1 000000ee: REVERT 000000ef: JUMPDEST 000000f0: PUSH2 0x0115 000000f3: PUSH1 0x04 000000f5: DUP1 000000f6: CALLDATASIZE 000000f7: SUB 000000f8: PUSH1 0x20 000000fa: DUP2 000000fb: LT 000000fc: ISZERO 000000fd: PUSH2 0x0105 00000100: JUMPI 00000101: PUSH1 0x00 00000103: DUP1 00000104: REVERT 00000105: JUMPDEST 00000106: POP 00000107: CALLDATALOAD 00000108: PUSH1 0x01 0000010a: PUSH1 0x01 0000010c: PUSH1 0xa0 0000010e: SHL 0000010f: SUB 00000110: AND 00000111: PUSH2 0x0273 00000114: JUMP 00000115: JUMPDEST 00000116: STOP 00000117: JUMPDEST 00000118: PUSH2 0x011f 0000011b: PUSH2 0x0321 0000011e: JUMP 0000011f: JUMPDEST 00000120: PUSH1 0x40 00000122: DUP1 00000123: MLOAD 00000124: SWAP2 00000125: ISZERO 00000126: ISZERO 00000127: DUP3 00000128: MSTORE 00000129: MLOAD 0000012a: SWAP1 0000012b: DUP2 0000012c: SWAP1 0000012d: SUB 0000012e: PUSH1 0x20 00000130: ADD 00000131: SWAP1 00000132: RETURN 00000133: JUMPDEST 00000134: PUSH2 0x013b 00000137: PUSH2 0x032a 0000013a: JUMP 0000013b: JUMPDEST 0000013c: PUSH1 0x40 0000013e: DUP1 0000013f: MLOAD 00000140: PUSH1 0x01 00000142: PUSH1 0x01 00000144: PUSH1 0xa0 00000146: SHL 00000147: SUB 00000148: SWAP1 00000149: SWAP3 0000014a: AND 0000014b: DUP3 0000014c: MSTORE 0000014d: MLOAD 0000014e: SWAP1 0000014f: DUP2 00000150: SWAP1 00000151: SUB 00000152: PUSH1 0x20 00000154: ADD 00000155: SWAP1 00000156: RETURN 00000157: JUMPDEST 00000158: PUSH2 0x013b 0000015b: PUSH2 0x03a0 0000015e: JUMP 0000015f: JUMPDEST 00000160: PUSH2 0x013b 00000163: PUSH2 0x03af 00000166: JUMP 00000167: JUMPDEST 00000168: PUSH2 0x0115 0000016b: PUSH1 0x04 0000016d: DUP1 0000016e: CALLDATASIZE 0000016f: SUB 00000170: PUSH1 0x20 00000172: DUP2 00000173: LT 00000174: ISZERO 00000175: PUSH2 0x017d 00000178: JUMPI 00000179: PUSH1 0x00 0000017b: DUP1 0000017c: REVERT 0000017d: JUMPDEST 0000017e: POP 0000017f: CALLDATALOAD 00000180: PUSH1 0x01 00000182: PUSH1 0x01 00000184: PUSH1 0xa0 00000186: SHL 00000187: SUB 00000188: AND 00000189: PUSH2 0x03be 0000018c: JUMP 0000018d: JUMPDEST 0000018e: PUSH2 0x013b 00000191: PUSH2 0x0468 00000194: JUMP 00000195: JUMPDEST 00000196: PUSH2 0x013b 00000199: PUSH2 0x0477 0000019c: JUMP 0000019d: JUMPDEST 0000019e: PUSH2 0x013b 000001a1: PUSH2 0x0486 000001a4: JUMP 000001a5: JUMPDEST 000001a6: PUSH2 0x01ad 000001a9: PUSH2 0x0495 000001ac: JUMP 000001ad: JUMPDEST 000001ae: PUSH1 0x40 000001b0: DUP1 000001b1: MLOAD 000001b2: PUSH1 0x01 000001b4: PUSH1 0x01 000001b6: PUSH1 0xa0 000001b8: SHL 000001b9: SUB 000001ba: SWAP13 000001bb: DUP14 000001bc: AND 000001bd: DUP2 000001be: MSTORE 000001bf: SWAP11 000001c0: DUP13 000001c1: AND 000001c2: PUSH1 0x20 000001c4: DUP13 000001c5: ADD 000001c6: MSTORE 000001c7: SWAP9 000001c8: DUP12 000001c9: AND 000001ca: DUP11 000001cb: DUP11 000001cc: ADD 000001cd: MSTORE 000001ce: SWAP7 000001cf: DUP11 000001d0: AND 000001d1: PUSH1 0x60 000001d3: DUP11 000001d4: ADD 000001d5: MSTORE 000001d6: SWAP5 000001d7: DUP10 000001d8: AND 000001d9: PUSH1 0x80 000001db: DUP10 000001dc: ADD 000001dd: MSTORE 000001de: SWAP3 000001df: DUP9 000001e0: AND 000001e1: PUSH1 0xa0 000001e3: DUP9 000001e4: ADD 000001e5: MSTORE 000001e6: SWAP1 000001e7: DUP8 000001e8: AND 000001e9: PUSH1 0xc0 000001eb: DUP8 000001ec: ADD 000001ed: MSTORE 000001ee: DUP7 000001ef: AND 000001f0: PUSH1 0xe0 000001f2: DUP7 000001f3: ADD 000001f4: MSTORE 000001f5: DUP6 000001f6: AND 000001f7: PUSH2 0x0100 000001fa: DUP6 000001fb: ADD 000001fc: MSTORE 000001fd: DUP5 000001fe: AND 000001ff: PUSH2 0x0120 00000202: DUP5 00000203: ADD 00000204: MSTORE 00000205: SWAP1 00000206: SWAP3 00000207: AND 00000208: PUSH2 0x0140 0000020b: DUP3 0000020c: ADD 0000020d: MSTORE 0000020e: SWAP1 0000020f: MLOAD 00000210: SWAP1 00000211: DUP2 00000212: SWAP1 00000213: SUB 00000214: PUSH2 0x0160 00000217: ADD 00000218: SWAP1 00000219: RETURN 0000021a: JUMPDEST 0000021b: PUSH2 0x0115 0000021e: PUSH1 0x04 00000220: DUP1 00000221: CALLDATASIZE 00000222: SUB 00000223: PUSH2 0x0160 00000226: DUP2 00000227: LT 00000228: ISZERO 00000229: PUSH2 0x0231 0000022c: JUMPI 0000022d: PUSH1 0x00 0000022f: DUP1 00000230: REVERT 00000231: JUMPDEST 00000232: POP 00000233: PUSH2 0x04ea 00000236: JUMP 00000237: JUMPDEST 00000238: PUSH2 0x013b 0000023b: PUSH2 0x0819 0000023e: JUMP 0000023f: JUMPDEST 00000240: PUSH2 0x013b 00000243: PUSH2 0x0828 00000246: JUMP 00000247: JUMPDEST 00000248: PUSH2 0x0115 0000024b: PUSH1 0x04 0000024d: DUP1 0000024e: CALLDATASIZE 0000024f: SUB 00000250: PUSH1 0x40 00000252: DUP2 00000253: LT 00000254: ISZERO 00000255: PUSH2 0x025d 00000258: JUMPI 00000259: PUSH1 0x00 0000025b: DUP1 0000025c: REVERT 0000025d: JUMPDEST 0000025e: POP 0000025f: PUSH1 0x01 00000261: PUSH1 0x01 00000263: PUSH1 0xa0 00000265: SHL 00000266: SUB 00000267: DUP2 00000268: CALLDATALOAD 00000269: AND 0000026a: SWAP1 0000026b: PUSH1 0x20 0000026d: ADD 0000026e: CALLDATALOAD 0000026f: PUSH2 0x0837 00000272: JUMP 00000273: JUMPDEST 00000274: PUSH2 0x0289 00000277: CALLER 00000278: PUSH1 0x00 0000027a: CALLDATALOAD 0000027b: PUSH1 0x01 0000027d: PUSH1 0x01 0000027f: PUSH1 0xe0 00000281: SHL 00000282: SUB 00000283: NOT 00000284: AND 00000285: PUSH2 0x08a4 00000288: JUMP 00000289: JUMPDEST 0000028a: PUSH2 0x02d1 0000028d: JUMPI 0000028e: PUSH1 0x40 00000290: DUP1 00000291: MLOAD 00000292: PUSH3 0x461bcd 00000296: PUSH1 0xe5 00000298: SHL 00000299: DUP2 0000029a: MSTORE 0000029b: PUSH1 0x20 0000029d: PUSH1 0x04 0000029f: DUP3 000002a0: ADD 000002a1: MSTORE 000002a2: PUSH1 0x14 000002a4: PUSH1 0x24 000002a6: DUP3 000002a7: ADD 000002a8: MSTORE 000002a9: PUSH20 0x191ccb585d5d1a0b5d5b985d5d1a1bdc9a5e9959 000002be: PUSH1 0x62 000002c0: SHL 000002c1: PUSH1 0x44 000002c3: DUP3 000002c4: ADD 000002c5: MSTORE 000002c6: SWAP1 000002c7: MLOAD 000002c8: SWAP1 000002c9: DUP2 000002ca: SWAP1 000002cb: SUB 000002cc: PUSH1 0x64 000002ce: ADD 000002cf: SWAP1 000002d0: REVERT 000002d1: JUMPDEST 000002d2: PUSH1 0x01 000002d4: DUP1 000002d5: SLOAD 000002d6: PUSH1 0x01 000002d8: PUSH1 0x01 000002da: PUSH1 0xa0 000002dc: SHL 000002dd: SUB 000002de: NOT 000002df: AND 000002e0: PUSH1 0x01 000002e2: PUSH1 0x01 000002e4: PUSH1 0xa0 000002e6: SHL 000002e7: SUB 000002e8: DUP4 000002e9: DUP2 000002ea: AND 000002eb: SWAP2 000002ec: SWAP1 000002ed: SWAP2 000002ee: OR 000002ef: SWAP2 000002f0: DUP3 000002f1: SWAP1 000002f2: SSTORE 000002f3: PUSH1 0x40 000002f5: MLOAD 000002f6: SWAP2 000002f7: AND 000002f8: SWAP1 000002f9: PUSH32 0xce241d7ca1f669fee44b6fc00b8eba2df3bb514eed0f6f668f8f89096e81ed94 0000031a: SWAP1 0000031b: PUSH1 0x00 0000031d: SWAP1 0000031e: LOG2 0000031f: POP 00000320: JUMP 00000321: JUMPDEST 00000322: PUSH1 0x0e 00000324: SLOAD 00000325: PUSH1 0xff 00000327: AND 00000328: DUP2 00000329: JUMP 0000032a: JUMPDEST 0000032b: PUSH1 0x02 0000032d: SLOAD 0000032e: PUSH1 0x40 00000330: DUP1 00000331: MLOAD 00000332: PUSH4 0x20531bc9 00000337: PUSH1 0xe0 00000339: SHL 0000033a: DUP2 0000033b: MSTORE 0000033c: SWAP1 0000033d: MLOAD 0000033e: PUSH1 0x00 00000340: SWAP3 00000341: PUSH1 0x01 00000343: PUSH1 0x01 00000345: PUSH1 0xa0 00000347: SHL 00000348: SUB 00000349: AND 0000034a: SWAP2 0000034b: PUSH4 0x20531bc9 00000350: SWAP2 00000351: PUSH1 0x04 00000353: DUP1 00000354: DUP4 00000355: ADD 00000356: SWAP3 00000357: PUSH1 0x20 00000359: SWAP3 0000035a: SWAP2 0000035b: SWAP1 0000035c: DUP3 0000035d: SWAP1 0000035e: SUB 0000035f: ADD 00000360: DUP2 00000361: DUP7 00000362: DUP1 00000363: EXTCODESIZE 00000364: ISZERO 00000365: DUP1 00000366: ISZERO 00000367: PUSH2 0x036f 0000036a: JUMPI 0000036b: PUSH1 0x00 0000036d: DUP1 0000036e: REVERT 0000036f: JUMPDEST 00000370: POP 00000371: GAS 00000372: STATICCALL 00000373: ISZERO 00000374: DUP1 00000375: ISZERO 00000376: PUSH2 0x0383 00000379: JUMPI 0000037a: RETURNDATASIZE 0000037b: PUSH1 0x00 0000037d: DUP1 0000037e: RETURNDATACOPY 0000037f: RETURNDATASIZE 00000380: PUSH1 0x00 00000382: REVERT 00000383: JUMPDEST 00000384: POP 00000385: POP 00000386: POP 00000387: POP 00000388: PUSH1 0x40 0000038a: MLOAD 0000038b: RETURNDATASIZE 0000038c: PUSH1 0x20 0000038e: DUP2 0000038f: LT 00000390: ISZERO 00000391: PUSH2 0x0399 00000394: JUMPI 00000395: PUSH1 0x00 00000397: DUP1 00000398: REVERT 00000399: JUMPDEST 0000039a: POP 0000039b: MLOAD 0000039c: SWAP1 0000039d: POP 0000039e: SWAP1 0000039f: JUMP 000003a0: JUMPDEST 000003a1: PUSH1 0x02 000003a3: SLOAD 000003a4: PUSH1 0x01 000003a6: PUSH1 0x01 000003a8: PUSH1 0xa0 000003aa: SHL 000003ab: SUB 000003ac: AND 000003ad: DUP2 000003ae: JUMP 000003af: JUMPDEST 000003b0: PUSH1 0x0b 000003b2: SLOAD 000003b3: PUSH1 0x01 000003b5: PUSH1 0x01 000003b7: PUSH1 0xa0 000003b9: SHL 000003ba: SUB 000003bb: AND 000003bc: SWAP1 000003bd: JUMP 000003be: JUMPDEST 000003bf: PUSH2 0x03d4 000003c2: CALLER 000003c3: PUSH1 0x00 000003c5: CALLDATALOAD 000003c6: PUSH1 0x01 000003c8: PUSH1 0x01 000003ca: PUSH1 0xe0 000003cc: SHL 000003cd: SUB 000003ce: NOT 000003cf: AND 000003d0: PUSH2 0x08a4 000003d3: JUMP 000003d4: JUMPDEST 000003d5: PUSH2 0x041c 000003d8: JUMPI 000003d9: PUSH1 0x40 000003db: DUP1 000003dc: MLOAD 000003dd: PUSH3 0x461bcd 000003e1: PUSH1 0xe5 000003e3: SHL 000003e4: DUP2 000003e5: MSTORE 000003e6: PUSH1 0x20 000003e8: PUSH1 0x04 000003ea: DUP3 000003eb: ADD 000003ec: MSTORE 000003ed: PUSH1 0x14 000003ef: PUSH1 0x24 000003f1: DUP3 000003f2: ADD 000003f3: MSTORE 000003f4: PUSH20 0x191ccb585d5d1a0b5d5b985d5d1a1bdc9a5e9959 00000409: PUSH1 0x62 0000040b: SHL 0000040c: PUSH1 0x44 0000040e: DUP3 0000040f: ADD 00000410: MSTORE 00000411: SWAP1 00000412: MLOAD 00000413: SWAP1 00000414: DUP2 00000415: SWAP1 00000416: SUB 00000417: PUSH1 0x64 00000419: ADD 0000041a: SWAP1 0000041b: REVERT 0000041c: JUMPDEST 0000041d: PUSH1 0x00 0000041f: DUP1 00000420: SLOAD 00000421: PUSH1 0x01 00000423: PUSH1 0x01 00000425: PUSH1 0xa0 00000427: SHL 00000428: SUB 00000429: NOT 0000042a: AND 0000042b: PUSH1 0x01 0000042d: PUSH1 0x01 0000042f: PUSH1 0xa0 00000431: SHL 00000432: SUB 00000433: DUP4 00000434: DUP2 00000435: AND 00000436: SWAP2 00000437: SWAP1 00000438: SWAP2 00000439: OR 0000043a: DUP1 0000043b: DUP4 0000043c: SSTORE 0000043d: PUSH1 0x40 0000043f: MLOAD 00000440: SWAP2 00000441: AND 00000442: SWAP2 00000443: PUSH32 0x1abebea81bfa2637f28358c371278fb15ede7ea8dd28d2e03b112ff6d936ada4 00000464: SWAP2 00000465: LOG2 00000466: POP 00000467: JUMP 00000468: JUMPDEST 00000469: PUSH1 0x0a 0000046b: SLOAD 0000046c: PUSH1 0x01 0000046e: PUSH1 0x01 00000470: PUSH1 0xa0 00000472: SHL 00000473: SUB 00000474: AND 00000475: SWAP1 00000476: JUMP 00000477: JUMPDEST 00000478: PUSH1 0x0d 0000047a: SLOAD 0000047b: PUSH1 0x01 0000047d: PUSH1 0x01 0000047f: PUSH1 0xa0 00000481: SHL 00000482: SUB 00000483: AND 00000484: SWAP1 00000485: JUMP 00000486: JUMPDEST 00000487: PUSH1 0x01 00000489: SLOAD 0000048a: PUSH1 0x01 0000048c: PUSH1 0x01 0000048e: PUSH1 0xa0 00000490: SHL 00000491: SUB 00000492: AND 00000493: DUP2 00000494: JUMP 00000495: JUMPDEST 00000496: PUSH1 0x03 00000498: SLOAD 00000499: PUSH1 0x04 0000049b: SLOAD 0000049c: PUSH1 0x05 0000049e: SLOAD 0000049f: PUSH1 0x06 000004a1: SLOAD 000004a2: PUSH1 0x07 000004a4: SLOAD 000004a5: PUSH1 0x08 000004a7: SLOAD 000004a8: PUSH1 0x09 000004aa: SLOAD 000004ab: PUSH1 0x0a 000004ad: SLOAD 000004ae: PUSH1 0x0b 000004b0: SLOAD 000004b1: PUSH1 0x0c 000004b3: SLOAD 000004b4: PUSH1 0x0d 000004b6: SLOAD 000004b7: PUSH1 0x01 000004b9: PUSH1 0x01 000004bb: PUSH1 0xa0 000004bd: SHL 000004be: SUB 000004bf: SWAP11 000004c0: DUP12 000004c1: AND 000004c2: SWAP11 000004c3: SWAP10 000004c4: DUP11 000004c5: AND 000004c6: SWAP10 000004c7: SWAP9 000004c8: DUP10 000004c9: AND 000004ca: SWAP9 000004cb: SWAP8 000004cc: DUP9 000004cd: AND 000004ce: SWAP8 000004cf: SWAP7 000004d0: DUP8 000004d1: AND 000004d2: SWAP7 000004d3: SWAP6 000004d4: DUP7 000004d5: AND 000004d6: SWAP6 000004d7: SWAP5 000004d8: DUP6 000004d9: AND 000004da: SWAP5 000004db: SWAP4 000004dc: DUP5 000004dd: AND 000004de: SWAP4 000004df: SWAP3 000004e0: DUP4 000004e1: AND 000004e2: SWAP3 000004e3: SWAP2 000004e4: DUP3 000004e5: AND 000004e6: SWAP2 000004e7: AND 000004e8: DUP12 000004e9: JUMP 000004ea: JUMPDEST 000004eb: PUSH2 0x0500 000004ee: CALLER 000004ef: PUSH1 0x00 000004f1: CALLDATALOAD 000004f2: PUSH1 0x01 000004f4: PUSH1 0x01 000004f6: PUSH1 0xe0 000004f8: SHL 000004f9: SUB 000004fa: NOT 000004fb: AND 000004fc: PUSH2 0x08a4 000004ff: JUMP 00000500: JUMPDEST 00000501: PUSH2 0x0548 00000504: JUMPI 00000505: PUSH1 0x40 00000507: DUP1 00000508: MLOAD 00000509: PUSH3 0x461bcd 0000050d: PUSH1 0xe5 0000050f: SHL 00000510: DUP2 00000511: MSTORE 00000512: PUSH1 0x20 00000514: PUSH1 0x04 00000516: DUP3 00000517: ADD 00000518: MSTORE 00000519: PUSH1 0x14 0000051b: PUSH1 0x24 0000051d: DUP3 0000051e: ADD 0000051f: MSTORE 00000520: PUSH20 0x191ccb585d5d1a0b5d5b985d5d1a1bdc9a5e9959 00000535: PUSH1 0x62 00000537: SHL 00000538: PUSH1 0x44 0000053a: DUP3 0000053b: ADD 0000053c: MSTORE 0000053d: SWAP1 0000053e: MLOAD 0000053f: SWAP1 00000540: DUP2 00000541: SWAP1 00000542: SUB 00000543: PUSH1 0x64 00000545: ADD 00000546: SWAP1 00000547: REVERT 00000548: JUMPDEST 00000549: PUSH1 0x02 0000054b: SLOAD 0000054c: PUSH1 0x01 0000054e: PUSH1 0x01 00000550: PUSH1 0xa0 00000552: SHL 00000553: SUB 00000554: AND 00000555: CALLER 00000556: EQ 00000557: PUSH2 0x055f 0000055a: JUMPI 0000055b: PUSH1 0x00 0000055d: DUP1 0000055e: REVERT 0000055f: JUMPDEST 00000560: PUSH1 0x0e 00000562: SLOAD 00000563: PUSH1 0xff 00000565: AND 00000566: ISZERO 00000567: PUSH2 0x05ad 0000056a: JUMPI 0000056b: PUSH1 0x40 0000056d: DUP1 0000056e: MLOAD 0000056f: PUSH3 0x461bcd 00000573: PUSH1 0xe5 00000575: SHL 00000576: DUP2 00000577: MSTORE 00000578: PUSH1 0x20 0000057a: PUSH1 0x04 0000057c: DUP3 0000057d: ADD 0000057e: MSTORE 0000057f: PUSH1 0x13 00000581: PUSH1 0x24 00000583: DUP3 00000584: ADD 00000585: MSTORE 00000586: PUSH19 0x105b1c9958591e481a5b9a5d1a585b1a5e9959 0000059a: PUSH1 0x6a 0000059c: SHL 0000059d: PUSH1 0x44 0000059f: DUP3 000005a0: ADD 000005a1: MSTORE 000005a2: SWAP1 000005a3: MLOAD 000005a4: SWAP1 000005a5: DUP2 000005a6: SWAP1 000005a7: SUB 000005a8: PUSH1 0x64 000005aa: ADD 000005ab: SWAP1 000005ac: REVERT 000005ad: JUMPDEST 000005ae: PUSH1 0x40 000005b0: DUP1 000005b1: MLOAD 000005b2: PUSH2 0x0160 000005b5: DUP2 000005b6: ADD 000005b7: DUP3 000005b8: MSTORE 000005b9: PUSH1 0x01 000005bb: PUSH1 0x01 000005bd: PUSH1 0xa0 000005bf: SHL 000005c0: SUB 000005c1: DUP4 000005c2: CALLDATALOAD 000005c3: DUP2 000005c4: AND 000005c5: DUP3 000005c6: MSTORE 000005c7: PUSH1 0x20 000005c9: DUP1 000005ca: DUP6 000005cb: ADD 000005cc: CALLDATALOAD 000005cd: DUP3 000005ce: AND 000005cf: SWAP1 000005d0: DUP4 000005d1: ADD 000005d2: MSTORE 000005d3: DUP4 000005d4: DUP4 000005d5: ADD 000005d6: CALLDATALOAD 000005d7: AND 000005d8: SWAP2 000005d9: DUP2 000005da: ADD 000005db: SWAP2 000005dc: SWAP1 000005dd: SWAP2 000005de: MSTORE 000005df: PUSH1 0x60 000005e1: DUP2 000005e2: ADD 000005e3: DUP3 000005e4: PUSH1 0x03 000005e6: PUSH1 0x20 000005e8: MUL 000005e9: ADD 000005ea: CALLDATALOAD 000005eb: PUSH1 0x01 000005ed: PUSH1 0x01 000005ef: PUSH1 0xa0 000005f1: SHL 000005f2: SUB 000005f3: AND 000005f4: PUSH1 0x01 000005f6: PUSH1 0x01 000005f8: PUSH1 0xa0 000005fa: SHL 000005fb: SUB 000005fc: AND 000005fd: DUP2 000005fe: MSTORE 000005ff: PUSH1 0x20 00000601: ADD 00000602: DUP3 00000603: PUSH1 0x04 00000605: PUSH1 0x0b 00000607: DUP2 00000608: LT 00000609: PUSH2 0x060e 0000060c: JUMPI 0000060d: INVALID 0000060e: JUMPDEST 0000060f: PUSH1 0x20 00000611: MUL 00000612: ADD 00000613: CALLDATALOAD 00000614: PUSH1 0x01 00000616: PUSH1 0x01 00000618: PUSH1 0xa0 0000061a: SHL 0000061b: SUB 0000061c: AND 0000061d: PUSH1 0x01 0000061f: PUSH1 0x01 00000621: PUSH1 0xa0 00000623: SHL 00000624: SUB 00000625: AND 00000626: DUP2 00000627: MSTORE 00000628: PUSH1 0x20 0000062a: ADD 0000062b: DUP3 0000062c: PUSH1 0x05 0000062e: PUSH1 0x0b 00000630: DUP2 00000631: LT 00000632: PUSH2 0x0637 00000635: JUMPI 00000636: INVALID 00000637: JUMPDEST 00000638: PUSH1 0x20 0000063a: MUL 0000063b: ADD 0000063c: CALLDATALOAD 0000063d: PUSH1 0x01 0000063f: PUSH1 0x01 00000641: PUSH1 0xa0 00000643: SHL 00000644: SUB 00000645: AND 00000646: PUSH1 0x01 00000648: PUSH1 0x01 0000064a: PUSH1 0xa0 0000064c: SHL 0000064d: SUB 0000064e: AND 0000064f: DUP2 00000650: MSTORE 00000651: PUSH1 0x20 00000653: ADD 00000654: DUP3 00000655: PUSH1 0x06 00000657: PUSH1 0x0b 00000659: DUP2 0000065a: LT 0000065b: PUSH2 0x0660 0000065e: JUMPI 0000065f: INVALID 00000660: JUMPDEST 00000661: PUSH1 0x20 00000663: MUL 00000664: ADD 00000665: CALLDATALOAD 00000666: PUSH1 0x01 00000668: PUSH1 0x01 0000066a: PUSH1 0xa0 0000066c: SHL 0000066d: SUB 0000066e: AND 0000066f: PUSH1 0x01 00000671: PUSH1 0x01 00000673: PUSH1 0xa0 00000675: SHL 00000676: SUB 00000677: AND 00000678: DUP2 00000679: MSTORE 0000067a: PUSH1 0x20 0000067c: ADD 0000067d: DUP3 0000067e: PUSH1 0x07 00000680: PUSH1 0x0b 00000682: DUP2 00000683: LT 00000684: PUSH2 0x0689 00000687: JUMPI 00000688: INVALID 00000689: JUMPDEST 0000068a: PUSH1 0x20 0000068c: MUL 0000068d: ADD 0000068e: CALLDATALOAD 0000068f: PUSH1 0x01 00000691: PUSH1 0x01 00000693: PUSH1 0xa0 00000695: SHL 00000696: SUB 00000697: AND 00000698: PUSH1 0x01 0000069a: PUSH1 0x01 0000069c: PUSH1 0xa0 0000069e: SHL 0000069f: SUB 000006a0: AND 000006a1: DUP2 000006a2: MSTORE 000006a3: PUSH1 0x20 000006a5: ADD 000006a6: DUP3 000006a7: PUSH1 0x08 000006a9: PUSH1 0x0b 000006ab: DUP2 000006ac: LT 000006ad: PUSH2 0x06b2 000006b0: JUMPI 000006b1: INVALID 000006b2: JUMPDEST 000006b3: PUSH1 0x20 000006b5: MUL 000006b6: ADD 000006b7: CALLDATALOAD 000006b8: PUSH1 0x01 000006ba: PUSH1 0x01 000006bc: PUSH1 0xa0 000006be: SHL 000006bf: SUB 000006c0: AND 000006c1: PUSH1 0x01 000006c3: PUSH1 0x01 000006c5: PUSH1 0xa0 000006c7: SHL 000006c8: SUB 000006c9: AND 000006ca: DUP2 000006cb: MSTORE 000006cc: PUSH1 0x20 000006ce: ADD 000006cf: DUP3 000006d0: PUSH1 0x09 000006d2: PUSH1 0x0b 000006d4: DUP2 000006d5: LT 000006d6: PUSH2 0x06db 000006d9: JUMPI 000006da: INVALID 000006db: JUMPDEST 000006dc: PUSH1 0x20 000006de: MUL 000006df: ADD 000006e0: CALLDATALOAD 000006e1: PUSH1 0x01 000006e3: PUSH1 0x01 000006e5: PUSH1 0xa0 000006e7: SHL 000006e8: SUB 000006e9: AND 000006ea: PUSH1 0x01 000006ec: PUSH1 0x01 000006ee: PUSH1 0xa0 000006f0: SHL 000006f1: SUB 000006f2: AND 000006f3: DUP2 000006f4: MSTORE 000006f5: PUSH1 0x20 000006f7: ADD 000006f8: DUP3 000006f9: PUSH1 0x0a 000006fb: PUSH1 0x0b 000006fd: DUP2 000006fe: LT 000006ff: PUSH2 0x0704 00000702: JUMPI 00000703: INVALID 00000704: JUMPDEST 00000705: PUSH1 0x20 00000707: SWAP1 00000708: DUP2 00000709: MUL 0000070a: SWAP2 0000070b: SWAP1 0000070c: SWAP2 0000070d: ADD 0000070e: CALLDATALOAD 0000070f: PUSH1 0x01 00000711: PUSH1 0x01 00000713: PUSH1 0xa0 00000715: SHL 00000716: SUB 00000717: SWAP1 00000718: DUP2 00000719: AND 0000071a: SWAP1 0000071b: SWAP3 0000071c: MSTORE 0000071d: DUP3 0000071e: MLOAD 0000071f: PUSH1 0x03 00000721: DUP1 00000722: SLOAD 00000723: PUSH1 0x01 00000725: PUSH1 0x01 00000727: PUSH1 0xa0 00000729: SHL 0000072a: SUB 0000072b: NOT 0000072c: SWAP1 0000072d: DUP2 0000072e: AND 0000072f: SWAP3 00000730: DUP6 00000731: AND 00000732: SWAP3 00000733: SWAP1 00000734: SWAP3 00000735: OR 00000736: SWAP1 00000737: SSTORE 00000738: SWAP1 00000739: DUP4 0000073a: ADD 0000073b: MLOAD 0000073c: PUSH1 0x04 0000073e: DUP1 0000073f: SLOAD 00000740: DUP4 00000741: AND 00000742: SWAP2 00000743: DUP5 00000744: AND 00000745: SWAP2 00000746: SWAP1 00000747: SWAP2 00000748: OR 00000749: SWAP1 0000074a: SSTORE 0000074b: PUSH1 0x40 0000074d: DUP4 0000074e: ADD 0000074f: MLOAD 00000750: PUSH1 0x05 00000752: DUP1 00000753: SLOAD 00000754: DUP4 00000755: AND 00000756: SWAP2 00000757: DUP5 00000758: AND 00000759: SWAP2 0000075a: SWAP1 0000075b: SWAP2 0000075c: OR 0000075d: SWAP1 0000075e: SSTORE 0000075f: PUSH1 0x60 00000761: DUP4 00000762: ADD 00000763: MLOAD 00000764: PUSH1 0x06 00000766: DUP1 00000767: SLOAD 00000768: DUP4 00000769: AND 0000076a: SWAP2 0000076b: DUP5 0000076c: AND 0000076d: SWAP2 0000076e: SWAP1 0000076f: SWAP2 00000770: OR 00000771: SWAP1 00000772: SSTORE 00000773: PUSH1 0x80 00000775: DUP4 00000776: ADD 00000777: MLOAD 00000778: PUSH1 0x07 0000077a: DUP1 0000077b: SLOAD 0000077c: DUP4 0000077d: AND 0000077e: SWAP2 0000077f: DUP5 00000780: AND 00000781: SWAP2 00000782: SWAP1 00000783: SWAP2 00000784: OR 00000785: SWAP1 00000786: SSTORE 00000787: PUSH1 0xa0 00000789: DUP4 0000078a: ADD 0000078b: MLOAD 0000078c: PUSH1 0x08 0000078e: DUP1 0000078f: SLOAD 00000790: DUP4 00000791: AND 00000792: SWAP2 00000793: DUP5 00000794: AND 00000795: SWAP2 00000796: SWAP1 00000797: SWAP2 00000798: OR 00000799: SWAP1 0000079a: SSTORE 0000079b: PUSH1 0xc0 0000079d: DUP4 0000079e: ADD 0000079f: MLOAD 000007a0: PUSH1 0x09 000007a2: DUP1 000007a3: SLOAD 000007a4: DUP4 000007a5: AND 000007a6: SWAP2 000007a7: DUP5 000007a8: AND 000007a9: SWAP2 000007aa: SWAP1 000007ab: SWAP2 000007ac: OR 000007ad: SWAP1 000007ae: SSTORE 000007af: PUSH1 0xe0 000007b1: DUP4 000007b2: ADD 000007b3: MLOAD 000007b4: PUSH1 0x0a 000007b6: DUP1 000007b7: SLOAD 000007b8: DUP4 000007b9: AND 000007ba: SWAP2 000007bb: DUP5 000007bc: AND 000007bd: SWAP2 000007be: SWAP1 000007bf: SWAP2 000007c0: OR 000007c1: SWAP1 000007c2: SSTORE 000007c3: PUSH2 0x0100 000007c6: DUP4 000007c7: ADD 000007c8: MLOAD 000007c9: PUSH1 0x0b 000007cb: DUP1 000007cc: SLOAD 000007cd: DUP4 000007ce: AND 000007cf: SWAP2 000007d0: DUP5 000007d1: AND 000007d2: SWAP2 000007d3: SWAP1 000007d4: SWAP2 000007d5: OR 000007d6: SWAP1 000007d7: SSTORE 000007d8: PUSH2 0x0120 000007db: DUP4 000007dc: ADD 000007dd: MLOAD 000007de: PUSH1 0x0c 000007e0: DUP1 000007e1: SLOAD 000007e2: DUP4 000007e3: AND 000007e4: SWAP2 000007e5: DUP5 000007e6: AND 000007e7: SWAP2 000007e8: SWAP1 000007e9: SWAP2 000007ea: OR 000007eb: SWAP1 000007ec: SSTORE 000007ed: PUSH2 0x0140 000007f0: SWAP1 000007f1: SWAP3 000007f2: ADD 000007f3: MLOAD 000007f4: PUSH1 0x0d 000007f6: DUP1 000007f7: SLOAD 000007f8: SWAP1 000007f9: SWAP4 000007fa: AND 000007fb: SWAP2 000007fc: AND 000007fd: OR 000007fe: SWAP1 000007ff: SSTORE 00000800: PUSH1 0x0e 00000802: DUP1 00000803: SLOAD 00000804: PUSH1 0xff 00000806: NOT 00000807: AND 00000808: PUSH1 0x01 0000080a: OR 0000080b: SWAP1 0000080c: SSTORE 0000080d: PUSH2 0x0816 00000810: PUSH1 0x00 00000812: PUSH2 0x0273 00000815: JUMP 00000816: JUMPDEST 00000817: POP 00000818: JUMP 00000819: JUMPDEST 0000081a: PUSH1 0x00 0000081c: SLOAD 0000081d: PUSH1 0x01 0000081f: PUSH1 0x01 00000821: PUSH1 0xa0 00000823: SHL 00000824: SUB 00000825: AND 00000826: DUP2 00000827: JUMP 00000828: JUMPDEST 00000829: PUSH1 0x0c 0000082b: SLOAD 0000082c: PUSH1 0x01 0000082e: PUSH1 0x01 00000830: PUSH1 0xa0 00000832: SHL 00000833: SUB 00000834: AND 00000835: SWAP1 00000836: JUMP 00000837: JUMPDEST 00000838: PUSH2 0x084d 0000083b: CALLER 0000083c: PUSH1 0x00 0000083e: CALLDATALOAD 0000083f: PUSH1 0x01 00000841: PUSH1 0x01 00000843: PUSH1 0xe0 00000845: SHL 00000846: SUB 00000847: NOT 00000848: AND 00000849: PUSH2 0x08a4 0000084c: JUMP 0000084d: JUMPDEST 0000084e: PUSH2 0x0895 00000851: JUMPI 00000852: PUSH1 0x40 00000854: DUP1 00000855: MLOAD 00000856: PUSH3 0x461bcd 0000085a: PUSH1 0xe5 0000085c: SHL 0000085d: DUP2 0000085e: MSTORE 0000085f: PUSH1 0x20 00000861: PUSH1 0x04 00000863: DUP3 00000864: ADD 00000865: MSTORE 00000866: PUSH1 0x14 00000868: PUSH1 0x24 0000086a: DUP3 0000086b: ADD 0000086c: MSTORE 0000086d: PUSH20 0x191ccb585d5d1a0b5d5b985d5d1a1bdc9a5e9959 00000882: PUSH1 0x62 00000884: SHL 00000885: PUSH1 0x44 00000887: DUP3 00000888: ADD 00000889: MSTORE 0000088a: SWAP1 0000088b: MLOAD 0000088c: SWAP1 0000088d: DUP2 0000088e: SWAP1 0000088f: SUB 00000890: PUSH1 0x64 00000892: ADD 00000893: SWAP1 00000894: REVERT 00000895: JUMPDEST 00000896: PUSH2 0x08a0 00000899: DUP3 0000089a: CALLER 0000089b: DUP4 0000089c: PUSH2 0x098d 0000089f: JUMP 000008a0: JUMPDEST 000008a1: POP 000008a2: POP 000008a3: JUMP 000008a4: JUMPDEST 000008a5: PUSH1 0x00 000008a7: PUSH1 0x01 000008a9: PUSH1 0x01 000008ab: PUSH1 0xa0 000008ad: SHL 000008ae: SUB 000008af: DUP4 000008b0: AND 000008b1: ADDRESS 000008b2: EQ 000008b3: ISZERO 000008b4: PUSH2 0x08bf 000008b7: JUMPI 000008b8: POP 000008b9: PUSH1 0x01 000008bb: PUSH2 0x0987 000008be: JUMP 000008bf: JUMPDEST 000008c0: PUSH1 0x01 000008c2: SLOAD 000008c3: PUSH1 0x01 000008c5: PUSH1 0x01 000008c7: PUSH1 0xa0 000008c9: SHL 000008ca: SUB 000008cb: DUP5 000008cc: DUP2 000008cd: AND 000008ce: SWAP2 000008cf: AND 000008d0: EQ 000008d1: ISZERO 000008d2: PUSH2 0x08dd 000008d5: JUMPI 000008d6: POP 000008d7: PUSH1 0x01 000008d9: PUSH2 0x0987 000008dc: JUMP 000008dd: JUMPDEST 000008de: PUSH1 0x00 000008e0: SLOAD 000008e1: PUSH1 0x01 000008e3: PUSH1 0x01 000008e5: PUSH1 0xa0 000008e7: SHL 000008e8: SUB 000008e9: AND 000008ea: PUSH2 0x08f5 000008ed: JUMPI 000008ee: POP 000008ef: PUSH1 0x00 000008f1: PUSH2 0x0987 000008f4: JUMP 000008f5: JUMPDEST 000008f6: PUSH1 0x00 000008f8: SLOAD 000008f9: PUSH1 0x40 000008fb: DUP1 000008fc: MLOAD 000008fd: PUSH4 0xb7009613 00000902: PUSH1 0xe0 00000904: SHL 00000905: DUP2 00000906: MSTORE 00000907: PUSH1 0x01 00000909: PUSH1 0x01 0000090b: PUSH1 0xa0 0000090d: SHL 0000090e: SUB 0000090f: DUP7 00000910: DUP2 00000911: AND 00000912: PUSH1 0x04 00000914: DUP4 00000915: ADD 00000916: MSTORE 00000917: ADDRESS 00000918: PUSH1 0x24 0000091a: DUP4 0000091b: ADD 0000091c: MSTORE 0000091d: PUSH1 0x01 0000091f: PUSH1 0x01 00000921: PUSH1 0xe0 00000923: SHL 00000924: SUB 00000925: NOT 00000926: DUP7 00000927: AND 00000928: PUSH1 0x44 0000092a: DUP4 0000092b: ADD 0000092c: MSTORE 0000092d: SWAP2 0000092e: MLOAD 0000092f: SWAP2 00000930: SWAP1 00000931: SWAP3 00000932: AND 00000933: SWAP2 00000934: PUSH4 0xb7009613 00000939: SWAP2 0000093a: PUSH1 0x64 0000093c: DUP1 0000093d: DUP4 0000093e: ADD 0000093f: SWAP3 00000940: PUSH1 0x20 00000942: SWAP3 00000943: SWAP2 00000944: SWAP1 00000945: DUP3 00000946: SWAP1 00000947: SUB 00000948: ADD 00000949: DUP2 0000094a: DUP7 0000094b: DUP1 0000094c: EXTCODESIZE 0000094d: ISZERO 0000094e: DUP1 0000094f: ISZERO 00000950: PUSH2 0x0958 00000953: JUMPI 00000954: PUSH1 0x00 00000956: DUP1 00000957: REVERT 00000958: JUMPDEST 00000959: POP 0000095a: GAS 0000095b: STATICCALL 0000095c: ISZERO 0000095d: DUP1 0000095e: ISZERO 0000095f: PUSH2 0x096c 00000962: JUMPI 00000963: RETURNDATASIZE 00000964: PUSH1 0x00 00000966: DUP1 00000967: RETURNDATACOPY 00000968: RETURNDATASIZE 00000969: PUSH1 0x00 0000096b: REVERT 0000096c: JUMPDEST 0000096d: POP 0000096e: POP 0000096f: POP 00000970: POP 00000971: PUSH1 0x40 00000973: MLOAD 00000974: RETURNDATASIZE 00000975: PUSH1 0x20 00000977: DUP2 00000978: LT 00000979: ISZERO 0000097a: PUSH2 0x0982 0000097d: JUMPI 0000097e: PUSH1 0x00 00000980: DUP1 00000981: REVERT 00000982: JUMPDEST 00000983: POP 00000984: MLOAD 00000985: SWAP1 00000986: POP 00000987: JUMPDEST 00000988: SWAP3 00000989: SWAP2 0000098a: POP 0000098b: POP 0000098c: JUMP 0000098d: JUMPDEST 0000098e: PUSH1 0x00 00000990: DUP4 00000991: PUSH1 0x01 00000993: PUSH1 0x01 00000995: PUSH1 0xa0 00000997: SHL 00000998: SUB 00000999: AND 0000099a: PUSH4 0x70a08231 0000099f: DUP5 000009a0: PUSH1 0x40 000009a2: MLOAD 000009a3: DUP3 000009a4: PUSH4 0xffffffff 000009a9: AND 000009aa: PUSH1 0xe0 000009ac: SHL 000009ad: DUP2 000009ae: MSTORE 000009af: PUSH1 0x04 000009b1: ADD 000009b2: DUP1 000009b3: DUP3 000009b4: PUSH1 0x01 000009b6: PUSH1 0x01 000009b8: PUSH1 0xa0 000009ba: SHL 000009bb: SUB 000009bc: AND 000009bd: PUSH1 0x01 000009bf: PUSH1 0x01 000009c1: PUSH1 0xa0 000009c3: SHL 000009c4: SUB 000009c5: AND 000009c6: DUP2 000009c7: MSTORE 000009c8: PUSH1 0x20 000009ca: ADD 000009cb: SWAP2 000009cc: POP 000009cd: POP 000009ce: PUSH1 0x20 000009d0: PUSH1 0x40 000009d2: MLOAD 000009d3: DUP1 000009d4: DUP4 000009d5: SUB 000009d6: DUP2 000009d7: DUP7 000009d8: DUP1 000009d9: EXTCODESIZE 000009da: ISZERO 000009db: DUP1 000009dc: ISZERO 000009dd: PUSH2 0x09e5 000009e0: JUMPI 000009e1: PUSH1 0x00 000009e3: DUP1 000009e4: REVERT 000009e5: JUMPDEST 000009e6: POP 000009e7: GAS 000009e8: STATICCALL 000009e9: ISZERO 000009ea: DUP1 000009eb: ISZERO 000009ec: PUSH2 0x09f9 000009ef: JUMPI 000009f0: RETURNDATASIZE 000009f1: PUSH1 0x00 000009f3: DUP1 000009f4: RETURNDATACOPY 000009f5: RETURNDATASIZE 000009f6: PUSH1 0x00 000009f8: REVERT 000009f9: JUMPDEST 000009fa: POP 000009fb: POP 000009fc: POP 000009fd: POP 000009fe: PUSH1 0x40 00000a00: MLOAD 00000a01: RETURNDATASIZE 00000a02: PUSH1 0x20 00000a04: DUP2 00000a05: LT 00000a06: ISZERO 00000a07: PUSH2 0x0a0f 00000a0a: JUMPI 00000a0b: PUSH1 0x00 00000a0d: DUP1 00000a0e: REVERT 00000a0f: JUMPDEST 00000a10: POP 00000a11: MLOAD 00000a12: PUSH1 0x40 00000a14: DUP1 00000a15: MLOAD 00000a16: PUSH4 0xa9059cbb 00000a1b: PUSH1 0xe0 00000a1d: SHL 00000a1e: DUP2 00000a1f: MSTORE 00000a20: PUSH1 0x01 00000a22: PUSH1 0x01 00000a24: PUSH1 0xa0 00000a26: SHL 00000a27: SUB 00000a28: DUP7 00000a29: DUP2 00000a2a: AND 00000a2b: PUSH1 0x04 00000a2d: DUP4 00000a2e: ADD 00000a2f: MSTORE 00000a30: PUSH1 0x24 00000a32: DUP3 00000a33: ADD 00000a34: DUP7 00000a35: SWAP1 00000a36: MSTORE 00000a37: SWAP2 00000a38: MLOAD 00000a39: SWAP3 00000a3a: SWAP4 00000a3b: POP 00000a3c: SWAP1 00000a3d: DUP7 00000a3e: AND 00000a3f: SWAP2 00000a40: PUSH4 0xa9059cbb 00000a45: SWAP2 00000a46: PUSH1 0x44 00000a48: DUP1 00000a49: DUP3 00000a4a: ADD 00000a4b: SWAP3 00000a4c: PUSH1 0x20 00000a4e: SWAP3 00000a4f: SWAP1 00000a50: SWAP2 00000a51: SWAP1 00000a52: DUP3 00000a53: SWAP1 00000a54: SUB 00000a55: ADD 00000a56: DUP2 00000a57: PUSH1 0x00 00000a59: DUP8 00000a5a: DUP1 00000a5b: EXTCODESIZE 00000a5c: ISZERO 00000a5d: DUP1 00000a5e: ISZERO 00000a5f: PUSH2 0x0a67 00000a62: JUMPI 00000a63: PUSH1 0x00 00000a65: DUP1 00000a66: REVERT 00000a67: JUMPDEST 00000a68: POP 00000a69: GAS 00000a6a: CALL 00000a6b: ISZERO 00000a6c: DUP1 00000a6d: ISZERO 00000a6e: PUSH2 0x0a7b 00000a71: JUMPI 00000a72: RETURNDATASIZE 00000a73: PUSH1 0x00 00000a75: DUP1 00000a76: RETURNDATACOPY 00000a77: RETURNDATASIZE 00000a78: PUSH1 0x00 00000a7a: REVERT 00000a7b: JUMPDEST 00000a7c: POP 00000a7d: POP 00000a7e: POP 00000a7f: POP 00000a80: PUSH1 0x40 00000a82: MLOAD 00000a83: RETURNDATASIZE 00000a84: PUSH1 0x20 00000a86: DUP2 00000a87: LT 00000a88: ISZERO 00000a89: PUSH2 0x0a91 00000a8c: JUMPI 00000a8d: PUSH1 0x00 00000a8f: DUP1 00000a90: REVERT 00000a91: JUMPDEST 00000a92: POP 00000a93: POP 00000a94: PUSH1 0x40 00000a96: DUP1 00000a97: MLOAD 00000a98: PUSH4 0x70a08231 00000a9d: PUSH1 0xe0 00000a9f: SHL 00000aa0: DUP2 00000aa1: MSTORE 00000aa2: PUSH1 0x01 00000aa4: PUSH1 0x01 00000aa6: PUSH1 0xa0 00000aa8: SHL 00000aa9: SUB 00000aaa: DUP6 00000aab: DUP2 00000aac: AND 00000aad: PUSH1 0x04 00000aaf: DUP4 00000ab0: ADD 00000ab1: MSTORE 00000ab2: SWAP2 00000ab3: MLOAD 00000ab4: PUSH1 0x00 00000ab6: SWAP3 00000ab7: DUP8 00000ab8: AND 00000ab9: SWAP2 00000aba: PUSH4 0x70a08231 00000abf: SWAP2 00000ac0: PUSH1 0x24 00000ac2: DUP1 00000ac3: DUP4 00000ac4: ADD 00000ac5: SWAP3 00000ac6: PUSH1 0x20 00000ac8: SWAP3 00000ac9: SWAP2 00000aca: SWAP1 00000acb: DUP3 00000acc: SWAP1 00000acd: SUB 00000ace: ADD 00000acf: DUP2 00000ad0: DUP7 00000ad1: DUP1 00000ad2: EXTCODESIZE 00000ad3: ISZERO 00000ad4: DUP1 00000ad5: ISZERO 00000ad6: PUSH2 0x0ade 00000ad9: JUMPI 00000ada: PUSH1 0x00 00000adc: DUP1 00000add: REVERT 00000ade: JUMPDEST 00000adf: POP 00000ae0: GAS 00000ae1: STATICCALL 00000ae2: ISZERO 00000ae3: DUP1 00000ae4: ISZERO 00000ae5: PUSH2 0x0af2 00000ae8: JUMPI 00000ae9: RETURNDATASIZE 00000aea: PUSH1 0x00 00000aec: DUP1 00000aed: RETURNDATACOPY 00000aee: RETURNDATASIZE 00000aef: PUSH1 0x00 00000af1: REVERT 00000af2: JUMPDEST 00000af3: POP 00000af4: POP 00000af5: POP 00000af6: POP 00000af7: PUSH1 0x40 00000af9: MLOAD 00000afa: RETURNDATASIZE 00000afb: PUSH1 0x20 00000afd: DUP2 00000afe: LT 00000aff: ISZERO 00000b00: PUSH2 0x0b08 00000b03: JUMPI 00000b04: PUSH1 0x00 00000b06: DUP1 00000b07: REVERT 00000b08: JUMPDEST 00000b09: POP 00000b0a: MLOAD 00000b0b: SWAP1 00000b0c: POP 00000b0d: DUP1 00000b0e: PUSH2 0x0b17 00000b11: DUP4 00000b12: DUP6 00000b13: PUSH2 0x0b5a 00000b16: JUMP 00000b17: JUMPDEST 00000b18: EQ 00000b19: PUSH2 0x0b53 00000b1c: JUMPI 00000b1d: PUSH1 0x40 00000b1f: MLOAD 00000b20: PUSH3 0x461bcd 00000b24: PUSH1 0xe5 00000b26: SHL 00000b27: DUP2 00000b28: MSTORE 00000b29: PUSH1 0x04 00000b2b: ADD 00000b2c: DUP1 00000b2d: DUP1 00000b2e: PUSH1 0x20 00000b30: ADD 00000b31: DUP3 00000b32: DUP2 00000b33: SUB 00000b34: DUP3 00000b35: MSTORE 00000b36: PUSH1 0x2b 00000b38: DUP2 00000b39: MSTORE 00000b3a: PUSH1 0x20 00000b3c: ADD 00000b3d: DUP1 00000b3e: PUSH2 0x0baa 00000b41: PUSH1 0x2b 00000b43: SWAP2 00000b44: CODECOPY 00000b45: PUSH1 0x40 00000b47: ADD 00000b48: SWAP2 00000b49: POP 00000b4a: POP 00000b4b: PUSH1 0x40 00000b4d: MLOAD 00000b4e: DUP1 00000b4f: SWAP2 00000b50: SUB 00000b51: SWAP1 00000b52: REVERT 00000b53: JUMPDEST 00000b54: POP 00000b55: POP 00000b56: POP 00000b57: POP 00000b58: POP 00000b59: JUMP 00000b5a: JUMPDEST 00000b5b: DUP1 00000b5c: DUP3 00000b5d: ADD 00000b5e: DUP3 00000b5f: DUP2 00000b60: LT 00000b61: ISZERO 00000b62: PUSH2 0x0987 00000b65: JUMPI 00000b66: PUSH1 0x40 00000b68: DUP1 00000b69: MLOAD 00000b6a: PUSH3 0x461bcd 00000b6e: PUSH1 0xe5 00000b70: SHL 00000b71: DUP2 00000b72: MSTORE 00000b73: PUSH1 0x20 00000b75: PUSH1 0x04 00000b77: DUP3 00000b78: ADD 00000b79: MSTORE 00000b7a: PUSH1 0x14 00000b7c: PUSH1 0x24 00000b7e: DUP3 00000b7f: ADD 00000b80: MSTORE 00000b81: PUSH20 0x64732d6d6174682d6164642d6f766572666c6f77 00000b96: PUSH1 0x60 00000b98: SHL 00000b99: PUSH1 0x44 00000b9b: DUP3 00000b9c: ADD 00000b9d: MSTORE 00000b9e: SWAP1 00000b9f: MLOAD 00000ba0: SWAP1 00000ba1: DUP2 00000ba2: SWAP1 00000ba3: SUB 00000ba4: PUSH1 0x64 00000ba6: ADD 00000ba7: SWAP1 00000ba8: REVERT 00000ba9: INVALID 00000baa: MSTORE 00000bab: PUSH6 0x636569766572 00000bb2: KECCAK256 00000bb3: PUSH5 0x6964206e6f 00000bb9: PUSH21 0x207265636569766520746f6b656e7320696e207472 00000bcf: PUSH2 0x6e73 00000bd2: PUSH7 0x6572a264697066 00000bda: PUSH20 0x582212208ef30e053c9129292cfc4411bb13567a 00000bef: DUP4 00000bf0: UNKNOWN(0xD0) 00000bf1: CALLDATACOPY 00000bf2: CODECOPY 00000bf3: BASEFEE 00000bf4: UNKNOWN(0xE6) 00000bf5: UNKNOWN(0xDC) 00000bf6: UNKNOWN(0xC5) 00000bf7: UNKNOWN(0x0E) 00000bf8: STOP 00000bf9: CALLVALUE 00000bfa: UNKNOWN(0xB8) 00000bfb: SWAP13 00000bfc: PUSH20
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xb7cb2de8662e2cfc8ae27be290a11eea18749f0909c7f2924864bce73b843eb4
call_targets:
0x4c4dc069581579abd9149e5622378d40590cec41
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xb7cb2de8662e2cfc8ae27be290a11eea18749f0909c7f2924864bce73b843eb4",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x4c4dc069581579abd9149e5622378d40590cec41"
],
"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": "0xbec61462",
"selector": "0xbec61462",
"calldata_variants": [
"0xbec61462",
"0xbec614620000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbf7e214f",
"selector": "0xbf7e214f",
"calldata_variants": [
"0xbf7e214f",
"0xbf7e214f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc9d4623f",
"selector": "0xc9d4623f",
"calldata_variants": [
"0xc9d4623f",
"0xc9d4623f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf3fef3a3",
"selector": "0xf3fef3a3",
"calldata_variants": [
"0xf3fef3a3",
"0xf3fef3a30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8a471df9",
"selector": "0x8a471df9",
"calldata_variants": [
"0x8a471df9",
"0x8a471df90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb1ffd471",
"selector": "0xb1ffd471",
"calldata_variants": [
"0xb1ffd471",
"0xb1ffd4710000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x365a86fc",
"selector": "0x365a86fc",
"calldata_variants": [
"0x365a86fc",
"0x365a86fc0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2666,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [],
"untrusted_call_count": 1
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xb7cb2de8662e2cfc8ae27be290a11eea18749f0909c7f2924864bce73b843eb4
call_targets:
0x4c4dc069581579abd9149e5622378d40590cec41
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xb7cb2de8662e2cfc8ae27be290a11eea18749f0909c7f2924864bce73b843eb4",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x4c4dc069581579abd9149e5622378d40590cec41"
],
"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": "0xbec61462",
"selector": "0xbec61462",
"calldata_variants": [
"0xbec61462",
"0xbec614620000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbf7e214f",
"selector": "0xbf7e214f",
"calldata_variants": [
"0xbf7e214f",
"0xbf7e214f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc9d4623f",
"selector": "0xc9d4623f",
"calldata_variants": [
"0xc9d4623f",
"0xc9d4623f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf3fef3a3",
"selector": "0xf3fef3a3",
"calldata_variants": [
"0xf3fef3a3",
"0xf3fef3a30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8a471df9",
"selector": "0x8a471df9",
"calldata_variants": [
"0x8a471df9",
"0x8a471df90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb1ffd471",
"selector": "0xb1ffd471",
"calldata_variants": [
"0xb1ffd471",
"0xb1ffd4710000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x365a86fc",
"selector": "0x365a86fc",
"calldata_variants": [
"0x365a86fc",
"0x365a86fc0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2666,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|
| info | other | cast | Heavy EXTCODE*/BALANCE usage | 55 | no | — |
viewevidence_json{
"notes": "frequent external code or balance checks; may indicate introspection or validation logic",
"ext_balance_count": 5
}
|