019b477e-d594-7058-a59b-c9480166fe92
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 |
|---|---|---|---|---|
| 28565 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 28566 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 92701 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 92702 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 92703 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 92704 | validation.fork | complete | 1 / 3 | 2 weeks 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 0x0043 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x3659cfe6 00000019: EQ 0000001a: PUSH2 0x005a 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x4f1ef286 00000024: EQ 00000025: PUSH2 0x007a 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x5c60da1b 0000002f: EQ 00000030: PUSH2 0x008d 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xf851a440 0000003a: EQ 0000003b: PUSH2 0x00cb 0000003e: JUMPI 0000003f: PUSH2 0x0052 00000042: JUMP 00000043: JUMPDEST 00000044: CALLDATASIZE 00000045: PUSH2 0x0052 00000048: JUMPI 00000049: PUSH2 0x0050 0000004c: PUSH2 0x00e0 0000004f: JUMP 00000050: JUMPDEST 00000051: STOP 00000052: JUMPDEST 00000053: PUSH2 0x0050 00000056: PUSH2 0x00e0 00000059: JUMP 0000005a: JUMPDEST 0000005b: CALLVALUE 0000005c: DUP1 0000005d: ISZERO 0000005e: PUSH2 0x0066 00000061: JUMPI 00000062: PUSH1 0x00 00000064: DUP1 00000065: REVERT 00000066: JUMPDEST 00000067: POP 00000068: PUSH2 0x0050 0000006b: PUSH2 0x0075 0000006e: CALLDATASIZE 0000006f: PUSH1 0x04 00000071: PUSH2 0x076c 00000074: JUMP 00000075: JUMPDEST 00000076: PUSH2 0x00fa 00000079: JUMP 0000007a: JUMPDEST 0000007b: PUSH2 0x0050 0000007e: PUSH2 0x0088 00000081: CALLDATASIZE 00000082: PUSH1 0x04 00000084: PUSH2 0x0787 00000087: JUMP 00000088: JUMPDEST 00000089: PUSH2 0x015e 0000008c: JUMP 0000008d: JUMPDEST 0000008e: CALLVALUE 0000008f: DUP1 00000090: ISZERO 00000091: PUSH2 0x0099 00000094: JUMPI 00000095: PUSH1 0x00 00000097: DUP1 00000098: REVERT 00000099: JUMPDEST 0000009a: POP 0000009b: PUSH2 0x00a2 0000009e: PUSH2 0x01ec 000000a1: JUMP 000000a2: JUMPDEST 000000a3: PUSH1 0x40 000000a5: MLOAD 000000a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000bb: SWAP1 000000bc: SWAP2 000000bd: AND 000000be: DUP2 000000bf: MSTORE 000000c0: PUSH1 0x20 000000c2: ADD 000000c3: PUSH1 0x40 000000c5: MLOAD 000000c6: DUP1 000000c7: SWAP2 000000c8: SUB 000000c9: SWAP1 000000ca: RETURN 000000cb: JUMPDEST 000000cc: CALLVALUE 000000cd: DUP1 000000ce: ISZERO 000000cf: PUSH2 0x00d7 000000d2: JUMPI 000000d3: PUSH1 0x00 000000d5: DUP1 000000d6: REVERT 000000d7: JUMPDEST 000000d8: POP 000000d9: PUSH2 0x00a2 000000dc: PUSH2 0x0244 000000df: JUMP 000000e0: JUMPDEST 000000e1: PUSH2 0x00e8 000000e4: PUSH2 0x02f1 000000e7: JUMP 000000e8: JUMPDEST 000000e9: PUSH2 0x00f8 000000ec: PUSH2 0x00f3 000000ef: PUSH2 0x03e2 000000f2: JUMP 000000f3: JUMPDEST 000000f4: PUSH2 0x0422 000000f7: JUMP 000000f8: JUMPDEST 000000f9: JUMP 000000fa: JUMPDEST 000000fb: CALLER 000000fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000111: PUSH32 0x00000000000000000000000027168981aa1c0b6ce941babcf3579887ec25ddd3 00000132: AND 00000133: EQ 00000134: ISZERO 00000135: PUSH2 0x0156 00000138: JUMPI 00000139: PUSH2 0x0153 0000013c: DUP2 0000013d: PUSH1 0x40 0000013f: MLOAD 00000140: DUP1 00000141: PUSH1 0x20 00000143: ADD 00000144: PUSH1 0x40 00000146: MSTORE 00000147: DUP1 00000148: PUSH1 0x00 0000014a: DUP2 0000014b: MSTORE 0000014c: POP 0000014d: PUSH1 0x00 0000014f: PUSH2 0x0446 00000152: JUMP 00000153: JUMPDEST 00000154: POP 00000155: JUMP 00000156: JUMPDEST 00000157: PUSH2 0x0153 0000015a: PUSH2 0x00e0 0000015d: JUMP 0000015e: JUMPDEST 0000015f: CALLER 00000160: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000175: PUSH32 0x00000000000000000000000027168981aa1c0b6ce941babcf3579887ec25ddd3 00000196: AND 00000197: EQ 00000198: ISZERO 00000199: PUSH2 0x01e4 0000019c: JUMPI 0000019d: PUSH2 0x01df 000001a0: DUP4 000001a1: DUP4 000001a2: DUP4 000001a3: DUP1 000001a4: DUP1 000001a5: PUSH1 0x1f 000001a7: ADD 000001a8: PUSH1 0x20 000001aa: DUP1 000001ab: SWAP2 000001ac: DIV 000001ad: MUL 000001ae: PUSH1 0x20 000001b0: ADD 000001b1: PUSH1 0x40 000001b3: MLOAD 000001b4: SWAP1 000001b5: DUP2 000001b6: ADD 000001b7: PUSH1 0x40 000001b9: MSTORE 000001ba: DUP1 000001bb: SWAP4 000001bc: SWAP3 000001bd: SWAP2 000001be: SWAP1 000001bf: DUP2 000001c0: DUP2 000001c1: MSTORE 000001c2: PUSH1 0x20 000001c4: ADD 000001c5: DUP4 000001c6: DUP4 000001c7: DUP1 000001c8: DUP3 000001c9: DUP5 000001ca: CALLDATACOPY 000001cb: PUSH1 0x00 000001cd: SWAP3 000001ce: ADD 000001cf: SWAP2 000001d0: SWAP1 000001d1: SWAP2 000001d2: MSTORE 000001d3: POP 000001d4: PUSH1 0x01 000001d6: SWAP3 000001d7: POP 000001d8: PUSH2 0x0446 000001db: SWAP2 000001dc: POP 000001dd: POP 000001de: JUMP 000001df: JUMPDEST 000001e0: POP 000001e1: POP 000001e2: POP 000001e3: JUMP 000001e4: JUMPDEST 000001e5: PUSH2 0x01df 000001e8: PUSH2 0x00e0 000001eb: JUMP 000001ec: JUMPDEST 000001ed: PUSH1 0x00 000001ef: CALLER 000001f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000205: PUSH32 0x00000000000000000000000027168981aa1c0b6ce941babcf3579887ec25ddd3 00000226: AND 00000227: EQ 00000228: ISZERO 00000229: PUSH2 0x0239 0000022c: JUMPI 0000022d: PUSH2 0x0234 00000230: PUSH2 0x03e2 00000233: JUMP 00000234: JUMPDEST 00000235: SWAP1 00000236: POP 00000237: SWAP1 00000238: JUMP 00000239: JUMPDEST 0000023a: PUSH2 0x0241 0000023d: PUSH2 0x00e0 00000240: JUMP 00000241: JUMPDEST 00000242: SWAP1 00000243: JUMP 00000244: JUMPDEST 00000245: PUSH1 0x00 00000247: CALLER 00000248: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000025d: PUSH32 0x00000000000000000000000027168981aa1c0b6ce941babcf3579887ec25ddd3 0000027e: AND 0000027f: EQ 00000280: ISZERO 00000281: PUSH2 0x0239 00000284: JUMPI 00000285: POP 00000286: PUSH32 0x00000000000000000000000027168981aa1c0b6ce941babcf3579887ec25ddd3 000002a7: SWAP1 000002a8: JUMP 000002a9: JUMPDEST 000002aa: PUSH1 0x60 000002ac: PUSH2 0x02ce 000002af: DUP4 000002b0: DUP4 000002b1: PUSH1 0x40 000002b3: MLOAD 000002b4: DUP1 000002b5: PUSH1 0x60 000002b7: ADD 000002b8: PUSH1 0x40 000002ba: MSTORE 000002bb: DUP1 000002bc: PUSH1 0x27 000002be: DUP2 000002bf: MSTORE 000002c0: PUSH1 0x20 000002c2: ADD 000002c3: PUSH2 0x08a4 000002c6: PUSH1 0x27 000002c8: SWAP2 000002c9: CODECOPY 000002ca: PUSH2 0x0471 000002cd: JUMP 000002ce: JUMPDEST 000002cf: SWAP4 000002d0: SWAP3 000002d1: POP 000002d2: POP 000002d3: POP 000002d4: JUMP 000002d5: JUMPDEST 000002d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002eb: AND 000002ec: EXTCODESIZE 000002ed: ISZERO 000002ee: ISZERO 000002ef: SWAP1 000002f0: JUMP 000002f1: JUMPDEST 000002f2: CALLER 000002f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000308: PUSH32 0x00000000000000000000000027168981aa1c0b6ce941babcf3579887ec25ddd3 00000329: AND 0000032a: EQ 0000032b: ISZERO 0000032c: PUSH2 0x00f8 0000032f: JUMPI 00000330: PUSH1 0x40 00000332: MLOAD 00000333: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000354: DUP2 00000355: MSTORE 00000356: PUSH1 0x20 00000358: PUSH1 0x04 0000035a: DUP3 0000035b: ADD 0000035c: MSTORE 0000035d: PUSH1 0x42 0000035f: PUSH1 0x24 00000361: DUP3 00000362: ADD 00000363: MSTORE 00000364: PUSH32 0x5472616e73706172656e745570677261646561626c6550726f78793a2061646d 00000385: PUSH1 0x44 00000387: DUP3 00000388: ADD 00000389: MSTORE 0000038a: PUSH32 0x696e2063616e6e6f742066616c6c6261636b20746f2070726f78792074617267 000003ab: PUSH1 0x64 000003ad: DUP3 000003ae: ADD 000003af: MSTORE 000003b0: PUSH32 0x6574000000000000000000000000000000000000000000000000000000000000 000003d1: PUSH1 0x84 000003d3: DUP3 000003d4: ADD 000003d5: MSTORE 000003d6: PUSH1 0xa4 000003d8: ADD 000003d9: JUMPDEST 000003da: PUSH1 0x40 000003dc: MLOAD 000003dd: DUP1 000003de: SWAP2 000003df: SUB 000003e0: SWAP1 000003e1: REVERT 000003e2: JUMPDEST 000003e3: PUSH1 0x00 000003e5: PUSH2 0x0234 000003e8: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc 00000409: SLOAD 0000040a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000041f: AND 00000420: SWAP1 00000421: JUMP 00000422: JUMPDEST 00000423: CALLDATASIZE 00000424: PUSH1 0x00 00000426: DUP1 00000427: CALLDATACOPY 00000428: PUSH1 0x00 0000042a: DUP1 0000042b: CALLDATASIZE 0000042c: PUSH1 0x00 0000042e: DUP5 0000042f: GAS 00000430: DELEGATECALL 00000431: RETURNDATASIZE 00000432: PUSH1 0x00 00000434: DUP1 00000435: RETURNDATACOPY 00000436: DUP1 00000437: DUP1 00000438: ISZERO 00000439: PUSH2 0x0441 0000043c: JUMPI 0000043d: RETURNDATASIZE 0000043e: PUSH1 0x00 00000440: RETURN 00000441: JUMPDEST 00000442: RETURNDATASIZE 00000443: PUSH1 0x00 00000445: REVERT 00000446: JUMPDEST 00000447: PUSH2 0x044f 0000044a: DUP4 0000044b: PUSH2 0x0599 0000044e: JUMP 0000044f: JUMPDEST 00000450: PUSH1 0x00 00000452: DUP3 00000453: MLOAD 00000454: GT 00000455: DUP1 00000456: PUSH2 0x045c 00000459: JUMPI 0000045a: POP 0000045b: DUP1 0000045c: JUMPDEST 0000045d: ISZERO 0000045e: PUSH2 0x01df 00000461: JUMPI 00000462: PUSH2 0x046b 00000465: DUP4 00000466: DUP4 00000467: PUSH2 0x02a9 0000046a: JUMP 0000046b: JUMPDEST 0000046c: POP 0000046d: POP 0000046e: POP 0000046f: POP 00000470: JUMP 00000471: JUMPDEST 00000472: PUSH1 0x60 00000474: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000489: DUP5 0000048a: AND 0000048b: EXTCODESIZE 0000048c: PUSH2 0x0517 0000048f: JUMPI 00000490: PUSH1 0x40 00000492: MLOAD 00000493: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000004b4: DUP2 000004b5: MSTORE 000004b6: PUSH1 0x20 000004b8: PUSH1 0x04 000004ba: DUP3 000004bb: ADD 000004bc: MSTORE 000004bd: PUSH1 0x26 000004bf: PUSH1 0x24 000004c1: DUP3 000004c2: ADD 000004c3: MSTORE 000004c4: PUSH32 0x416464726573733a2064656c65676174652063616c6c20746f206e6f6e2d636f 000004e5: PUSH1 0x44 000004e7: DUP3 000004e8: ADD 000004e9: MSTORE 000004ea: PUSH32 0x6e74726163740000000000000000000000000000000000000000000000000000 0000050b: PUSH1 0x64 0000050d: DUP3 0000050e: ADD 0000050f: MSTORE 00000510: PUSH1 0x84 00000512: ADD 00000513: PUSH2 0x03d9 00000516: JUMP 00000517: JUMPDEST 00000518: PUSH1 0x00 0000051a: DUP1 0000051b: DUP6 0000051c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000531: AND 00000532: DUP6 00000533: PUSH1 0x40 00000535: MLOAD 00000536: PUSH2 0x053f 00000539: SWAP2 0000053a: SWAP1 0000053b: PUSH2 0x0836 0000053e: JUMP 0000053f: JUMPDEST 00000540: PUSH1 0x00 00000542: PUSH1 0x40 00000544: MLOAD 00000545: DUP1 00000546: DUP4 00000547: SUB 00000548: DUP2 00000549: DUP6 0000054a: GAS 0000054b: DELEGATECALL 0000054c: SWAP2 0000054d: POP 0000054e: POP 0000054f: RETURNDATASIZE 00000550: DUP1 00000551: PUSH1 0x00 00000553: DUP2 00000554: EQ 00000555: PUSH2 0x057a 00000558: JUMPI 00000559: PUSH1 0x40 0000055b: MLOAD 0000055c: SWAP2 0000055d: POP 0000055e: PUSH1 0x1f 00000560: NOT 00000561: PUSH1 0x3f 00000563: RETURNDATASIZE 00000564: ADD 00000565: AND 00000566: DUP3 00000567: ADD 00000568: PUSH1 0x40 0000056a: MSTORE 0000056b: RETURNDATASIZE 0000056c: DUP3 0000056d: MSTORE 0000056e: RETURNDATASIZE 0000056f: PUSH1 0x00 00000571: PUSH1 0x20 00000573: DUP5 00000574: ADD 00000575: RETURNDATACOPY 00000576: PUSH2 0x057f 00000579: JUMP 0000057a: JUMPDEST 0000057b: PUSH1 0x60 0000057d: SWAP2 0000057e: POP 0000057f: JUMPDEST 00000580: POP 00000581: SWAP2 00000582: POP 00000583: SWAP2 00000584: POP 00000585: PUSH2 0x058f 00000588: DUP3 00000589: DUP3 0000058a: DUP7 0000058b: PUSH2 0x05e6 0000058e: JUMP 0000058f: JUMPDEST 00000590: SWAP7 00000591: SWAP6 00000592: POP 00000593: POP 00000594: POP 00000595: POP 00000596: POP 00000597: POP 00000598: JUMP 00000599: JUMPDEST 0000059a: PUSH2 0x05a2 0000059d: DUP2 0000059e: PUSH2 0x0639 000005a1: JUMP 000005a2: JUMPDEST 000005a3: PUSH1 0x40 000005a5: MLOAD 000005a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005bb: DUP3 000005bc: AND 000005bd: SWAP1 000005be: PUSH32 0xbc7cd75a20ee27fd9adebab32041f755214dbc6bffa90cc0225b39da2e5c2d3b 000005df: SWAP1 000005e0: PUSH1 0x00 000005e2: SWAP1 000005e3: LOG2 000005e4: POP 000005e5: JUMP 000005e6: JUMPDEST 000005e7: PUSH1 0x60 000005e9: DUP4 000005ea: ISZERO 000005eb: PUSH2 0x05f5 000005ee: JUMPI 000005ef: POP 000005f0: DUP2 000005f1: PUSH2 0x02ce 000005f4: JUMP 000005f5: JUMPDEST 000005f6: DUP3 000005f7: MLOAD 000005f8: ISZERO 000005f9: PUSH2 0x0605 000005fc: JUMPI 000005fd: DUP3 000005fe: MLOAD 000005ff: DUP1 00000600: DUP5 00000601: PUSH1 0x20 00000603: ADD 00000604: REVERT 00000605: JUMPDEST 00000606: DUP2 00000607: PUSH1 0x40 00000609: MLOAD 0000060a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000062b: DUP2 0000062c: MSTORE 0000062d: PUSH1 0x04 0000062f: ADD 00000630: PUSH2 0x03d9 00000633: SWAP2 00000634: SWAP1 00000635: PUSH2 0x0852 00000638: JUMP 00000639: JUMPDEST 0000063a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000064f: DUP2 00000650: AND 00000651: EXTCODESIZE 00000652: PUSH2 0x06dd 00000655: JUMPI 00000656: PUSH1 0x40 00000658: MLOAD 00000659: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000067a: DUP2 0000067b: MSTORE 0000067c: PUSH1 0x20 0000067e: PUSH1 0x04 00000680: DUP3 00000681: ADD 00000682: MSTORE 00000683: PUSH1 0x2d 00000685: PUSH1 0x24 00000687: DUP3 00000688: ADD 00000689: MSTORE 0000068a: PUSH32 0x455243313936373a206e657720696d706c656d656e746174696f6e206973206e 000006ab: PUSH1 0x44 000006ad: DUP3 000006ae: ADD 000006af: MSTORE 000006b0: PUSH32 0x6f74206120636f6e747261637400000000000000000000000000000000000000 000006d1: PUSH1 0x64 000006d3: DUP3 000006d4: ADD 000006d5: MSTORE 000006d6: PUSH1 0x84 000006d8: ADD 000006d9: PUSH2 0x03d9 000006dc: JUMP 000006dd: JUMPDEST 000006de: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc 000006ff: DUP1 00000700: SLOAD 00000701: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 00000722: AND 00000723: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000738: SWAP3 00000739: SWAP1 0000073a: SWAP3 0000073b: AND 0000073c: SWAP2 0000073d: SWAP1 0000073e: SWAP2 0000073f: OR 00000740: SWAP1 00000741: SSTORE 00000742: JUMP 00000743: JUMPDEST 00000744: DUP1 00000745: CALLDATALOAD 00000746: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000075b: DUP2 0000075c: AND 0000075d: DUP2 0000075e: EQ 0000075f: PUSH2 0x0767 00000762: JUMPI 00000763: PUSH1 0x00 00000765: DUP1 00000766: REVERT 00000767: JUMPDEST 00000768: SWAP2 00000769: SWAP1 0000076a: POP 0000076b: JUMP 0000076c: JUMPDEST 0000076d: PUSH1 0x00 0000076f: PUSH1 0x20 00000771: DUP3 00000772: DUP5 00000773: SUB 00000774: SLT 00000775: ISZERO 00000776: PUSH2 0x077e 00000779: JUMPI 0000077a: PUSH1 0x00 0000077c: DUP1 0000077d: REVERT 0000077e: JUMPDEST 0000077f: PUSH2 0x02ce 00000782: DUP3 00000783: PUSH2 0x0743 00000786: JUMP 00000787: JUMPDEST 00000788: PUSH1 0x00 0000078a: DUP1 0000078b: PUSH1 0x00 0000078d: PUSH1 0x40 0000078f: DUP5 00000790: DUP7 00000791: SUB 00000792: SLT 00000793: ISZERO 00000794: PUSH2 0x079c 00000797: JUMPI 00000798: PUSH1 0x00 0000079a: DUP1 0000079b: REVERT 0000079c: JUMPDEST 0000079d: PUSH2 0x07a5 000007a0: DUP5 000007a1: PUSH2 0x0743 000007a4: JUMP 000007a5: JUMPDEST 000007a6: SWAP3 000007a7: POP 000007a8: PUSH1 0x20 000007aa: DUP5 000007ab: ADD 000007ac: CALLDATALOAD 000007ad: PUSH8 0xffffffffffffffff 000007b6: DUP1 000007b7: DUP3 000007b8: GT 000007b9: ISZERO 000007ba: PUSH2 0x07c2 000007bd: JUMPI 000007be: PUSH1 0x00 000007c0: DUP1 000007c1: REVERT 000007c2: JUMPDEST 000007c3: DUP2 000007c4: DUP7 000007c5: ADD 000007c6: SWAP2 000007c7: POP 000007c8: DUP7 000007c9: PUSH1 0x1f 000007cb: DUP4 000007cc: ADD 000007cd: SLT 000007ce: PUSH2 0x07d6 000007d1: JUMPI 000007d2: PUSH1 0x00 000007d4: DUP1 000007d5: REVERT 000007d6: JUMPDEST 000007d7: DUP2 000007d8: CALLDATALOAD 000007d9: DUP2 000007da: DUP2 000007db: GT 000007dc: ISZERO 000007dd: PUSH2 0x07e5 000007e0: JUMPI 000007e1: PUSH1 0x00 000007e3: DUP1 000007e4: REVERT 000007e5: JUMPDEST 000007e6: DUP8 000007e7: PUSH1 0x20 000007e9: DUP3 000007ea: DUP6 000007eb: ADD 000007ec: ADD 000007ed: GT 000007ee: ISZERO 000007ef: PUSH2 0x07f7 000007f2: JUMPI 000007f3: PUSH1 0x00 000007f5: DUP1 000007f6: REVERT 000007f7: JUMPDEST 000007f8: PUSH1 0x20 000007fa: DUP4 000007fb: ADD 000007fc: SWAP5 000007fd: POP 000007fe: DUP1 000007ff: SWAP4 00000800: POP 00000801: POP 00000802: POP 00000803: POP 00000804: SWAP3 00000805: POP 00000806: SWAP3 00000807: POP 00000808: SWAP3 00000809: JUMP 0000080a: JUMPDEST 0000080b: PUSH1 0x00 0000080d: JUMPDEST 0000080e: DUP4 0000080f: DUP2 00000810: LT 00000811: ISZERO 00000812: PUSH2 0x0825 00000815: JUMPI 00000816: DUP2 00000817: DUP2 00000818: ADD 00000819: MLOAD 0000081a: DUP4 0000081b: DUP3 0000081c: ADD 0000081d: MSTORE 0000081e: PUSH1 0x20 00000820: ADD 00000821: PUSH2 0x080d 00000824: JUMP 00000825: JUMPDEST 00000826: DUP4 00000827: DUP2 00000828: GT 00000829: ISZERO 0000082a: PUSH2 0x046b 0000082d: JUMPI 0000082e: POP 0000082f: POP 00000830: PUSH1 0x00 00000832: SWAP2 00000833: ADD 00000834: MSTORE 00000835: JUMP 00000836: JUMPDEST 00000837: PUSH1 0x00 00000839: DUP3 0000083a: MLOAD 0000083b: PUSH2 0x0848 0000083e: DUP2 0000083f: DUP5 00000840: PUSH1 0x20 00000842: DUP8 00000843: ADD 00000844: PUSH2 0x080a 00000847: JUMP 00000848: JUMPDEST 00000849: SWAP2 0000084a: SWAP1 0000084b: SWAP2 0000084c: ADD 0000084d: SWAP3 0000084e: SWAP2 0000084f: POP 00000850: POP 00000851: JUMP 00000852: JUMPDEST 00000853: PUSH1 0x20 00000855: DUP2 00000856: MSTORE 00000857: PUSH1 0x00 00000859: DUP3 0000085a: MLOAD 0000085b: DUP1 0000085c: PUSH1 0x20 0000085e: DUP5 0000085f: ADD 00000860: MSTORE 00000861: PUSH2 0x0871 00000864: DUP2 00000865: PUSH1 0x40 00000867: DUP6 00000868: ADD 00000869: PUSH1 0x20 0000086b: DUP8 0000086c: ADD 0000086d: PUSH2 0x080a 00000870: JUMP 00000871: JUMPDEST 00000872: PUSH1 0x1f 00000874: ADD 00000875: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00000896: AND 00000897: SWAP2 00000898: SWAP1 00000899: SWAP2 0000089a: ADD 0000089b: PUSH1 0x40 0000089d: ADD 0000089e: SWAP3 0000089f: SWAP2 000008a0: POP 000008a1: POP 000008a2: JUMP 000008a3: INVALID 000008a4: COINBASE 000008a5: PUSH5 0x6472657373 000008ab: GASPRICE 000008ac: KECCAK256 000008ad: PUSH13 0x6f772d6c6576656c2064656c65 000008bb: PUSH8 0x6174652063616c6c 000008c4: KECCAK256 000008c5: PUSH7 0x61696c6564a264 000008cd: PUSH10 0x706673582212206f7021 000008d8: UNKNOWN(0x4C) 000008d9: MLOAD 000008da: UNKNOWN(0xCD) 000008db: UNKNOWN(0xD4) 000008dc: SHR 000008dd: SDIV 000008de: UNKNOWN(0xBA) 000008df: UNKNOWN(0x0F) 000008e0: INVALID 000008e1: UNKNOWN(0xB7) 000008e2: UNKNOWN(0x2B) 000008e3: ADDRESS 000008e4: SWAP13 000008e5: LOG3 000008e6: UNKNOWN(0xC8) 000008e7: UNKNOWN(0xBE) 000008e8: OR 000008e9: DUP16 000008ea: UNKNOWN(0xD6) 000008eb: UNKNOWN(0xE7) 000008ec: EXTCODECOPY 000008ed: SLT 000008ee: AND 000008ef: UNKNOWN(0x23) 000008f0: ADDRESS 000008f1: PUSH26
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | upgradeability | detector | Untrusted DELEGATECALL target reachable | 55 | no | no |
viewtrace_id: 0xfe7c33d91685c854681fbe6cebcada38eb07502b3c0c3fff1a382c84d8e5c795
call_targets:
0x69c3a3ab492933e029f9d4658bfe326bb4d4805f
target_varies:
no
classification:
constant_target
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "sink_reached",
"attempts": 2,
"trace_id": "0xfe7c33d91685c854681fbe6cebcada38eb07502b3c0c3fff1a382c84d8e5c795",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x69c3a3ab492933e029f9d4658bfe326bb4d4805f"
],
"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": "0xf851a440",
"selector": "0xf851a440",
"calldata_variants": [
"0xf851a440",
"0xf851a4400000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1072,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
},
{
"pc": 1355,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [
{
"pc": 251,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 351,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 495,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 583,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 754,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"delegatecall_count": 2,
"untrusted_delegatecall_count": 2
}
|