019b477e-a923-72fd-b73d-414c583be924
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 |
|---|---|---|---|---|
| 20565 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 20566 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 88445 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 88446 | capability.graph | complete | 1 / 3 | 1 week ago |
| 88447 | detector.run | complete | 1 / 3 | 1 week ago |
| 88448 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLDATASIZE 00000006: ISZERO 00000007: PUSH2 0x0088 0000000a: JUMPI 0000000b: PUSH4 0xffffffff 00000010: PUSH1 0xe0 00000012: PUSH1 0x02 00000014: EXP 00000015: PUSH1 0x00 00000017: CALLDATALOAD 00000018: DIV 00000019: AND 0000001a: PUSH4 0x36b196cf 0000001f: DUP2 00000020: EQ 00000021: PUSH2 0x00af 00000024: JUMPI 00000025: DUP1 00000026: PUSH4 0x4fb2e45d 0000002b: EQ 0000002c: PUSH2 0x00ca 0000002f: JUMPI 00000030: DUP1 00000031: PUSH4 0x506d994b 00000036: EQ 00000037: PUSH2 0x00e5 0000003a: JUMPI 0000003b: DUP1 0000003c: PUSH4 0x66bc5fa8 00000041: EQ 00000042: PUSH2 0x00af 00000045: JUMPI 00000046: DUP1 00000047: PUSH4 0x6ff96d17 0000004c: EQ 0000004d: PUSH2 0x016a 00000050: JUMPI 00000051: DUP1 00000052: PUSH4 0x8da5cb5b 00000057: EQ 00000058: PUSH2 0x0195 0000005b: JUMPI 0000005c: DUP1 0000005d: PUSH4 0x9555a942 00000062: EQ 00000063: PUSH2 0x01be 00000066: JUMPI 00000067: DUP1 00000068: PUSH4 0xbeabacc8 0000006d: EQ 0000006e: PUSH2 0x01e2 00000071: JUMPI 00000072: DUP1 00000073: PUSH4 0xf340fa01 00000078: EQ 00000079: PUSH2 0x0206 0000007c: JUMPI 0000007d: DUP1 0000007e: PUSH4 0xf3fef3a3 00000083: EQ 00000084: PUSH2 0x021c 00000087: JUMPI 00000088: JUMPDEST 00000089: PUSH2 0x00ad 0000008c: JUMPDEST 0000008d: PUSH1 0x01 0000008f: PUSH1 0xa0 00000091: PUSH1 0x02 00000093: EXP 00000094: SUB 00000095: CALLER 00000096: AND 00000097: PUSH1 0x00 00000099: SWAP1 0000009a: DUP2 0000009b: MSTORE 0000009c: PUSH1 0x02 0000009e: PUSH1 0x20 000000a0: MSTORE 000000a1: PUSH1 0x40 000000a3: SWAP1 000000a4: KECCAK256 000000a5: DUP1 000000a6: SLOAD 000000a7: CALLVALUE 000000a8: ADD 000000a9: SWAP1 000000aa: SSTORE 000000ab: JUMPDEST 000000ac: JUMP 000000ad: JUMPDEST 000000ae: STOP 000000af: JUMPDEST 000000b0: CALLVALUE 000000b1: PUSH2 0x0000 000000b4: JUMPI 000000b5: PUSH2 0x00ad 000000b8: PUSH1 0x01 000000ba: PUSH1 0xa0 000000bc: PUSH1 0x02 000000be: EXP 000000bf: SUB 000000c0: PUSH1 0x04 000000c2: CALLDATALOAD 000000c3: AND 000000c4: PUSH2 0x023a 000000c7: JUMP 000000c8: JUMPDEST 000000c9: STOP 000000ca: JUMPDEST 000000cb: CALLVALUE 000000cc: PUSH2 0x0000 000000cf: JUMPI 000000d0: PUSH2 0x00ad 000000d3: PUSH1 0x01 000000d5: PUSH1 0xa0 000000d7: PUSH1 0x02 000000d9: EXP 000000da: SUB 000000db: PUSH1 0x04 000000dd: CALLDATALOAD 000000de: AND 000000df: PUSH2 0x0280 000000e2: JUMP 000000e3: JUMPDEST 000000e4: STOP 000000e5: JUMPDEST 000000e6: CALLVALUE 000000e7: PUSH2 0x0000 000000ea: JUMPI 000000eb: PUSH1 0x40 000000ed: DUP1 000000ee: MLOAD 000000ef: PUSH1 0x20 000000f1: PUSH1 0x04 000000f3: PUSH1 0x64 000000f5: CALLDATALOAD 000000f6: DUP2 000000f7: DUP2 000000f8: ADD 000000f9: CALLDATALOAD 000000fa: PUSH1 0x1f 000000fc: DUP2 000000fd: ADD 000000fe: DUP5 000000ff: SWAP1 00000100: DIV 00000101: DUP5 00000102: MUL 00000103: DUP6 00000104: ADD 00000105: DUP5 00000106: ADD 00000107: SWAP1 00000108: SWAP6 00000109: MSTORE 0000010a: DUP5 0000010b: DUP5 0000010c: MSTORE 0000010d: PUSH2 0x00ad 00000110: SWAP5 00000111: DUP3 00000112: CALLDATALOAD 00000113: PUSH1 0x01 00000115: PUSH1 0xa0 00000117: PUSH1 0x02 00000119: EXP 0000011a: SUB 0000011b: SWAP1 0000011c: DUP2 0000011d: AND 0000011e: SWAP6 0000011f: PUSH1 0x24 00000121: DUP1 00000122: CALLDATALOAD 00000123: SWAP1 00000124: SWAP3 00000125: AND 00000126: SWAP6 00000127: PUSH1 0x44 00000129: CALLDATALOAD 0000012a: SWAP6 0000012b: SWAP5 0000012c: PUSH1 0x84 0000012e: SWAP5 0000012f: SWAP3 00000130: SWAP4 00000131: ADD 00000132: SWAP2 00000133: SWAP1 00000134: DUP2 00000135: SWAP1 00000136: DUP5 00000137: ADD 00000138: DUP4 00000139: DUP3 0000013a: DUP1 0000013b: DUP3 0000013c: DUP5 0000013d: CALLDATACOPY 0000013e: POP 0000013f: SWAP5 00000140: SWAP7 00000141: POP 00000142: PUSH2 0x02c8 00000145: SWAP6 00000146: POP 00000147: POP 00000148: POP 00000149: POP 0000014a: POP 0000014b: POP 0000014c: JUMP 0000014d: JUMPDEST 0000014e: STOP 0000014f: JUMPDEST 00000150: CALLVALUE 00000151: PUSH2 0x0000 00000154: JUMPI 00000155: PUSH2 0x00ad 00000158: PUSH1 0x01 0000015a: PUSH1 0xa0 0000015c: PUSH1 0x02 0000015e: EXP 0000015f: SUB 00000160: PUSH1 0x04 00000162: CALLDATALOAD 00000163: AND 00000164: PUSH2 0x023a 00000167: JUMP 00000168: JUMPDEST 00000169: STOP 0000016a: JUMPDEST 0000016b: CALLVALUE 0000016c: PUSH2 0x0000 0000016f: JUMPI 00000170: PUSH2 0x0183 00000173: PUSH1 0x01 00000175: PUSH1 0xa0 00000177: PUSH1 0x02 00000179: EXP 0000017a: SUB 0000017b: PUSH1 0x04 0000017d: CALLDATALOAD 0000017e: AND 0000017f: PUSH2 0x04a8 00000182: JUMP 00000183: JUMPDEST 00000184: PUSH1 0x40 00000186: DUP1 00000187: MLOAD 00000188: SWAP2 00000189: DUP3 0000018a: MSTORE 0000018b: MLOAD 0000018c: SWAP1 0000018d: DUP2 0000018e: SWAP1 0000018f: SUB 00000190: PUSH1 0x20 00000192: ADD 00000193: SWAP1 00000194: RETURN 00000195: JUMPDEST 00000196: CALLVALUE 00000197: PUSH2 0x0000 0000019a: JUMPI 0000019b: PUSH2 0x01a2 0000019e: PUSH2 0x04ba 000001a1: JUMP 000001a2: JUMPDEST 000001a3: PUSH1 0x40 000001a5: DUP1 000001a6: MLOAD 000001a7: PUSH1 0x01 000001a9: PUSH1 0xa0 000001ab: PUSH1 0x02 000001ad: EXP 000001ae: SUB 000001af: SWAP1 000001b0: SWAP3 000001b1: AND 000001b2: DUP3 000001b3: MSTORE 000001b4: MLOAD 000001b5: SWAP1 000001b6: DUP2 000001b7: SWAP1 000001b8: SUB 000001b9: PUSH1 0x20 000001bb: ADD 000001bc: SWAP1 000001bd: RETURN 000001be: JUMPDEST 000001bf: CALLVALUE 000001c0: PUSH2 0x0000 000001c3: JUMPI 000001c4: PUSH2 0x00ad 000001c7: PUSH1 0x01 000001c9: PUSH1 0xa0 000001cb: PUSH1 0x02 000001cd: EXP 000001ce: SUB 000001cf: PUSH1 0x04 000001d1: CALLDATALOAD 000001d2: DUP2 000001d3: AND 000001d4: SWAP1 000001d5: PUSH1 0x24 000001d7: CALLDATALOAD 000001d8: AND 000001d9: PUSH1 0x44 000001db: CALLDATALOAD 000001dc: PUSH2 0x04c9 000001df: JUMP 000001e0: JUMPDEST 000001e1: STOP 000001e2: JUMPDEST 000001e3: CALLVALUE 000001e4: PUSH2 0x0000 000001e7: JUMPI 000001e8: PUSH2 0x00ad 000001eb: PUSH1 0x01 000001ed: PUSH1 0xa0 000001ef: PUSH1 0x02 000001f1: EXP 000001f2: SUB 000001f3: PUSH1 0x04 000001f5: CALLDATALOAD 000001f6: DUP2 000001f7: AND 000001f8: SWAP1 000001f9: PUSH1 0x24 000001fb: CALLDATALOAD 000001fc: AND 000001fd: PUSH1 0x44 000001ff: CALLDATALOAD 00000200: PUSH2 0x05de 00000203: JUMP 00000204: JUMPDEST 00000205: STOP 00000206: JUMPDEST 00000207: PUSH2 0x00ad 0000020a: PUSH1 0x01 0000020c: PUSH1 0xa0 0000020e: PUSH1 0x02 00000210: EXP 00000211: SUB 00000212: PUSH1 0x04 00000214: CALLDATALOAD 00000215: AND 00000216: PUSH2 0x0776 00000219: JUMP 0000021a: JUMPDEST 0000021b: STOP 0000021c: JUMPDEST 0000021d: CALLVALUE 0000021e: PUSH2 0x0000 00000221: JUMPI 00000222: PUSH2 0x00ad 00000225: PUSH1 0x01 00000227: PUSH1 0xa0 00000229: PUSH1 0x02 0000022b: EXP 0000022c: SUB 0000022d: PUSH1 0x04 0000022f: CALLDATALOAD 00000230: AND 00000231: PUSH1 0x24 00000233: CALLDATALOAD 00000234: PUSH2 0x0798 00000237: JUMP 00000238: JUMPDEST 00000239: STOP 0000023a: JUMPDEST 0000023b: PUSH1 0x00 0000023d: SLOAD 0000023e: CALLER 0000023f: PUSH1 0x01 00000241: PUSH1 0xa0 00000243: PUSH1 0x02 00000245: EXP 00000246: SUB 00000247: SWAP1 00000248: DUP2 00000249: AND 0000024a: SWAP2 0000024b: AND 0000024c: EQ 0000024d: PUSH2 0x0255 00000250: JUMPI 00000251: PUSH2 0x0000 00000254: JUMP 00000255: JUMPDEST 00000256: PUSH1 0x01 00000258: PUSH1 0xa0 0000025a: PUSH1 0x02 0000025c: EXP 0000025d: SUB 0000025e: DUP2 0000025f: AND 00000260: PUSH1 0x00 00000262: SWAP1 00000263: DUP2 00000264: MSTORE 00000265: PUSH1 0x01 00000267: PUSH1 0x20 00000269: DUP2 0000026a: SWAP1 0000026b: MSTORE 0000026c: PUSH1 0x40 0000026e: SWAP1 0000026f: SWAP2 00000270: KECCAK256 00000271: DUP1 00000272: SLOAD 00000273: PUSH1 0xff 00000275: NOT 00000276: AND 00000277: SWAP1 00000278: SWAP2 00000279: OR 0000027a: SWAP1 0000027b: SSTORE 0000027c: JUMPDEST 0000027d: JUMPDEST 0000027e: POP 0000027f: JUMP 00000280: JUMPDEST 00000281: PUSH1 0x00 00000283: SLOAD 00000284: CALLER 00000285: PUSH1 0x01 00000287: PUSH1 0xa0 00000289: PUSH1 0x02 0000028b: EXP 0000028c: SUB 0000028d: SWAP1 0000028e: DUP2 0000028f: AND 00000290: SWAP2 00000291: AND 00000292: EQ 00000293: PUSH2 0x029b 00000296: JUMPI 00000297: PUSH2 0x0000 0000029a: JUMP 0000029b: JUMPDEST 0000029c: PUSH1 0x00 0000029e: DUP1 0000029f: SLOAD 000002a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002b5: NOT 000002b6: AND 000002b7: PUSH1 0x01 000002b9: PUSH1 0xa0 000002bb: PUSH1 0x02 000002bd: EXP 000002be: SUB 000002bf: DUP4 000002c0: AND 000002c1: OR 000002c2: SWAP1 000002c3: SSTORE 000002c4: JUMPDEST 000002c5: JUMPDEST 000002c6: POP 000002c7: JUMP 000002c8: JUMPDEST 000002c9: PUSH1 0x01 000002cb: PUSH1 0xa0 000002cd: PUSH1 0x02 000002cf: EXP 000002d0: SUB 000002d1: CALLER 000002d2: AND 000002d3: PUSH1 0x00 000002d5: SWAP1 000002d6: DUP2 000002d7: MSTORE 000002d8: PUSH1 0x01 000002da: PUSH1 0x20 000002dc: MSTORE 000002dd: PUSH1 0x40 000002df: SWAP1 000002e0: KECCAK256 000002e1: SLOAD 000002e2: PUSH1 0xff 000002e4: AND 000002e5: ISZERO 000002e6: ISZERO 000002e7: PUSH2 0x02ef 000002ea: JUMPI 000002eb: PUSH2 0x0000 000002ee: JUMP 000002ef: JUMPDEST 000002f0: PUSH1 0x01 000002f2: PUSH1 0xa0 000002f4: PUSH1 0x02 000002f6: EXP 000002f7: SUB 000002f8: DUP5 000002f9: AND 000002fa: PUSH1 0x00 000002fc: SWAP1 000002fd: DUP2 000002fe: MSTORE 000002ff: PUSH1 0x02 00000301: PUSH1 0x20 00000303: MSTORE 00000304: PUSH1 0x40 00000306: SWAP1 00000307: KECCAK256 00000308: SLOAD 00000309: DUP3 0000030a: GT 0000030b: ISZERO 0000030c: PUSH2 0x0314 0000030f: JUMPI 00000310: PUSH2 0x0000 00000313: JUMP 00000314: JUMPDEST 00000315: PUSH1 0x01 00000317: PUSH1 0xa0 00000319: PUSH1 0x02 0000031b: EXP 0000031c: SUB 0000031d: DUP5 0000031e: AND 0000031f: PUSH1 0x00 00000321: SWAP1 00000322: DUP2 00000323: MSTORE 00000324: PUSH1 0x02 00000326: PUSH1 0x20 00000328: SWAP1 00000329: DUP2 0000032a: MSTORE 0000032b: PUSH1 0x40 0000032d: DUP1 0000032e: DUP4 0000032f: KECCAK256 00000330: SLOAD 00000331: DUP2 00000332: MLOAD 00000333: DUP4 00000334: ADD 00000335: SWAP4 00000336: SWAP1 00000337: SWAP4 00000338: MSTORE 00000339: DUP1 0000033a: MLOAD 0000033b: PUSH1 0xe0 0000033d: PUSH1 0x02 0000033f: EXP 00000340: PUSH4 0x3ef5e445 00000345: MUL 00000346: DUP2 00000347: MSTORE 00000348: PUSH1 0x04 0000034a: DUP2 0000034b: ADD 0000034c: SWAP4 0000034d: SWAP1 0000034e: SWAP4 0000034f: MSTORE 00000350: PUSH1 0x24 00000352: DUP4 00000353: ADD 00000354: DUP6 00000355: SWAP1 00000356: MSTORE 00000357: MLOAD 00000358: PUSH20 0xf5c1f023d47808621229e1cf2b9ef8ec4f33ca94 0000036d: SWAP3 0000036e: PUSH4 0x3ef5e445 00000373: SWAP3 00000374: PUSH1 0x44 00000376: DUP1 00000377: DUP4 00000378: ADD 00000379: SWAP4 0000037a: SWAP2 0000037b: SWAP3 0000037c: DUP3 0000037d: SWAP1 0000037e: SUB 0000037f: ADD 00000380: DUP2 00000381: DUP7 00000382: DUP1 00000383: EXTCODESIZE 00000384: ISZERO 00000385: PUSH2 0x0000 00000388: JUMPI 00000389: PUSH1 0x32 0000038b: GAS 0000038c: SUB 0000038d: DELEGATECALL 0000038e: ISZERO 0000038f: PUSH2 0x0000 00000392: JUMPI 00000393: POP 00000394: POP 00000395: PUSH1 0x40 00000397: DUP1 00000398: MLOAD 00000399: DUP1 0000039a: MLOAD 0000039b: PUSH1 0x01 0000039d: PUSH1 0xa0 0000039f: PUSH1 0x02 000003a1: EXP 000003a2: SUB 000003a3: DUP1 000003a4: DUP10 000003a5: AND 000003a6: PUSH1 0x00 000003a8: SWAP1 000003a9: DUP2 000003aa: MSTORE 000003ab: PUSH1 0x02 000003ad: PUSH1 0x20 000003af: SWAP1 000003b0: DUP2 000003b1: MSTORE 000003b2: SWAP5 000003b3: SWAP1 000003b4: KECCAK256 000003b5: SWAP2 000003b6: SWAP1 000003b7: SWAP2 000003b8: SSTORE 000003b9: DUP5 000003ba: MLOAD 000003bb: SWAP1 000003bc: DUP8 000003bd: AND 000003be: SWAP4 000003bf: POP 000003c0: DUP6 000003c1: SWAP3 000003c2: DUP6 000003c3: SWAP3 000003c4: SWAP2 000003c5: DUP3 000003c6: SWAP2 000003c7: DUP5 000003c8: ADD 000003c9: SWAP1 000003ca: DUP1 000003cb: DUP4 000003cc: DUP4 000003cd: JUMPDEST 000003ce: PUSH1 0x20 000003d0: DUP4 000003d1: LT 000003d2: PUSH2 0x03ec 000003d5: JUMPI 000003d6: DUP1 000003d7: MLOAD 000003d8: DUP3 000003d9: MSTORE 000003da: PUSH1 0x1f 000003dc: NOT 000003dd: SWAP1 000003de: SWAP3 000003df: ADD 000003e0: SWAP2 000003e1: PUSH1 0x20 000003e3: SWAP2 000003e4: DUP3 000003e5: ADD 000003e6: SWAP2 000003e7: ADD 000003e8: PUSH2 0x03cd 000003eb: JUMP 000003ec: JUMPDEST 000003ed: PUSH1 0x01 000003ef: DUP4 000003f0: PUSH1 0x20 000003f2: SUB 000003f3: PUSH2 0x0100 000003f6: EXP 000003f7: SUB 000003f8: DUP1 000003f9: NOT 000003fa: DUP3 000003fb: MLOAD 000003fc: AND 000003fd: DUP2 000003fe: DUP5 000003ff: MLOAD 00000400: AND 00000401: DUP1 00000402: DUP3 00000403: OR 00000404: DUP6 00000405: MSTORE 00000406: POP 00000407: POP 00000408: POP 00000409: POP 0000040a: POP 0000040b: POP 0000040c: SWAP1 0000040d: POP 0000040e: ADD 0000040f: SWAP2 00000410: POP 00000411: POP 00000412: PUSH1 0x40 00000414: MLOAD 00000415: DUP1 00000416: SWAP2 00000417: SUB 00000418: SWAP1 00000419: KECCAK256 0000041a: PUSH1 0xe0 0000041c: PUSH1 0x02 0000041e: EXP 0000041f: SWAP1 00000420: DIV 00000421: SWAP1 00000422: PUSH1 0x40 00000424: MLOAD 00000425: DUP3 00000426: PUSH4 0xffffffff 0000042b: AND 0000042c: PUSH1 0xe0 0000042e: PUSH1 0x02 00000430: EXP 00000431: MUL 00000432: DUP2 00000433: MSTORE 00000434: PUSH1 0x04 00000436: ADD 00000437: DUP1 00000438: SWAP1 00000439: POP 0000043a: PUSH1 0x00 0000043c: PUSH1 0x40 0000043e: MLOAD 0000043f: DUP1 00000440: DUP4 00000441: SUB 00000442: DUP2 00000443: DUP6 00000444: DUP9 00000445: PUSH2 0x8502 00000448: GAS 00000449: SUB 0000044a: CALL 0000044b: SWAP4 0000044c: POP 0000044d: POP 0000044e: POP 0000044f: POP 00000450: ISZERO 00000451: ISZERO 00000452: PUSH2 0x045a 00000455: JUMPI 00000456: PUSH2 0x0000 00000459: JUMP 0000045a: JUMPDEST 0000045b: JUMPDEST 0000045c: JUMPDEST 0000045d: POP 0000045e: POP 0000045f: POP 00000460: POP 00000461: JUMP 00000462: JUMPDEST 00000463: PUSH1 0x00 00000465: SLOAD 00000466: CALLER 00000467: PUSH1 0x01 00000469: PUSH1 0xa0 0000046b: PUSH1 0x02 0000046d: EXP 0000046e: SUB 0000046f: SWAP1 00000470: DUP2 00000471: AND 00000472: SWAP2 00000473: AND 00000474: EQ 00000475: PUSH2 0x0255 00000478: JUMPI 00000479: PUSH2 0x0000 0000047c: JUMP 0000047d: JUMPDEST 0000047e: PUSH1 0x01 00000480: PUSH1 0xa0 00000482: PUSH1 0x02 00000484: EXP 00000485: SUB 00000486: DUP2 00000487: AND 00000488: PUSH1 0x00 0000048a: SWAP1 0000048b: DUP2 0000048c: MSTORE 0000048d: PUSH1 0x01 0000048f: PUSH1 0x20 00000491: DUP2 00000492: SWAP1 00000493: MSTORE 00000494: PUSH1 0x40 00000496: SWAP1 00000497: SWAP2 00000498: KECCAK256 00000499: DUP1 0000049a: SLOAD 0000049b: PUSH1 0xff 0000049d: NOT 0000049e: AND 0000049f: SWAP1 000004a0: SWAP2 000004a1: OR 000004a2: SWAP1 000004a3: SSTORE 000004a4: JUMPDEST 000004a5: JUMPDEST 000004a6: POP 000004a7: JUMP 000004a8: JUMPDEST 000004a9: PUSH1 0x02 000004ab: PUSH1 0x20 000004ad: MSTORE 000004ae: PUSH1 0x00 000004b0: SWAP1 000004b1: DUP2 000004b2: MSTORE 000004b3: PUSH1 0x40 000004b5: SWAP1 000004b6: KECCAK256 000004b7: SLOAD 000004b8: DUP2 000004b9: JUMP 000004ba: JUMPDEST 000004bb: PUSH1 0x00 000004bd: SLOAD 000004be: PUSH1 0x01 000004c0: PUSH1 0xa0 000004c2: PUSH1 0x02 000004c4: EXP 000004c5: SUB 000004c6: AND 000004c7: DUP2 000004c8: JUMP 000004c9: JUMPDEST 000004ca: PUSH1 0x01 000004cc: PUSH1 0xa0 000004ce: PUSH1 0x02 000004d0: EXP 000004d1: SUB 000004d2: CALLER 000004d3: AND 000004d4: PUSH1 0x00 000004d6: SWAP1 000004d7: DUP2 000004d8: MSTORE 000004d9: PUSH1 0x01 000004db: PUSH1 0x20 000004dd: MSTORE 000004de: PUSH1 0x40 000004e0: SWAP1 000004e1: KECCAK256 000004e2: SLOAD 000004e3: PUSH1 0xff 000004e5: AND 000004e6: ISZERO 000004e7: ISZERO 000004e8: PUSH2 0x04f0 000004eb: JUMPI 000004ec: PUSH2 0x0000 000004ef: JUMP 000004f0: JUMPDEST 000004f1: PUSH1 0x01 000004f3: PUSH1 0xa0 000004f5: PUSH1 0x02 000004f7: EXP 000004f8: SUB 000004f9: DUP4 000004fa: AND 000004fb: PUSH1 0x00 000004fd: SWAP1 000004fe: DUP2 000004ff: MSTORE 00000500: PUSH1 0x02 00000502: PUSH1 0x20 00000504: MSTORE 00000505: PUSH1 0x40 00000507: SWAP1 00000508: KECCAK256 00000509: SLOAD 0000050a: DUP2 0000050b: GT 0000050c: ISZERO 0000050d: PUSH2 0x0515 00000510: JUMPI 00000511: PUSH2 0x0000 00000514: JUMP 00000515: JUMPDEST 00000516: PUSH1 0x01 00000518: PUSH1 0xa0 0000051a: PUSH1 0x02 0000051c: EXP 0000051d: SUB 0000051e: DUP4 0000051f: AND 00000520: PUSH1 0x00 00000522: SWAP1 00000523: DUP2 00000524: MSTORE 00000525: PUSH1 0x02 00000527: PUSH1 0x20 00000529: SWAP1 0000052a: DUP2 0000052b: MSTORE 0000052c: PUSH1 0x40 0000052e: DUP1 0000052f: DUP4 00000530: KECCAK256 00000531: SLOAD 00000532: DUP2 00000533: MLOAD 00000534: DUP4 00000535: ADD 00000536: SWAP4 00000537: SWAP1 00000538: SWAP4 00000539: MSTORE 0000053a: DUP1 0000053b: MLOAD 0000053c: PUSH1 0xe0 0000053e: PUSH1 0x02 00000540: EXP 00000541: PUSH4 0x3ef5e445 00000546: MUL 00000547: DUP2 00000548: MSTORE 00000549: PUSH1 0x04 0000054b: DUP2 0000054c: ADD 0000054d: SWAP4 0000054e: SWAP1 0000054f: SWAP4 00000550: MSTORE 00000551: PUSH1 0x24 00000553: DUP4 00000554: ADD 00000555: DUP5 00000556: SWAP1 00000557: MSTORE 00000558: MLOAD 00000559: PUSH20 0xf5c1f023d47808621229e1cf2b9ef8ec4f33ca94 0000056e: SWAP3 0000056f: PUSH4 0x3ef5e445 00000574: SWAP3 00000575: PUSH1 0x44 00000577: DUP1 00000578: DUP4 00000579: ADD 0000057a: SWAP4 0000057b: SWAP2 0000057c: SWAP3 0000057d: DUP3 0000057e: SWAP1 0000057f: SUB 00000580: ADD 00000581: DUP2 00000582: DUP7 00000583: DUP1 00000584: EXTCODESIZE 00000585: ISZERO 00000586: PUSH2 0x0000 00000589: JUMPI 0000058a: PUSH1 0x32 0000058c: GAS 0000058d: SUB 0000058e: DELEGATECALL 0000058f: ISZERO 00000590: PUSH2 0x0000 00000593: JUMPI 00000594: POP 00000595: POP 00000596: PUSH1 0x40 00000598: DUP1 00000599: MLOAD 0000059a: DUP1 0000059b: MLOAD 0000059c: PUSH1 0x01 0000059e: PUSH1 0xa0 000005a0: PUSH1 0x02 000005a2: EXP 000005a3: SUB 000005a4: DUP1 000005a5: DUP9 000005a6: AND 000005a7: PUSH1 0x00 000005a9: SWAP1 000005aa: DUP2 000005ab: MSTORE 000005ac: PUSH1 0x02 000005ae: PUSH1 0x20 000005b0: MSTORE 000005b1: SWAP4 000005b2: DUP5 000005b3: KECCAK256 000005b4: SWAP2 000005b5: SWAP1 000005b6: SWAP2 000005b7: SSTORE 000005b8: DUP6 000005b9: AND 000005ba: SWAP3 000005bb: POP 000005bc: DUP4 000005bd: SWAP2 000005be: DUP2 000005bf: DUP2 000005c0: DUP2 000005c1: DUP6 000005c2: DUP8 000005c3: PUSH2 0x8502 000005c6: GAS 000005c7: SUB 000005c8: CALL 000005c9: SWAP3 000005ca: POP 000005cb: POP 000005cc: POP 000005cd: ISZERO 000005ce: ISZERO 000005cf: PUSH2 0x05d7 000005d2: JUMPI 000005d3: PUSH2 0x0000 000005d6: JUMP 000005d7: JUMPDEST 000005d8: JUMPDEST 000005d9: JUMPDEST 000005da: POP 000005db: POP 000005dc: POP 000005dd: JUMP 000005de: JUMPDEST 000005df: PUSH1 0x01 000005e1: PUSH1 0xa0 000005e3: PUSH1 0x02 000005e5: EXP 000005e6: SUB 000005e7: CALLER 000005e8: AND 000005e9: PUSH1 0x00 000005eb: SWAP1 000005ec: DUP2 000005ed: MSTORE 000005ee: PUSH1 0x01 000005f0: PUSH1 0x20 000005f2: MSTORE 000005f3: PUSH1 0x40 000005f5: SWAP1 000005f6: KECCAK256 000005f7: SLOAD 000005f8: PUSH1 0xff 000005fa: AND 000005fb: ISZERO 000005fc: ISZERO 000005fd: PUSH2 0x0605 00000600: JUMPI 00000601: PUSH2 0x0000 00000604: JUMP 00000605: JUMPDEST 00000606: PUSH1 0x01 00000608: PUSH1 0xa0 0000060a: PUSH1 0x02 0000060c: EXP 0000060d: SUB 0000060e: DUP4 0000060f: AND 00000610: PUSH1 0x00 00000612: SWAP1 00000613: DUP2 00000614: MSTORE 00000615: PUSH1 0x02 00000617: PUSH1 0x20 00000619: MSTORE 0000061a: PUSH1 0x40 0000061c: SWAP1 0000061d: KECCAK256 0000061e: SLOAD 0000061f: DUP2 00000620: GT 00000621: ISZERO 00000622: PUSH2 0x062a 00000625: JUMPI 00000626: PUSH2 0x0000 00000629: JUMP 0000062a: JUMPDEST 0000062b: PUSH1 0x01 0000062d: PUSH1 0xa0 0000062f: PUSH1 0x02 00000631: EXP 00000632: SUB 00000633: DUP4 00000634: AND 00000635: PUSH1 0x00 00000637: SWAP1 00000638: DUP2 00000639: MSTORE 0000063a: PUSH1 0x02 0000063c: PUSH1 0x20 0000063e: SWAP1 0000063f: DUP2 00000640: MSTORE 00000641: PUSH1 0x40 00000643: DUP1 00000644: DUP4 00000645: KECCAK256 00000646: SLOAD 00000647: DUP2 00000648: MLOAD 00000649: DUP4 0000064a: ADD 0000064b: SWAP4 0000064c: SWAP1 0000064d: SWAP4 0000064e: MSTORE 0000064f: DUP1 00000650: MLOAD 00000651: PUSH1 0xe0 00000653: PUSH1 0x02 00000655: EXP 00000656: PUSH4 0x3ef5e445 0000065b: MUL 0000065c: DUP2 0000065d: MSTORE 0000065e: PUSH1 0x04 00000660: DUP2 00000661: ADD 00000662: SWAP4 00000663: SWAP1 00000664: SWAP4 00000665: MSTORE 00000666: PUSH1 0x24 00000668: DUP4 00000669: ADD 0000066a: DUP5 0000066b: SWAP1 0000066c: MSTORE 0000066d: MLOAD 0000066e: PUSH20 0xf5c1f023d47808621229e1cf2b9ef8ec4f33ca94 00000683: SWAP3 00000684: PUSH4 0x3ef5e445 00000689: SWAP3 0000068a: PUSH1 0x44 0000068c: DUP1 0000068d: DUP4 0000068e: ADD 0000068f: SWAP4 00000690: SWAP2 00000691: SWAP3 00000692: DUP3 00000693: SWAP1 00000694: SUB 00000695: ADD 00000696: DUP2 00000697: DUP7 00000698: DUP1 00000699: EXTCODESIZE 0000069a: ISZERO 0000069b: PUSH2 0x0000 0000069e: JUMPI 0000069f: PUSH1 0x32 000006a1: GAS 000006a2: SUB 000006a3: DELEGATECALL 000006a4: ISZERO 000006a5: PUSH2 0x0000 000006a8: JUMPI 000006a9: POP 000006aa: POP 000006ab: PUSH1 0x40 000006ad: DUP1 000006ae: MLOAD 000006af: DUP1 000006b0: MLOAD 000006b1: PUSH1 0x01 000006b3: PUSH1 0xa0 000006b5: PUSH1 0x02 000006b7: EXP 000006b8: SUB 000006b9: DUP1 000006ba: DUP9 000006bb: AND 000006bc: PUSH1 0x00 000006be: SWAP1 000006bf: DUP2 000006c0: MSTORE 000006c1: PUSH1 0x02 000006c3: PUSH1 0x20 000006c5: SWAP1 000006c6: DUP2 000006c7: MSTORE 000006c8: DUP6 000006c9: DUP3 000006ca: KECCAK256 000006cb: SWAP4 000006cc: SWAP1 000006cd: SWAP4 000006ce: SSTORE 000006cf: SWAP1 000006d0: DUP8 000006d1: AND 000006d2: DUP2 000006d3: MSTORE 000006d4: DUP4 000006d5: DUP2 000006d6: KECCAK256 000006d7: SLOAD 000006d8: SWAP3 000006d9: DUP3 000006da: ADD 000006db: MSTORE 000006dc: DUP3 000006dd: MLOAD 000006de: PUSH32 0x771602f700000000000000000000000000000000000000000000000000000000 000006ff: DUP2 00000700: MSTORE 00000701: PUSH1 0x04 00000703: DUP2 00000704: ADD 00000705: SWAP3 00000706: SWAP1 00000707: SWAP3 00000708: MSTORE 00000709: PUSH1 0x24 0000070b: DUP3 0000070c: ADD 0000070d: DUP6 0000070e: SWAP1 0000070f: MSTORE 00000710: SWAP2 00000711: MLOAD 00000712: PUSH20 0xf5c1f023d47808621229e1cf2b9ef8ec4f33ca94 00000727: SWAP4 00000728: POP 00000729: PUSH4 0x771602f7 0000072e: SWAP3 0000072f: PUSH1 0x44 00000731: DUP1 00000732: DUP5 00000733: ADD 00000734: SWAP4 00000735: SWAP2 00000736: SWAP3 00000737: SWAP2 00000738: DUP3 00000739: SWAP1 0000073a: SUB 0000073b: ADD 0000073c: DUP2 0000073d: DUP7 0000073e: DUP1 0000073f: EXTCODESIZE 00000740: ISZERO 00000741: PUSH2 0x0000 00000744: JUMPI 00000745: PUSH1 0x32 00000747: GAS 00000748: SUB 00000749: DELEGATECALL 0000074a: ISZERO 0000074b: PUSH2 0x0000 0000074e: JUMPI 0000074f: POP 00000750: POP 00000751: PUSH1 0x40 00000753: DUP1 00000754: MLOAD 00000755: MLOAD 00000756: PUSH1 0x01 00000758: PUSH1 0xa0 0000075a: PUSH1 0x02 0000075c: EXP 0000075d: SUB 0000075e: DUP6 0000075f: AND 00000760: PUSH1 0x00 00000762: SWAP1 00000763: DUP2 00000764: MSTORE 00000765: PUSH1 0x02 00000767: PUSH1 0x20 00000769: MSTORE 0000076a: SWAP2 0000076b: SWAP1 0000076c: SWAP2 0000076d: KECCAK256 0000076e: SSTORE 0000076f: POP 00000770: JUMPDEST 00000771: JUMPDEST 00000772: POP 00000773: POP 00000774: POP 00000775: JUMP 00000776: JUMPDEST 00000777: PUSH1 0x01 00000779: PUSH1 0xa0 0000077b: PUSH1 0x02 0000077d: EXP 0000077e: SUB 0000077f: DUP2 00000780: AND 00000781: PUSH1 0x00 00000783: SWAP1 00000784: DUP2 00000785: MSTORE 00000786: PUSH1 0x02 00000788: PUSH1 0x20 0000078a: MSTORE 0000078b: PUSH1 0x40 0000078d: SWAP1 0000078e: KECCAK256 0000078f: DUP1 00000790: SLOAD 00000791: CALLVALUE 00000792: ADD 00000793: SWAP1 00000794: SSTORE 00000795: JUMPDEST 00000796: POP 00000797: JUMP 00000798: JUMPDEST 00000799: PUSH1 0x01 0000079b: PUSH1 0xa0 0000079d: PUSH1 0x02 0000079f: EXP 000007a0: SUB 000007a1: CALLER 000007a2: AND 000007a3: PUSH1 0x00 000007a5: SWAP1 000007a6: DUP2 000007a7: MSTORE 000007a8: PUSH1 0x01 000007aa: PUSH1 0x20 000007ac: MSTORE 000007ad: PUSH1 0x40 000007af: SWAP1 000007b0: KECCAK256 000007b1: SLOAD 000007b2: PUSH1 0xff 000007b4: AND 000007b5: ISZERO 000007b6: ISZERO 000007b7: PUSH2 0x07bf 000007ba: JUMPI 000007bb: PUSH2 0x0000 000007be: JUMP 000007bf: JUMPDEST 000007c0: PUSH1 0x40 000007c2: MLOAD 000007c3: PUSH1 0x01 000007c5: PUSH1 0xa0 000007c7: PUSH1 0x02 000007c9: EXP 000007ca: SUB 000007cb: DUP4 000007cc: AND 000007cd: SWAP1 000007ce: DUP3 000007cf: SWAP1 000007d0: PUSH1 0x00 000007d2: DUP2 000007d3: DUP2 000007d4: DUP2 000007d5: DUP6 000007d6: DUP8 000007d7: PUSH2 0x8502 000007da: GAS 000007db: SUB 000007dc: CALL 000007dd: SWAP3 000007de: POP 000007df: POP 000007e0: POP 000007e1: ISZERO 000007e2: ISZERO 000007e3: PUSH2 0x07eb 000007e6: JUMPI 000007e7: PUSH2 0x0000 000007ea: JUMP 000007eb: JUMPDEST 000007ec: JUMPDEST 000007ed: JUMPDEST 000007ee: POP 000007ef: POP 000007f0: JUMP 000007f1: STOP 000007f2: LOG1 000007f3: PUSH6 0x627a7a723058 000007fa: KECCAK256 000007fb: PUSH1 0xad 000007fd: UNKNOWN(0x4E) 000007fe: PUSH31
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| critical | upgradeability | detector | Untrusted DELEGATECALL target reachable | 70 | no | no |
viewtrace_id: 0x4ee8ee761177502d00359cd92e5b6a35a037baf50daf794a55e40b10888b4e69
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "unknown",
"attempts": 120,
"trace_id": "0x4ee8ee761177502d00359cd92e5b6a35a037baf50daf794a55e40b10888b4e69",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x36b196cf",
"selector": "0x36b196cf",
"calldata_variants": [
"0x36b196cf",
"0x36b196cf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4fb2e45d",
"selector": "0x4fb2e45d",
"calldata_variants": [
"0x4fb2e45d",
"0x4fb2e45d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x506d994b",
"selector": "0x506d994b",
"calldata_variants": [
"0x506d994b",
"0x506d994b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x66bc5fa8",
"selector": "0x66bc5fa8",
"calldata_variants": [
"0x66bc5fa8",
"0x66bc5fa80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6ff96d17",
"selector": "0x6ff96d17",
"calldata_variants": [
"0x6ff96d17",
"0x6ff96d170000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9555a942",
"selector": "0x9555a942",
"calldata_variants": [
"0x9555a942",
"0x9555a9420000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbeabacc8",
"selector": "0xbeabacc8",
"calldata_variants": [
"0xbeabacc8",
"0xbeabacc80000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 909,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
},
{
"pc": 1422,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
},
{
"pc": 1699,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [],
"delegatecall_count": 4,
"untrusted_delegatecall_count": 4
}
|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x6730b4bbedfd7da817bf5261862c326a8436ed1a46c075206093e442f2a6c3ac
call_targets:
0x24d452116751322ba118735822e50e0d74246d14
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x6730b4bbedfd7da817bf5261862c326a8436ed1a46c075206093e442f2a6c3ac",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x24d452116751322ba118735822e50e0d74246d14"
],
"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": "0x36b196cf",
"selector": "0x36b196cf",
"calldata_variants": [
"0x36b196cf",
"0x36b196cf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4fb2e45d",
"selector": "0x4fb2e45d",
"calldata_variants": [
"0x4fb2e45d",
"0x4fb2e45d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x506d994b",
"selector": "0x506d994b",
"calldata_variants": [
"0x506d994b",
"0x506d994b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x66bc5fa8",
"selector": "0x66bc5fa8",
"calldata_variants": [
"0x66bc5fa8",
"0x66bc5fa80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6ff96d17",
"selector": "0x6ff96d17",
"calldata_variants": [
"0x6ff96d17",
"0x6ff96d170000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9555a942",
"selector": "0x9555a942",
"calldata_variants": [
"0x9555a942",
"0x9555a9420000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbeabacc8",
"selector": "0xbeabacc8",
"calldata_variants": [
"0xbeabacc8",
"0xbeabacc80000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1098,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1480,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2012,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [],
"untrusted_call_count": 3
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x6730b4bbedfd7da817bf5261862c326a8436ed1a46c075206093e442f2a6c3ac
call_targets:
0x24d452116751322ba118735822e50e0d74246d14
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x6730b4bbedfd7da817bf5261862c326a8436ed1a46c075206093e442f2a6c3ac",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x24d452116751322ba118735822e50e0d74246d14"
],
"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": "0x36b196cf",
"selector": "0x36b196cf",
"calldata_variants": [
"0x36b196cf",
"0x36b196cf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4fb2e45d",
"selector": "0x4fb2e45d",
"calldata_variants": [
"0x4fb2e45d",
"0x4fb2e45d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x506d994b",
"selector": "0x506d994b",
"calldata_variants": [
"0x506d994b",
"0x506d994b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x66bc5fa8",
"selector": "0x66bc5fa8",
"calldata_variants": [
"0x66bc5fa8",
"0x66bc5fa80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6ff96d17",
"selector": "0x6ff96d17",
"calldata_variants": [
"0x6ff96d17",
"0x6ff96d170000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9555a942",
"selector": "0x9555a942",
"calldata_variants": [
"0x9555a942",
"0x9555a9420000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbeabacc8",
"selector": "0xbeabacc8",
"calldata_variants": [
"0xbeabacc8",
"0xbeabacc80000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1098,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1480,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2012,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": []
}
|