019b477e-bfe0-7255-ad1f-07c7734217a2
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 |
|---|---|---|---|---|
| 24601 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 24602 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 102071 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 102072 | capability.graph | complete | 1 / 3 | 1 week ago |
| 102073 | detector.run | complete | 1 / 3 | 1 week ago |
| 102074 | 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 0x0043 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x711bf9b2 00000019: EQ 0000001a: PUSH2 0x004f 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x8da5cb5b 00000024: EQ 00000025: PUSH2 0x008c 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xc970e99f 0000002f: EQ 00000030: PUSH2 0x00bd 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xd610995d 0000003a: EQ 0000003b: PUSH2 0x00d2 0000003e: JUMPI 0000003f: PUSH2 0x004a 00000042: JUMP 00000043: JUMPDEST 00000044: CALLDATASIZE 00000045: PUSH2 0x004a 00000048: JUMPI 00000049: STOP 0000004a: JUMPDEST 0000004b: PUSH1 0x00 0000004d: DUP1 0000004e: REVERT 0000004f: JUMPDEST 00000050: CALLVALUE 00000051: DUP1 00000052: ISZERO 00000053: PUSH2 0x005b 00000056: JUMPI 00000057: PUSH1 0x00 00000059: DUP1 0000005a: REVERT 0000005b: JUMPDEST 0000005c: POP 0000005d: PUSH2 0x008a 00000060: PUSH1 0x04 00000062: DUP1 00000063: CALLDATASIZE 00000064: SUB 00000065: PUSH1 0x40 00000067: DUP2 00000068: LT 00000069: ISZERO 0000006a: PUSH2 0x0072 0000006d: JUMPI 0000006e: PUSH1 0x00 00000070: DUP1 00000071: REVERT 00000072: JUMPDEST 00000073: POP 00000074: PUSH1 0x01 00000076: PUSH1 0x01 00000078: PUSH1 0xa0 0000007a: SHL 0000007b: SUB 0000007c: DUP2 0000007d: CALLDATALOAD 0000007e: AND 0000007f: SWAP1 00000080: PUSH1 0x20 00000082: ADD 00000083: CALLDATALOAD 00000084: ISZERO 00000085: ISZERO 00000086: PUSH2 0x0105 00000089: JUMP 0000008a: JUMPDEST 0000008b: STOP 0000008c: JUMPDEST 0000008d: CALLVALUE 0000008e: DUP1 0000008f: ISZERO 00000090: PUSH2 0x0098 00000093: JUMPI 00000094: PUSH1 0x00 00000096: DUP1 00000097: REVERT 00000098: JUMPDEST 00000099: POP 0000009a: PUSH2 0x00a1 0000009d: PUSH2 0x019a 000000a0: JUMP 000000a1: JUMPDEST 000000a2: PUSH1 0x40 000000a4: DUP1 000000a5: MLOAD 000000a6: PUSH1 0x01 000000a8: PUSH1 0x01 000000aa: PUSH1 0xa0 000000ac: SHL 000000ad: SUB 000000ae: SWAP1 000000af: SWAP3 000000b0: AND 000000b1: DUP3 000000b2: MSTORE 000000b3: MLOAD 000000b4: SWAP1 000000b5: DUP2 000000b6: SWAP1 000000b7: SUB 000000b8: PUSH1 0x20 000000ba: ADD 000000bb: SWAP1 000000bc: RETURN 000000bd: JUMPDEST 000000be: CALLVALUE 000000bf: DUP1 000000c0: ISZERO 000000c1: PUSH2 0x00c9 000000c4: JUMPI 000000c5: PUSH1 0x00 000000c7: DUP1 000000c8: REVERT 000000c9: JUMPDEST 000000ca: POP 000000cb: PUSH2 0x008a 000000ce: PUSH2 0x01a9 000000d1: JUMP 000000d2: JUMPDEST 000000d3: CALLVALUE 000000d4: DUP1 000000d5: ISZERO 000000d6: PUSH2 0x00de 000000d9: JUMPI 000000da: PUSH1 0x00 000000dc: DUP1 000000dd: REVERT 000000de: JUMPDEST 000000df: POP 000000e0: PUSH2 0x008a 000000e3: PUSH1 0x04 000000e5: DUP1 000000e6: CALLDATASIZE 000000e7: SUB 000000e8: PUSH1 0x20 000000ea: DUP2 000000eb: LT 000000ec: ISZERO 000000ed: PUSH2 0x00f5 000000f0: JUMPI 000000f1: PUSH1 0x00 000000f3: DUP1 000000f4: REVERT 000000f5: JUMPDEST 000000f6: POP 000000f7: CALLDATALOAD 000000f8: PUSH1 0x01 000000fa: PUSH1 0x01 000000fc: PUSH1 0xa0 000000fe: SHL 000000ff: SUB 00000100: AND 00000101: PUSH2 0x0226 00000104: JUMP 00000105: JUMPDEST 00000106: PUSH2 0x010d 00000109: PUSH2 0x02b2 0000010c: JUMP 0000010d: JUMPDEST 0000010e: PUSH1 0x00 00000110: SLOAD 00000111: PUSH1 0x01 00000113: PUSH1 0x01 00000115: PUSH1 0xa0 00000117: SHL 00000118: SUB 00000119: SWAP1 0000011a: DUP2 0000011b: AND 0000011c: SWAP2 0000011d: AND 0000011e: EQ 0000011f: PUSH2 0x016f 00000122: JUMPI 00000123: PUSH1 0x40 00000125: DUP1 00000126: MLOAD 00000127: PUSH3 0x461bcd 0000012b: PUSH1 0xe5 0000012d: SHL 0000012e: DUP2 0000012f: MSTORE 00000130: PUSH1 0x20 00000132: PUSH1 0x04 00000134: DUP3 00000135: ADD 00000136: DUP2 00000137: SWAP1 00000138: MSTORE 00000139: PUSH1 0x24 0000013b: DUP3 0000013c: ADD 0000013d: MSTORE 0000013e: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 0000015f: PUSH1 0x44 00000161: DUP3 00000162: ADD 00000163: MSTORE 00000164: SWAP1 00000165: MLOAD 00000166: SWAP1 00000167: DUP2 00000168: SWAP1 00000169: SUB 0000016a: PUSH1 0x64 0000016c: ADD 0000016d: SWAP1 0000016e: REVERT 0000016f: JUMPDEST 00000170: PUSH1 0x01 00000172: PUSH1 0x01 00000174: PUSH1 0xa0 00000176: SHL 00000177: SUB 00000178: SWAP2 00000179: SWAP1 0000017a: SWAP2 0000017b: AND 0000017c: PUSH1 0x00 0000017e: SWAP1 0000017f: DUP2 00000180: MSTORE 00000181: PUSH1 0x06 00000183: PUSH1 0x20 00000185: MSTORE 00000186: PUSH1 0x40 00000188: SWAP1 00000189: KECCAK256 0000018a: DUP1 0000018b: SLOAD 0000018c: PUSH1 0xff 0000018e: NOT 0000018f: AND 00000190: SWAP2 00000191: ISZERO 00000192: ISZERO 00000193: SWAP2 00000194: SWAP1 00000195: SWAP2 00000196: OR 00000197: SWAP1 00000198: SSTORE 00000199: JUMP 0000019a: JUMPDEST 0000019b: PUSH1 0x00 0000019d: SLOAD 0000019e: PUSH1 0x01 000001a0: PUSH1 0x01 000001a2: PUSH1 0xa0 000001a4: SHL 000001a5: SUB 000001a6: AND 000001a7: SWAP1 000001a8: JUMP 000001a9: JUMPDEST 000001aa: CALLER 000001ab: PUSH1 0x00 000001ad: SWAP1 000001ae: DUP2 000001af: MSTORE 000001b0: PUSH1 0x06 000001b2: PUSH1 0x20 000001b4: MSTORE 000001b5: PUSH1 0x40 000001b7: SWAP1 000001b8: KECCAK256 000001b9: SLOAD 000001ba: PUSH1 0xff 000001bc: AND 000001bd: PUSH2 0x01fe 000001c0: JUMPI 000001c1: PUSH1 0x40 000001c3: DUP1 000001c4: MLOAD 000001c5: PUSH3 0x461bcd 000001c9: PUSH1 0xe5 000001cb: SHL 000001cc: DUP2 000001cd: MSTORE 000001ce: PUSH1 0x20 000001d0: PUSH1 0x04 000001d2: DUP3 000001d3: ADD 000001d4: MSTORE 000001d5: PUSH1 0x0e 000001d7: PUSH1 0x24 000001d9: DUP3 000001da: ADD 000001db: MSTORE 000001dc: PUSH14 0x139bdd08105d5d1a1c9bda5e9959 000001eb: PUSH1 0x92 000001ed: SHL 000001ee: PUSH1 0x44 000001f0: DUP3 000001f1: ADD 000001f2: MSTORE 000001f3: SWAP1 000001f4: MLOAD 000001f5: SWAP1 000001f6: DUP2 000001f7: SWAP1 000001f8: SUB 000001f9: PUSH1 0x64 000001fb: ADD 000001fc: SWAP1 000001fd: REVERT 000001fe: JUMPDEST 000001ff: SELFBALANCE 00000200: PUSH2 0x020b 00000203: PUSH1 0x02 00000205: DUP3 00000206: DIV 00000207: PUSH2 0x02b6 0000020a: JUMP 0000020b: JUMPDEST 0000020c: PUSH2 0x0217 0000020f: PUSH1 0x04 00000211: DUP3 00000212: DIV 00000213: PUSH2 0x0458 00000216: JUMP 00000217: JUMPDEST 00000218: PUSH2 0x0223 0000021b: PUSH1 0x04 0000021d: DUP3 0000021e: DIV 0000021f: PUSH2 0x0521 00000222: JUMP 00000223: JUMPDEST 00000224: POP 00000225: JUMP 00000226: JUMPDEST 00000227: PUSH2 0x022e 0000022a: PUSH2 0x02b2 0000022d: JUMP 0000022e: JUMPDEST 0000022f: PUSH1 0x00 00000231: SLOAD 00000232: PUSH1 0x01 00000234: PUSH1 0x01 00000236: PUSH1 0xa0 00000238: SHL 00000239: SUB 0000023a: SWAP1 0000023b: DUP2 0000023c: AND 0000023d: SWAP2 0000023e: AND 0000023f: EQ 00000240: PUSH2 0x0290 00000243: JUMPI 00000244: PUSH1 0x40 00000246: DUP1 00000247: MLOAD 00000248: PUSH3 0x461bcd 0000024c: PUSH1 0xe5 0000024e: SHL 0000024f: DUP2 00000250: MSTORE 00000251: PUSH1 0x20 00000253: PUSH1 0x04 00000255: DUP3 00000256: ADD 00000257: DUP2 00000258: SWAP1 00000259: MSTORE 0000025a: PUSH1 0x24 0000025c: DUP3 0000025d: ADD 0000025e: MSTORE 0000025f: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000280: PUSH1 0x44 00000282: DUP3 00000283: ADD 00000284: MSTORE 00000285: SWAP1 00000286: MLOAD 00000287: SWAP1 00000288: DUP2 00000289: SWAP1 0000028a: SUB 0000028b: PUSH1 0x64 0000028d: ADD 0000028e: SWAP1 0000028f: REVERT 00000290: JUMPDEST 00000291: PUSH1 0x02 00000293: DUP1 00000294: SLOAD 00000295: PUSH1 0x01 00000297: PUSH1 0x01 00000299: PUSH1 0xa0 0000029b: SHL 0000029c: SUB 0000029d: NOT 0000029e: AND 0000029f: PUSH1 0x01 000002a1: PUSH1 0x01 000002a3: PUSH1 0xa0 000002a5: SHL 000002a6: SUB 000002a7: SWAP3 000002a8: SWAP1 000002a9: SWAP3 000002aa: AND 000002ab: SWAP2 000002ac: SWAP1 000002ad: SWAP2 000002ae: OR 000002af: SWAP1 000002b0: SSTORE 000002b1: JUMP 000002b2: JUMPDEST 000002b3: CALLER 000002b4: SWAP1 000002b5: JUMP 000002b6: JUMPDEST 000002b7: PUSH1 0x40 000002b9: DUP1 000002ba: MLOAD 000002bb: PUSH1 0x02 000002bd: DUP1 000002be: DUP3 000002bf: MSTORE 000002c0: PUSH1 0x60 000002c2: DUP3 000002c3: ADD 000002c4: DUP4 000002c5: MSTORE 000002c6: PUSH1 0x00 000002c8: SWAP3 000002c9: PUSH1 0x20 000002cb: DUP4 000002cc: ADD 000002cd: SWAP1 000002ce: DUP1 000002cf: CALLDATASIZE 000002d0: DUP4 000002d1: CALLDATACOPY 000002d2: POP 000002d3: POP 000002d4: PUSH1 0x01 000002d6: SLOAD 000002d7: PUSH1 0x40 000002d9: DUP1 000002da: MLOAD 000002db: PUSH4 0x15ab88c9 000002e0: PUSH1 0xe3 000002e2: SHL 000002e3: DUP2 000002e4: MSTORE 000002e5: SWAP1 000002e6: MLOAD 000002e7: SWAP4 000002e8: SWAP5 000002e9: POP 000002ea: PUSH1 0x01 000002ec: PUSH1 0x01 000002ee: PUSH1 0xa0 000002f0: SHL 000002f1: SUB 000002f2: SWAP1 000002f3: SWAP2 000002f4: AND 000002f5: SWAP3 000002f6: PUSH4 0xad5c4648 000002fb: SWAP3 000002fc: POP 000002fd: PUSH1 0x04 000002ff: DUP1 00000300: DUP4 00000301: ADD 00000302: SWAP3 00000303: PUSH1 0x20 00000305: SWAP3 00000306: SWAP2 00000307: SWAP1 00000308: DUP3 00000309: SWAP1 0000030a: SUB 0000030b: ADD 0000030c: DUP2 0000030d: DUP7 0000030e: DUP1 0000030f: EXTCODESIZE 00000310: ISZERO 00000311: DUP1 00000312: ISZERO 00000313: PUSH2 0x031b 00000316: JUMPI 00000317: PUSH1 0x00 00000319: DUP1 0000031a: REVERT 0000031b: JUMPDEST 0000031c: POP 0000031d: GAS 0000031e: STATICCALL 0000031f: ISZERO 00000320: DUP1 00000321: ISZERO 00000322: PUSH2 0x032f 00000325: JUMPI 00000326: RETURNDATASIZE 00000327: PUSH1 0x00 00000329: DUP1 0000032a: RETURNDATACOPY 0000032b: RETURNDATASIZE 0000032c: PUSH1 0x00 0000032e: REVERT 0000032f: JUMPDEST 00000330: POP 00000331: POP 00000332: POP 00000333: POP 00000334: PUSH1 0x40 00000336: MLOAD 00000337: RETURNDATASIZE 00000338: PUSH1 0x20 0000033a: DUP2 0000033b: LT 0000033c: ISZERO 0000033d: PUSH2 0x0345 00000340: JUMPI 00000341: PUSH1 0x00 00000343: DUP1 00000344: REVERT 00000345: JUMPDEST 00000346: POP 00000347: MLOAD 00000348: DUP2 00000349: MLOAD 0000034a: DUP3 0000034b: SWAP1 0000034c: PUSH1 0x00 0000034e: SWAP1 0000034f: PUSH2 0x0354 00000352: JUMPI 00000353: INVALID 00000354: JUMPDEST 00000355: PUSH1 0x01 00000357: PUSH1 0x01 00000359: PUSH1 0xa0 0000035b: SHL 0000035c: SUB 0000035d: SWAP3 0000035e: DUP4 0000035f: AND 00000360: PUSH1 0x20 00000362: SWAP2 00000363: DUP3 00000364: MUL 00000365: SWAP3 00000366: SWAP1 00000367: SWAP3 00000368: ADD 00000369: ADD 0000036a: MSTORE 0000036b: PUSH1 0x02 0000036d: SLOAD 0000036e: DUP3 0000036f: MLOAD 00000370: SWAP2 00000371: AND 00000372: SWAP1 00000373: DUP3 00000374: SWAP1 00000375: PUSH1 0x01 00000377: SWAP1 00000378: DUP2 00000379: LT 0000037a: PUSH2 0x037f 0000037d: JUMPI 0000037e: INVALID 0000037f: JUMPDEST 00000380: PUSH1 0x01 00000382: PUSH1 0x01 00000384: PUSH1 0xa0 00000386: SHL 00000387: SUB 00000388: SWAP3 00000389: DUP4 0000038a: AND 0000038b: PUSH1 0x20 0000038d: SWAP2 0000038e: DUP3 0000038f: MUL 00000390: SWAP3 00000391: SWAP1 00000392: SWAP3 00000393: ADD 00000394: DUP2 00000395: ADD 00000396: SWAP2 00000397: SWAP1 00000398: SWAP2 00000399: MSTORE 0000039a: PUSH1 0x01 0000039c: SLOAD 0000039d: PUSH1 0x05 0000039f: SLOAD 000003a0: PUSH1 0x40 000003a2: MLOAD 000003a3: PUSH4 0xb6f9de95 000003a8: PUSH1 0xe0 000003aa: SHL 000003ab: DUP2 000003ac: MSTORE 000003ad: PUSH1 0x04 000003af: DUP2 000003b0: ADD 000003b1: DUP8 000003b2: DUP2 000003b3: MSTORE 000003b4: SWAP2 000003b5: DUP6 000003b6: AND 000003b7: PUSH1 0x44 000003b9: DUP3 000003ba: ADD 000003bb: DUP2 000003bc: SWAP1 000003bd: MSTORE 000003be: TIMESTAMP 000003bf: PUSH1 0x64 000003c1: DUP4 000003c2: ADD 000003c3: DUP2 000003c4: SWAP1 000003c5: MSTORE 000003c6: PUSH1 0x80 000003c8: PUSH1 0x24 000003ca: DUP5 000003cb: ADD 000003cc: SWAP1 000003cd: DUP2 000003ce: MSTORE 000003cf: DUP9 000003d0: MLOAD 000003d1: PUSH1 0x84 000003d3: DUP6 000003d4: ADD 000003d5: MSTORE 000003d6: DUP9 000003d7: MLOAD 000003d8: SWAP6 000003d9: SWAP1 000003da: SWAP8 000003db: AND 000003dc: SWAP7 000003dd: PUSH4 0xb6f9de95 000003e2: SWAP7 000003e3: DUP11 000003e4: SWAP7 000003e5: DUP8 000003e6: SWAP7 000003e7: DUP12 000003e8: SWAP7 000003e9: SWAP1 000003ea: SWAP4 000003eb: SWAP3 000003ec: PUSH1 0xa4 000003ee: SWAP1 000003ef: SWAP2 000003f0: ADD 000003f1: SWAP2 000003f2: DUP8 000003f3: DUP3 000003f4: ADD 000003f5: SWAP2 000003f6: MUL 000003f7: DUP1 000003f8: DUP4 000003f9: DUP4 000003fa: PUSH1 0x00 000003fc: JUMPDEST 000003fd: DUP4 000003fe: DUP2 000003ff: LT 00000400: ISZERO 00000401: PUSH2 0x0414 00000404: JUMPI 00000405: DUP2 00000406: DUP2 00000407: ADD 00000408: MLOAD 00000409: DUP4 0000040a: DUP3 0000040b: ADD 0000040c: MSTORE 0000040d: PUSH1 0x20 0000040f: ADD 00000410: PUSH2 0x03fc 00000413: JUMP 00000414: JUMPDEST 00000415: POP 00000416: POP 00000417: POP 00000418: POP 00000419: SWAP1 0000041a: POP 0000041b: ADD 0000041c: SWAP6 0000041d: POP 0000041e: POP 0000041f: POP 00000420: POP 00000421: POP 00000422: POP 00000423: PUSH1 0x00 00000425: PUSH1 0x40 00000427: MLOAD 00000428: DUP1 00000429: DUP4 0000042a: SUB 0000042b: DUP2 0000042c: DUP6 0000042d: DUP9 0000042e: DUP1 0000042f: EXTCODESIZE 00000430: ISZERO 00000431: DUP1 00000432: ISZERO 00000433: PUSH2 0x043b 00000436: JUMPI 00000437: PUSH1 0x00 00000439: DUP1 0000043a: REVERT 0000043b: JUMPDEST 0000043c: POP 0000043d: GAS 0000043e: CALL 0000043f: ISZERO 00000440: DUP1 00000441: ISZERO 00000442: PUSH2 0x044f 00000445: JUMPI 00000446: RETURNDATASIZE 00000447: PUSH1 0x00 00000449: DUP1 0000044a: RETURNDATACOPY 0000044b: RETURNDATASIZE 0000044c: PUSH1 0x00 0000044e: REVERT 0000044f: JUMPDEST 00000450: POP 00000451: POP 00000452: POP 00000453: POP 00000454: POP 00000455: POP 00000456: POP 00000457: JUMP 00000458: JUMPDEST 00000459: PUSH1 0x40 0000045b: DUP1 0000045c: MLOAD 0000045d: PUSH1 0x02 0000045f: DUP1 00000460: DUP3 00000461: MSTORE 00000462: PUSH1 0x60 00000464: DUP3 00000465: ADD 00000466: DUP4 00000467: MSTORE 00000468: PUSH1 0x00 0000046a: SWAP3 0000046b: PUSH1 0x20 0000046d: DUP4 0000046e: ADD 0000046f: SWAP1 00000470: DUP1 00000471: CALLDATASIZE 00000472: DUP4 00000473: CALLDATACOPY 00000474: POP 00000475: POP 00000476: PUSH1 0x01 00000478: SLOAD 00000479: PUSH1 0x40 0000047b: DUP1 0000047c: MLOAD 0000047d: PUSH4 0x15ab88c9 00000482: PUSH1 0xe3 00000484: SHL 00000485: DUP2 00000486: MSTORE 00000487: SWAP1 00000488: MLOAD 00000489: SWAP4 0000048a: SWAP5 0000048b: POP 0000048c: PUSH1 0x01 0000048e: PUSH1 0x01 00000490: PUSH1 0xa0 00000492: SHL 00000493: SUB 00000494: SWAP1 00000495: SWAP2 00000496: AND 00000497: SWAP3 00000498: PUSH4 0xad5c4648 0000049d: SWAP3 0000049e: POP 0000049f: PUSH1 0x04 000004a1: DUP1 000004a2: DUP4 000004a3: ADD 000004a4: SWAP3 000004a5: PUSH1 0x20 000004a7: SWAP3 000004a8: SWAP2 000004a9: SWAP1 000004aa: DUP3 000004ab: SWAP1 000004ac: SUB 000004ad: ADD 000004ae: DUP2 000004af: DUP7 000004b0: DUP1 000004b1: EXTCODESIZE 000004b2: ISZERO 000004b3: DUP1 000004b4: ISZERO 000004b5: PUSH2 0x04bd 000004b8: JUMPI 000004b9: PUSH1 0x00 000004bb: DUP1 000004bc: REVERT 000004bd: JUMPDEST 000004be: POP 000004bf: GAS 000004c0: STATICCALL 000004c1: ISZERO 000004c2: DUP1 000004c3: ISZERO 000004c4: PUSH2 0x04d1 000004c7: JUMPI 000004c8: RETURNDATASIZE 000004c9: PUSH1 0x00 000004cb: DUP1 000004cc: RETURNDATACOPY 000004cd: RETURNDATASIZE 000004ce: PUSH1 0x00 000004d0: REVERT 000004d1: JUMPDEST 000004d2: POP 000004d3: POP 000004d4: POP 000004d5: POP 000004d6: PUSH1 0x40 000004d8: MLOAD 000004d9: RETURNDATASIZE 000004da: PUSH1 0x20 000004dc: DUP2 000004dd: LT 000004de: ISZERO 000004df: PUSH2 0x04e7 000004e2: JUMPI 000004e3: PUSH1 0x00 000004e5: DUP1 000004e6: REVERT 000004e7: JUMPDEST 000004e8: POP 000004e9: MLOAD 000004ea: DUP2 000004eb: MLOAD 000004ec: DUP3 000004ed: SWAP1 000004ee: PUSH1 0x00 000004f0: SWAP1 000004f1: PUSH2 0x04f6 000004f4: JUMPI 000004f5: INVALID 000004f6: JUMPDEST 000004f7: PUSH1 0x01 000004f9: PUSH1 0x01 000004fb: PUSH1 0xa0 000004fd: SHL 000004fe: SUB 000004ff: SWAP3 00000500: DUP4 00000501: AND 00000502: PUSH1 0x20 00000504: SWAP2 00000505: DUP3 00000506: MUL 00000507: SWAP3 00000508: SWAP1 00000509: SWAP3 0000050a: ADD 0000050b: ADD 0000050c: MSTORE 0000050d: PUSH1 0x03 0000050f: SLOAD 00000510: DUP3 00000511: MLOAD 00000512: SWAP2 00000513: AND 00000514: SWAP1 00000515: DUP3 00000516: SWAP1 00000517: PUSH1 0x01 00000519: SWAP1 0000051a: DUP2 0000051b: LT 0000051c: PUSH2 0x037f 0000051f: JUMPI 00000520: INVALID 00000521: JUMPDEST 00000522: PUSH1 0x40 00000524: DUP1 00000525: MLOAD 00000526: PUSH1 0x02 00000528: DUP1 00000529: DUP3 0000052a: MSTORE 0000052b: PUSH1 0x60 0000052d: DUP3 0000052e: ADD 0000052f: DUP4 00000530: MSTORE 00000531: PUSH1 0x00 00000533: SWAP3 00000534: PUSH1 0x20 00000536: DUP4 00000537: ADD 00000538: SWAP1 00000539: DUP1 0000053a: CALLDATASIZE 0000053b: DUP4 0000053c: CALLDATACOPY 0000053d: POP 0000053e: POP 0000053f: PUSH1 0x01 00000541: SLOAD 00000542: PUSH1 0x40 00000544: DUP1 00000545: MLOAD 00000546: PUSH4 0x15ab88c9 0000054b: PUSH1 0xe3 0000054d: SHL 0000054e: DUP2 0000054f: MSTORE 00000550: SWAP1 00000551: MLOAD 00000552: SWAP4 00000553: SWAP5 00000554: POP 00000555: PUSH1 0x01 00000557: PUSH1 0x01 00000559: PUSH1 0xa0 0000055b: SHL 0000055c: SUB 0000055d: SWAP1 0000055e: SWAP2 0000055f: AND 00000560: SWAP3 00000561: PUSH4 0xad5c4648 00000566: SWAP3 00000567: POP 00000568: PUSH1 0x04 0000056a: DUP1 0000056b: DUP4 0000056c: ADD 0000056d: SWAP3 0000056e: PUSH1 0x20 00000570: SWAP3 00000571: SWAP2 00000572: SWAP1 00000573: DUP3 00000574: SWAP1 00000575: SUB 00000576: ADD 00000577: DUP2 00000578: DUP7 00000579: DUP1 0000057a: EXTCODESIZE 0000057b: ISZERO 0000057c: DUP1 0000057d: ISZERO 0000057e: PUSH2 0x0586 00000581: JUMPI 00000582: PUSH1 0x00 00000584: DUP1 00000585: REVERT 00000586: JUMPDEST 00000587: POP 00000588: GAS 00000589: STATICCALL 0000058a: ISZERO 0000058b: DUP1 0000058c: ISZERO 0000058d: PUSH2 0x059a 00000590: JUMPI 00000591: RETURNDATASIZE 00000592: PUSH1 0x00 00000594: DUP1 00000595: RETURNDATACOPY 00000596: RETURNDATASIZE 00000597: PUSH1 0x00 00000599: REVERT 0000059a: JUMPDEST 0000059b: POP 0000059c: POP 0000059d: POP 0000059e: POP 0000059f: PUSH1 0x40 000005a1: MLOAD 000005a2: RETURNDATASIZE 000005a3: PUSH1 0x20 000005a5: DUP2 000005a6: LT 000005a7: ISZERO 000005a8: PUSH2 0x05b0 000005ab: JUMPI 000005ac: PUSH1 0x00 000005ae: DUP1 000005af: REVERT 000005b0: JUMPDEST 000005b1: POP 000005b2: MLOAD 000005b3: DUP2 000005b4: MLOAD 000005b5: DUP3 000005b6: SWAP1 000005b7: PUSH1 0x00 000005b9: SWAP1 000005ba: PUSH2 0x05bf 000005bd: JUMPI 000005be: INVALID 000005bf: JUMPDEST 000005c0: PUSH1 0x01 000005c2: PUSH1 0x01 000005c4: PUSH1 0xa0 000005c6: SHL 000005c7: SUB 000005c8: SWAP3 000005c9: DUP4 000005ca: AND 000005cb: PUSH1 0x20 000005cd: SWAP2 000005ce: DUP3 000005cf: MUL 000005d0: SWAP3 000005d1: SWAP1 000005d2: SWAP3 000005d3: ADD 000005d4: ADD 000005d5: MSTORE 000005d6: PUSH1 0x04 000005d8: SLOAD 000005d9: DUP3 000005da: MLOAD 000005db: SWAP2 000005dc: AND 000005dd: SWAP1 000005de: DUP3 000005df: SWAP1 000005e0: PUSH1 0x01 000005e2: SWAP1 000005e3: DUP2 000005e4: LT 000005e5: PUSH2 0x037f 000005e8: JUMPI 000005e9: INVALID 000005ea: INVALID 000005eb: LOG2 000005ec: PUSH5 0x6970667358 000005f2: UNKNOWN(0x22) 000005f3: SLT 000005f4: KECCAK256 000005f5: SELFBALANCE 000005f6: XOR 000005f7: MOD 000005f8: UNKNOWN(0xD5) 000005f9: SLOAD 000005fa: UNKNOWN(0xF6) 000005fb: PUSH15 0x896da9ccef0081b933b1ddc76e4178 0000060b: AND 0000060c: SWAP8 0000060d: UNKNOWN(0xED) 0000060e: CALLDATASIZE 0000060f: PUSH17
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xc839d7e2b14c0a46c12a50aaacf7805cb53e61173d1b08595c057777ac85bd1a
call_targets:
0xc99815d309f39b599771073c012f4ed07e50ef72
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xc839d7e2b14c0a46c12a50aaacf7805cb53e61173d1b08595c057777ac85bd1a",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xc99815d309f39b599771073c012f4ed07e50ef72"
],
"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": "0x711bf9b2",
"selector": "0x711bf9b2",
"calldata_variants": [
"0x711bf9b2",
"0x711bf9b20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc970e99f",
"selector": "0xc970e99f",
"calldata_variants": [
"0xc970e99f",
"0xc970e99f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd610995d",
"selector": "0xd610995d",
"calldata_variants": [
"0xd610995d",
"0xd610995d0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1086,
"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: 0xc839d7e2b14c0a46c12a50aaacf7805cb53e61173d1b08595c057777ac85bd1a
call_targets:
0xc99815d309f39b599771073c012f4ed07e50ef72
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xc839d7e2b14c0a46c12a50aaacf7805cb53e61173d1b08595c057777ac85bd1a",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xc99815d309f39b599771073c012f4ed07e50ef72"
],
"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": "0x711bf9b2",
"selector": "0x711bf9b2",
"calldata_variants": [
"0x711bf9b2",
"0x711bf9b20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc970e99f",
"selector": "0xc970e99f",
"calldata_variants": [
"0xc970e99f",
"0xc970e99f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd610995d",
"selector": "0xd610995d",
"calldata_variants": [
"0xd610995d",
"0xd610995d0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1086,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|