019b477e-cf61-73f1-ac93-363dbe0b9a1d
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 |
|---|---|---|---|---|
| 27367 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 27368 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 70839 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 70840 | capability.graph | complete | 1 / 3 | 1 week ago |
| 70841 | detector.run | complete | 1 / 3 | 1 week ago |
| 70842 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x004e 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x3659cfe6 00000019: EQ 0000001a: PUSH2 0x0065 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x4f1ef286 00000024: EQ 00000025: PUSH2 0x0098 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x5c60da1b 0000002f: EQ 00000030: PUSH2 0x0118 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0x8f283970 0000003a: EQ 0000003b: PUSH2 0x0149 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xf851a440 00000045: EQ 00000046: PUSH2 0x017c 00000049: JUMPI 0000004a: PUSH2 0x005d 0000004d: JUMP 0000004e: JUMPDEST 0000004f: CALLDATASIZE 00000050: PUSH2 0x005d 00000053: JUMPI 00000054: PUSH2 0x005b 00000057: PUSH2 0x0191 0000005a: JUMP 0000005b: JUMPDEST 0000005c: STOP 0000005d: JUMPDEST 0000005e: PUSH2 0x005b 00000061: PUSH2 0x0191 00000064: JUMP 00000065: JUMPDEST 00000066: CALLVALUE 00000067: DUP1 00000068: ISZERO 00000069: PUSH2 0x0071 0000006c: JUMPI 0000006d: PUSH1 0x00 0000006f: DUP1 00000070: REVERT 00000071: JUMPDEST 00000072: POP 00000073: PUSH2 0x005b 00000076: PUSH1 0x04 00000078: DUP1 00000079: CALLDATASIZE 0000007a: SUB 0000007b: PUSH1 0x20 0000007d: DUP2 0000007e: LT 0000007f: ISZERO 00000080: PUSH2 0x0088 00000083: JUMPI 00000084: PUSH1 0x00 00000086: DUP1 00000087: REVERT 00000088: JUMPDEST 00000089: POP 0000008a: CALLDATALOAD 0000008b: PUSH1 0x01 0000008d: PUSH1 0x01 0000008f: PUSH1 0xa0 00000091: SHL 00000092: SUB 00000093: AND 00000094: PUSH2 0x01ab 00000097: JUMP 00000098: JUMPDEST 00000099: PUSH2 0x005b 0000009c: PUSH1 0x04 0000009e: DUP1 0000009f: CALLDATASIZE 000000a0: SUB 000000a1: PUSH1 0x40 000000a3: DUP2 000000a4: LT 000000a5: ISZERO 000000a6: PUSH2 0x00ae 000000a9: JUMPI 000000aa: PUSH1 0x00 000000ac: DUP1 000000ad: REVERT 000000ae: JUMPDEST 000000af: PUSH1 0x01 000000b1: PUSH1 0x01 000000b3: PUSH1 0xa0 000000b5: SHL 000000b6: SUB 000000b7: DUP3 000000b8: CALLDATALOAD 000000b9: AND 000000ba: SWAP2 000000bb: SWAP1 000000bc: DUP2 000000bd: ADD 000000be: SWAP1 000000bf: PUSH1 0x40 000000c1: DUP2 000000c2: ADD 000000c3: PUSH1 0x20 000000c5: DUP3 000000c6: ADD 000000c7: CALLDATALOAD 000000c8: PUSH5 0x0100000000 000000ce: DUP2 000000cf: GT 000000d0: ISZERO 000000d1: PUSH2 0x00d9 000000d4: JUMPI 000000d5: PUSH1 0x00 000000d7: DUP1 000000d8: REVERT 000000d9: JUMPDEST 000000da: DUP3 000000db: ADD 000000dc: DUP4 000000dd: PUSH1 0x20 000000df: DUP3 000000e0: ADD 000000e1: GT 000000e2: ISZERO 000000e3: PUSH2 0x00eb 000000e6: JUMPI 000000e7: PUSH1 0x00 000000e9: DUP1 000000ea: REVERT 000000eb: JUMPDEST 000000ec: DUP1 000000ed: CALLDATALOAD 000000ee: SWAP1 000000ef: PUSH1 0x20 000000f1: ADD 000000f2: SWAP2 000000f3: DUP5 000000f4: PUSH1 0x01 000000f6: DUP4 000000f7: MUL 000000f8: DUP5 000000f9: ADD 000000fa: GT 000000fb: PUSH5 0x0100000000 00000101: DUP4 00000102: GT 00000103: OR 00000104: ISZERO 00000105: PUSH2 0x010d 00000108: JUMPI 00000109: PUSH1 0x00 0000010b: DUP1 0000010c: REVERT 0000010d: JUMPDEST 0000010e: POP 0000010f: SWAP1 00000110: SWAP3 00000111: POP 00000112: SWAP1 00000113: POP 00000114: PUSH2 0x01e5 00000117: JUMP 00000118: JUMPDEST 00000119: CALLVALUE 0000011a: DUP1 0000011b: ISZERO 0000011c: PUSH2 0x0124 0000011f: JUMPI 00000120: PUSH1 0x00 00000122: DUP1 00000123: REVERT 00000124: JUMPDEST 00000125: POP 00000126: PUSH2 0x012d 00000129: PUSH2 0x0262 0000012c: JUMP 0000012d: JUMPDEST 0000012e: PUSH1 0x40 00000130: DUP1 00000131: MLOAD 00000132: PUSH1 0x01 00000134: PUSH1 0x01 00000136: PUSH1 0xa0 00000138: SHL 00000139: SUB 0000013a: SWAP1 0000013b: SWAP3 0000013c: AND 0000013d: DUP3 0000013e: MSTORE 0000013f: MLOAD 00000140: SWAP1 00000141: DUP2 00000142: SWAP1 00000143: SUB 00000144: PUSH1 0x20 00000146: ADD 00000147: SWAP1 00000148: RETURN 00000149: JUMPDEST 0000014a: CALLVALUE 0000014b: DUP1 0000014c: ISZERO 0000014d: PUSH2 0x0155 00000150: JUMPI 00000151: PUSH1 0x00 00000153: DUP1 00000154: REVERT 00000155: JUMPDEST 00000156: POP 00000157: PUSH2 0x005b 0000015a: PUSH1 0x04 0000015c: DUP1 0000015d: CALLDATASIZE 0000015e: SUB 0000015f: PUSH1 0x20 00000161: DUP2 00000162: LT 00000163: ISZERO 00000164: PUSH2 0x016c 00000167: JUMPI 00000168: PUSH1 0x00 0000016a: DUP1 0000016b: REVERT 0000016c: JUMPDEST 0000016d: POP 0000016e: CALLDATALOAD 0000016f: PUSH1 0x01 00000171: PUSH1 0x01 00000173: PUSH1 0xa0 00000175: SHL 00000176: SUB 00000177: AND 00000178: PUSH2 0x029f 0000017b: JUMP 0000017c: JUMPDEST 0000017d: CALLVALUE 0000017e: DUP1 0000017f: ISZERO 00000180: PUSH2 0x0188 00000183: JUMPI 00000184: PUSH1 0x00 00000186: DUP1 00000187: REVERT 00000188: JUMPDEST 00000189: POP 0000018a: PUSH2 0x012d 0000018d: PUSH2 0x0359 00000190: JUMP 00000191: JUMPDEST 00000192: PUSH2 0x0199 00000195: PUSH2 0x03b6 00000198: JUMP 00000199: JUMPDEST 0000019a: PUSH2 0x01a9 0000019d: PUSH2 0x01a4 000001a0: PUSH2 0x0416 000001a3: JUMP 000001a4: JUMPDEST 000001a5: PUSH2 0x043b 000001a8: JUMP 000001a9: JUMPDEST 000001aa: JUMP 000001ab: JUMPDEST 000001ac: PUSH2 0x01b3 000001af: PUSH2 0x045f 000001b2: JUMP 000001b3: JUMPDEST 000001b4: PUSH1 0x01 000001b6: PUSH1 0x01 000001b8: PUSH1 0xa0 000001ba: SHL 000001bb: SUB 000001bc: AND 000001bd: CALLER 000001be: PUSH1 0x01 000001c0: PUSH1 0x01 000001c2: PUSH1 0xa0 000001c4: SHL 000001c5: SUB 000001c6: AND 000001c7: EQ 000001c8: ISZERO 000001c9: PUSH2 0x01da 000001cc: JUMPI 000001cd: PUSH2 0x01d5 000001d0: DUP2 000001d1: PUSH2 0x0484 000001d4: JUMP 000001d5: JUMPDEST 000001d6: PUSH2 0x01e2 000001d9: JUMP 000001da: JUMPDEST 000001db: PUSH2 0x01e2 000001de: PUSH2 0x0191 000001e1: JUMP 000001e2: JUMPDEST 000001e3: POP 000001e4: JUMP 000001e5: JUMPDEST 000001e6: PUSH2 0x01ed 000001e9: PUSH2 0x045f 000001ec: JUMP 000001ed: JUMPDEST 000001ee: PUSH1 0x01 000001f0: PUSH1 0x01 000001f2: PUSH1 0xa0 000001f4: SHL 000001f5: SUB 000001f6: AND 000001f7: CALLER 000001f8: PUSH1 0x01 000001fa: PUSH1 0x01 000001fc: PUSH1 0xa0 000001fe: SHL 000001ff: SUB 00000200: AND 00000201: EQ 00000202: ISZERO 00000203: PUSH2 0x0255 00000206: JUMPI 00000207: PUSH2 0x020f 0000020a: DUP4 0000020b: PUSH2 0x0484 0000020e: JUMP 0000020f: JUMPDEST 00000210: PUSH2 0x024f 00000213: DUP4 00000214: DUP4 00000215: DUP4 00000216: DUP1 00000217: DUP1 00000218: PUSH1 0x1f 0000021a: ADD 0000021b: PUSH1 0x20 0000021d: DUP1 0000021e: SWAP2 0000021f: DIV 00000220: MUL 00000221: PUSH1 0x20 00000223: ADD 00000224: PUSH1 0x40 00000226: MLOAD 00000227: SWAP1 00000228: DUP2 00000229: ADD 0000022a: PUSH1 0x40 0000022c: MSTORE 0000022d: DUP1 0000022e: SWAP4 0000022f: SWAP3 00000230: SWAP2 00000231: SWAP1 00000232: DUP2 00000233: DUP2 00000234: MSTORE 00000235: PUSH1 0x20 00000237: ADD 00000238: DUP4 00000239: DUP4 0000023a: DUP1 0000023b: DUP3 0000023c: DUP5 0000023d: CALLDATACOPY 0000023e: PUSH1 0x00 00000240: SWAP3 00000241: ADD 00000242: SWAP2 00000243: SWAP1 00000244: SWAP2 00000245: MSTORE 00000246: POP 00000247: PUSH2 0x0384 0000024a: SWAP3 0000024b: POP 0000024c: POP 0000024d: POP 0000024e: JUMP 0000024f: JUMPDEST 00000250: POP 00000251: PUSH2 0x025d 00000254: JUMP 00000255: JUMPDEST 00000256: PUSH2 0x025d 00000259: PUSH2 0x0191 0000025c: JUMP 0000025d: JUMPDEST 0000025e: POP 0000025f: POP 00000260: POP 00000261: JUMP 00000262: JUMPDEST 00000263: PUSH1 0x00 00000265: PUSH2 0x026c 00000268: PUSH2 0x045f 0000026b: JUMP 0000026c: JUMPDEST 0000026d: PUSH1 0x01 0000026f: PUSH1 0x01 00000271: PUSH1 0xa0 00000273: SHL 00000274: SUB 00000275: AND 00000276: CALLER 00000277: PUSH1 0x01 00000279: PUSH1 0x01 0000027b: PUSH1 0xa0 0000027d: SHL 0000027e: SUB 0000027f: AND 00000280: EQ 00000281: ISZERO 00000282: PUSH2 0x0294 00000285: JUMPI 00000286: PUSH2 0x028d 00000289: PUSH2 0x0416 0000028c: JUMP 0000028d: JUMPDEST 0000028e: SWAP1 0000028f: POP 00000290: PUSH2 0x029c 00000293: JUMP 00000294: JUMPDEST 00000295: PUSH2 0x029c 00000298: PUSH2 0x0191 0000029b: JUMP 0000029c: JUMPDEST 0000029d: SWAP1 0000029e: JUMP 0000029f: JUMPDEST 000002a0: PUSH2 0x02a7 000002a3: PUSH2 0x045f 000002a6: JUMP 000002a7: JUMPDEST 000002a8: PUSH1 0x01 000002aa: PUSH1 0x01 000002ac: PUSH1 0xa0 000002ae: SHL 000002af: SUB 000002b0: AND 000002b1: CALLER 000002b2: PUSH1 0x01 000002b4: PUSH1 0x01 000002b6: PUSH1 0xa0 000002b8: SHL 000002b9: SUB 000002ba: AND 000002bb: EQ 000002bc: ISZERO 000002bd: PUSH2 0x01da 000002c0: JUMPI 000002c1: PUSH1 0x01 000002c3: PUSH1 0x01 000002c5: PUSH1 0xa0 000002c7: SHL 000002c8: SUB 000002c9: DUP2 000002ca: AND 000002cb: PUSH2 0x0305 000002ce: JUMPI 000002cf: PUSH1 0x40 000002d1: MLOAD 000002d2: PUSH3 0x461bcd 000002d6: PUSH1 0xe5 000002d8: SHL 000002d9: DUP2 000002da: MSTORE 000002db: PUSH1 0x04 000002dd: ADD 000002de: DUP1 000002df: DUP1 000002e0: PUSH1 0x20 000002e2: ADD 000002e3: DUP3 000002e4: DUP2 000002e5: SUB 000002e6: DUP3 000002e7: MSTORE 000002e8: PUSH1 0x3a 000002ea: DUP2 000002eb: MSTORE 000002ec: PUSH1 0x20 000002ee: ADD 000002ef: DUP1 000002f0: PUSH2 0x06f7 000002f3: PUSH1 0x3a 000002f5: SWAP2 000002f6: CODECOPY 000002f7: PUSH1 0x40 000002f9: ADD 000002fa: SWAP2 000002fb: POP 000002fc: POP 000002fd: PUSH1 0x40 000002ff: MLOAD 00000300: DUP1 00000301: SWAP2 00000302: SUB 00000303: SWAP1 00000304: REVERT 00000305: JUMPDEST 00000306: PUSH32 0x7e644d79422f17c01e4894b5f4f588d331ebfa28653d42ae832dc59e38c9798f 00000327: PUSH2 0x032e 0000032a: PUSH2 0x045f 0000032d: JUMP 0000032e: JUMPDEST 0000032f: PUSH1 0x40 00000331: DUP1 00000332: MLOAD 00000333: PUSH1 0x01 00000335: PUSH1 0x01 00000337: PUSH1 0xa0 00000339: SHL 0000033a: SUB 0000033b: SWAP3 0000033c: DUP4 0000033d: AND 0000033e: DUP2 0000033f: MSTORE 00000340: SWAP2 00000341: DUP5 00000342: AND 00000343: PUSH1 0x20 00000345: DUP4 00000346: ADD 00000347: MSTORE 00000348: DUP1 00000349: MLOAD 0000034a: SWAP2 0000034b: DUP3 0000034c: SWAP1 0000034d: SUB 0000034e: ADD 0000034f: SWAP1 00000350: LOG1 00000351: PUSH2 0x01d5 00000354: DUP2 00000355: PUSH2 0x04c4 00000358: JUMP 00000359: JUMPDEST 0000035a: PUSH1 0x00 0000035c: PUSH2 0x0363 0000035f: PUSH2 0x045f 00000362: JUMP 00000363: JUMPDEST 00000364: PUSH1 0x01 00000366: PUSH1 0x01 00000368: PUSH1 0xa0 0000036a: SHL 0000036b: SUB 0000036c: AND 0000036d: CALLER 0000036e: PUSH1 0x01 00000370: PUSH1 0x01 00000372: PUSH1 0xa0 00000374: SHL 00000375: SUB 00000376: AND 00000377: EQ 00000378: ISZERO 00000379: PUSH2 0x0294 0000037c: JUMPI 0000037d: PUSH2 0x028d 00000380: PUSH2 0x045f 00000383: JUMP 00000384: JUMPDEST 00000385: PUSH1 0x60 00000387: PUSH2 0x03a9 0000038a: DUP4 0000038b: DUP4 0000038c: PUSH1 0x40 0000038e: MLOAD 0000038f: DUP1 00000390: PUSH1 0x60 00000392: ADD 00000393: PUSH1 0x40 00000395: MSTORE 00000396: DUP1 00000397: PUSH1 0x27 00000399: DUP2 0000039a: MSTORE 0000039b: PUSH1 0x20 0000039d: ADD 0000039e: PUSH2 0x0731 000003a1: PUSH1 0x27 000003a3: SWAP2 000003a4: CODECOPY 000003a5: PUSH2 0x04e8 000003a8: JUMP 000003a9: JUMPDEST 000003aa: SWAP4 000003ab: SWAP3 000003ac: POP 000003ad: POP 000003ae: POP 000003af: JUMP 000003b0: JUMPDEST 000003b1: EXTCODESIZE 000003b2: ISZERO 000003b3: ISZERO 000003b4: SWAP1 000003b5: JUMP 000003b6: JUMPDEST 000003b7: PUSH2 0x03be 000003ba: PUSH2 0x045f 000003bd: JUMP 000003be: JUMPDEST 000003bf: PUSH1 0x01 000003c1: PUSH1 0x01 000003c3: PUSH1 0xa0 000003c5: SHL 000003c6: SUB 000003c7: AND 000003c8: CALLER 000003c9: PUSH1 0x01 000003cb: PUSH1 0x01 000003cd: PUSH1 0xa0 000003cf: SHL 000003d0: SUB 000003d1: AND 000003d2: EQ 000003d3: ISZERO 000003d4: PUSH2 0x040e 000003d7: JUMPI 000003d8: PUSH1 0x40 000003da: MLOAD 000003db: PUSH3 0x461bcd 000003df: PUSH1 0xe5 000003e1: SHL 000003e2: DUP2 000003e3: MSTORE 000003e4: PUSH1 0x04 000003e6: ADD 000003e7: DUP1 000003e8: DUP1 000003e9: PUSH1 0x20 000003eb: ADD 000003ec: DUP3 000003ed: DUP2 000003ee: SUB 000003ef: DUP3 000003f0: MSTORE 000003f1: PUSH1 0x42 000003f3: DUP2 000003f4: MSTORE 000003f5: PUSH1 0x20 000003f7: ADD 000003f8: DUP1 000003f9: PUSH2 0x07b4 000003fc: PUSH1 0x42 000003fe: SWAP2 000003ff: CODECOPY 00000400: PUSH1 0x60 00000402: ADD 00000403: SWAP2 00000404: POP 00000405: POP 00000406: PUSH1 0x40 00000408: MLOAD 00000409: DUP1 0000040a: SWAP2 0000040b: SUB 0000040c: SWAP1 0000040d: REVERT 0000040e: JUMPDEST 0000040f: PUSH2 0x01a9 00000412: PUSH2 0x01a9 00000415: JUMP 00000416: JUMPDEST 00000417: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc 00000438: SLOAD 00000439: SWAP1 0000043a: JUMP 0000043b: JUMPDEST 0000043c: CALLDATASIZE 0000043d: PUSH1 0x00 0000043f: DUP1 00000440: CALLDATACOPY 00000441: PUSH1 0x00 00000443: DUP1 00000444: CALLDATASIZE 00000445: PUSH1 0x00 00000447: DUP5 00000448: GAS 00000449: DELEGATECALL 0000044a: RETURNDATASIZE 0000044b: PUSH1 0x00 0000044d: DUP1 0000044e: RETURNDATACOPY 0000044f: DUP1 00000450: DUP1 00000451: ISZERO 00000452: PUSH2 0x045a 00000455: JUMPI 00000456: RETURNDATASIZE 00000457: PUSH1 0x00 00000459: RETURN 0000045a: JUMPDEST 0000045b: RETURNDATASIZE 0000045c: PUSH1 0x00 0000045e: REVERT 0000045f: JUMPDEST 00000460: PUSH32 0xb53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103 00000481: SLOAD 00000482: SWAP1 00000483: JUMP 00000484: JUMPDEST 00000485: PUSH2 0x048d 00000488: DUP2 00000489: PUSH2 0x05ea 0000048c: JUMP 0000048d: JUMPDEST 0000048e: PUSH1 0x40 00000490: MLOAD 00000491: PUSH1 0x01 00000493: PUSH1 0x01 00000495: PUSH1 0xa0 00000497: SHL 00000498: SUB 00000499: DUP3 0000049a: AND 0000049b: SWAP1 0000049c: PUSH32 0xbc7cd75a20ee27fd9adebab32041f755214dbc6bffa90cc0225b39da2e5c2d3b 000004bd: SWAP1 000004be: PUSH1 0x00 000004c0: SWAP1 000004c1: LOG2 000004c2: POP 000004c3: JUMP 000004c4: JUMPDEST 000004c5: PUSH32 0xb53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103 000004e6: SSTORE 000004e7: JUMP 000004e8: JUMPDEST 000004e9: PUSH1 0x60 000004eb: PUSH2 0x04f3 000004ee: DUP5 000004ef: PUSH2 0x03b0 000004f2: JUMP 000004f3: JUMPDEST 000004f4: PUSH2 0x052e 000004f7: JUMPI 000004f8: PUSH1 0x40 000004fa: MLOAD 000004fb: PUSH3 0x461bcd 000004ff: PUSH1 0xe5 00000501: SHL 00000502: DUP2 00000503: MSTORE 00000504: PUSH1 0x04 00000506: ADD 00000507: DUP1 00000508: DUP1 00000509: PUSH1 0x20 0000050b: ADD 0000050c: DUP3 0000050d: DUP2 0000050e: SUB 0000050f: DUP3 00000510: MSTORE 00000511: PUSH1 0x26 00000513: DUP2 00000514: MSTORE 00000515: PUSH1 0x20 00000517: ADD 00000518: DUP1 00000519: PUSH2 0x078e 0000051c: PUSH1 0x26 0000051e: SWAP2 0000051f: CODECOPY 00000520: PUSH1 0x40 00000522: ADD 00000523: SWAP2 00000524: POP 00000525: POP 00000526: PUSH1 0x40 00000528: MLOAD 00000529: DUP1 0000052a: SWAP2 0000052b: SUB 0000052c: SWAP1 0000052d: REVERT 0000052e: JUMPDEST 0000052f: PUSH1 0x00 00000531: DUP1 00000532: DUP6 00000533: PUSH1 0x01 00000535: PUSH1 0x01 00000537: PUSH1 0xa0 00000539: SHL 0000053a: SUB 0000053b: AND 0000053c: DUP6 0000053d: PUSH1 0x40 0000053f: MLOAD 00000540: DUP1 00000541: DUP3 00000542: DUP1 00000543: MLOAD 00000544: SWAP1 00000545: PUSH1 0x20 00000547: ADD 00000548: SWAP1 00000549: DUP1 0000054a: DUP4 0000054b: DUP4 0000054c: JUMPDEST 0000054d: PUSH1 0x20 0000054f: DUP4 00000550: LT 00000551: PUSH2 0x056b 00000554: JUMPI 00000555: DUP1 00000556: MLOAD 00000557: DUP3 00000558: MSTORE 00000559: PUSH1 0x1f 0000055b: NOT 0000055c: SWAP1 0000055d: SWAP3 0000055e: ADD 0000055f: SWAP2 00000560: PUSH1 0x20 00000562: SWAP2 00000563: DUP3 00000564: ADD 00000565: SWAP2 00000566: ADD 00000567: PUSH2 0x054c 0000056a: JUMP 0000056b: JUMPDEST 0000056c: PUSH1 0x01 0000056e: DUP4 0000056f: PUSH1 0x20 00000571: SUB 00000572: PUSH2 0x0100 00000575: EXP 00000576: SUB 00000577: DUP1 00000578: NOT 00000579: DUP3 0000057a: MLOAD 0000057b: AND 0000057c: DUP2 0000057d: DUP5 0000057e: MLOAD 0000057f: AND 00000580: DUP1 00000581: DUP3 00000582: OR 00000583: DUP6 00000584: MSTORE 00000585: POP 00000586: POP 00000587: POP 00000588: POP 00000589: POP 0000058a: POP 0000058b: SWAP1 0000058c: POP 0000058d: ADD 0000058e: SWAP2 0000058f: POP 00000590: POP 00000591: PUSH1 0x00 00000593: PUSH1 0x40 00000595: MLOAD 00000596: DUP1 00000597: DUP4 00000598: SUB 00000599: DUP2 0000059a: DUP6 0000059b: GAS 0000059c: DELEGATECALL 0000059d: SWAP2 0000059e: POP 0000059f: POP 000005a0: RETURNDATASIZE 000005a1: DUP1 000005a2: PUSH1 0x00 000005a4: DUP2 000005a5: EQ 000005a6: PUSH2 0x05cb 000005a9: JUMPI 000005aa: PUSH1 0x40 000005ac: MLOAD 000005ad: SWAP2 000005ae: POP 000005af: PUSH1 0x1f 000005b1: NOT 000005b2: PUSH1 0x3f 000005b4: RETURNDATASIZE 000005b5: ADD 000005b6: AND 000005b7: DUP3 000005b8: ADD 000005b9: PUSH1 0x40 000005bb: MSTORE 000005bc: RETURNDATASIZE 000005bd: DUP3 000005be: MSTORE 000005bf: RETURNDATASIZE 000005c0: PUSH1 0x00 000005c2: PUSH1 0x20 000005c4: DUP5 000005c5: ADD 000005c6: RETURNDATACOPY 000005c7: PUSH2 0x05d0 000005ca: JUMP 000005cb: JUMPDEST 000005cc: PUSH1 0x60 000005ce: SWAP2 000005cf: POP 000005d0: JUMPDEST 000005d1: POP 000005d2: SWAP2 000005d3: POP 000005d4: SWAP2 000005d5: POP 000005d6: PUSH2 0x05e0 000005d9: DUP3 000005da: DUP3 000005db: DUP7 000005dc: PUSH2 0x0652 000005df: JUMP 000005e0: JUMPDEST 000005e1: SWAP7 000005e2: SWAP6 000005e3: POP 000005e4: POP 000005e5: POP 000005e6: POP 000005e7: POP 000005e8: POP 000005e9: JUMP 000005ea: JUMPDEST 000005eb: PUSH2 0x05f3 000005ee: DUP2 000005ef: PUSH2 0x03b0 000005f2: JUMP 000005f3: JUMPDEST 000005f4: PUSH2 0x062e 000005f7: JUMPI 000005f8: PUSH1 0x40 000005fa: MLOAD 000005fb: PUSH3 0x461bcd 000005ff: PUSH1 0xe5 00000601: SHL 00000602: DUP2 00000603: MSTORE 00000604: PUSH1 0x04 00000606: ADD 00000607: DUP1 00000608: DUP1 00000609: PUSH1 0x20 0000060b: ADD 0000060c: DUP3 0000060d: DUP2 0000060e: SUB 0000060f: DUP3 00000610: MSTORE 00000611: PUSH1 0x36 00000613: DUP2 00000614: MSTORE 00000615: PUSH1 0x20 00000617: ADD 00000618: DUP1 00000619: PUSH2 0x0758 0000061c: PUSH1 0x36 0000061e: SWAP2 0000061f: CODECOPY 00000620: PUSH1 0x40 00000622: ADD 00000623: SWAP2 00000624: POP 00000625: POP 00000626: PUSH1 0x40 00000628: MLOAD 00000629: DUP1 0000062a: SWAP2 0000062b: SUB 0000062c: SWAP1 0000062d: REVERT 0000062e: JUMPDEST 0000062f: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc 00000650: SSTORE 00000651: JUMP 00000652: JUMPDEST 00000653: PUSH1 0x60 00000655: DUP4 00000656: ISZERO 00000657: PUSH2 0x0661 0000065a: JUMPI 0000065b: POP 0000065c: DUP2 0000065d: PUSH2 0x03a9 00000660: JUMP 00000661: JUMPDEST 00000662: DUP3 00000663: MLOAD 00000664: ISZERO 00000665: PUSH2 0x0671 00000668: JUMPI 00000669: DUP3 0000066a: MLOAD 0000066b: DUP1 0000066c: DUP5 0000066d: PUSH1 0x20 0000066f: ADD 00000670: REVERT 00000671: JUMPDEST 00000672: DUP2 00000673: PUSH1 0x40 00000675: MLOAD 00000676: PUSH3 0x461bcd 0000067a: PUSH1 0xe5 0000067c: SHL 0000067d: DUP2 0000067e: MSTORE 0000067f: PUSH1 0x04 00000681: ADD 00000682: DUP1 00000683: DUP1 00000684: PUSH1 0x20 00000686: ADD 00000687: DUP3 00000688: DUP2 00000689: SUB 0000068a: DUP3 0000068b: MSTORE 0000068c: DUP4 0000068d: DUP2 0000068e: DUP2 0000068f: MLOAD 00000690: DUP2 00000691: MSTORE 00000692: PUSH1 0x20 00000694: ADD 00000695: SWAP2 00000696: POP 00000697: DUP1 00000698: MLOAD 00000699: SWAP1 0000069a: PUSH1 0x20 0000069c: ADD 0000069d: SWAP1 0000069e: DUP1 0000069f: DUP4 000006a0: DUP4 000006a1: PUSH1 0x00 000006a3: JUMPDEST 000006a4: DUP4 000006a5: DUP2 000006a6: LT 000006a7: ISZERO 000006a8: PUSH2 0x06bb 000006ab: JUMPI 000006ac: DUP2 000006ad: DUP2 000006ae: ADD 000006af: MLOAD 000006b0: DUP4 000006b1: DUP3 000006b2: ADD 000006b3: MSTORE 000006b4: PUSH1 0x20 000006b6: ADD 000006b7: PUSH2 0x06a3 000006ba: JUMP 000006bb: JUMPDEST 000006bc: POP 000006bd: POP 000006be: POP 000006bf: POP 000006c0: SWAP1 000006c1: POP 000006c2: SWAP1 000006c3: DUP2 000006c4: ADD 000006c5: SWAP1 000006c6: PUSH1 0x1f 000006c8: AND 000006c9: DUP1 000006ca: ISZERO 000006cb: PUSH2 0x06e8 000006ce: JUMPI 000006cf: DUP1 000006d0: DUP3 000006d1: SUB 000006d2: DUP1 000006d3: MLOAD 000006d4: PUSH1 0x01 000006d6: DUP4 000006d7: PUSH1 0x20 000006d9: SUB 000006da: PUSH2 0x0100 000006dd: EXP 000006de: SUB 000006df: NOT 000006e0: AND 000006e1: DUP2 000006e2: MSTORE 000006e3: PUSH1 0x20 000006e5: ADD 000006e6: SWAP2 000006e7: POP 000006e8: JUMPDEST 000006e9: POP 000006ea: SWAP3 000006eb: POP 000006ec: POP 000006ed: POP 000006ee: PUSH1 0x40 000006f0: MLOAD 000006f1: DUP1 000006f2: SWAP2 000006f3: SUB 000006f4: SWAP1 000006f5: REVERT 000006f6: INVALID 000006f7: SLOAD 000006f8: PUSH19 0x616e73706172656e745570677261646561626c 0000070c: PUSH6 0x50726f78793a 00000713: KECCAK256 00000714: PUSH15 0x65772061646d696e20697320746865 00000724: KECCAK256 00000725: PUSH27 0x65726f2061646472657373416464726573733a206c6f772d6c6576 00000741: PUSH6 0x6c2064656c65 00000748: PUSH8 0x6174652063616c6c 00000751: KECCAK256 00000752: PUSH7 0x61696c65645570 0000075a: PUSH8 0x7261646561626c65 00000763: POP 00000764: PUSH19 0x6f78793a206e657720696d706c656d656e7461 00000778: PUSH21 0x696f6e206973206e6f74206120636f6e7472616374 0000078e: COINBASE 0000078f: PUSH5 0x6472657373 00000795: GASPRICE 00000796: KECCAK256 00000797: PUSH5 0x656c656761 0000079d: PUSH21 0x652063616c6c20746f206e6f6e2d636f6e74726163 000007b3: PUSH21 0x5472616e73706172656e745570677261646561626c 000007c9: PUSH6 0x50726f78793a 000007d0: KECCAK256 000007d1: PUSH2 0x646d 000007d4: PUSH10 0x6e2063616e6e6f742066 000007df: PUSH2 0x6c6c 000007e2: PUSH3 0x61636b 000007e6: KECCAK256 000007e7: PUSH21 0x6f2070726f787920746172676574a2646970667358 000007fd: UNKNOWN(0x22) 000007fe: SLT 000007ff: KECCAK256 00000800: SWAP14 00000801: UNKNOWN(0xDA) 00000802: UNKNOWN(0x2C) 00000803: SWAP7 00000804: UNKNOWN(0xAF) 00000805: SWAP9 00000806: PUSH19 0x25d9d2a5173665c66923461fd9ca8a30593daa 0000081a: UNKNOWN(0xE5) 0000081b: UNKNOWN(0x4D) 0000081c: DUP7 0000081d: EXTCODEHASH 0000081e: UNKNOWN(0xCF) 0000081f: UNKNOWN(0xD5) 00000820: PUSH5 0x736f6c6343 00000826: STOP 00000827: SMOD 00000828: MOD 00000829: STOP 0000082a: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| critical | upgradeability | detector | Untrusted DELEGATECALL target reachable | 70 | no | no |
viewtrace_id: 0xaf05761db4e21404705d4ffdd4eeef70ab5082213868d1f1ae1e773b58ea1fef
call_targets:
0x91630f5e28f1f30067b92a8d9d7b8e836afddf9b
target_varies:
no
classification:
constant_target
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "sink_reached",
"attempts": 2,
"trace_id": "0xaf05761db4e21404705d4ffdd4eeef70ab5082213868d1f1ae1e773b58ea1fef",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x91630f5e28f1f30067b92a8d9d7b8e836afddf9b"
],
"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": "0x3659cfe6",
"selector": "0x3659cfe6",
"calldata_variants": [
"0x3659cfe6",
"0x3659cfe60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4f1ef286",
"selector": "0x4f1ef286",
"calldata_variants": [
"0x4f1ef286",
"0x4f1ef2860000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c60da1b",
"selector": "0x5c60da1b",
"calldata_variants": [
"0x5c60da1b",
"0x5c60da1b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8f283970",
"selector": "0x8f283970",
"calldata_variants": [
"0x8f283970",
"0x8f2839700000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf851a440",
"selector": "0xf851a440",
"calldata_variants": [
"0xf851a440",
"0xf851a4400000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1097,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
},
{
"pc": 1436,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [],
"delegatecall_count": 2,
"untrusted_delegatecall_count": 2
}
|