019b477e-c4f1-71ea-aec8-b352a381350f
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 |
|---|---|---|---|---|
| 25497 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 25498 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 91125 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 91126 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 91127 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 91128 | 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 0x009a 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x8da5cb5b 00000019: GT 0000001a: PUSH2 0x0069 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xb9181611 00000024: GT 00000025: PUSH2 0x004e 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xb9181611 0000002f: EQ 00000030: PUSH2 0x019f 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xe1f21c67 0000003a: EQ 0000003b: PUSH2 0x01df 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xfe9fbb80 00000045: EQ 00000046: PUSH2 0x01ff 00000049: JUMPI 0000004a: PUSH2 0x00a1 0000004d: JUMP 0000004e: JUMPDEST 0000004f: DUP1 00000050: PUSH4 0x8da5cb5b 00000055: EQ 00000056: PUSH2 0x0128 00000059: JUMPI 0000005a: DUP1 0000005b: PUSH4 0xb6a5d7de 00000060: EQ 00000061: PUSH2 0x017f 00000064: JUMPI 00000065: PUSH2 0x00a1 00000068: JUMP 00000069: JUMPDEST 0000006a: DUP1 0000006b: PUSH4 0x13af4035 00000070: EQ 00000071: PUSH2 0x00a6 00000074: JUMPI 00000075: DUP1 00000076: PUSH4 0x27c97fa5 0000007b: EQ 0000007c: PUSH2 0x00c8 0000007f: JUMPI 00000080: DUP1 00000081: PUSH4 0x4650c308 00000086: EQ 00000087: PUSH2 0x00e8 0000008a: JUMPI 0000008b: DUP1 0000008c: PUSH4 0x8522d1b2 00000091: EQ 00000092: PUSH2 0x0108 00000095: JUMPI 00000096: PUSH2 0x00a1 00000099: JUMP 0000009a: JUMPDEST 0000009b: CALLDATASIZE 0000009c: PUSH2 0x00a1 0000009f: JUMPI 000000a0: STOP 000000a1: JUMPDEST 000000a2: PUSH1 0x00 000000a4: DUP1 000000a5: REVERT 000000a6: JUMPDEST 000000a7: CALLVALUE 000000a8: DUP1 000000a9: ISZERO 000000aa: PUSH2 0x00b2 000000ad: JUMPI 000000ae: PUSH1 0x00 000000b0: DUP1 000000b1: REVERT 000000b2: JUMPDEST 000000b3: POP 000000b4: PUSH2 0x00c6 000000b7: PUSH2 0x00c1 000000ba: CALLDATASIZE 000000bb: PUSH1 0x04 000000bd: PUSH2 0x08c9 000000c0: JUMP 000000c1: JUMPDEST 000000c2: PUSH2 0x021f 000000c5: JUMP 000000c6: JUMPDEST 000000c7: STOP 000000c8: JUMPDEST 000000c9: CALLVALUE 000000ca: DUP1 000000cb: ISZERO 000000cc: PUSH2 0x00d4 000000cf: JUMPI 000000d0: PUSH1 0x00 000000d2: DUP1 000000d3: REVERT 000000d4: JUMPDEST 000000d5: POP 000000d6: PUSH2 0x00c6 000000d9: PUSH2 0x00e3 000000dc: CALLDATASIZE 000000dd: PUSH1 0x04 000000df: PUSH2 0x08c9 000000e2: JUMP 000000e3: JUMPDEST 000000e4: PUSH2 0x02ec 000000e7: JUMP 000000e8: JUMPDEST 000000e9: CALLVALUE 000000ea: DUP1 000000eb: ISZERO 000000ec: PUSH2 0x00f4 000000ef: JUMPI 000000f0: PUSH1 0x00 000000f2: DUP1 000000f3: REVERT 000000f4: JUMPDEST 000000f5: POP 000000f6: PUSH2 0x00c6 000000f9: PUSH2 0x0103 000000fc: CALLDATASIZE 000000fd: PUSH1 0x04 000000ff: PUSH2 0x0925 00000102: JUMP 00000103: JUMPDEST 00000104: PUSH2 0x03b9 00000107: JUMP 00000108: JUMPDEST 00000109: CALLVALUE 0000010a: DUP1 0000010b: ISZERO 0000010c: PUSH2 0x0114 0000010f: JUMPI 00000110: PUSH1 0x00 00000112: DUP1 00000113: REVERT 00000114: JUMPDEST 00000115: POP 00000116: PUSH2 0x00c6 00000119: PUSH2 0x0123 0000011c: CALLDATASIZE 0000011d: PUSH1 0x04 0000011f: PUSH2 0x09a3 00000122: JUMP 00000123: JUMPDEST 00000124: PUSH2 0x0516 00000127: JUMP 00000128: JUMPDEST 00000129: CALLVALUE 0000012a: DUP1 0000012b: ISZERO 0000012c: PUSH2 0x0134 0000012f: JUMPI 00000130: PUSH1 0x00 00000132: DUP1 00000133: REVERT 00000134: JUMPDEST 00000135: POP 00000136: PUSH1 0x00 00000138: SLOAD 00000139: PUSH2 0x0155 0000013c: SWAP1 0000013d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000152: AND 00000153: DUP2 00000154: JUMP 00000155: JUMPDEST 00000156: PUSH1 0x40 00000158: MLOAD 00000159: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000016e: SWAP1 0000016f: SWAP2 00000170: AND 00000171: DUP2 00000172: MSTORE 00000173: PUSH1 0x20 00000175: ADD 00000176: JUMPDEST 00000177: PUSH1 0x40 00000179: MLOAD 0000017a: DUP1 0000017b: SWAP2 0000017c: SUB 0000017d: SWAP1 0000017e: RETURN 0000017f: JUMPDEST 00000180: CALLVALUE 00000181: DUP1 00000182: ISZERO 00000183: PUSH2 0x018b 00000186: JUMPI 00000187: PUSH1 0x00 00000189: DUP1 0000018a: REVERT 0000018b: JUMPDEST 0000018c: POP 0000018d: PUSH2 0x00c6 00000190: PUSH2 0x019a 00000193: CALLDATASIZE 00000194: PUSH1 0x04 00000196: PUSH2 0x08c9 00000199: JUMP 0000019a: JUMPDEST 0000019b: PUSH2 0x06c0 0000019e: JUMP 0000019f: JUMPDEST 000001a0: CALLVALUE 000001a1: DUP1 000001a2: ISZERO 000001a3: PUSH2 0x01ab 000001a6: JUMPI 000001a7: PUSH1 0x00 000001a9: DUP1 000001aa: REVERT 000001ab: JUMPDEST 000001ac: POP 000001ad: PUSH2 0x01cf 000001b0: PUSH2 0x01ba 000001b3: CALLDATASIZE 000001b4: PUSH1 0x04 000001b6: PUSH2 0x08c9 000001b9: JUMP 000001ba: JUMPDEST 000001bb: PUSH1 0x01 000001bd: PUSH1 0x20 000001bf: MSTORE 000001c0: PUSH1 0x00 000001c2: SWAP1 000001c3: DUP2 000001c4: MSTORE 000001c5: PUSH1 0x40 000001c7: SWAP1 000001c8: KECCAK256 000001c9: SLOAD 000001ca: PUSH1 0xff 000001cc: AND 000001cd: DUP2 000001ce: JUMP 000001cf: JUMPDEST 000001d0: PUSH1 0x40 000001d2: MLOAD 000001d3: SWAP1 000001d4: ISZERO 000001d5: ISZERO 000001d6: DUP2 000001d7: MSTORE 000001d8: PUSH1 0x20 000001da: ADD 000001db: PUSH2 0x0176 000001de: JUMP 000001df: JUMPDEST 000001e0: CALLVALUE 000001e1: DUP1 000001e2: ISZERO 000001e3: PUSH2 0x01eb 000001e6: JUMPI 000001e7: PUSH1 0x00 000001e9: DUP1 000001ea: REVERT 000001eb: JUMPDEST 000001ec: POP 000001ed: PUSH2 0x00c6 000001f0: PUSH2 0x01fa 000001f3: CALLDATASIZE 000001f4: PUSH1 0x04 000001f6: PUSH2 0x08ea 000001f9: JUMP 000001fa: JUMPDEST 000001fb: PUSH2 0x079a 000001fe: JUMP 000001ff: JUMPDEST 00000200: CALLVALUE 00000201: DUP1 00000202: ISZERO 00000203: PUSH2 0x020b 00000206: JUMPI 00000207: PUSH1 0x00 00000209: DUP1 0000020a: REVERT 0000020b: JUMPDEST 0000020c: POP 0000020d: PUSH2 0x01cf 00000210: PUSH2 0x021a 00000213: CALLDATASIZE 00000214: PUSH1 0x04 00000216: PUSH2 0x08c9 00000219: JUMP 0000021a: JUMPDEST 0000021b: PUSH2 0x0876 0000021e: JUMP 0000021f: JUMPDEST 00000220: PUSH1 0x00 00000222: SLOAD 00000223: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000238: AND 00000239: CALLER 0000023a: EQ 0000023b: PUSH2 0x02a5 0000023e: JUMPI 0000023f: PUSH1 0x40 00000241: MLOAD 00000242: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000263: DUP2 00000264: MSTORE 00000265: PUSH1 0x20 00000267: PUSH1 0x04 00000269: DUP3 0000026a: ADD 0000026b: MSTORE 0000026c: PUSH1 0x10 0000026e: PUSH1 0x24 00000270: DUP3 00000271: ADD 00000272: MSTORE 00000273: PUSH32 0x53656e646572206e6f74206f776e657200000000000000000000000000000000 00000294: PUSH1 0x44 00000296: DUP3 00000297: ADD 00000298: MSTORE 00000299: PUSH1 0x64 0000029b: ADD 0000029c: JUMPDEST 0000029d: PUSH1 0x40 0000029f: MLOAD 000002a0: DUP1 000002a1: SWAP2 000002a2: SUB 000002a3: SWAP1 000002a4: REVERT 000002a5: JUMPDEST 000002a6: PUSH1 0x00 000002a8: DUP1 000002a9: SLOAD 000002aa: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 000002cb: AND 000002cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002e1: SWAP3 000002e2: SWAP1 000002e3: SWAP3 000002e4: AND 000002e5: SWAP2 000002e6: SWAP1 000002e7: SWAP2 000002e8: OR 000002e9: SWAP1 000002ea: SSTORE 000002eb: JUMP 000002ec: JUMPDEST 000002ed: PUSH1 0x00 000002ef: SLOAD 000002f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000305: AND 00000306: CALLER 00000307: EQ 00000308: PUSH2 0x036d 0000030b: JUMPI 0000030c: PUSH1 0x40 0000030e: MLOAD 0000030f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000330: DUP2 00000331: MSTORE 00000332: PUSH1 0x20 00000334: PUSH1 0x04 00000336: DUP3 00000337: ADD 00000338: MSTORE 00000339: PUSH1 0x10 0000033b: PUSH1 0x24 0000033d: DUP3 0000033e: ADD 0000033f: MSTORE 00000340: PUSH32 0x53656e646572206e6f74206f776e657200000000000000000000000000000000 00000361: PUSH1 0x44 00000363: DUP3 00000364: ADD 00000365: MSTORE 00000366: PUSH1 0x64 00000368: ADD 00000369: PUSH2 0x029c 0000036c: JUMP 0000036d: JUMPDEST 0000036e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000383: AND 00000384: PUSH1 0x00 00000386: SWAP1 00000387: DUP2 00000388: MSTORE 00000389: PUSH1 0x01 0000038b: PUSH1 0x20 0000038d: MSTORE 0000038e: PUSH1 0x40 00000390: SWAP1 00000391: KECCAK256 00000392: DUP1 00000393: SLOAD 00000394: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 000003b5: AND 000003b6: SWAP1 000003b7: SSTORE 000003b8: JUMP 000003b9: JUMPDEST 000003ba: PUSH1 0x00 000003bc: SLOAD 000003bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003d2: AND 000003d3: CALLER 000003d4: EQ 000003d5: PUSH2 0x043a 000003d8: JUMPI 000003d9: PUSH1 0x40 000003db: MLOAD 000003dc: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000003fd: DUP2 000003fe: MSTORE 000003ff: PUSH1 0x20 00000401: PUSH1 0x04 00000403: DUP3 00000404: ADD 00000405: MSTORE 00000406: PUSH1 0x10 00000408: PUSH1 0x24 0000040a: DUP3 0000040b: ADD 0000040c: MSTORE 0000040d: PUSH32 0x53656e646572206e6f74206f776e657200000000000000000000000000000000 0000042e: PUSH1 0x44 00000430: DUP3 00000431: ADD 00000432: MSTORE 00000433: PUSH1 0x64 00000435: ADD 00000436: PUSH2 0x029c 00000439: JUMP 0000043a: JUMPDEST 0000043b: PUSH1 0x00 0000043d: DUP4 0000043e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000453: AND 00000454: DUP4 00000455: DUP4 00000456: PUSH1 0x40 00000458: MLOAD 00000459: PUSH2 0x0463 0000045c: SWAP3 0000045d: SWAP2 0000045e: SWAP1 0000045f: PUSH2 0x09fe 00000462: JUMP 00000463: JUMPDEST 00000464: PUSH1 0x00 00000466: PUSH1 0x40 00000468: MLOAD 00000469: DUP1 0000046a: DUP4 0000046b: SUB 0000046c: DUP2 0000046d: PUSH1 0x00 0000046f: DUP7 00000470: GAS 00000471: CALL 00000472: SWAP2 00000473: POP 00000474: POP 00000475: RETURNDATASIZE 00000476: DUP1 00000477: PUSH1 0x00 00000479: DUP2 0000047a: EQ 0000047b: PUSH2 0x04a0 0000047e: JUMPI 0000047f: PUSH1 0x40 00000481: MLOAD 00000482: SWAP2 00000483: POP 00000484: PUSH1 0x1f 00000486: NOT 00000487: PUSH1 0x3f 00000489: RETURNDATASIZE 0000048a: ADD 0000048b: AND 0000048c: DUP3 0000048d: ADD 0000048e: PUSH1 0x40 00000490: MSTORE 00000491: RETURNDATASIZE 00000492: DUP3 00000493: MSTORE 00000494: RETURNDATASIZE 00000495: PUSH1 0x00 00000497: PUSH1 0x20 00000499: DUP5 0000049a: ADD 0000049b: RETURNDATACOPY 0000049c: PUSH2 0x04a5 0000049f: JUMP 000004a0: JUMPDEST 000004a1: PUSH1 0x60 000004a3: SWAP2 000004a4: POP 000004a5: JUMPDEST 000004a6: POP 000004a7: POP 000004a8: SWAP1 000004a9: POP 000004aa: DUP1 000004ab: PUSH2 0x0510 000004ae: JUMPI 000004af: PUSH1 0x40 000004b1: MLOAD 000004b2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000004d3: DUP2 000004d4: MSTORE 000004d5: PUSH1 0x20 000004d7: PUSH1 0x04 000004d9: DUP3 000004da: ADD 000004db: MSTORE 000004dc: PUSH1 0x0b 000004de: PUSH1 0x24 000004e0: DUP3 000004e1: ADD 000004e2: MSTORE 000004e3: PUSH32 0x43616c6c206661696c6564000000000000000000000000000000000000000000 00000504: PUSH1 0x44 00000506: DUP3 00000507: ADD 00000508: MSTORE 00000509: PUSH1 0x64 0000050b: ADD 0000050c: PUSH2 0x029c 0000050f: JUMP 00000510: JUMPDEST 00000511: POP 00000512: POP 00000513: POP 00000514: POP 00000515: JUMP 00000516: JUMPDEST 00000517: PUSH1 0x00 00000519: SLOAD 0000051a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000052f: AND 00000530: CALLER 00000531: EQ 00000532: PUSH2 0x0597 00000535: JUMPI 00000536: PUSH1 0x40 00000538: MLOAD 00000539: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000055a: DUP2 0000055b: MSTORE 0000055c: PUSH1 0x20 0000055e: PUSH1 0x04 00000560: DUP3 00000561: ADD 00000562: MSTORE 00000563: PUSH1 0x10 00000565: PUSH1 0x24 00000567: DUP3 00000568: ADD 00000569: MSTORE 0000056a: PUSH32 0x53656e646572206e6f74206f776e657200000000000000000000000000000000 0000058b: PUSH1 0x44 0000058d: DUP3 0000058e: ADD 0000058f: MSTORE 00000590: PUSH1 0x64 00000592: ADD 00000593: PUSH2 0x029c 00000596: JUMP 00000597: JUMPDEST 00000598: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005ad: DUP4 000005ae: AND 000005af: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee 000005c4: EQ 000005c5: ISZERO 000005c6: PUSH2 0x0612 000005c9: JUMPI 000005ca: PUSH1 0x40 000005cc: MLOAD 000005cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005e2: DUP3 000005e3: AND 000005e4: SWAP1 000005e5: DUP4 000005e6: ISZERO 000005e7: PUSH2 0x08fc 000005ea: MUL 000005eb: SWAP1 000005ec: DUP5 000005ed: SWAP1 000005ee: PUSH1 0x00 000005f0: DUP2 000005f1: DUP2 000005f2: DUP2 000005f3: DUP6 000005f4: DUP9 000005f5: DUP9 000005f6: CALL 000005f7: SWAP4 000005f8: POP 000005f9: POP 000005fa: POP 000005fb: POP 000005fc: ISZERO 000005fd: DUP1 000005fe: ISZERO 000005ff: PUSH2 0x060c 00000602: JUMPI 00000603: RETURNDATASIZE 00000604: PUSH1 0x00 00000606: DUP1 00000607: RETURNDATACOPY 00000608: RETURNDATASIZE 00000609: PUSH1 0x00 0000060b: REVERT 0000060c: JUMPDEST 0000060d: POP 0000060e: PUSH2 0x06bb 00000611: JUMP 00000612: JUMPDEST 00000613: PUSH1 0x40 00000615: MLOAD 00000616: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000 00000637: DUP2 00000638: MSTORE 00000639: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000064e: DUP3 0000064f: DUP2 00000650: AND 00000651: PUSH1 0x04 00000653: DUP4 00000654: ADD 00000655: MSTORE 00000656: PUSH1 0x24 00000658: DUP3 00000659: ADD 0000065a: DUP5 0000065b: SWAP1 0000065c: MSTORE 0000065d: DUP5 0000065e: AND 0000065f: SWAP1 00000660: PUSH4 0xa9059cbb 00000665: SWAP1 00000666: PUSH1 0x44 00000668: ADD 00000669: JUMPDEST 0000066a: PUSH1 0x20 0000066c: PUSH1 0x40 0000066e: MLOAD 0000066f: DUP1 00000670: DUP4 00000671: SUB 00000672: DUP2 00000673: PUSH1 0x00 00000675: DUP8 00000676: DUP1 00000677: EXTCODESIZE 00000678: ISZERO 00000679: DUP1 0000067a: ISZERO 0000067b: PUSH2 0x0683 0000067e: JUMPI 0000067f: PUSH1 0x00 00000681: DUP1 00000682: REVERT 00000683: JUMPDEST 00000684: POP 00000685: GAS 00000686: CALL 00000687: ISZERO 00000688: DUP1 00000689: ISZERO 0000068a: PUSH2 0x0697 0000068d: JUMPI 0000068e: RETURNDATASIZE 0000068f: PUSH1 0x00 00000691: DUP1 00000692: RETURNDATACOPY 00000693: RETURNDATASIZE 00000694: PUSH1 0x00 00000696: REVERT 00000697: JUMPDEST 00000698: POP 00000699: POP 0000069a: POP 0000069b: POP 0000069c: PUSH1 0x40 0000069e: MLOAD 0000069f: RETURNDATASIZE 000006a0: PUSH1 0x1f 000006a2: NOT 000006a3: PUSH1 0x1f 000006a5: DUP3 000006a6: ADD 000006a7: AND 000006a8: DUP3 000006a9: ADD 000006aa: DUP1 000006ab: PUSH1 0x40 000006ad: MSTORE 000006ae: POP 000006af: DUP2 000006b0: ADD 000006b1: SWAP1 000006b2: PUSH2 0x0510 000006b5: SWAP2 000006b6: SWAP1 000006b7: PUSH2 0x09de 000006ba: JUMP 000006bb: JUMPDEST 000006bc: POP 000006bd: POP 000006be: POP 000006bf: JUMP 000006c0: JUMPDEST 000006c1: PUSH1 0x00 000006c3: SLOAD 000006c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006d9: AND 000006da: CALLER 000006db: EQ 000006dc: PUSH2 0x0741 000006df: JUMPI 000006e0: PUSH1 0x40 000006e2: MLOAD 000006e3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000704: DUP2 00000705: MSTORE 00000706: PUSH1 0x20 00000708: PUSH1 0x04 0000070a: DUP3 0000070b: ADD 0000070c: MSTORE 0000070d: PUSH1 0x10 0000070f: PUSH1 0x24 00000711: DUP3 00000712: ADD 00000713: MSTORE 00000714: PUSH32 0x53656e646572206e6f74206f776e657200000000000000000000000000000000 00000735: PUSH1 0x44 00000737: DUP3 00000738: ADD 00000739: MSTORE 0000073a: PUSH1 0x64 0000073c: ADD 0000073d: PUSH2 0x029c 00000740: JUMP 00000741: JUMPDEST 00000742: PUSH2 0x0797 00000745: DUP2 00000746: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000075b: AND 0000075c: PUSH1 0x00 0000075e: SWAP1 0000075f: DUP2 00000760: MSTORE 00000761: PUSH1 0x01 00000763: PUSH1 0x20 00000765: DUP2 00000766: SWAP1 00000767: MSTORE 00000768: PUSH1 0x40 0000076a: SWAP1 0000076b: SWAP2 0000076c: KECCAK256 0000076d: DUP1 0000076e: SLOAD 0000076f: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 00000790: AND 00000791: SWAP1 00000792: SWAP2 00000793: OR 00000794: SWAP1 00000795: SSTORE 00000796: JUMP 00000797: JUMPDEST 00000798: POP 00000799: JUMP 0000079a: JUMPDEST 0000079b: PUSH1 0x00 0000079d: SLOAD 0000079e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007b3: AND 000007b4: CALLER 000007b5: EQ 000007b6: PUSH2 0x081b 000007b9: JUMPI 000007ba: PUSH1 0x40 000007bc: MLOAD 000007bd: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000007de: DUP2 000007df: MSTORE 000007e0: PUSH1 0x20 000007e2: PUSH1 0x04 000007e4: DUP3 000007e5: ADD 000007e6: MSTORE 000007e7: PUSH1 0x10 000007e9: PUSH1 0x24 000007eb: DUP3 000007ec: ADD 000007ed: MSTORE 000007ee: PUSH32 0x53656e646572206e6f74206f776e657200000000000000000000000000000000 0000080f: PUSH1 0x44 00000811: DUP3 00000812: ADD 00000813: MSTORE 00000814: PUSH1 0x64 00000816: ADD 00000817: PUSH2 0x029c 0000081a: JUMP 0000081b: JUMPDEST 0000081c: PUSH1 0x40 0000081e: MLOAD 0000081f: PUSH32 0x095ea7b300000000000000000000000000000000000000000000000000000000 00000840: DUP2 00000841: MSTORE 00000842: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000857: DUP4 00000858: DUP2 00000859: AND 0000085a: PUSH1 0x04 0000085c: DUP4 0000085d: ADD 0000085e: MSTORE 0000085f: PUSH1 0x24 00000861: DUP3 00000862: ADD 00000863: DUP4 00000864: SWAP1 00000865: MSTORE 00000866: DUP5 00000867: AND 00000868: SWAP1 00000869: PUSH4 0x095ea7b3 0000086e: SWAP1 0000086f: PUSH1 0x44 00000871: ADD 00000872: PUSH2 0x0669 00000875: JUMP 00000876: JUMPDEST 00000877: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000088c: DUP2 0000088d: AND 0000088e: PUSH1 0x00 00000890: SWAP1 00000891: DUP2 00000892: MSTORE 00000893: PUSH1 0x01 00000895: PUSH1 0x20 00000897: MSTORE 00000898: PUSH1 0x40 0000089a: SWAP1 0000089b: KECCAK256 0000089c: SLOAD 0000089d: PUSH1 0xff 0000089f: AND 000008a0: JUMPDEST 000008a1: SWAP2 000008a2: SWAP1 000008a3: POP 000008a4: JUMP 000008a5: JUMPDEST 000008a6: DUP1 000008a7: CALLDATALOAD 000008a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008bd: DUP2 000008be: AND 000008bf: DUP2 000008c0: EQ 000008c1: PUSH2 0x08a0 000008c4: JUMPI 000008c5: PUSH1 0x00 000008c7: DUP1 000008c8: REVERT 000008c9: JUMPDEST 000008ca: PUSH1 0x00 000008cc: PUSH1 0x20 000008ce: DUP3 000008cf: DUP5 000008d0: SUB 000008d1: SLT 000008d2: ISZERO 000008d3: PUSH2 0x08da 000008d6: JUMPI 000008d7: DUP1 000008d8: DUP2 000008d9: REVERT 000008da: JUMPDEST 000008db: PUSH2 0x08e3 000008de: DUP3 000008df: PUSH2 0x08a5 000008e2: JUMP 000008e3: JUMPDEST 000008e4: SWAP4 000008e5: SWAP3 000008e6: POP 000008e7: POP 000008e8: POP 000008e9: JUMP 000008ea: JUMPDEST 000008eb: PUSH1 0x00 000008ed: DUP1 000008ee: PUSH1 0x00 000008f0: PUSH1 0x60 000008f2: DUP5 000008f3: DUP7 000008f4: SUB 000008f5: SLT 000008f6: ISZERO 000008f7: PUSH2 0x08fe 000008fa: JUMPI 000008fb: DUP2 000008fc: DUP3 000008fd: REVERT 000008fe: JUMPDEST 000008ff: PUSH2 0x0907 00000902: DUP5 00000903: PUSH2 0x08a5 00000906: JUMP 00000907: JUMPDEST 00000908: SWAP3 00000909: POP 0000090a: PUSH2 0x0915 0000090d: PUSH1 0x20 0000090f: DUP6 00000910: ADD 00000911: PUSH2 0x08a5 00000914: JUMP 00000915: JUMPDEST 00000916: SWAP2 00000917: POP 00000918: PUSH1 0x40 0000091a: DUP5 0000091b: ADD 0000091c: CALLDATALOAD 0000091d: SWAP1 0000091e: POP 0000091f: SWAP3 00000920: POP 00000921: SWAP3 00000922: POP 00000923: SWAP3 00000924: JUMP 00000925: JUMPDEST 00000926: PUSH1 0x00 00000928: DUP1 00000929: PUSH1 0x00 0000092b: PUSH1 0x40 0000092d: DUP5 0000092e: DUP7 0000092f: SUB 00000930: SLT 00000931: ISZERO 00000932: PUSH2 0x0939 00000935: JUMPI 00000936: DUP3 00000937: DUP4 00000938: REVERT 00000939: JUMPDEST 0000093a: PUSH2 0x0942 0000093d: DUP5 0000093e: PUSH2 0x08a5 00000941: JUMP 00000942: JUMPDEST 00000943: SWAP3 00000944: POP 00000945: PUSH1 0x20 00000947: DUP5 00000948: ADD 00000949: CALLDATALOAD 0000094a: PUSH8 0xffffffffffffffff 00000953: DUP1 00000954: DUP3 00000955: GT 00000956: ISZERO 00000957: PUSH2 0x095e 0000095a: JUMPI 0000095b: DUP4 0000095c: DUP5 0000095d: REVERT 0000095e: JUMPDEST 0000095f: DUP2 00000960: DUP7 00000961: ADD 00000962: SWAP2 00000963: POP 00000964: DUP7 00000965: PUSH1 0x1f 00000967: DUP4 00000968: ADD 00000969: SLT 0000096a: PUSH2 0x0971 0000096d: JUMPI 0000096e: DUP4 0000096f: DUP5 00000970: REVERT 00000971: JUMPDEST 00000972: DUP2 00000973: CALLDATALOAD 00000974: DUP2 00000975: DUP2 00000976: GT 00000977: ISZERO 00000978: PUSH2 0x097f 0000097b: JUMPI 0000097c: DUP5 0000097d: DUP6 0000097e: REVERT 0000097f: JUMPDEST 00000980: DUP8 00000981: PUSH1 0x20 00000983: DUP3 00000984: DUP6 00000985: ADD 00000986: ADD 00000987: GT 00000988: ISZERO 00000989: PUSH2 0x0990 0000098c: JUMPI 0000098d: DUP5 0000098e: DUP6 0000098f: REVERT 00000990: JUMPDEST 00000991: PUSH1 0x20 00000993: DUP4 00000994: ADD 00000995: SWAP5 00000996: POP 00000997: DUP1 00000998: SWAP4 00000999: POP 0000099a: POP 0000099b: POP 0000099c: POP 0000099d: SWAP3 0000099e: POP 0000099f: SWAP3 000009a0: POP 000009a1: SWAP3 000009a2: JUMP 000009a3: JUMPDEST 000009a4: PUSH1 0x00 000009a6: DUP1 000009a7: PUSH1 0x00 000009a9: PUSH1 0x60 000009ab: DUP5 000009ac: DUP7 000009ad: SUB 000009ae: SLT 000009af: ISZERO 000009b0: PUSH2 0x09b7 000009b3: JUMPI 000009b4: DUP3 000009b5: DUP4 000009b6: REVERT 000009b7: JUMPDEST 000009b8: PUSH2 0x09c0 000009bb: DUP5 000009bc: PUSH2 0x08a5 000009bf: JUMP 000009c0: JUMPDEST 000009c1: SWAP3 000009c2: POP 000009c3: PUSH1 0x20 000009c5: DUP5 000009c6: ADD 000009c7: CALLDATALOAD 000009c8: SWAP2 000009c9: POP 000009ca: PUSH2 0x09d5 000009cd: PUSH1 0x40 000009cf: DUP6 000009d0: ADD 000009d1: PUSH2 0x08a5 000009d4: JUMP 000009d5: JUMPDEST 000009d6: SWAP1 000009d7: POP 000009d8: SWAP3 000009d9: POP 000009da: SWAP3 000009db: POP 000009dc: SWAP3 000009dd: JUMP 000009de: JUMPDEST 000009df: PUSH1 0x00 000009e1: PUSH1 0x20 000009e3: DUP3 000009e4: DUP5 000009e5: SUB 000009e6: SLT 000009e7: ISZERO 000009e8: PUSH2 0x09ef 000009eb: JUMPI 000009ec: DUP1 000009ed: DUP2 000009ee: REVERT 000009ef: JUMPDEST 000009f0: DUP2 000009f1: MLOAD 000009f2: DUP1 000009f3: ISZERO 000009f4: ISZERO 000009f5: DUP2 000009f6: EQ 000009f7: PUSH2 0x08e3 000009fa: JUMPI 000009fb: DUP2 000009fc: DUP3 000009fd: REVERT 000009fe: JUMPDEST 000009ff: PUSH1 0x00 00000a01: DUP3 00000a02: DUP5 00000a03: DUP4 00000a04: CALLDATACOPY 00000a05: SWAP2 00000a06: ADD 00000a07: SWAP1 00000a08: DUP2 00000a09: MSTORE 00000a0a: SWAP2 00000a0b: SWAP1 00000a0c: POP 00000a0d: JUMP 00000a0e: INVALID 00000a0f: LOG2 00000a10: PUSH5 0x6970667358 00000a16: UNKNOWN(0x22) 00000a17: SLT 00000a18: KECCAK256 00000a19: STOP 00000a1a: EXTCODESIZE 00000a1b: MLOAD 00000a1c: UNKNOWN(0xD8) 00000a1d: BASEFEE 00000a1e: CALLDATACOPY 00000a1f: RETURNDATASIZE 00000a20: UNKNOWN(0xF9) 00000a21: UNKNOWN(0xF9) 00000a22: UNKNOWN(0x21) 00000a23: BLOBHASH 00000a24: DUP8 00000a25: UNKNOWN(0xEF) 00000a26: UNKNOWN(0xA6) 00000a27: SWAP13 00000a28: UNKNOWN(0xE3) 00000a29: EXTCODEHASH 00000a2a: PUSH21 0x167790bcf6e9d1f3301f365b9d8264736f6c634300 00000a40: ADDMOD 00000a41: SUB 00000a42: STOP 00000a43: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xa4c0c8b2f3117ff949adce789f186fc3914add4ee9fa01b65b211b68a78ea8a1
call_targets:
0x82ef450fb7f06e3294f2f19ed1713b255af0f541
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xa4c0c8b2f3117ff949adce789f186fc3914add4ee9fa01b65b211b68a78ea8a1",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x82ef450fb7f06e3294f2f19ed1713b255af0f541"
],
"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": "0xb9181611",
"selector": "0xb9181611",
"calldata_variants": [
"0xb9181611",
"0xb91816110000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe1f21c67",
"selector": "0xe1f21c67",
"calldata_variants": [
"0xe1f21c67",
"0xe1f21c670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfe9fbb80",
"selector": "0xfe9fbb80",
"calldata_variants": [
"0xfe9fbb80",
"0xfe9fbb800000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb6a5d7de",
"selector": "0xb6a5d7de",
"calldata_variants": [
"0xb6a5d7de",
"0xb6a5d7de0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x13af4035",
"selector": "0x13af4035",
"calldata_variants": [
"0x13af4035",
"0x13af40350000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x27c97fa5",
"selector": "0x27c97fa5",
"calldata_variants": [
"0x27c97fa5",
"0x27c97fa50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4650c308",
"selector": "0x4650c308",
"calldata_variants": [
"0x4650c308",
"0x4650c3080000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1137,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1526,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1670,
"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: 0xa4c0c8b2f3117ff949adce789f186fc3914add4ee9fa01b65b211b68a78ea8a1
call_targets:
0x82ef450fb7f06e3294f2f19ed1713b255af0f541
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xa4c0c8b2f3117ff949adce789f186fc3914add4ee9fa01b65b211b68a78ea8a1",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x82ef450fb7f06e3294f2f19ed1713b255af0f541"
],
"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": "0xb9181611",
"selector": "0xb9181611",
"calldata_variants": [
"0xb9181611",
"0xb91816110000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe1f21c67",
"selector": "0xe1f21c67",
"calldata_variants": [
"0xe1f21c67",
"0xe1f21c670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfe9fbb80",
"selector": "0xfe9fbb80",
"calldata_variants": [
"0xfe9fbb80",
"0xfe9fbb800000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb6a5d7de",
"selector": "0xb6a5d7de",
"calldata_variants": [
"0xb6a5d7de",
"0xb6a5d7de0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x13af4035",
"selector": "0x13af4035",
"calldata_variants": [
"0x13af4035",
"0x13af40350000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x27c97fa5",
"selector": "0x27c97fa5",
"calldata_variants": [
"0x27c97fa5",
"0x27c97fa50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4650c308",
"selector": "0x4650c308",
"calldata_variants": [
"0x4650c308",
"0x4650c3080000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1137,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1526,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1670,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": []
}
|