019b477e-d0d8-7058-85fd-8b34a3fd4d43
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 |
|---|---|---|---|---|
| 27649 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 27650 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 91953 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 91954 | capability.graph | complete | 1 / 3 | 1 week ago |
| 91955 | detector.run | complete | 1 / 3 | 1 week ago |
| 91956 | 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 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 0xbf8508e1 0000002f: EQ 00000030: PUSH2 0x010f 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xd12eb585 0000003a: EQ 0000003b: PUSH2 0x0124 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xf851a440 00000045: EQ 00000046: PUSH2 0x0139 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 0x014e 00000080: JUMP 00000081: JUMPDEST 00000082: STOP 00000083: JUMPDEST 00000084: PUSH2 0x0081 00000087: PUSH2 0x014e 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 0x077b 000000a5: JUMP 000000a6: JUMPDEST 000000a7: PUSH2 0x0168 000000aa: JUMP 000000ab: JUMPDEST 000000ac: PUSH2 0x0081 000000af: PUSH2 0x00b9 000000b2: CALLDATASIZE 000000b3: PUSH1 0x04 000000b5: PUSH2 0x0796 000000b8: JUMP 000000b9: JUMPDEST 000000ba: PUSH2 0x01a5 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 0x020c 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 0x077b 00000109: JUMP 0000010a: JUMPDEST 0000010b: PUSH2 0x023d 0000010e: JUMP 0000010f: JUMPDEST 00000110: CALLVALUE 00000111: DUP1 00000112: ISZERO 00000113: PUSH2 0x011b 00000116: JUMPI 00000117: PUSH1 0x00 00000119: DUP1 0000011a: REVERT 0000011b: JUMPDEST 0000011c: POP 0000011d: PUSH2 0x00d3 00000120: PUSH2 0x025d 00000123: JUMP 00000124: JUMPDEST 00000125: CALLVALUE 00000126: DUP1 00000127: ISZERO 00000128: PUSH2 0x0130 0000012b: JUMPI 0000012c: PUSH1 0x00 0000012e: DUP1 0000012f: REVERT 00000130: JUMPDEST 00000131: POP 00000132: PUSH2 0x00d3 00000135: PUSH2 0x0267 00000138: JUMP 00000139: JUMPDEST 0000013a: CALLVALUE 0000013b: DUP1 0000013c: ISZERO 0000013d: PUSH2 0x0145 00000140: JUMPI 00000141: PUSH1 0x00 00000143: DUP1 00000144: REVERT 00000145: JUMPDEST 00000146: POP 00000147: PUSH2 0x00d3 0000014a: PUSH2 0x0271 0000014d: JUMP 0000014e: JUMPDEST 0000014f: PUSH2 0x0156 00000152: PUSH2 0x0292 00000155: JUMP 00000156: JUMPDEST 00000157: PUSH2 0x0166 0000015a: PUSH2 0x0161 0000015d: PUSH2 0x0342 00000160: JUMP 00000161: JUMPDEST 00000162: PUSH2 0x034c 00000165: JUMP 00000166: JUMPDEST 00000167: JUMP 00000168: JUMPDEST 00000169: PUSH2 0x0170 0000016c: PUSH2 0x0370 0000016f: JUMP 00000170: JUMPDEST 00000171: PUSH1 0x01 00000173: PUSH1 0x01 00000175: PUSH1 0xa0 00000177: SHL 00000178: SUB 00000179: AND 0000017a: CALLER 0000017b: SUB 0000017c: PUSH2 0x019d 0000017f: JUMPI 00000180: PUSH2 0x019a 00000183: DUP2 00000184: PUSH1 0x40 00000186: MLOAD 00000187: DUP1 00000188: PUSH1 0x20 0000018a: ADD 0000018b: PUSH1 0x40 0000018d: MSTORE 0000018e: DUP1 0000018f: PUSH1 0x00 00000191: DUP2 00000192: MSTORE 00000193: POP 00000194: PUSH1 0x00 00000196: PUSH2 0x03a3 00000199: JUMP 0000019a: JUMPDEST 0000019b: POP 0000019c: JUMP 0000019d: JUMPDEST 0000019e: PUSH2 0x019a 000001a1: PUSH2 0x014e 000001a4: JUMP 000001a5: JUMPDEST 000001a6: PUSH2 0x01ad 000001a9: PUSH2 0x0370 000001ac: JUMP 000001ad: JUMPDEST 000001ae: PUSH1 0x01 000001b0: PUSH1 0x01 000001b2: PUSH1 0xa0 000001b4: SHL 000001b5: SUB 000001b6: AND 000001b7: CALLER 000001b8: SUB 000001b9: PUSH2 0x0204 000001bc: JUMPI 000001bd: PUSH2 0x01ff 000001c0: DUP4 000001c1: DUP4 000001c2: DUP4 000001c3: DUP1 000001c4: DUP1 000001c5: PUSH1 0x1f 000001c7: ADD 000001c8: PUSH1 0x20 000001ca: DUP1 000001cb: SWAP2 000001cc: DIV 000001cd: MUL 000001ce: PUSH1 0x20 000001d0: ADD 000001d1: PUSH1 0x40 000001d3: MLOAD 000001d4: SWAP1 000001d5: DUP2 000001d6: ADD 000001d7: PUSH1 0x40 000001d9: MSTORE 000001da: DUP1 000001db: SWAP4 000001dc: SWAP3 000001dd: SWAP2 000001de: SWAP1 000001df: DUP2 000001e0: DUP2 000001e1: MSTORE 000001e2: PUSH1 0x20 000001e4: ADD 000001e5: DUP4 000001e6: DUP4 000001e7: DUP1 000001e8: DUP3 000001e9: DUP5 000001ea: CALLDATACOPY 000001eb: PUSH1 0x00 000001ed: SWAP3 000001ee: ADD 000001ef: SWAP2 000001f0: SWAP1 000001f1: SWAP2 000001f2: MSTORE 000001f3: POP 000001f4: PUSH1 0x01 000001f6: SWAP3 000001f7: POP 000001f8: PUSH2 0x03a3 000001fb: SWAP2 000001fc: POP 000001fd: POP 000001fe: JUMP 000001ff: JUMPDEST 00000200: POP 00000201: POP 00000202: POP 00000203: JUMP 00000204: JUMPDEST 00000205: PUSH2 0x01ff 00000208: PUSH2 0x014e 0000020b: JUMP 0000020c: JUMPDEST 0000020d: PUSH1 0x00 0000020f: PUSH2 0x0216 00000212: PUSH2 0x0370 00000215: JUMP 00000216: JUMPDEST 00000217: PUSH1 0x01 00000219: PUSH1 0x01 0000021b: PUSH1 0xa0 0000021d: SHL 0000021e: SUB 0000021f: AND 00000220: CALLER 00000221: SUB 00000222: PUSH2 0x0232 00000225: JUMPI 00000226: PUSH2 0x022d 00000229: PUSH2 0x0342 0000022c: JUMP 0000022d: JUMPDEST 0000022e: SWAP1 0000022f: POP 00000230: SWAP1 00000231: JUMP 00000232: JUMPDEST 00000233: PUSH2 0x023a 00000236: PUSH2 0x014e 00000239: JUMP 0000023a: JUMPDEST 0000023b: SWAP1 0000023c: JUMP 0000023d: JUMPDEST 0000023e: PUSH2 0x0245 00000241: PUSH2 0x0370 00000244: JUMP 00000245: JUMPDEST 00000246: PUSH1 0x01 00000248: PUSH1 0x01 0000024a: PUSH1 0xa0 0000024c: SHL 0000024d: SUB 0000024e: AND 0000024f: CALLER 00000250: SUB 00000251: PUSH2 0x019d 00000254: JUMPI 00000255: PUSH2 0x019a 00000258: DUP2 00000259: PUSH2 0x03ce 0000025c: JUMP 0000025d: JUMPDEST 0000025e: PUSH1 0x00 00000260: PUSH2 0x022d 00000263: PUSH2 0x0342 00000266: JUMP 00000267: JUMPDEST 00000268: PUSH1 0x00 0000026a: PUSH2 0x022d 0000026d: PUSH2 0x0422 00000270: JUMP 00000271: JUMPDEST 00000272: PUSH1 0x00 00000274: PUSH2 0x027b 00000277: PUSH2 0x0370 0000027a: JUMP 0000027b: JUMPDEST 0000027c: PUSH1 0x01 0000027e: PUSH1 0x01 00000280: PUSH1 0xa0 00000282: SHL 00000283: SUB 00000284: AND 00000285: CALLER 00000286: SUB 00000287: PUSH2 0x0232 0000028a: JUMPI 0000028b: PUSH2 0x022d 0000028e: PUSH2 0x0370 00000291: JUMP 00000292: JUMPDEST 00000293: PUSH2 0x029a 00000296: PUSH2 0x0370 00000299: JUMP 0000029a: JUMPDEST 0000029b: PUSH1 0x01 0000029d: PUSH1 0x01 0000029f: PUSH1 0xa0 000002a1: SHL 000002a2: SUB 000002a3: AND 000002a4: CALLER 000002a5: SUB 000002a6: PUSH2 0x0166 000002a9: JUMPI 000002aa: PUSH1 0x40 000002ac: MLOAD 000002ad: PUSH3 0x461bcd 000002b1: PUSH1 0xe5 000002b3: SHL 000002b4: DUP2 000002b5: MSTORE 000002b6: PUSH1 0x20 000002b8: PUSH1 0x04 000002ba: DUP3 000002bb: ADD 000002bc: MSTORE 000002bd: PUSH1 0x42 000002bf: PUSH1 0x24 000002c1: DUP3 000002c2: ADD 000002c3: MSTORE 000002c4: PUSH32 0x5472616e73706172656e745570677261646561626c6550726f78793a2061646d 000002e5: PUSH1 0x44 000002e7: DUP3 000002e8: ADD 000002e9: MSTORE 000002ea: PUSH32 0x696e2063616e6e6f742066616c6c6261636b20746f2070726f78792074617267 0000030b: PUSH1 0x64 0000030d: DUP3 0000030e: ADD 0000030f: MSTORE 00000310: PUSH32 0x6574000000000000000000000000000000000000000000000000000000000000 00000331: PUSH1 0x84 00000333: DUP3 00000334: ADD 00000335: MSTORE 00000336: PUSH1 0xa4 00000338: ADD 00000339: JUMPDEST 0000033a: PUSH1 0x40 0000033c: MLOAD 0000033d: DUP1 0000033e: SWAP2 0000033f: SUB 00000340: SWAP1 00000341: REVERT 00000342: JUMPDEST 00000343: PUSH1 0x00 00000345: PUSH2 0x022d 00000348: PUSH2 0x042c 0000034b: JUMP 0000034c: JUMPDEST 0000034d: CALLDATASIZE 0000034e: PUSH1 0x00 00000350: DUP1 00000351: CALLDATACOPY 00000352: PUSH1 0x00 00000354: DUP1 00000355: CALLDATASIZE 00000356: PUSH1 0x00 00000358: DUP5 00000359: GAS 0000035a: DELEGATECALL 0000035b: RETURNDATASIZE 0000035c: PUSH1 0x00 0000035e: DUP1 0000035f: RETURNDATACOPY 00000360: DUP1 00000361: DUP1 00000362: ISZERO 00000363: PUSH2 0x036b 00000366: JUMPI 00000367: RETURNDATASIZE 00000368: PUSH1 0x00 0000036a: RETURN 0000036b: JUMPDEST 0000036c: RETURNDATASIZE 0000036d: PUSH1 0x00 0000036f: REVERT 00000370: JUMPDEST 00000371: PUSH1 0x00 00000373: PUSH32 0xb53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103 00000394: JUMPDEST 00000395: SLOAD 00000396: PUSH1 0x01 00000398: PUSH1 0x01 0000039a: PUSH1 0xa0 0000039c: SHL 0000039d: SUB 0000039e: AND 0000039f: SWAP2 000003a0: SWAP1 000003a1: POP 000003a2: JUMP 000003a3: JUMPDEST 000003a4: PUSH2 0x03ac 000003a7: DUP4 000003a8: PUSH2 0x0454 000003ab: JUMP 000003ac: JUMPDEST 000003ad: PUSH1 0x00 000003af: DUP3 000003b0: MLOAD 000003b1: GT 000003b2: DUP1 000003b3: PUSH2 0x03b9 000003b6: JUMPI 000003b7: POP 000003b8: DUP1 000003b9: JUMPDEST 000003ba: ISZERO 000003bb: PUSH2 0x01ff 000003be: JUMPI 000003bf: PUSH2 0x03c8 000003c2: DUP4 000003c3: DUP4 000003c4: PUSH2 0x0494 000003c7: JUMP 000003c8: JUMPDEST 000003c9: POP 000003ca: POP 000003cb: POP 000003cc: POP 000003cd: JUMP 000003ce: JUMPDEST 000003cf: PUSH32 0x7e644d79422f17c01e4894b5f4f588d331ebfa28653d42ae832dc59e38c9798f 000003f0: PUSH2 0x03f7 000003f3: PUSH2 0x0370 000003f6: JUMP 000003f7: JUMPDEST 000003f8: PUSH1 0x40 000003fa: DUP1 000003fb: MLOAD 000003fc: PUSH1 0x01 000003fe: PUSH1 0x01 00000400: PUSH1 0xa0 00000402: SHL 00000403: SUB 00000404: SWAP3 00000405: DUP4 00000406: AND 00000407: DUP2 00000408: MSTORE 00000409: SWAP2 0000040a: DUP5 0000040b: AND 0000040c: PUSH1 0x20 0000040e: DUP4 0000040f: ADD 00000410: MSTORE 00000411: ADD 00000412: PUSH1 0x40 00000414: MLOAD 00000415: DUP1 00000416: SWAP2 00000417: SUB 00000418: SWAP1 00000419: LOG1 0000041a: PUSH2 0x019a 0000041d: DUP2 0000041e: PUSH2 0x04c0 00000421: JUMP 00000422: JUMPDEST 00000423: PUSH1 0x00 00000425: PUSH2 0x022d 00000428: PUSH2 0x0370 0000042b: JUMP 0000042c: JUMPDEST 0000042d: PUSH1 0x00 0000042f: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc 00000450: PUSH2 0x0394 00000453: JUMP 00000454: JUMPDEST 00000455: PUSH2 0x045d 00000458: DUP2 00000459: PUSH2 0x0598 0000045c: JUMP 0000045d: JUMPDEST 0000045e: PUSH1 0x40 00000460: MLOAD 00000461: PUSH1 0x01 00000463: PUSH1 0x01 00000465: PUSH1 0xa0 00000467: SHL 00000468: SUB 00000469: DUP3 0000046a: AND 0000046b: SWAP1 0000046c: PUSH32 0xbc7cd75a20ee27fd9adebab32041f755214dbc6bffa90cc0225b39da2e5c2d3b 0000048d: SWAP1 0000048e: PUSH1 0x00 00000490: SWAP1 00000491: LOG2 00000492: POP 00000493: JUMP 00000494: JUMPDEST 00000495: PUSH1 0x60 00000497: PUSH2 0x04b9 0000049a: DUP4 0000049b: DUP4 0000049c: PUSH1 0x40 0000049e: MLOAD 0000049f: DUP1 000004a0: PUSH1 0x60 000004a2: ADD 000004a3: PUSH1 0x40 000004a5: MSTORE 000004a6: DUP1 000004a7: PUSH1 0x27 000004a9: DUP2 000004aa: MSTORE 000004ab: PUSH1 0x20 000004ad: ADD 000004ae: PUSH2 0x08ab 000004b1: PUSH1 0x27 000004b3: SWAP2 000004b4: CODECOPY 000004b5: PUSH2 0x063c 000004b8: JUMP 000004b9: JUMPDEST 000004ba: SWAP4 000004bb: SWAP3 000004bc: POP 000004bd: POP 000004be: POP 000004bf: JUMP 000004c0: JUMPDEST 000004c1: PUSH1 0x01 000004c3: PUSH1 0x01 000004c5: PUSH1 0xa0 000004c7: SHL 000004c8: SUB 000004c9: DUP2 000004ca: AND 000004cb: PUSH2 0x053c 000004ce: JUMPI 000004cf: PUSH1 0x40 000004d1: MLOAD 000004d2: PUSH3 0x461bcd 000004d6: PUSH1 0xe5 000004d8: SHL 000004d9: DUP2 000004da: MSTORE 000004db: PUSH1 0x20 000004dd: PUSH1 0x04 000004df: DUP3 000004e0: ADD 000004e1: MSTORE 000004e2: PUSH1 0x26 000004e4: PUSH1 0x24 000004e6: DUP3 000004e7: ADD 000004e8: MSTORE 000004e9: PUSH32 0x455243313936373a206e65772061646d696e20697320746865207a65726f2061 0000050a: PUSH1 0x44 0000050c: DUP3 0000050d: ADD 0000050e: MSTORE 0000050f: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000 00000530: PUSH1 0x64 00000532: DUP3 00000533: ADD 00000534: MSTORE 00000535: PUSH1 0x84 00000537: ADD 00000538: PUSH2 0x0339 0000053b: JUMP 0000053c: JUMPDEST 0000053d: DUP1 0000053e: PUSH32 0xb53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103 0000055f: JUMPDEST 00000560: DUP1 00000561: SLOAD 00000562: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 00000583: AND 00000584: PUSH1 0x01 00000586: PUSH1 0x01 00000588: PUSH1 0xa0 0000058a: SHL 0000058b: SUB 0000058c: SWAP3 0000058d: SWAP1 0000058e: SWAP3 0000058f: AND 00000590: SWAP2 00000591: SWAP1 00000592: SWAP2 00000593: OR 00000594: SWAP1 00000595: SSTORE 00000596: POP 00000597: JUMP 00000598: JUMPDEST 00000599: PUSH1 0x01 0000059b: PUSH1 0x01 0000059d: PUSH1 0xa0 0000059f: SHL 000005a0: SUB 000005a1: DUP2 000005a2: AND 000005a3: EXTCODESIZE 000005a4: PUSH2 0x0615 000005a7: JUMPI 000005a8: PUSH1 0x40 000005aa: MLOAD 000005ab: PUSH3 0x461bcd 000005af: PUSH1 0xe5 000005b1: SHL 000005b2: DUP2 000005b3: MSTORE 000005b4: PUSH1 0x20 000005b6: PUSH1 0x04 000005b8: DUP3 000005b9: ADD 000005ba: MSTORE 000005bb: PUSH1 0x2d 000005bd: PUSH1 0x24 000005bf: DUP3 000005c0: ADD 000005c1: MSTORE 000005c2: PUSH32 0x455243313936373a206e657720696d706c656d656e746174696f6e206973206e 000005e3: PUSH1 0x44 000005e5: DUP3 000005e6: ADD 000005e7: MSTORE 000005e8: PUSH32 0x6f74206120636f6e747261637400000000000000000000000000000000000000 00000609: PUSH1 0x64 0000060b: DUP3 0000060c: ADD 0000060d: MSTORE 0000060e: PUSH1 0x84 00000610: ADD 00000611: PUSH2 0x0339 00000614: JUMP 00000615: JUMPDEST 00000616: DUP1 00000617: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc 00000638: PUSH2 0x055f 0000063b: JUMP 0000063c: JUMPDEST 0000063d: PUSH1 0x60 0000063f: PUSH1 0x00 00000641: DUP1 00000642: DUP6 00000643: PUSH1 0x01 00000645: PUSH1 0x01 00000647: PUSH1 0xa0 00000649: SHL 0000064a: SUB 0000064b: AND 0000064c: DUP6 0000064d: PUSH1 0x40 0000064f: MLOAD 00000650: PUSH2 0x0659 00000653: SWAP2 00000654: SWAP1 00000655: PUSH2 0x083d 00000658: JUMP 00000659: JUMPDEST 0000065a: PUSH1 0x00 0000065c: PUSH1 0x40 0000065e: MLOAD 0000065f: DUP1 00000660: DUP4 00000661: SUB 00000662: DUP2 00000663: DUP6 00000664: GAS 00000665: DELEGATECALL 00000666: SWAP2 00000667: POP 00000668: POP 00000669: RETURNDATASIZE 0000066a: DUP1 0000066b: PUSH1 0x00 0000066d: DUP2 0000066e: EQ 0000066f: PUSH2 0x0694 00000672: JUMPI 00000673: PUSH1 0x40 00000675: MLOAD 00000676: SWAP2 00000677: POP 00000678: PUSH1 0x1f 0000067a: NOT 0000067b: PUSH1 0x3f 0000067d: RETURNDATASIZE 0000067e: ADD 0000067f: AND 00000680: DUP3 00000681: ADD 00000682: PUSH1 0x40 00000684: MSTORE 00000685: RETURNDATASIZE 00000686: DUP3 00000687: MSTORE 00000688: RETURNDATASIZE 00000689: PUSH1 0x00 0000068b: PUSH1 0x20 0000068d: DUP5 0000068e: ADD 0000068f: RETURNDATACOPY 00000690: PUSH2 0x0699 00000693: JUMP 00000694: JUMPDEST 00000695: PUSH1 0x60 00000697: SWAP2 00000698: POP 00000699: JUMPDEST 0000069a: POP 0000069b: SWAP2 0000069c: POP 0000069d: SWAP2 0000069e: POP 0000069f: PUSH2 0x06aa 000006a2: DUP7 000006a3: DUP4 000006a4: DUP4 000006a5: DUP8 000006a6: PUSH2 0x06b4 000006a9: JUMP 000006aa: JUMPDEST 000006ab: SWAP7 000006ac: SWAP6 000006ad: POP 000006ae: POP 000006af: POP 000006b0: POP 000006b1: POP 000006b2: POP 000006b3: JUMP 000006b4: JUMPDEST 000006b5: PUSH1 0x60 000006b7: DUP4 000006b8: ISZERO 000006b9: PUSH2 0x0723 000006bc: JUMPI 000006bd: DUP3 000006be: MLOAD 000006bf: PUSH1 0x00 000006c1: SUB 000006c2: PUSH2 0x071c 000006c5: JUMPI 000006c6: PUSH1 0x01 000006c8: PUSH1 0x01 000006ca: PUSH1 0xa0 000006cc: SHL 000006cd: SUB 000006ce: DUP6 000006cf: AND 000006d0: EXTCODESIZE 000006d1: PUSH2 0x071c 000006d4: JUMPI 000006d5: PUSH1 0x40 000006d7: MLOAD 000006d8: PUSH3 0x461bcd 000006dc: PUSH1 0xe5 000006de: SHL 000006df: DUP2 000006e0: MSTORE 000006e1: PUSH1 0x20 000006e3: PUSH1 0x04 000006e5: DUP3 000006e6: ADD 000006e7: MSTORE 000006e8: PUSH1 0x1d 000006ea: PUSH1 0x24 000006ec: DUP3 000006ed: ADD 000006ee: MSTORE 000006ef: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000 00000710: PUSH1 0x44 00000712: DUP3 00000713: ADD 00000714: MSTORE 00000715: PUSH1 0x64 00000717: ADD 00000718: PUSH2 0x0339 0000071b: JUMP 0000071c: JUMPDEST 0000071d: POP 0000071e: DUP2 0000071f: PUSH2 0x072d 00000722: JUMP 00000723: JUMPDEST 00000724: PUSH2 0x072d 00000727: DUP4 00000728: DUP4 00000729: PUSH2 0x0735 0000072c: JUMP 0000072d: JUMPDEST 0000072e: SWAP5 0000072f: SWAP4 00000730: POP 00000731: POP 00000732: POP 00000733: POP 00000734: JUMP 00000735: JUMPDEST 00000736: DUP2 00000737: MLOAD 00000738: ISZERO 00000739: PUSH2 0x0745 0000073c: JUMPI 0000073d: DUP2 0000073e: MLOAD 0000073f: DUP1 00000740: DUP4 00000741: PUSH1 0x20 00000743: ADD 00000744: REVERT 00000745: JUMPDEST 00000746: DUP1 00000747: PUSH1 0x40 00000749: MLOAD 0000074a: PUSH3 0x461bcd 0000074e: PUSH1 0xe5 00000750: SHL 00000751: DUP2 00000752: MSTORE 00000753: PUSH1 0x04 00000755: ADD 00000756: PUSH2 0x0339 00000759: SWAP2 0000075a: SWAP1 0000075b: PUSH2 0x0859 0000075e: JUMP 0000075f: JUMPDEST 00000760: DUP1 00000761: CALLDATALOAD 00000762: PUSH1 0x01 00000764: PUSH1 0x01 00000766: PUSH1 0xa0 00000768: SHL 00000769: SUB 0000076a: DUP2 0000076b: AND 0000076c: DUP2 0000076d: EQ 0000076e: PUSH2 0x0776 00000771: JUMPI 00000772: PUSH1 0x00 00000774: DUP1 00000775: REVERT 00000776: JUMPDEST 00000777: SWAP2 00000778: SWAP1 00000779: POP 0000077a: JUMP 0000077b: JUMPDEST 0000077c: PUSH1 0x00 0000077e: PUSH1 0x20 00000780: DUP3 00000781: DUP5 00000782: SUB 00000783: SLT 00000784: ISZERO 00000785: PUSH2 0x078d 00000788: JUMPI 00000789: PUSH1 0x00 0000078b: DUP1 0000078c: REVERT 0000078d: JUMPDEST 0000078e: PUSH2 0x04b9 00000791: DUP3 00000792: PUSH2 0x075f 00000795: JUMP 00000796: JUMPDEST 00000797: PUSH1 0x00 00000799: DUP1 0000079a: PUSH1 0x00 0000079c: PUSH1 0x40 0000079e: DUP5 0000079f: DUP7 000007a0: SUB 000007a1: SLT 000007a2: ISZERO 000007a3: PUSH2 0x07ab 000007a6: JUMPI 000007a7: PUSH1 0x00 000007a9: DUP1 000007aa: REVERT 000007ab: JUMPDEST 000007ac: PUSH2 0x07b4 000007af: DUP5 000007b0: PUSH2 0x075f 000007b3: JUMP 000007b4: JUMPDEST 000007b5: SWAP3 000007b6: POP 000007b7: PUSH1 0x20 000007b9: DUP5 000007ba: ADD 000007bb: CALLDATALOAD 000007bc: PUSH8 0xffffffffffffffff 000007c5: DUP1 000007c6: DUP3 000007c7: GT 000007c8: ISZERO 000007c9: PUSH2 0x07d1 000007cc: JUMPI 000007cd: PUSH1 0x00 000007cf: DUP1 000007d0: REVERT 000007d1: JUMPDEST 000007d2: DUP2 000007d3: DUP7 000007d4: ADD 000007d5: SWAP2 000007d6: POP 000007d7: DUP7 000007d8: PUSH1 0x1f 000007da: DUP4 000007db: ADD 000007dc: SLT 000007dd: PUSH2 0x07e5 000007e0: JUMPI 000007e1: PUSH1 0x00 000007e3: DUP1 000007e4: REVERT 000007e5: JUMPDEST 000007e6: DUP2 000007e7: CALLDATALOAD 000007e8: DUP2 000007e9: DUP2 000007ea: GT 000007eb: ISZERO 000007ec: PUSH2 0x07f4 000007ef: JUMPI 000007f0: PUSH1 0x00 000007f2: DUP1 000007f3: REVERT 000007f4: JUMPDEST 000007f5: DUP8 000007f6: PUSH1 0x20 000007f8: DUP3 000007f9: DUP6 000007fa: ADD 000007fb: ADD 000007fc: GT 000007fd: ISZERO 000007fe: PUSH2 0x0806 00000801: JUMPI 00000802: PUSH1 0x00 00000804: DUP1 00000805: REVERT 00000806: JUMPDEST 00000807: PUSH1 0x20 00000809: DUP4 0000080a: ADD 0000080b: SWAP5 0000080c: POP 0000080d: DUP1 0000080e: SWAP4 0000080f: POP 00000810: POP 00000811: POP 00000812: POP 00000813: SWAP3 00000814: POP 00000815: SWAP3 00000816: POP 00000817: SWAP3 00000818: JUMP 00000819: JUMPDEST 0000081a: PUSH1 0x00 0000081c: JUMPDEST 0000081d: DUP4 0000081e: DUP2 0000081f: LT 00000820: ISZERO 00000821: PUSH2 0x0834 00000824: JUMPI 00000825: DUP2 00000826: DUP2 00000827: ADD 00000828: MLOAD 00000829: DUP4 0000082a: DUP3 0000082b: ADD 0000082c: MSTORE 0000082d: PUSH1 0x20 0000082f: ADD 00000830: PUSH2 0x081c 00000833: JUMP 00000834: JUMPDEST 00000835: POP 00000836: POP 00000837: PUSH1 0x00 00000839: SWAP2 0000083a: ADD 0000083b: MSTORE 0000083c: JUMP 0000083d: JUMPDEST 0000083e: PUSH1 0x00 00000840: DUP3 00000841: MLOAD 00000842: PUSH2 0x084f 00000845: DUP2 00000846: DUP5 00000847: PUSH1 0x20 00000849: DUP8 0000084a: ADD 0000084b: PUSH2 0x0819 0000084e: JUMP 0000084f: JUMPDEST 00000850: SWAP2 00000851: SWAP1 00000852: SWAP2 00000853: ADD 00000854: SWAP3 00000855: SWAP2 00000856: POP 00000857: POP 00000858: JUMP 00000859: JUMPDEST 0000085a: PUSH1 0x20 0000085c: DUP2 0000085d: MSTORE 0000085e: PUSH1 0x00 00000860: DUP3 00000861: MLOAD 00000862: DUP1 00000863: PUSH1 0x20 00000865: DUP5 00000866: ADD 00000867: MSTORE 00000868: PUSH2 0x0878 0000086b: DUP2 0000086c: PUSH1 0x40 0000086e: DUP6 0000086f: ADD 00000870: PUSH1 0x20 00000872: DUP8 00000873: ADD 00000874: PUSH2 0x0819 00000877: JUMP 00000878: JUMPDEST 00000879: PUSH1 0x1f 0000087b: ADD 0000087c: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 0000089d: AND 0000089e: SWAP2 0000089f: SWAP1 000008a0: SWAP2 000008a1: ADD 000008a2: PUSH1 0x40 000008a4: ADD 000008a5: SWAP3 000008a6: SWAP2 000008a7: POP 000008a8: POP 000008a9: JUMP 000008aa: INVALID 000008ab: COINBASE 000008ac: PUSH5 0x6472657373 000008b2: GASPRICE 000008b3: KECCAK256 000008b4: PUSH13 0x6f772d6c6576656c2064656c65 000008c2: PUSH8 0x6174652063616c6c 000008cb: KECCAK256 000008cc: PUSH7 0x61696c6564a264 000008d4: PUSH10 0x706673582212208d1097 000008df: DUP13 000008e0: UNKNOWN(0xDF) 000008e1: CALLDATALOAD 000008e2: UNKNOWN(0x4C) 000008e3: UNKNOWN(0xC4) 000008e4: UNKNOWN(0xC1) 000008e5: SDIV 000008e6: DUP11 000008e7: SAR 000008e8: RETURNDATACOPY 000008e9: UNKNOWN(0xC1) 000008ea: UNKNOWN(0x2B) 000008eb: SWAP10 000008ec: SWAP1 000008ed: UNKNOWN(0xE7) 000008ee: PUSH11 0x88ef97c69119c33538e702 000008fa: SWAP15 000008fb: CALLDATACOPY 000008fc: PUSH5 0x736f6c6343 00000902: STOP 00000903: ADDMOD 00000904: SGT 00000905: STOP 00000906: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| critical | upgradeability | detector | Untrusted DELEGATECALL target reachable | 70 | no | no |
viewtrace_id: 0x5b9e02e1824d4da5e0df94dc7f5ab57e89fc25bda8d1840110a229499f277347
call_targets:
0xb523b91100ea17c3489f006a55e74fb58d465ac4
target_varies:
no
classification:
constant_target
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "sink_reached",
"attempts": 2,
"trace_id": "0x5b9e02e1824d4da5e0df94dc7f5ab57e89fc25bda8d1840110a229499f277347",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xb523b91100ea17c3489f006a55e74fb58d465ac4"
],
"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": "0xbf8508e1",
"selector": "0xbf8508e1",
"calldata_variants": [
"0xbf8508e1",
"0xbf8508e10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd12eb585",
"selector": "0xd12eb585",
"calldata_variants": [
"0xd12eb585",
"0xd12eb5850000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"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": 858,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
},
{
"pc": 1637,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [],
"delegatecall_count": 2,
"untrusted_delegatecall_count": 2
}
|