019ba9a5-c680-7108-803a-62978d319d40
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 |
|---|---|---|---|---|
| 37150 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 37151 | proxy.resolve | complete | 1 / 3 | 3 months ago |
| 37152 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 37153 | analysis.bundle | complete | 1 / 3 | 3 months ago |
| 37154 | capability.graph | complete | 1 / 3 | 3 months ago |
| 37155 | detector.run | complete | 1 / 3 | 3 months ago |
| 37156 | validation.fork | complete | 1 / 3 | 3 months ago |
{
"method": "etherscan+onchain",
"status": "confirmed",
"etherscan_hint": {
"source": "etherscan",
"etherscan": {
"proxy_flag": true,
"implementation": "0x9321de45f1057caf43d6af611953976f271e6b42"
}
},
"implementation": "0x9321de45f1057caf43d6af611953976f271e6b42",
"onchain_method": "eip1967"
}
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 0x0074 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x8f283970 00000019: GT 0000001a: PUSH2 0x004e 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x8f283970 00000024: EQ 00000025: PUSH2 0x00ef 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xcf7a1d77 0000002f: EQ 00000030: PUSH2 0x010f 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xd1f57894 0000003a: EQ 0000003b: PUSH2 0x0122 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xf851a440 00000045: EQ 00000046: PUSH2 0x0135 00000049: JUMPI 0000004a: PUSH2 0x0083 0000004d: JUMP 0000004e: JUMPDEST 0000004f: DUP1 00000050: PUSH4 0x3659cfe6 00000055: EQ 00000056: PUSH2 0x008b 00000059: JUMPI 0000005a: DUP1 0000005b: PUSH4 0x4f1ef286 00000060: EQ 00000061: PUSH2 0x00ab 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0x5c60da1b 0000006b: EQ 0000006c: PUSH2 0x00be 0000006f: JUMPI 00000070: PUSH2 0x0083 00000073: JUMP 00000074: JUMPDEST 00000075: CALLDATASIZE 00000076: PUSH2 0x0083 00000079: JUMPI 0000007a: PUSH2 0x0081 0000007d: PUSH2 0x014a 00000080: JUMP 00000081: JUMPDEST 00000082: STOP 00000083: JUMPDEST 00000084: PUSH2 0x0081 00000087: PUSH2 0x014a 0000008a: JUMP 0000008b: JUMPDEST 0000008c: CALLVALUE 0000008d: DUP1 0000008e: ISZERO 0000008f: PUSH2 0x0097 00000092: JUMPI 00000093: PUSH1 0x00 00000095: DUP1 00000096: REVERT 00000097: JUMPDEST 00000098: POP 00000099: PUSH2 0x0081 0000009c: PUSH2 0x00a6 0000009f: CALLDATASIZE 000000a0: PUSH1 0x04 000000a2: PUSH2 0x07a6 000000a5: JUMP 000000a6: JUMPDEST 000000a7: PUSH2 0x0184 000000aa: JUMP 000000ab: JUMPDEST 000000ac: PUSH2 0x0081 000000af: PUSH2 0x00b9 000000b2: CALLDATASIZE 000000b3: PUSH1 0x04 000000b5: PUSH2 0x07c8 000000b8: JUMP 000000b9: JUMPDEST 000000ba: PUSH2 0x01c1 000000bd: JUMP 000000be: JUMPDEST 000000bf: CALLVALUE 000000c0: DUP1 000000c1: ISZERO 000000c2: PUSH2 0x00ca 000000c5: JUMPI 000000c6: PUSH1 0x00 000000c8: DUP1 000000c9: REVERT 000000ca: JUMPDEST 000000cb: POP 000000cc: PUSH2 0x00d3 000000cf: PUSH2 0x0270 000000d2: JUMP 000000d3: JUMPDEST 000000d4: PUSH1 0x40 000000d6: MLOAD 000000d7: PUSH1 0x01 000000d9: PUSH1 0x01 000000db: PUSH1 0xa0 000000dd: SHL 000000de: SUB 000000df: SWAP1 000000e0: SWAP2 000000e1: AND 000000e2: DUP2 000000e3: MSTORE 000000e4: PUSH1 0x20 000000e6: ADD 000000e7: PUSH1 0x40 000000e9: MLOAD 000000ea: DUP1 000000eb: SWAP2 000000ec: SUB 000000ed: SWAP1 000000ee: RETURN 000000ef: JUMPDEST 000000f0: CALLVALUE 000000f1: DUP1 000000f2: ISZERO 000000f3: PUSH2 0x00fb 000000f6: JUMPI 000000f7: PUSH1 0x00 000000f9: DUP1 000000fa: REVERT 000000fb: JUMPDEST 000000fc: POP 000000fd: PUSH2 0x0081 00000100: PUSH2 0x010a 00000103: CALLDATASIZE 00000104: PUSH1 0x04 00000106: PUSH2 0x07a6 00000109: JUMP 0000010a: JUMPDEST 0000010b: PUSH2 0x02d2 0000010e: JUMP 0000010f: JUMPDEST 00000110: PUSH2 0x0081 00000113: PUSH2 0x011d 00000116: CALLDATASIZE 00000117: PUSH1 0x04 00000119: PUSH2 0x08ee 0000011c: JUMP 0000011d: JUMPDEST 0000011e: PUSH2 0x03eb 00000121: JUMP 00000122: JUMPDEST 00000123: PUSH2 0x0081 00000126: PUSH2 0x0130 00000129: CALLDATASIZE 0000012a: PUSH1 0x04 0000012c: PUSH2 0x094c 0000012f: JUMP 00000130: JUMPDEST 00000131: PUSH2 0x048f 00000134: JUMP 00000135: JUMPDEST 00000136: CALLVALUE 00000137: DUP1 00000138: ISZERO 00000139: PUSH2 0x0141 0000013c: JUMPI 0000013d: PUSH1 0x00 0000013f: DUP1 00000140: REVERT 00000141: JUMPDEST 00000142: POP 00000143: PUSH2 0x00d3 00000146: PUSH2 0x05a1 00000149: JUMP 0000014a: JUMPDEST 0000014b: PUSH2 0x0152 0000014e: PUSH2 0x05e6 00000151: JUMP 00000152: JUMPDEST 00000153: PUSH2 0x0182 00000156: PUSH2 0x017d 00000159: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc 0000017a: SLOAD 0000017b: SWAP1 0000017c: JUMP 0000017d: JUMPDEST 0000017e: PUSH2 0x05ee 00000181: JUMP 00000182: JUMPDEST 00000183: JUMP 00000184: JUMPDEST 00000185: PUSH1 0x00 00000187: DUP1 00000188: MLOAD 00000189: PUSH1 0x20 0000018b: PUSH2 0x0a21 0000018e: DUP4 0000018f: CODECOPY 00000190: DUP2 00000191: MLOAD 00000192: SWAP2 00000193: MSTORE 00000194: SLOAD 00000195: PUSH1 0x01 00000197: PUSH1 0x01 00000199: PUSH1 0xa0 0000019b: SHL 0000019c: SUB 0000019d: AND 0000019e: CALLER 0000019f: PUSH1 0x01 000001a1: PUSH1 0x01 000001a3: PUSH1 0xa0 000001a5: SHL 000001a6: SUB 000001a7: AND 000001a8: EQ 000001a9: ISZERO 000001aa: PUSH2 0x01b9 000001ad: JUMPI 000001ae: PUSH2 0x01b6 000001b1: DUP2 000001b2: PUSH2 0x0612 000001b5: JUMP 000001b6: JUMPDEST 000001b7: POP 000001b8: JUMP 000001b9: JUMPDEST 000001ba: PUSH2 0x01b6 000001bd: PUSH2 0x014a 000001c0: JUMP 000001c1: JUMPDEST 000001c2: PUSH1 0x00 000001c4: DUP1 000001c5: MLOAD 000001c6: PUSH1 0x20 000001c8: PUSH2 0x0a21 000001cb: DUP4 000001cc: CODECOPY 000001cd: DUP2 000001ce: MLOAD 000001cf: SWAP2 000001d0: MSTORE 000001d1: SLOAD 000001d2: PUSH1 0x01 000001d4: PUSH1 0x01 000001d6: PUSH1 0xa0 000001d8: SHL 000001d9: SUB 000001da: AND 000001db: CALLER 000001dc: PUSH1 0x01 000001de: PUSH1 0x01 000001e0: PUSH1 0xa0 000001e2: SHL 000001e3: SUB 000001e4: AND 000001e5: EQ 000001e6: ISZERO 000001e7: PUSH2 0x0263 000001ea: JUMPI 000001eb: PUSH2 0x01f3 000001ee: DUP4 000001ef: PUSH2 0x0612 000001f2: JUMP 000001f3: JUMPDEST 000001f4: PUSH1 0x00 000001f6: DUP4 000001f7: PUSH1 0x01 000001f9: PUSH1 0x01 000001fb: PUSH1 0xa0 000001fd: SHL 000001fe: SUB 000001ff: AND 00000200: DUP4 00000201: DUP4 00000202: PUSH1 0x40 00000204: MLOAD 00000205: PUSH2 0x020f 00000208: SWAP3 00000209: SWAP2 0000020a: SWAP1 0000020b: PUSH2 0x099a 0000020e: JUMP 0000020f: JUMPDEST 00000210: PUSH1 0x00 00000212: PUSH1 0x40 00000214: MLOAD 00000215: DUP1 00000216: DUP4 00000217: SUB 00000218: DUP2 00000219: DUP6 0000021a: GAS 0000021b: DELEGATECALL 0000021c: SWAP2 0000021d: POP 0000021e: POP 0000021f: RETURNDATASIZE 00000220: DUP1 00000221: PUSH1 0x00 00000223: DUP2 00000224: EQ 00000225: PUSH2 0x024a 00000228: JUMPI 00000229: PUSH1 0x40 0000022b: MLOAD 0000022c: SWAP2 0000022d: POP 0000022e: PUSH1 0x1f 00000230: NOT 00000231: PUSH1 0x3f 00000233: RETURNDATASIZE 00000234: ADD 00000235: AND 00000236: DUP3 00000237: ADD 00000238: PUSH1 0x40 0000023a: MSTORE 0000023b: RETURNDATASIZE 0000023c: DUP3 0000023d: MSTORE 0000023e: RETURNDATASIZE 0000023f: PUSH1 0x00 00000241: PUSH1 0x20 00000243: DUP5 00000244: ADD 00000245: RETURNDATACOPY 00000246: PUSH2 0x024f 00000249: JUMP 0000024a: JUMPDEST 0000024b: PUSH1 0x60 0000024d: SWAP2 0000024e: POP 0000024f: JUMPDEST 00000250: POP 00000251: POP 00000252: SWAP1 00000253: POP 00000254: DUP1 00000255: PUSH2 0x025d 00000258: JUMPI 00000259: PUSH1 0x00 0000025b: DUP1 0000025c: REVERT 0000025d: JUMPDEST 0000025e: POP 0000025f: POP 00000260: POP 00000261: POP 00000262: JUMP 00000263: JUMPDEST 00000264: PUSH2 0x026b 00000267: PUSH2 0x014a 0000026a: JUMP 0000026b: JUMPDEST 0000026c: POP 0000026d: POP 0000026e: POP 0000026f: JUMP 00000270: JUMPDEST 00000271: PUSH1 0x00 00000273: PUSH2 0x0288 00000276: PUSH1 0x00 00000278: DUP1 00000279: MLOAD 0000027a: PUSH1 0x20 0000027c: PUSH2 0x0a21 0000027f: DUP4 00000280: CODECOPY 00000281: DUP2 00000282: MLOAD 00000283: SWAP2 00000284: MSTORE 00000285: SLOAD 00000286: SWAP1 00000287: JUMP 00000288: JUMPDEST 00000289: PUSH1 0x01 0000028b: PUSH1 0x01 0000028d: PUSH1 0xa0 0000028f: SHL 00000290: SUB 00000291: AND 00000292: CALLER 00000293: PUSH1 0x01 00000295: PUSH1 0x01 00000297: PUSH1 0xa0 00000299: SHL 0000029a: SUB 0000029b: AND 0000029c: EQ 0000029d: ISZERO 0000029e: PUSH2 0x02c7 000002a1: JUMPI 000002a2: POP 000002a3: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc 000002c4: SLOAD 000002c5: SWAP1 000002c6: JUMP 000002c7: JUMPDEST 000002c8: PUSH2 0x02cf 000002cb: PUSH2 0x014a 000002ce: JUMP 000002cf: JUMPDEST 000002d0: SWAP1 000002d1: JUMP 000002d2: JUMPDEST 000002d3: PUSH1 0x00 000002d5: DUP1 000002d6: MLOAD 000002d7: PUSH1 0x20 000002d9: PUSH2 0x0a21 000002dc: DUP4 000002dd: CODECOPY 000002de: DUP2 000002df: MLOAD 000002e0: SWAP2 000002e1: MSTORE 000002e2: SLOAD 000002e3: PUSH1 0x01 000002e5: PUSH1 0x01 000002e7: PUSH1 0xa0 000002e9: SHL 000002ea: SUB 000002eb: AND 000002ec: CALLER 000002ed: PUSH1 0x01 000002ef: PUSH1 0x01 000002f1: PUSH1 0xa0 000002f3: SHL 000002f4: SUB 000002f5: AND 000002f6: EQ 000002f7: ISZERO 000002f8: PUSH2 0x01b9 000002fb: JUMPI 000002fc: PUSH1 0x01 000002fe: PUSH1 0x01 00000300: PUSH1 0xa0 00000302: SHL 00000303: SUB 00000304: DUP2 00000305: AND 00000306: PUSH2 0x037c 00000309: JUMPI 0000030a: PUSH1 0x40 0000030c: MLOAD 0000030d: PUSH3 0x461bcd 00000311: PUSH1 0xe5 00000313: SHL 00000314: DUP2 00000315: MSTORE 00000316: PUSH1 0x20 00000318: PUSH1 0x04 0000031a: DUP3 0000031b: ADD 0000031c: MSTORE 0000031d: PUSH1 0x36 0000031f: PUSH1 0x24 00000321: DUP3 00000322: ADD 00000323: MSTORE 00000324: PUSH32 0x43616e6e6f74206368616e6765207468652061646d696e206f6620612070726f 00000345: PUSH1 0x44 00000347: DUP3 00000348: ADD 00000349: MSTORE 0000034a: PUSH32 0x787920746f20746865207a65726f206164647265737300000000000000000000 0000036b: PUSH1 0x64 0000036d: DUP3 0000036e: ADD 0000036f: MSTORE 00000370: PUSH1 0x84 00000372: ADD 00000373: JUMPDEST 00000374: PUSH1 0x40 00000376: MLOAD 00000377: DUP1 00000378: SWAP2 00000379: SUB 0000037a: SWAP1 0000037b: REVERT 0000037c: JUMPDEST 0000037d: PUSH32 0x7e644d79422f17c01e4894b5f4f588d331ebfa28653d42ae832dc59e38c9798f 0000039e: PUSH2 0x03b3 000003a1: PUSH1 0x00 000003a3: DUP1 000003a4: MLOAD 000003a5: PUSH1 0x20 000003a7: PUSH2 0x0a21 000003aa: DUP4 000003ab: CODECOPY 000003ac: DUP2 000003ad: MLOAD 000003ae: SWAP2 000003af: MSTORE 000003b0: SLOAD 000003b1: SWAP1 000003b2: JUMP 000003b3: JUMPDEST 000003b4: PUSH1 0x40 000003b6: DUP1 000003b7: MLOAD 000003b8: PUSH1 0x01 000003ba: PUSH1 0x01 000003bc: PUSH1 0xa0 000003be: SHL 000003bf: SUB 000003c0: SWAP3 000003c1: DUP4 000003c2: AND 000003c3: DUP2 000003c4: MSTORE 000003c5: SWAP2 000003c6: DUP5 000003c7: AND 000003c8: PUSH1 0x20 000003ca: DUP4 000003cb: ADD 000003cc: MSTORE 000003cd: ADD 000003ce: PUSH1 0x40 000003d0: MLOAD 000003d1: DUP1 000003d2: SWAP2 000003d3: SUB 000003d4: SWAP1 000003d5: LOG1 000003d6: PUSH2 0x01b6 000003d9: DUP2 000003da: PUSH1 0x00 000003dc: DUP1 000003dd: MLOAD 000003de: PUSH1 0x20 000003e0: PUSH2 0x0a21 000003e3: DUP4 000003e4: CODECOPY 000003e5: DUP2 000003e6: MLOAD 000003e7: SWAP2 000003e8: MSTORE 000003e9: SSTORE 000003ea: JUMP 000003eb: JUMPDEST 000003ec: PUSH1 0x00 000003ee: PUSH2 0x0415 000003f1: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc 00000412: SLOAD 00000413: SWAP1 00000414: JUMP 00000415: JUMPDEST 00000416: PUSH1 0x01 00000418: PUSH1 0x01 0000041a: PUSH1 0xa0 0000041c: SHL 0000041d: SUB 0000041e: AND 0000041f: EQ 00000420: PUSH2 0x0428 00000423: JUMPI 00000424: PUSH1 0x00 00000426: DUP1 00000427: REVERT 00000428: JUMPDEST 00000429: PUSH2 0x0432 0000042c: DUP4 0000042d: DUP3 0000042e: PUSH2 0x048f 00000431: JUMP 00000432: JUMPDEST 00000433: PUSH2 0x045d 00000436: PUSH1 0x01 00000438: PUSH32 0xb53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6104 00000459: PUSH2 0x09aa 0000045c: JUMP 0000045d: JUMPDEST 0000045e: PUSH1 0x00 00000460: DUP1 00000461: MLOAD 00000462: PUSH1 0x20 00000464: PUSH2 0x0a21 00000467: DUP4 00000468: CODECOPY 00000469: DUP2 0000046a: MLOAD 0000046b: SWAP2 0000046c: MSTORE 0000046d: EQ 0000046e: PUSH2 0x0479 00000471: JUMPI 00000472: PUSH2 0x0479 00000475: PUSH2 0x09cf 00000478: JUMP 00000479: JUMPDEST 0000047a: PUSH2 0x026b 0000047d: DUP3 0000047e: PUSH1 0x00 00000480: DUP1 00000481: MLOAD 00000482: PUSH1 0x20 00000484: PUSH2 0x0a21 00000487: DUP4 00000488: CODECOPY 00000489: DUP2 0000048a: MLOAD 0000048b: SWAP2 0000048c: MSTORE 0000048d: SSTORE 0000048e: JUMP 0000048f: JUMPDEST 00000490: PUSH1 0x00 00000492: PUSH2 0x04b9 00000495: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc 000004b6: SLOAD 000004b7: SWAP1 000004b8: JUMP 000004b9: JUMPDEST 000004ba: PUSH1 0x01 000004bc: PUSH1 0x01 000004be: PUSH1 0xa0 000004c0: SHL 000004c1: SUB 000004c2: AND 000004c3: EQ 000004c4: PUSH2 0x04cc 000004c7: JUMPI 000004c8: PUSH1 0x00 000004ca: DUP1 000004cb: REVERT 000004cc: JUMPDEST 000004cd: PUSH2 0x04f7 000004d0: PUSH1 0x01 000004d2: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbd 000004f3: PUSH2 0x09aa 000004f6: JUMP 000004f7: JUMPDEST 000004f8: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc 00000519: EQ 0000051a: PUSH2 0x0525 0000051d: JUMPI 0000051e: PUSH2 0x0525 00000521: PUSH2 0x09cf 00000524: JUMP 00000525: JUMPDEST 00000526: PUSH2 0x052e 00000529: DUP3 0000052a: PUSH2 0x0652 0000052d: JUMP 0000052e: JUMPDEST 0000052f: DUP1 00000530: MLOAD 00000531: ISZERO 00000532: PUSH2 0x059d 00000535: JUMPI 00000536: PUSH1 0x00 00000538: DUP3 00000539: PUSH1 0x01 0000053b: PUSH1 0x01 0000053d: PUSH1 0xa0 0000053f: SHL 00000540: SUB 00000541: AND 00000542: DUP3 00000543: PUSH1 0x40 00000545: MLOAD 00000546: PUSH2 0x054f 00000549: SWAP2 0000054a: SWAP1 0000054b: PUSH2 0x09e5 0000054e: JUMP 0000054f: JUMPDEST 00000550: PUSH1 0x00 00000552: PUSH1 0x40 00000554: MLOAD 00000555: DUP1 00000556: DUP4 00000557: SUB 00000558: DUP2 00000559: DUP6 0000055a: GAS 0000055b: DELEGATECALL 0000055c: SWAP2 0000055d: POP 0000055e: POP 0000055f: RETURNDATASIZE 00000560: DUP1 00000561: PUSH1 0x00 00000563: DUP2 00000564: EQ 00000565: PUSH2 0x058a 00000568: JUMPI 00000569: PUSH1 0x40 0000056b: MLOAD 0000056c: SWAP2 0000056d: POP 0000056e: PUSH1 0x1f 00000570: NOT 00000571: PUSH1 0x3f 00000573: RETURNDATASIZE 00000574: ADD 00000575: AND 00000576: DUP3 00000577: ADD 00000578: PUSH1 0x40 0000057a: MSTORE 0000057b: RETURNDATASIZE 0000057c: DUP3 0000057d: MSTORE 0000057e: RETURNDATASIZE 0000057f: PUSH1 0x00 00000581: PUSH1 0x20 00000583: DUP5 00000584: ADD 00000585: RETURNDATACOPY 00000586: PUSH2 0x058f 00000589: JUMP 0000058a: JUMPDEST 0000058b: PUSH1 0x60 0000058d: SWAP2 0000058e: POP 0000058f: JUMPDEST 00000590: POP 00000591: POP 00000592: SWAP1 00000593: POP 00000594: DUP1 00000595: PUSH2 0x026b 00000598: JUMPI 00000599: PUSH1 0x00 0000059b: DUP1 0000059c: REVERT 0000059d: JUMPDEST 0000059e: POP 0000059f: POP 000005a0: JUMP 000005a1: JUMPDEST 000005a2: PUSH1 0x00 000005a4: PUSH2 0x05b9 000005a7: PUSH1 0x00 000005a9: DUP1 000005aa: MLOAD 000005ab: PUSH1 0x20 000005ad: PUSH2 0x0a21 000005b0: DUP4 000005b1: CODECOPY 000005b2: DUP2 000005b3: MLOAD 000005b4: SWAP2 000005b5: MSTORE 000005b6: SLOAD 000005b7: SWAP1 000005b8: JUMP 000005b9: JUMPDEST 000005ba: PUSH1 0x01 000005bc: PUSH1 0x01 000005be: PUSH1 0xa0 000005c0: SHL 000005c1: SUB 000005c2: AND 000005c3: CALLER 000005c4: PUSH1 0x01 000005c6: PUSH1 0x01 000005c8: PUSH1 0xa0 000005ca: SHL 000005cb: SUB 000005cc: AND 000005cd: EQ 000005ce: ISZERO 000005cf: PUSH2 0x02c7 000005d2: JUMPI 000005d3: POP 000005d4: PUSH1 0x00 000005d6: DUP1 000005d7: MLOAD 000005d8: PUSH1 0x20 000005da: PUSH2 0x0a21 000005dd: DUP4 000005de: CODECOPY 000005df: DUP2 000005e0: MLOAD 000005e1: SWAP2 000005e2: MSTORE 000005e3: SLOAD 000005e4: SWAP1 000005e5: JUMP 000005e6: JUMPDEST 000005e7: PUSH2 0x0182 000005ea: PUSH2 0x06f3 000005ed: JUMP 000005ee: JUMPDEST 000005ef: CALLDATASIZE 000005f0: PUSH1 0x00 000005f2: DUP1 000005f3: CALLDATACOPY 000005f4: PUSH1 0x00 000005f6: DUP1 000005f7: CALLDATASIZE 000005f8: PUSH1 0x00 000005fa: DUP5 000005fb: GAS 000005fc: DELEGATECALL 000005fd: RETURNDATASIZE 000005fe: PUSH1 0x00 00000600: DUP1 00000601: RETURNDATACOPY 00000602: DUP1 00000603: DUP1 00000604: ISZERO 00000605: PUSH2 0x060d 00000608: JUMPI 00000609: RETURNDATASIZE 0000060a: PUSH1 0x00 0000060c: RETURN 0000060d: JUMPDEST 0000060e: RETURNDATASIZE 0000060f: PUSH1 0x00 00000611: REVERT 00000612: JUMPDEST 00000613: PUSH2 0x061b 00000616: DUP2 00000617: PUSH2 0x0652 0000061a: JUMP 0000061b: JUMPDEST 0000061c: PUSH1 0x40 0000061e: MLOAD 0000061f: PUSH1 0x01 00000621: PUSH1 0x01 00000623: PUSH1 0xa0 00000625: SHL 00000626: SUB 00000627: DUP3 00000628: AND 00000629: SWAP1 0000062a: PUSH32 0xbc7cd75a20ee27fd9adebab32041f755214dbc6bffa90cc0225b39da2e5c2d3b 0000064b: SWAP1 0000064c: PUSH1 0x00 0000064e: SWAP1 0000064f: LOG2 00000650: POP 00000651: JUMP 00000652: JUMPDEST 00000653: PUSH1 0x01 00000655: PUSH1 0x01 00000657: PUSH1 0xa0 00000659: SHL 0000065a: SUB 0000065b: DUP2 0000065c: AND 0000065d: EXTCODESIZE 0000065e: PUSH2 0x06cf 00000661: JUMPI 00000662: PUSH1 0x40 00000664: MLOAD 00000665: PUSH3 0x461bcd 00000669: PUSH1 0xe5 0000066b: SHL 0000066c: DUP2 0000066d: MSTORE 0000066e: PUSH1 0x20 00000670: PUSH1 0x04 00000672: DUP3 00000673: ADD 00000674: MSTORE 00000675: PUSH1 0x3b 00000677: PUSH1 0x24 00000679: DUP3 0000067a: ADD 0000067b: MSTORE 0000067c: PUSH32 0x43616e6e6f742073657420612070726f787920696d706c656d656e746174696f 0000069d: PUSH1 0x44 0000069f: DUP3 000006a0: ADD 000006a1: MSTORE 000006a2: PUSH32 0x6e20746f2061206e6f6e2d636f6e747261637420616464726573730000000000 000006c3: PUSH1 0x64 000006c5: DUP3 000006c6: ADD 000006c7: MSTORE 000006c8: PUSH1 0x84 000006ca: ADD 000006cb: PUSH2 0x0373 000006ce: JUMP 000006cf: JUMPDEST 000006d0: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc 000006f1: SSTORE 000006f2: JUMP 000006f3: JUMPDEST 000006f4: PUSH1 0x00 000006f6: DUP1 000006f7: MLOAD 000006f8: PUSH1 0x20 000006fa: PUSH2 0x0a21 000006fd: DUP4 000006fe: CODECOPY 000006ff: DUP2 00000700: MLOAD 00000701: SWAP2 00000702: MSTORE 00000703: SLOAD 00000704: PUSH1 0x01 00000706: PUSH1 0x01 00000708: PUSH1 0xa0 0000070a: SHL 0000070b: SUB 0000070c: AND 0000070d: CALLER 0000070e: PUSH1 0x01 00000710: PUSH1 0x01 00000712: PUSH1 0xa0 00000714: SHL 00000715: SUB 00000716: AND 00000717: EQ 00000718: ISZERO 00000719: PUSH2 0x0182 0000071c: JUMPI 0000071d: PUSH1 0x40 0000071f: MLOAD 00000720: PUSH3 0x461bcd 00000724: PUSH1 0xe5 00000726: SHL 00000727: DUP2 00000728: MSTORE 00000729: PUSH1 0x20 0000072b: PUSH1 0x04 0000072d: DUP3 0000072e: ADD 0000072f: MSTORE 00000730: PUSH1 0x32 00000732: PUSH1 0x24 00000734: DUP3 00000735: ADD 00000736: MSTORE 00000737: PUSH32 0x43616e6e6f742063616c6c2066616c6c6261636b2066756e6374696f6e206672 00000758: PUSH1 0x44 0000075a: DUP3 0000075b: ADD 0000075c: MSTORE 0000075d: PUSH32 0x6f6d207468652070726f78792061646d696e0000000000000000000000000000 0000077e: PUSH1 0x64 00000780: DUP3 00000781: ADD 00000782: MSTORE 00000783: PUSH1 0x84 00000785: ADD 00000786: PUSH2 0x0373 00000789: JUMP 0000078a: JUMPDEST 0000078b: DUP1 0000078c: CALLDATALOAD 0000078d: PUSH1 0x01 0000078f: PUSH1 0x01 00000791: PUSH1 0xa0 00000793: SHL 00000794: SUB 00000795: DUP2 00000796: AND 00000797: DUP2 00000798: EQ 00000799: PUSH2 0x07a1 0000079c: JUMPI 0000079d: PUSH1 0x00 0000079f: DUP1 000007a0: REVERT 000007a1: JUMPDEST 000007a2: SWAP2 000007a3: SWAP1 000007a4: POP 000007a5: JUMP 000007a6: JUMPDEST 000007a7: PUSH1 0x00 000007a9: PUSH1 0x20 000007ab: DUP3 000007ac: DUP5 000007ad: SUB 000007ae: SLT 000007af: ISZERO 000007b0: PUSH2 0x07b8 000007b3: JUMPI 000007b4: PUSH1 0x00 000007b6: DUP1 000007b7: REVERT 000007b8: JUMPDEST 000007b9: PUSH2 0x07c1 000007bc: DUP3 000007bd: PUSH2 0x078a 000007c0: JUMP 000007c1: JUMPDEST 000007c2: SWAP4 000007c3: SWAP3 000007c4: POP 000007c5: POP 000007c6: POP 000007c7: JUMP 000007c8: JUMPDEST 000007c9: PUSH1 0x00 000007cb: DUP1 000007cc: PUSH1 0x00 000007ce: PUSH1 0x40 000007d0: DUP5 000007d1: DUP7 000007d2: SUB 000007d3: SLT 000007d4: ISZERO 000007d5: PUSH2 0x07dd 000007d8: JUMPI 000007d9: PUSH1 0x00 000007db: DUP1 000007dc: REVERT 000007dd: JUMPDEST 000007de: PUSH2 0x07e6 000007e1: DUP5 000007e2: PUSH2 0x078a 000007e5: JUMP 000007e6: JUMPDEST 000007e7: SWAP3 000007e8: POP 000007e9: PUSH1 0x20 000007eb: DUP5 000007ec: ADD 000007ed: CALLDATALOAD 000007ee: PUSH8 0xffffffffffffffff 000007f7: DUP1 000007f8: DUP3 000007f9: GT 000007fa: ISZERO 000007fb: PUSH2 0x0803 000007fe: JUMPI 000007ff: PUSH1 0x00 00000801: DUP1 00000802: REVERT 00000803: JUMPDEST 00000804: DUP2 00000805: DUP7 00000806: ADD 00000807: SWAP2 00000808: POP 00000809: DUP7 0000080a: PUSH1 0x1f 0000080c: DUP4 0000080d: ADD 0000080e: SLT 0000080f: PUSH2 0x0817 00000812: JUMPI 00000813: PUSH1 0x00 00000815: DUP1 00000816: REVERT 00000817: JUMPDEST 00000818: DUP2 00000819: CALLDATALOAD 0000081a: DUP2 0000081b: DUP2 0000081c: GT 0000081d: ISZERO 0000081e: PUSH2 0x0826 00000821: JUMPI 00000822: PUSH1 0x00 00000824: DUP1 00000825: REVERT 00000826: JUMPDEST 00000827: DUP8 00000828: PUSH1 0x20 0000082a: DUP3 0000082b: DUP6 0000082c: ADD 0000082d: ADD 0000082e: GT 0000082f: ISZERO 00000830: PUSH2 0x0838 00000833: JUMPI 00000834: PUSH1 0x00 00000836: DUP1 00000837: REVERT 00000838: JUMPDEST 00000839: PUSH1 0x20 0000083b: DUP4 0000083c: ADD 0000083d: SWAP5 0000083e: POP 0000083f: DUP1 00000840: SWAP4 00000841: POP 00000842: POP 00000843: POP 00000844: POP 00000845: SWAP3 00000846: POP 00000847: SWAP3 00000848: POP 00000849: SWAP3 0000084a: JUMP 0000084b: JUMPDEST 0000084c: PUSH4 0x4e487b71 00000851: PUSH1 0xe0 00000853: SHL 00000854: PUSH1 0x00 00000856: MSTORE 00000857: PUSH1 0x41 00000859: PUSH1 0x04 0000085b: MSTORE 0000085c: PUSH1 0x24 0000085e: PUSH1 0x00 00000860: REVERT 00000861: JUMPDEST 00000862: PUSH1 0x00 00000864: DUP3 00000865: PUSH1 0x1f 00000867: DUP4 00000868: ADD 00000869: SLT 0000086a: PUSH2 0x0872 0000086d: JUMPI 0000086e: PUSH1 0x00 00000870: DUP1 00000871: REVERT 00000872: JUMPDEST 00000873: DUP2 00000874: CALLDATALOAD 00000875: PUSH8 0xffffffffffffffff 0000087e: DUP1 0000087f: DUP3 00000880: GT 00000881: ISZERO 00000882: PUSH2 0x088d 00000885: JUMPI 00000886: PUSH2 0x088d 00000889: PUSH2 0x084b 0000088c: JUMP 0000088d: JUMPDEST 0000088e: PUSH1 0x40 00000890: MLOAD 00000891: PUSH1 0x1f 00000893: DUP4 00000894: ADD 00000895: PUSH1 0x1f 00000897: NOT 00000898: SWAP1 00000899: DUP2 0000089a: AND 0000089b: PUSH1 0x3f 0000089d: ADD 0000089e: AND 0000089f: DUP2 000008a0: ADD 000008a1: SWAP1 000008a2: DUP3 000008a3: DUP3 000008a4: GT 000008a5: DUP2 000008a6: DUP4 000008a7: LT 000008a8: OR 000008a9: ISZERO 000008aa: PUSH2 0x08b5 000008ad: JUMPI 000008ae: PUSH2 0x08b5 000008b1: PUSH2 0x084b 000008b4: JUMP 000008b5: JUMPDEST 000008b6: DUP2 000008b7: PUSH1 0x40 000008b9: MSTORE 000008ba: DUP4 000008bb: DUP2 000008bc: MSTORE 000008bd: DUP7 000008be: PUSH1 0x20 000008c0: DUP6 000008c1: DUP9 000008c2: ADD 000008c3: ADD 000008c4: GT 000008c5: ISZERO 000008c6: PUSH2 0x08ce 000008c9: JUMPI 000008ca: PUSH1 0x00 000008cc: DUP1 000008cd: REVERT 000008ce: JUMPDEST 000008cf: DUP4 000008d0: PUSH1 0x20 000008d2: DUP8 000008d3: ADD 000008d4: PUSH1 0x20 000008d6: DUP4 000008d7: ADD 000008d8: CALLDATACOPY 000008d9: PUSH1 0x00 000008db: PUSH1 0x20 000008dd: DUP6 000008de: DUP4 000008df: ADD 000008e0: ADD 000008e1: MSTORE 000008e2: DUP1 000008e3: SWAP5 000008e4: POP 000008e5: POP 000008e6: POP 000008e7: POP 000008e8: POP 000008e9: SWAP3 000008ea: SWAP2 000008eb: POP 000008ec: POP 000008ed: JUMP 000008ee: JUMPDEST 000008ef: PUSH1 0x00 000008f1: DUP1 000008f2: PUSH1 0x00 000008f4: PUSH1 0x60 000008f6: DUP5 000008f7: DUP7 000008f8: SUB 000008f9: SLT 000008fa: ISZERO 000008fb: PUSH2 0x0903 000008fe: JUMPI 000008ff: PUSH1 0x00 00000901: DUP1 00000902: REVERT 00000903: JUMPDEST 00000904: PUSH2 0x090c 00000907: DUP5 00000908: PUSH2 0x078a 0000090b: JUMP 0000090c: JUMPDEST 0000090d: SWAP3 0000090e: POP 0000090f: PUSH2 0x091a 00000912: PUSH1 0x20 00000914: DUP6 00000915: ADD 00000916: PUSH2 0x078a 00000919: JUMP 0000091a: JUMPDEST 0000091b: SWAP2 0000091c: POP 0000091d: PUSH1 0x40 0000091f: DUP5 00000920: ADD 00000921: CALLDATALOAD 00000922: PUSH8 0xffffffffffffffff 0000092b: DUP2 0000092c: GT 0000092d: ISZERO 0000092e: PUSH2 0x0936 00000931: JUMPI 00000932: PUSH1 0x00 00000934: DUP1 00000935: REVERT 00000936: JUMPDEST 00000937: PUSH2 0x0942 0000093a: DUP7 0000093b: DUP3 0000093c: DUP8 0000093d: ADD 0000093e: PUSH2 0x0861 00000941: JUMP 00000942: JUMPDEST 00000943: SWAP2 00000944: POP 00000945: POP 00000946: SWAP3 00000947: POP 00000948: SWAP3 00000949: POP 0000094a: SWAP3 0000094b: JUMP 0000094c: JUMPDEST 0000094d: PUSH1 0x00 0000094f: DUP1 00000950: PUSH1 0x40 00000952: DUP4 00000953: DUP6 00000954: SUB 00000955: SLT 00000956: ISZERO 00000957: PUSH2 0x095f 0000095a: JUMPI 0000095b: PUSH1 0x00 0000095d: DUP1 0000095e: REVERT 0000095f: JUMPDEST 00000960: PUSH2 0x0968 00000963: DUP4 00000964: PUSH2 0x078a 00000967: JUMP 00000968: JUMPDEST 00000969: SWAP2 0000096a: POP 0000096b: PUSH1 0x20 0000096d: DUP4 0000096e: ADD 0000096f: CALLDATALOAD 00000970: PUSH8 0xffffffffffffffff 00000979: DUP2 0000097a: GT 0000097b: ISZERO 0000097c: PUSH2 0x0984 0000097f: JUMPI 00000980: PUSH1 0x00 00000982: DUP1 00000983: REVERT 00000984: JUMPDEST 00000985: PUSH2 0x0990 00000988: DUP6 00000989: DUP3 0000098a: DUP7 0000098b: ADD 0000098c: PUSH2 0x0861 0000098f: JUMP 00000990: JUMPDEST 00000991: SWAP2 00000992: POP 00000993: POP 00000994: SWAP3 00000995: POP 00000996: SWAP3 00000997: SWAP1 00000998: POP 00000999: JUMP 0000099a: JUMPDEST 0000099b: DUP2 0000099c: DUP4 0000099d: DUP3 0000099e: CALLDATACOPY 0000099f: PUSH1 0x00 000009a1: SWAP2 000009a2: ADD 000009a3: SWAP1 000009a4: DUP2 000009a5: MSTORE 000009a6: SWAP2 000009a7: SWAP1 000009a8: POP 000009a9: JUMP 000009aa: JUMPDEST 000009ab: PUSH1 0x00 000009ad: DUP3 000009ae: DUP3 000009af: LT 000009b0: ISZERO 000009b1: PUSH2 0x09ca 000009b4: JUMPI 000009b5: PUSH4 0x4e487b71 000009ba: PUSH1 0xe0 000009bc: SHL 000009bd: PUSH1 0x00 000009bf: MSTORE 000009c0: PUSH1 0x11 000009c2: PUSH1 0x04 000009c4: MSTORE 000009c5: PUSH1 0x24 000009c7: PUSH1 0x00 000009c9: REVERT 000009ca: JUMPDEST 000009cb: POP 000009cc: SUB 000009cd: SWAP1 000009ce: JUMP 000009cf: JUMPDEST 000009d0: PUSH4 0x4e487b71 000009d5: PUSH1 0xe0 000009d7: SHL 000009d8: PUSH1 0x00 000009da: MSTORE 000009db: PUSH1 0x01 000009dd: PUSH1 0x04 000009df: MSTORE 000009e0: PUSH1 0x24 000009e2: PUSH1 0x00 000009e4: REVERT 000009e5: JUMPDEST 000009e6: PUSH1 0x00 000009e8: DUP3 000009e9: MLOAD 000009ea: PUSH1 0x00 000009ec: JUMPDEST 000009ed: DUP2 000009ee: DUP2 000009ef: LT 000009f0: ISZERO 000009f1: PUSH2 0x0a06 000009f4: JUMPI 000009f5: PUSH1 0x20 000009f7: DUP2 000009f8: DUP7 000009f9: ADD 000009fa: DUP2 000009fb: ADD 000009fc: MLOAD 000009fd: DUP6 000009fe: DUP4 000009ff: ADD 00000a00: MSTORE 00000a01: ADD 00000a02: PUSH2 0x09ec 00000a05: JUMP 00000a06: JUMPDEST 00000a07: DUP2 00000a08: DUP2 00000a09: GT 00000a0a: ISZERO 00000a0b: PUSH2 0x0a15 00000a0e: JUMPI 00000a0f: PUSH1 0x00 00000a11: DUP3 00000a12: DUP6 00000a13: ADD 00000a14: MSTORE 00000a15: JUMPDEST 00000a16: POP 00000a17: SWAP2 00000a18: SWAP1 00000a19: SWAP2 00000a1a: ADD 00000a1b: SWAP3 00000a1c: SWAP2 00000a1d: POP 00000a1e: POP 00000a1f: JUMP 00000a20: INVALID 00000a21: UNKNOWN(0xB5) 00000a22: BALANCE 00000a23: UNKNOWN(0x27) 00000a24: PUSH9 0x4a568b3173ae13b9f8 00000a2e: UNKNOWN(0xA6) 00000a2f: ADD 00000a30: PUSH15 0x243e63b6e8ee1178d6a717850b5d61 00000a40: SUB 00000a41: LOG2 00000a42: PUSH5 0x6970667358 00000a48: UNKNOWN(0x22) 00000a49: SLT 00000a4a: KECCAK256 00000a4b: EXP 00000a4c: CODECOPY 00000a4d: SWAP1 00000a4e: UNKNOWN(0x0D) 00000a4f: UNKNOWN(0xBD) 00000a50: PUSH13 0xcfc12cb2664f9778c9fe7d0abf 00000a5e: SWAP12 00000a5f: UNKNOWN(0xD1) 00000a60: MLOAD 00000a61: STOP 00000a62: UNKNOWN(0xAC) 00000a63: EXTCODESIZE 00000a64: UNKNOWN(0x0F) 00000a65: STATICCALL 00000a66: SWAP2 00000a67: MCOPY 00000a68: UNKNOWN(0xE2) 00000a69: UNKNOWN(0xBC) 00000a6a: UNKNOWN(0x21) 00000a6b: PUSH5 0x736f6c6343 00000a71: STOP 00000a72: ADDMOD 00000a73: EXP 00000a74: STOP 00000a75: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| critical | upgradeability | detector | Untrusted DELEGATECALL target reachable | 70 | no | no |
viewtrace_id: 0x31d11e0e6395cbc0840f9894a51466eefa86d415e7e7b1502fa9bccf0064176f
call_targets:
0x9321de45f1057caf43d6af611953976f271e6b42
target_varies:
no
classification:
constant_target
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "sink_reached",
"attempts": 2,
"trace_id": "0x31d11e0e6395cbc0840f9894a51466eefa86d415e7e7b1502fa9bccf0064176f",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x9321de45f1057caf43d6af611953976f271e6b42"
],
"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": "0x8f283970",
"selector": "0x8f283970",
"calldata_variants": [
"0x8f283970",
"0x8f2839700000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcf7a1d77",
"selector": "0xcf7a1d77",
"calldata_variants": [
"0xcf7a1d77",
"0xcf7a1d770000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd1f57894",
"selector": "0xd1f57894",
"calldata_variants": [
"0xd1f57894",
"0xd1f578940000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf851a440",
"selector": "0xf851a440",
"calldata_variants": [
"0xf851a440",
"0xf851a4400000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3659cfe6",
"selector": "0x3659cfe6",
"calldata_variants": [
"0x3659cfe6",
"0x3659cfe60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4f1ef286",
"selector": "0x4f1ef286",
"calldata_variants": [
"0x4f1ef286",
"0x4f1ef2860000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c60da1b",
"selector": "0x5c60da1b",
"calldata_variants": [
"0x5c60da1b",
"0x5c60da1b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 539,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
},
{
"pc": 1371,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
},
{
"pc": 1532,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [],
"delegatecall_count": 3,
"untrusted_delegatecall_count": 3
}
|
| medium | upgradeability | cast | DELEGATECALL present | 80 | no | — |
viewevidence_json{
"notes": "delegatecall enables execution in caller context; common in proxies/upgradeable patterns",
"delegatecall_count": 3
}
|