019b477e-d1c6-732a-aa2d-6d1b24c6a833
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 |
|---|---|---|---|---|
| 27819 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 27820 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 71752 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 71753 | capability.graph | complete | 1 / 3 | 1 week ago |
| 71754 | detector.run | complete | 1 / 3 | 1 week ago |
| 71755 | 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 0x0059 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x025313a2 00000019: EQ 0000001a: PUSH2 0x00b3 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x025b22bc 00000024: EQ 00000025: PUSH2 0x00e4 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x4555d5c9 0000002f: EQ 00000030: PUSH2 0x0117 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0x5c60da1b 0000003a: EQ 0000003b: PUSH2 0x013e 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xd88ca2c8 00000045: EQ 00000046: PUSH2 0x0153 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf1739cae 00000050: EQ 00000051: PUSH2 0x0209 00000054: JUMPI 00000055: PUSH2 0x00a8 00000058: JUMP 00000059: JUMPDEST 0000005a: CALLDATASIZE 0000005b: PUSH2 0x00a8 0000005e: JUMPI 0000005f: PUSH2 0x00a6 00000062: PUSH2 0x0069 00000065: PUSH2 0x023c 00000068: JUMP 00000069: JUMPDEST 0000006a: PUSH1 0x00 0000006c: CALLDATASIZE 0000006d: DUP1 0000006e: DUP1 0000006f: PUSH1 0x1f 00000071: ADD 00000072: PUSH1 0x20 00000074: DUP1 00000075: SWAP2 00000076: DIV 00000077: MUL 00000078: PUSH1 0x20 0000007a: ADD 0000007b: PUSH1 0x40 0000007d: MLOAD 0000007e: SWAP1 0000007f: DUP2 00000080: ADD 00000081: PUSH1 0x40 00000083: MSTORE 00000084: DUP1 00000085: SWAP4 00000086: SWAP3 00000087: SWAP2 00000088: SWAP1 00000089: DUP2 0000008a: DUP2 0000008b: MSTORE 0000008c: PUSH1 0x20 0000008e: ADD 0000008f: DUP4 00000090: DUP4 00000091: DUP1 00000092: DUP3 00000093: DUP5 00000094: CALLDATACOPY 00000095: PUSH1 0x00 00000097: SWAP3 00000098: ADD 00000099: SWAP2 0000009a: SWAP1 0000009b: SWAP2 0000009c: MSTORE 0000009d: POP 0000009e: PUSH2 0x0262 000000a1: SWAP3 000000a2: POP 000000a3: POP 000000a4: POP 000000a5: JUMP 000000a6: JUMPDEST 000000a7: STOP 000000a8: JUMPDEST 000000a9: PUSH2 0x00a6 000000ac: PUSH2 0x0069 000000af: PUSH2 0x023c 000000b2: JUMP 000000b3: JUMPDEST 000000b4: CALLVALUE 000000b5: DUP1 000000b6: ISZERO 000000b7: PUSH2 0x00bf 000000ba: JUMPI 000000bb: PUSH1 0x00 000000bd: DUP1 000000be: REVERT 000000bf: JUMPDEST 000000c0: POP 000000c1: PUSH2 0x00c8 000000c4: PUSH2 0x028a 000000c7: JUMP 000000c8: JUMPDEST 000000c9: PUSH1 0x40 000000cb: DUP1 000000cc: MLOAD 000000cd: PUSH1 0x01 000000cf: PUSH1 0x01 000000d1: PUSH1 0xa0 000000d3: SHL 000000d4: SUB 000000d5: SWAP1 000000d6: SWAP3 000000d7: AND 000000d8: DUP3 000000d9: MSTORE 000000da: MLOAD 000000db: SWAP1 000000dc: DUP2 000000dd: SWAP1 000000de: SUB 000000df: PUSH1 0x20 000000e1: ADD 000000e2: SWAP1 000000e3: RETURN 000000e4: JUMPDEST 000000e5: CALLVALUE 000000e6: DUP1 000000e7: ISZERO 000000e8: PUSH2 0x00f0 000000eb: JUMPI 000000ec: PUSH1 0x00 000000ee: DUP1 000000ef: REVERT 000000f0: JUMPDEST 000000f1: POP 000000f2: PUSH2 0x00a6 000000f5: PUSH1 0x04 000000f7: DUP1 000000f8: CALLDATASIZE 000000f9: SUB 000000fa: PUSH1 0x20 000000fc: DUP2 000000fd: LT 000000fe: ISZERO 000000ff: PUSH2 0x0107 00000102: JUMPI 00000103: PUSH1 0x00 00000105: DUP1 00000106: REVERT 00000107: JUMPDEST 00000108: POP 00000109: CALLDATALOAD 0000010a: PUSH1 0x01 0000010c: PUSH1 0x01 0000010e: PUSH1 0xa0 00000110: SHL 00000111: SUB 00000112: AND 00000113: PUSH2 0x0299 00000116: JUMP 00000117: JUMPDEST 00000118: CALLVALUE 00000119: DUP1 0000011a: ISZERO 0000011b: PUSH2 0x0123 0000011e: JUMPI 0000011f: PUSH1 0x00 00000121: DUP1 00000122: REVERT 00000123: JUMPDEST 00000124: POP 00000125: PUSH2 0x012c 00000128: PUSH2 0x03d3 0000012b: JUMP 0000012c: JUMPDEST 0000012d: PUSH1 0x40 0000012f: DUP1 00000130: MLOAD 00000131: SWAP2 00000132: DUP3 00000133: MSTORE 00000134: MLOAD 00000135: SWAP1 00000136: DUP2 00000137: SWAP1 00000138: SUB 00000139: PUSH1 0x20 0000013b: ADD 0000013c: SWAP1 0000013d: RETURN 0000013e: JUMPDEST 0000013f: CALLVALUE 00000140: DUP1 00000141: ISZERO 00000142: PUSH2 0x014a 00000145: JUMPI 00000146: PUSH1 0x00 00000148: DUP1 00000149: REVERT 0000014a: JUMPDEST 0000014b: POP 0000014c: PUSH2 0x00c8 0000014f: PUSH2 0x03d8 00000152: JUMP 00000153: JUMPDEST 00000154: PUSH2 0x00a6 00000157: PUSH1 0x04 00000159: DUP1 0000015a: CALLDATASIZE 0000015b: SUB 0000015c: PUSH1 0x40 0000015e: DUP2 0000015f: LT 00000160: ISZERO 00000161: PUSH2 0x0169 00000164: JUMPI 00000165: PUSH1 0x00 00000167: DUP1 00000168: REVERT 00000169: JUMPDEST 0000016a: PUSH1 0x01 0000016c: PUSH1 0x01 0000016e: PUSH1 0xa0 00000170: SHL 00000171: SUB 00000172: DUP3 00000173: CALLDATALOAD 00000174: AND 00000175: SWAP2 00000176: SWAP1 00000177: DUP2 00000178: ADD 00000179: SWAP1 0000017a: PUSH1 0x40 0000017c: DUP2 0000017d: ADD 0000017e: PUSH1 0x20 00000180: DUP3 00000181: ADD 00000182: CALLDATALOAD 00000183: PUSH5 0x0100000000 00000189: DUP2 0000018a: GT 0000018b: ISZERO 0000018c: PUSH2 0x0194 0000018f: JUMPI 00000190: PUSH1 0x00 00000192: DUP1 00000193: REVERT 00000194: JUMPDEST 00000195: DUP3 00000196: ADD 00000197: DUP4 00000198: PUSH1 0x20 0000019a: DUP3 0000019b: ADD 0000019c: GT 0000019d: ISZERO 0000019e: PUSH2 0x01a6 000001a1: JUMPI 000001a2: PUSH1 0x00 000001a4: DUP1 000001a5: REVERT 000001a6: JUMPDEST 000001a7: DUP1 000001a8: CALLDATALOAD 000001a9: SWAP1 000001aa: PUSH1 0x20 000001ac: ADD 000001ad: SWAP2 000001ae: DUP5 000001af: PUSH1 0x01 000001b1: DUP4 000001b2: MUL 000001b3: DUP5 000001b4: ADD 000001b5: GT 000001b6: PUSH5 0x0100000000 000001bc: DUP4 000001bd: GT 000001be: OR 000001bf: ISZERO 000001c0: PUSH2 0x01c8 000001c3: JUMPI 000001c4: PUSH1 0x00 000001c6: DUP1 000001c7: REVERT 000001c8: JUMPDEST 000001c9: SWAP2 000001ca: SWAP1 000001cb: DUP1 000001cc: DUP1 000001cd: PUSH1 0x1f 000001cf: ADD 000001d0: PUSH1 0x20 000001d2: DUP1 000001d3: SWAP2 000001d4: DIV 000001d5: MUL 000001d6: PUSH1 0x20 000001d8: ADD 000001d9: PUSH1 0x40 000001db: MLOAD 000001dc: SWAP1 000001dd: DUP2 000001de: ADD 000001df: PUSH1 0x40 000001e1: MSTORE 000001e2: DUP1 000001e3: SWAP4 000001e4: SWAP3 000001e5: SWAP2 000001e6: SWAP1 000001e7: DUP2 000001e8: DUP2 000001e9: MSTORE 000001ea: PUSH1 0x20 000001ec: ADD 000001ed: DUP4 000001ee: DUP4 000001ef: DUP1 000001f0: DUP3 000001f1: DUP5 000001f2: CALLDATACOPY 000001f3: PUSH1 0x00 000001f5: SWAP3 000001f6: ADD 000001f7: SWAP2 000001f8: SWAP1 000001f9: SWAP2 000001fa: MSTORE 000001fb: POP 000001fc: SWAP3 000001fd: SWAP6 000001fe: POP 000001ff: PUSH2 0x03e2 00000202: SWAP5 00000203: POP 00000204: POP 00000205: POP 00000206: POP 00000207: POP 00000208: JUMP 00000209: JUMPDEST 0000020a: CALLVALUE 0000020b: DUP1 0000020c: ISZERO 0000020d: PUSH2 0x0215 00000210: JUMPI 00000211: PUSH1 0x00 00000213: DUP1 00000214: REVERT 00000215: JUMPDEST 00000216: POP 00000217: PUSH2 0x00a6 0000021a: PUSH1 0x04 0000021c: DUP1 0000021d: CALLDATASIZE 0000021e: SUB 0000021f: PUSH1 0x20 00000221: DUP2 00000222: LT 00000223: ISZERO 00000224: PUSH2 0x022c 00000227: JUMPI 00000228: PUSH1 0x00 0000022a: DUP1 0000022b: REVERT 0000022c: JUMPDEST 0000022d: POP 0000022e: CALLDATALOAD 0000022f: PUSH1 0x01 00000231: PUSH1 0x01 00000233: PUSH1 0xa0 00000235: SHL 00000236: SUB 00000237: AND 00000238: PUSH2 0x0578 0000023b: JUMP 0000023c: JUMPDEST 0000023d: PUSH1 0x00 0000023f: DUP1 00000240: PUSH1 0x00 00000242: PUSH1 0x40 00000244: MLOAD 00000245: DUP1 00000246: DUP1 00000247: PUSH2 0x0738 0000024a: PUSH1 0x22 0000024c: SWAP2 0000024d: CODECOPY 0000024e: PUSH1 0x40 00000250: MLOAD 00000251: SWAP1 00000252: DUP2 00000253: SWAP1 00000254: SUB 00000255: PUSH1 0x22 00000257: ADD 00000258: SWAP1 00000259: KECCAK256 0000025a: SLOAD 0000025b: SWAP4 0000025c: POP 0000025d: POP 0000025e: POP 0000025f: POP 00000260: SWAP1 00000261: JUMP 00000262: JUMPDEST 00000263: PUSH1 0x00 00000265: DUP1 00000266: DUP3 00000267: MLOAD 00000268: PUSH1 0x20 0000026a: DUP5 0000026b: ADD 0000026c: DUP6 0000026d: PUSH2 0x2710 00000270: GAS 00000271: SUB 00000272: DELEGATECALL 00000273: RETURNDATASIZE 00000274: PUSH1 0x40 00000276: MLOAD 00000277: DUP2 00000278: PUSH1 0x00 0000027a: DUP3 0000027b: RETURNDATACOPY 0000027c: DUP3 0000027d: DUP1 0000027e: ISZERO 0000027f: PUSH2 0x0286 00000282: JUMPI 00000283: DUP3 00000284: DUP3 00000285: RETURN 00000286: JUMPDEST 00000287: DUP3 00000288: DUP3 00000289: REVERT 0000028a: JUMPDEST 0000028b: PUSH1 0x00 0000028d: PUSH2 0x0294 00000290: PUSH2 0x066a 00000293: JUMP 00000294: JUMPDEST 00000295: SWAP1 00000296: POP 00000297: SWAP1 00000298: JUMP 00000299: JUMPDEST 0000029a: CALLER 0000029b: PUSH2 0x02a2 0000029e: PUSH2 0x066a 000002a1: JUMP 000002a2: JUMPDEST 000002a3: PUSH1 0x01 000002a5: PUSH1 0x01 000002a7: PUSH1 0xa0 000002a9: SHL 000002aa: SUB 000002ab: AND 000002ac: EQ 000002ad: PUSH2 0x02e9 000002b0: JUMPI 000002b1: PUSH1 0x40 000002b3: DUP1 000002b4: MLOAD 000002b5: PUSH3 0x461bcd 000002b9: PUSH1 0xe5 000002bb: SHL 000002bc: DUP2 000002bd: MSTORE 000002be: PUSH1 0x20 000002c0: PUSH1 0x04 000002c2: DUP3 000002c3: ADD 000002c4: MSTORE 000002c5: PUSH1 0x09 000002c7: PUSH1 0x24 000002c9: DUP3 000002ca: ADD 000002cb: MSTORE 000002cc: PUSH9 0x2727aa2fa7aba722a9 000002d6: PUSH1 0xb9 000002d8: SHL 000002d9: PUSH1 0x44 000002db: DUP3 000002dc: ADD 000002dd: MSTORE 000002de: SWAP1 000002df: MLOAD 000002e0: SWAP1 000002e1: DUP2 000002e2: SWAP1 000002e3: SUB 000002e4: PUSH1 0x64 000002e6: ADD 000002e7: SWAP1 000002e8: REVERT 000002e9: JUMPDEST 000002ea: PUSH1 0x01 000002ec: PUSH1 0x01 000002ee: PUSH1 0xa0 000002f0: SHL 000002f1: SUB 000002f2: DUP2 000002f3: AND 000002f4: PUSH2 0x033c 000002f7: JUMPI 000002f8: PUSH1 0x40 000002fa: DUP1 000002fb: MLOAD 000002fc: PUSH3 0x461bcd 00000300: PUSH1 0xe5 00000302: SHL 00000303: DUP2 00000304: MSTORE 00000305: PUSH1 0x20 00000307: PUSH1 0x04 00000309: DUP3 0000030a: ADD 0000030b: MSTORE 0000030c: PUSH1 0x15 0000030e: PUSH1 0x24 00000310: DUP3 00000311: ADD 00000312: MSTORE 00000313: PUSH21 0x494e56414c49445f50524f58595f41444452455353 00000329: PUSH1 0x58 0000032b: SHL 0000032c: PUSH1 0x44 0000032e: DUP3 0000032f: ADD 00000330: MSTORE 00000331: SWAP1 00000332: MLOAD 00000333: SWAP1 00000334: DUP2 00000335: SWAP1 00000336: SUB 00000337: PUSH1 0x64 00000339: ADD 0000033a: SWAP1 0000033b: REVERT 0000033c: JUMPDEST 0000033d: PUSH2 0x0345 00000340: DUP2 00000341: PUSH2 0x069c 00000344: JUMP 00000345: JUMPDEST 00000346: PUSH2 0x0380 00000349: JUMPI 0000034a: PUSH1 0x40 0000034c: MLOAD 0000034d: PUSH3 0x461bcd 00000351: PUSH1 0xe5 00000353: SHL 00000354: DUP2 00000355: MSTORE 00000356: PUSH1 0x04 00000358: ADD 00000359: DUP1 0000035a: DUP1 0000035b: PUSH1 0x20 0000035d: ADD 0000035e: DUP3 0000035f: DUP2 00000360: SUB 00000361: DUP3 00000362: MSTORE 00000363: PUSH1 0x25 00000365: DUP2 00000366: MSTORE 00000367: PUSH1 0x20 00000369: ADD 0000036a: DUP1 0000036b: PUSH2 0x0713 0000036e: PUSH1 0x25 00000370: SWAP2 00000371: CODECOPY 00000372: PUSH1 0x40 00000374: ADD 00000375: SWAP2 00000376: POP 00000377: POP 00000378: PUSH1 0x40 0000037a: MLOAD 0000037b: DUP1 0000037c: SWAP2 0000037d: SUB 0000037e: SWAP1 0000037f: REVERT 00000380: JUMPDEST 00000381: PUSH2 0x0388 00000384: PUSH2 0x023c 00000387: JUMP 00000388: JUMPDEST 00000389: PUSH1 0x01 0000038b: PUSH1 0x01 0000038d: PUSH1 0xa0 0000038f: SHL 00000390: SUB 00000391: AND 00000392: DUP2 00000393: PUSH1 0x01 00000395: PUSH1 0x01 00000397: PUSH1 0xa0 00000399: SHL 0000039a: SUB 0000039b: AND 0000039c: PUSH32 0xd32d24edea94f55e932d9a008afc425a8561462d1b1f57bc6e508e9a6b9509e1 000003bd: PUSH1 0x40 000003bf: MLOAD 000003c0: PUSH1 0x40 000003c2: MLOAD 000003c3: DUP1 000003c4: SWAP2 000003c5: SUB 000003c6: SWAP1 000003c7: LOG3 000003c8: PUSH2 0x03d0 000003cb: DUP2 000003cc: PUSH2 0x06bf 000003cf: JUMP 000003d0: JUMPDEST 000003d1: POP 000003d2: JUMP 000003d3: JUMPDEST 000003d4: PUSH1 0x02 000003d6: SWAP1 000003d7: JUMP 000003d8: JUMPDEST 000003d9: PUSH1 0x00 000003db: PUSH2 0x0294 000003de: PUSH2 0x023c 000003e1: JUMP 000003e2: JUMPDEST 000003e3: CALLER 000003e4: PUSH2 0x03eb 000003e7: PUSH2 0x066a 000003ea: JUMP 000003eb: JUMPDEST 000003ec: PUSH1 0x01 000003ee: PUSH1 0x01 000003f0: PUSH1 0xa0 000003f2: SHL 000003f3: SUB 000003f4: AND 000003f5: EQ 000003f6: PUSH2 0x0432 000003f9: JUMPI 000003fa: PUSH1 0x40 000003fc: DUP1 000003fd: MLOAD 000003fe: PUSH3 0x461bcd 00000402: PUSH1 0xe5 00000404: SHL 00000405: DUP2 00000406: MSTORE 00000407: PUSH1 0x20 00000409: PUSH1 0x04 0000040b: DUP3 0000040c: ADD 0000040d: MSTORE 0000040e: PUSH1 0x09 00000410: PUSH1 0x24 00000412: DUP3 00000413: ADD 00000414: MSTORE 00000415: PUSH9 0x2727aa2fa7aba722a9 0000041f: PUSH1 0xb9 00000421: SHL 00000422: PUSH1 0x44 00000424: DUP3 00000425: ADD 00000426: MSTORE 00000427: SWAP1 00000428: MLOAD 00000429: SWAP1 0000042a: DUP2 0000042b: SWAP1 0000042c: SUB 0000042d: PUSH1 0x64 0000042f: ADD 00000430: SWAP1 00000431: REVERT 00000432: JUMPDEST 00000433: PUSH2 0x043b 00000436: DUP3 00000437: PUSH2 0x0299 0000043a: JUMP 0000043b: JUMPDEST 0000043c: PUSH1 0x00 0000043e: PUSH1 0x60 00000440: ADDRESS 00000441: PUSH1 0x01 00000443: PUSH1 0x01 00000445: PUSH1 0xa0 00000447: SHL 00000448: SUB 00000449: AND 0000044a: CALLVALUE 0000044b: DUP5 0000044c: PUSH1 0x40 0000044e: MLOAD 0000044f: DUP1 00000450: DUP3 00000451: DUP1 00000452: MLOAD 00000453: SWAP1 00000454: PUSH1 0x20 00000456: ADD 00000457: SWAP1 00000458: DUP1 00000459: DUP4 0000045a: DUP4 0000045b: JUMPDEST 0000045c: PUSH1 0x20 0000045e: DUP4 0000045f: LT 00000460: PUSH2 0x047a 00000463: JUMPI 00000464: DUP1 00000465: MLOAD 00000466: DUP3 00000467: MSTORE 00000468: PUSH1 0x1f 0000046a: NOT 0000046b: SWAP1 0000046c: SWAP3 0000046d: ADD 0000046e: SWAP2 0000046f: PUSH1 0x20 00000471: SWAP2 00000472: DUP3 00000473: ADD 00000474: SWAP2 00000475: ADD 00000476: PUSH2 0x045b 00000479: JUMP 0000047a: JUMPDEST 0000047b: PUSH1 0x01 0000047d: DUP4 0000047e: PUSH1 0x20 00000480: SUB 00000481: PUSH2 0x0100 00000484: EXP 00000485: SUB 00000486: DUP1 00000487: NOT 00000488: DUP3 00000489: MLOAD 0000048a: AND 0000048b: DUP2 0000048c: DUP5 0000048d: MLOAD 0000048e: AND 0000048f: DUP1 00000490: DUP3 00000491: OR 00000492: DUP6 00000493: MSTORE 00000494: POP 00000495: POP 00000496: POP 00000497: POP 00000498: POP 00000499: POP 0000049a: SWAP1 0000049b: POP 0000049c: ADD 0000049d: SWAP2 0000049e: POP 0000049f: POP 000004a0: PUSH1 0x00 000004a2: PUSH1 0x40 000004a4: MLOAD 000004a5: DUP1 000004a6: DUP4 000004a7: SUB 000004a8: DUP2 000004a9: DUP6 000004aa: DUP8 000004ab: GAS 000004ac: CALL 000004ad: SWAP3 000004ae: POP 000004af: POP 000004b0: POP 000004b1: RETURNDATASIZE 000004b2: DUP1 000004b3: PUSH1 0x00 000004b5: DUP2 000004b6: EQ 000004b7: PUSH2 0x04dc 000004ba: JUMPI 000004bb: PUSH1 0x40 000004bd: MLOAD 000004be: SWAP2 000004bf: POP 000004c0: PUSH1 0x1f 000004c2: NOT 000004c3: PUSH1 0x3f 000004c5: RETURNDATASIZE 000004c6: ADD 000004c7: AND 000004c8: DUP3 000004c9: ADD 000004ca: PUSH1 0x40 000004cc: MSTORE 000004cd: RETURNDATASIZE 000004ce: DUP3 000004cf: MSTORE 000004d0: RETURNDATASIZE 000004d1: PUSH1 0x00 000004d3: PUSH1 0x20 000004d5: DUP5 000004d6: ADD 000004d7: RETURNDATACOPY 000004d8: PUSH2 0x04e1 000004db: JUMP 000004dc: JUMPDEST 000004dd: PUSH1 0x60 000004df: SWAP2 000004e0: POP 000004e1: JUMPDEST 000004e2: POP 000004e3: SWAP2 000004e4: POP 000004e5: SWAP2 000004e6: POP 000004e7: DUP2 000004e8: DUP2 000004e9: SWAP1 000004ea: PUSH2 0x0571 000004ed: JUMPI 000004ee: PUSH1 0x40 000004f0: MLOAD 000004f1: PUSH3 0x461bcd 000004f5: PUSH1 0xe5 000004f7: SHL 000004f8: DUP2 000004f9: MSTORE 000004fa: PUSH1 0x04 000004fc: ADD 000004fd: DUP1 000004fe: DUP1 000004ff: PUSH1 0x20 00000501: ADD 00000502: DUP3 00000503: DUP2 00000504: SUB 00000505: DUP3 00000506: MSTORE 00000507: DUP4 00000508: DUP2 00000509: DUP2 0000050a: MLOAD 0000050b: DUP2 0000050c: MSTORE 0000050d: PUSH1 0x20 0000050f: ADD 00000510: SWAP2 00000511: POP 00000512: DUP1 00000513: MLOAD 00000514: SWAP1 00000515: PUSH1 0x20 00000517: ADD 00000518: SWAP1 00000519: DUP1 0000051a: DUP4 0000051b: DUP4 0000051c: PUSH1 0x00 0000051e: JUMPDEST 0000051f: DUP4 00000520: DUP2 00000521: LT 00000522: ISZERO 00000523: PUSH2 0x0536 00000526: JUMPI 00000527: DUP2 00000528: DUP2 00000529: ADD 0000052a: MLOAD 0000052b: DUP4 0000052c: DUP3 0000052d: ADD 0000052e: MSTORE 0000052f: PUSH1 0x20 00000531: ADD 00000532: PUSH2 0x051e 00000535: JUMP 00000536: JUMPDEST 00000537: POP 00000538: POP 00000539: POP 0000053a: POP 0000053b: SWAP1 0000053c: POP 0000053d: SWAP1 0000053e: DUP2 0000053f: ADD 00000540: SWAP1 00000541: PUSH1 0x1f 00000543: AND 00000544: DUP1 00000545: ISZERO 00000546: PUSH2 0x0563 00000549: JUMPI 0000054a: DUP1 0000054b: DUP3 0000054c: SUB 0000054d: DUP1 0000054e: MLOAD 0000054f: PUSH1 0x01 00000551: DUP4 00000552: PUSH1 0x20 00000554: SUB 00000555: PUSH2 0x0100 00000558: EXP 00000559: SUB 0000055a: NOT 0000055b: AND 0000055c: DUP2 0000055d: MSTORE 0000055e: PUSH1 0x20 00000560: ADD 00000561: SWAP2 00000562: POP 00000563: JUMPDEST 00000564: POP 00000565: SWAP3 00000566: POP 00000567: POP 00000568: POP 00000569: PUSH1 0x40 0000056b: MLOAD 0000056c: DUP1 0000056d: SWAP2 0000056e: SUB 0000056f: SWAP1 00000570: REVERT 00000571: JUMPDEST 00000572: POP 00000573: POP 00000574: POP 00000575: POP 00000576: POP 00000577: JUMP 00000578: JUMPDEST 00000579: CALLER 0000057a: PUSH2 0x0581 0000057d: PUSH2 0x066a 00000580: JUMP 00000581: JUMPDEST 00000582: PUSH1 0x01 00000584: PUSH1 0x01 00000586: PUSH1 0xa0 00000588: SHL 00000589: SUB 0000058a: AND 0000058b: EQ 0000058c: PUSH2 0x05c8 0000058f: JUMPI 00000590: PUSH1 0x40 00000592: DUP1 00000593: MLOAD 00000594: PUSH3 0x461bcd 00000598: PUSH1 0xe5 0000059a: SHL 0000059b: DUP2 0000059c: MSTORE 0000059d: PUSH1 0x20 0000059f: PUSH1 0x04 000005a1: DUP3 000005a2: ADD 000005a3: MSTORE 000005a4: PUSH1 0x09 000005a6: PUSH1 0x24 000005a8: DUP3 000005a9: ADD 000005aa: MSTORE 000005ab: PUSH9 0x2727aa2fa7aba722a9 000005b5: PUSH1 0xb9 000005b7: SHL 000005b8: PUSH1 0x44 000005ba: DUP3 000005bb: ADD 000005bc: MSTORE 000005bd: SWAP1 000005be: MLOAD 000005bf: SWAP1 000005c0: DUP2 000005c1: SWAP1 000005c2: SUB 000005c3: PUSH1 0x64 000005c5: ADD 000005c6: SWAP1 000005c7: REVERT 000005c8: JUMPDEST 000005c9: PUSH1 0x01 000005cb: PUSH1 0x01 000005cd: PUSH1 0xa0 000005cf: SHL 000005d0: SUB 000005d1: DUP2 000005d2: AND 000005d3: PUSH2 0x0612 000005d6: JUMPI 000005d7: PUSH1 0x40 000005d9: DUP1 000005da: MLOAD 000005db: PUSH3 0x461bcd 000005df: PUSH1 0xe5 000005e1: SHL 000005e2: DUP2 000005e3: MSTORE 000005e4: PUSH1 0x20 000005e6: PUSH1 0x04 000005e8: DUP3 000005e9: ADD 000005ea: MSTORE 000005eb: PUSH1 0x0c 000005ed: PUSH1 0x24 000005ef: DUP3 000005f0: ADD 000005f1: MSTORE 000005f2: PUSH12 0x5a45524f5f41444452455353 000005ff: PUSH1 0xa0 00000601: SHL 00000602: PUSH1 0x44 00000604: DUP3 00000605: ADD 00000606: MSTORE 00000607: SWAP1 00000608: MLOAD 00000609: SWAP1 0000060a: DUP2 0000060b: SWAP1 0000060c: SUB 0000060d: PUSH1 0x64 0000060f: ADD 00000610: SWAP1 00000611: REVERT 00000612: JUMPDEST 00000613: PUSH32 0xdbe5fd65bcdbae152f24ab660ea68e72b4d4705b57b16e0caae994e214680ee2 00000634: DUP2 00000635: PUSH2 0x063c 00000638: PUSH2 0x066a 0000063b: JUMP 0000063c: JUMPDEST 0000063d: PUSH1 0x40 0000063f: DUP1 00000640: MLOAD 00000641: PUSH1 0x01 00000643: PUSH1 0x01 00000645: PUSH1 0xa0 00000647: SHL 00000648: SUB 00000649: SWAP4 0000064a: DUP5 0000064b: AND 0000064c: DUP2 0000064d: MSTORE 0000064e: SWAP2 0000064f: SWAP1 00000650: SWAP3 00000651: AND 00000652: PUSH1 0x20 00000654: DUP3 00000655: ADD 00000656: MSTORE 00000657: DUP2 00000658: MLOAD 00000659: SWAP1 0000065a: DUP2 0000065b: SWAP1 0000065c: SUB 0000065d: SWAP1 0000065e: SWAP2 0000065f: ADD 00000660: SWAP1 00000661: LOG1 00000662: PUSH2 0x03d0 00000665: DUP2 00000666: PUSH2 0x06e1 00000669: JUMP 0000066a: JUMPDEST 0000066b: PUSH1 0x40 0000066d: DUP1 0000066e: MLOAD 0000066f: PUSH25 0x36b0ba34b1973732ba3bb7b93597383937bc3c9737bbb732b9 00000689: PUSH1 0x39 0000068b: SHL 0000068c: DUP2 0000068d: MSTORE 0000068e: SWAP1 0000068f: MLOAD 00000690: SWAP1 00000691: DUP2 00000692: SWAP1 00000693: SUB 00000694: PUSH1 0x19 00000696: ADD 00000697: SWAP1 00000698: KECCAK256 00000699: SLOAD 0000069a: SWAP1 0000069b: JUMP 0000069c: JUMPDEST 0000069d: PUSH1 0x00 0000069f: PUSH1 0x01 000006a1: PUSH1 0x01 000006a3: PUSH1 0xa0 000006a5: SHL 000006a6: SUB 000006a7: DUP3 000006a8: AND 000006a9: PUSH2 0x06b4 000006ac: JUMPI 000006ad: POP 000006ae: PUSH1 0x00 000006b0: PUSH2 0x06ba 000006b3: JUMP 000006b4: JUMPDEST 000006b5: POP 000006b6: DUP1 000006b7: EXTCODESIZE 000006b8: ISZERO 000006b9: ISZERO 000006ba: JUMPDEST 000006bb: SWAP2 000006bc: SWAP1 000006bd: POP 000006be: JUMP 000006bf: JUMPDEST 000006c0: PUSH1 0x00 000006c2: PUSH1 0x40 000006c4: MLOAD 000006c5: DUP1 000006c6: DUP1 000006c7: PUSH2 0x0738 000006ca: PUSH1 0x22 000006cc: SWAP2 000006cd: CODECOPY 000006ce: PUSH1 0x40 000006d0: MLOAD 000006d1: SWAP1 000006d2: DUP2 000006d3: SWAP1 000006d4: SUB 000006d5: PUSH1 0x22 000006d7: ADD 000006d8: SWAP1 000006d9: KECCAK256 000006da: SWAP3 000006db: SWAP1 000006dc: SWAP3 000006dd: SSTORE 000006de: POP 000006df: POP 000006e0: JUMP 000006e1: JUMPDEST 000006e2: PUSH1 0x40 000006e4: DUP1 000006e5: MLOAD 000006e6: PUSH25 0x36b0ba34b1973732ba3bb7b93597383937bc3c9737bbb732b9 00000700: PUSH1 0x39 00000702: SHL 00000703: DUP2 00000704: MSTORE 00000705: SWAP1 00000706: MLOAD 00000707: SWAP1 00000708: DUP2 00000709: SWAP1 0000070a: SUB 0000070b: PUSH1 0x19 0000070d: ADD 0000070e: SWAP1 0000070f: KECCAK256 00000710: SSTORE 00000711: JUMP 00000712: INVALID 00000713: DIFFICULTY 00000714: GASLIMIT 00000715: MSTORE8 00000716: SLOAD 00000717: BLOBHASH 00000718: UNKNOWN(0x4E) 00000719: COINBASE 0000071a: SLOAD 0000071b: BLOBHASH 0000071c: UNKNOWN(0x4F) 0000071d: UNKNOWN(0x4E) 0000071e: PUSH0 0000071f: COINBASE 00000720: DIFFICULTY 00000721: DIFFICULTY 00000722: MSTORE 00000723: GASLIMIT 00000724: MSTORE8 00000725: MSTORE8 00000726: PUSH0 00000727: BLOBHASH 00000728: MSTORE8 00000729: PUSH0 0000072a: UNKNOWN(0x4E) 0000072b: UNKNOWN(0x4F) 0000072c: SLOAD 0000072d: PUSH0 0000072e: COINBASE 0000072f: PUSH0 00000730: NUMBER 00000731: UNKNOWN(0x4F) 00000732: UNKNOWN(0x4E) 00000733: SLOAD 00000734: MSTORE 00000735: COINBASE 00000736: NUMBER 00000737: SLOAD 00000738: PUSH14 0x617469632e6e6574776f726b2e70 00000747: PUSH19 0x6f78792e696d706c656d656e746174696f6ea2 0000075b: PUSH5 0x6970667358 00000761: UNKNOWN(0x22) 00000762: SLT 00000763: KECCAK256 00000764: SWAP14 00000765: UNKNOWN(0xCF) 00000766: UNKNOWN(0x1F) 00000767: RETURNDATACOPY 00000768: UNKNOWN(0x4C) 00000769: XOR 0000076a: UNKNOWN(0x1F) 0000076b: LOG4 0000076c: UNKNOWN(0x0F) 0000076d: UNKNOWN(0x29) 0000076e: UNKNOWN(0xD2) 0000076f: UNKNOWN(0xEC) 00000770: UNKNOWN(0xBE) 00000771: SWAP2 00000772: UNKNOWN(0x21) 00000773: PUSH29
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| critical | upgradeability | detector | Untrusted DELEGATECALL target reachable | 70 | no | no |
viewtrace_id: 0x9a8b6d4a96277dbdc99ef49f10f1479f185f1d8d6d984d580e408c761f27cdc6
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "unknown",
"attempts": 72,
"trace_id": "0x9a8b6d4a96277dbdc99ef49f10f1479f185f1d8d6d984d580e408c761f27cdc6",
"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": "0x025313a2",
"selector": "0x025313a2",
"calldata_variants": [
"0x025313a2",
"0x025313a20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x025b22bc",
"selector": "0x025b22bc",
"calldata_variants": [
"0x025b22bc",
"0x025b22bc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4555d5c9",
"selector": "0x4555d5c9",
"calldata_variants": [
"0x4555d5c9",
"0x4555d5c90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c60da1b",
"selector": "0x5c60da1b",
"calldata_variants": [
"0x5c60da1b",
"0x5c60da1b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd88ca2c8",
"selector": "0xd88ca2c8",
"calldata_variants": [
"0xd88ca2c8",
"0xd88ca2c80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf1739cae",
"selector": "0xf1739cae",
"calldata_variants": [
"0xf1739cae",
"0xf1739cae0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 626,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [],
"delegatecall_count": 1,
"untrusted_delegatecall_count": 1
}
|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xede73a0b7ae11d5229f071e0c798f7af2908923fe5734dbde6ab237dbc2fa685
call_targets:
0xc3897302ab4b42931cb4857050fa60f53b775870
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xede73a0b7ae11d5229f071e0c798f7af2908923fe5734dbde6ab237dbc2fa685",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xc3897302ab4b42931cb4857050fa60f53b775870"
],
"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": "0x025313a2",
"selector": "0x025313a2",
"calldata_variants": [
"0x025313a2",
"0x025313a20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x025b22bc",
"selector": "0x025b22bc",
"calldata_variants": [
"0x025b22bc",
"0x025b22bc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4555d5c9",
"selector": "0x4555d5c9",
"calldata_variants": [
"0x4555d5c9",
"0x4555d5c90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c60da1b",
"selector": "0x5c60da1b",
"calldata_variants": [
"0x5c60da1b",
"0x5c60da1b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd88ca2c8",
"selector": "0xd88ca2c8",
"calldata_variants": [
"0xd88ca2c8",
"0xd88ca2c80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf1739cae",
"selector": "0xf1739cae",
"calldata_variants": [
"0xf1739cae",
"0xf1739cae0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1196,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [],
"untrusted_call_count": 1
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xede73a0b7ae11d5229f071e0c798f7af2908923fe5734dbde6ab237dbc2fa685
call_targets:
0xc3897302ab4b42931cb4857050fa60f53b775870
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xede73a0b7ae11d5229f071e0c798f7af2908923fe5734dbde6ab237dbc2fa685",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xc3897302ab4b42931cb4857050fa60f53b775870"
],
"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": "0x025313a2",
"selector": "0x025313a2",
"calldata_variants": [
"0x025313a2",
"0x025313a20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x025b22bc",
"selector": "0x025b22bc",
"calldata_variants": [
"0x025b22bc",
"0x025b22bc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4555d5c9",
"selector": "0x4555d5c9",
"calldata_variants": [
"0x4555d5c9",
"0x4555d5c90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c60da1b",
"selector": "0x5c60da1b",
"calldata_variants": [
"0x5c60da1b",
"0x5c60da1b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd88ca2c8",
"selector": "0xd88ca2c8",
"calldata_variants": [
"0xd88ca2c8",
"0xd88ca2c80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf1739cae",
"selector": "0xf1739cae",
"calldata_variants": [
"0xf1739cae",
"0xf1739cae0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1196,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|