019b477e-d3c0-7352-a92d-cc515442d918
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 |
|---|---|---|---|---|
| 28209 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 28210 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 71119 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 71120 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 71121 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 71122 | 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 0x0069 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x7e902d57 00000019: GT 0000001a: PUSH2 0x0043 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x7e902d57 00000024: EQ 00000025: PUSH2 0x0145 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x7f2eecc3 0000002f: EQ 00000030: PUSH2 0x016a 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xa12772fd 0000003a: EQ 0000003b: PUSH2 0x01ac 0000003e: JUMPI 0000003f: PUSH1 0x00 00000041: DUP1 00000042: REVERT 00000043: JUMPDEST 00000044: DUP1 00000045: PUSH4 0x2ebfe022 0000004a: EQ 0000004b: PUSH2 0x0075 0000004e: JUMPI 0000004f: DUP1 00000050: PUSH4 0x5076f90d 00000055: EQ 00000056: PUSH2 0x00c6 00000059: JUMPI 0000005a: DUP1 0000005b: PUSH4 0x572b6c05 00000060: EQ 00000061: PUSH2 0x00e8 00000064: JUMPI 00000065: PUSH1 0x00 00000067: DUP1 00000068: REVERT 00000069: JUMPDEST 0000006a: CALLDATASIZE 0000006b: PUSH2 0x0070 0000006e: JUMPI 0000006f: STOP 00000070: JUMPDEST 00000071: PUSH1 0x00 00000073: DUP1 00000074: REVERT 00000075: JUMPDEST 00000076: CALLVALUE 00000077: DUP1 00000078: ISZERO 00000079: PUSH2 0x0081 0000007c: JUMPI 0000007d: PUSH1 0x00 0000007f: DUP1 00000080: REVERT 00000081: JUMPDEST 00000082: POP 00000083: PUSH2 0x00a9 00000086: PUSH32 0x0000000000000000000000006d303cee7959f814042d31e0624fb88ec6fbcc1d 000000a7: DUP2 000000a8: JUMP 000000a9: JUMPDEST 000000aa: PUSH1 0x40 000000ac: MLOAD 000000ad: PUSH1 0x01 000000af: PUSH1 0x01 000000b1: PUSH1 0xa0 000000b3: SHL 000000b4: SUB 000000b5: SWAP1 000000b6: SWAP2 000000b7: AND 000000b8: DUP2 000000b9: MSTORE 000000ba: PUSH1 0x20 000000bc: ADD 000000bd: JUMPDEST 000000be: PUSH1 0x40 000000c0: MLOAD 000000c1: DUP1 000000c2: SWAP2 000000c3: SUB 000000c4: SWAP1 000000c5: RETURN 000000c6: JUMPDEST 000000c7: CALLVALUE 000000c8: DUP1 000000c9: ISZERO 000000ca: PUSH2 0x00d2 000000cd: JUMPI 000000ce: PUSH1 0x00 000000d0: DUP1 000000d1: REVERT 000000d2: JUMPDEST 000000d3: POP 000000d4: PUSH2 0x00e6 000000d7: PUSH2 0x00e1 000000da: CALLDATASIZE 000000db: PUSH1 0x04 000000dd: PUSH2 0x059d 000000e0: JUMP 000000e1: JUMPDEST 000000e2: PUSH2 0x01e0 000000e5: JUMP 000000e6: JUMPDEST 000000e7: STOP 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 0x0135 000000f9: PUSH2 0x0103 000000fc: CALLDATASIZE 000000fd: PUSH1 0x04 000000ff: PUSH2 0x062e 00000102: JUMP 00000103: JUMPDEST 00000104: PUSH32 0x000000000000000000000000d8253782c45a12053594b9deb72d8e8ab2fca54c 00000125: PUSH1 0x01 00000127: PUSH1 0x01 00000129: PUSH1 0xa0 0000012b: SHL 0000012c: SUB 0000012d: SWAP1 0000012e: DUP2 0000012f: AND 00000130: SWAP2 00000131: AND 00000132: EQ 00000133: SWAP1 00000134: JUMP 00000135: JUMPDEST 00000136: PUSH1 0x40 00000138: MLOAD 00000139: SWAP1 0000013a: ISZERO 0000013b: ISZERO 0000013c: DUP2 0000013d: MSTORE 0000013e: PUSH1 0x20 00000140: ADD 00000141: PUSH2 0x00bd 00000144: JUMP 00000145: JUMPDEST 00000146: CALLVALUE 00000147: DUP1 00000148: ISZERO 00000149: PUSH2 0x0151 0000014c: JUMPI 0000014d: PUSH1 0x00 0000014f: DUP1 00000150: REVERT 00000151: JUMPDEST 00000152: POP 00000153: PUSH2 0x00a9 00000156: PUSH17 0x893a26168158fbeadd9335be5bc96592e2 00000168: DUP2 00000169: JUMP 0000016a: JUMPDEST 0000016b: CALLVALUE 0000016c: DUP1 0000016d: ISZERO 0000016e: PUSH2 0x0176 00000171: JUMPI 00000172: PUSH1 0x00 00000174: DUP1 00000175: REVERT 00000176: JUMPDEST 00000177: POP 00000178: PUSH2 0x019e 0000017b: PUSH32 0xd099cc98ef71107a616c4f0f941f04c322d8e254fe26b3c6668db87aae413de8 0000019c: DUP2 0000019d: JUMP 0000019e: JUMPDEST 0000019f: PUSH1 0x40 000001a1: MLOAD 000001a2: SWAP1 000001a3: DUP2 000001a4: MSTORE 000001a5: PUSH1 0x20 000001a7: ADD 000001a8: PUSH2 0x00bd 000001ab: JUMP 000001ac: JUMPDEST 000001ad: CALLVALUE 000001ae: DUP1 000001af: ISZERO 000001b0: PUSH2 0x01b8 000001b3: JUMPI 000001b4: PUSH1 0x00 000001b6: DUP1 000001b7: REVERT 000001b8: JUMPDEST 000001b9: POP 000001ba: PUSH2 0x00a9 000001bd: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48 000001de: DUP2 000001df: JUMP 000001e0: JUMPDEST 000001e1: PUSH1 0x00 000001e3: PUSH2 0x01ea 000001e6: PUSH2 0x0472 000001e9: JUMP 000001ea: JUMPDEST 000001eb: SWAP1 000001ec: POP 000001ed: PUSH1 0x01 000001ef: PUSH1 0x01 000001f1: PUSH1 0xa0 000001f3: SHL 000001f4: SUB 000001f5: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48 00000216: AND 00000217: PUSH4 0xef55bec6 0000021c: DUP3 0000021d: ADDRESS 0000021e: DUP6 0000021f: CALLDATALOAD 00000220: PUSH1 0x20 00000222: DUP8 00000223: ADD 00000224: CALLDATALOAD 00000225: PUSH1 0x40 00000227: DUP9 00000228: ADD 00000229: CALLDATALOAD 0000022a: PUSH1 0x60 0000022c: DUP10 0000022d: ADD 0000022e: CALLDATALOAD 0000022f: PUSH2 0x023e 00000232: PUSH1 0xa0 00000234: DUP12 00000235: ADD 00000236: PUSH1 0x80 00000238: DUP13 00000239: ADD 0000023a: PUSH2 0x0652 0000023d: JUMP 0000023e: JUMPDEST 0000023f: PUSH1 0x40 00000241: MLOAD 00000242: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00000263: PUSH1 0xe0 00000265: DUP11 00000266: SWAP1 00000267: SHL 00000268: AND 00000269: DUP2 0000026a: MSTORE 0000026b: PUSH1 0x01 0000026d: PUSH1 0x01 0000026f: PUSH1 0xa0 00000271: SHL 00000272: SUB 00000273: SWAP8 00000274: DUP9 00000275: AND 00000276: PUSH1 0x04 00000278: DUP3 00000279: ADD 0000027a: MSTORE 0000027b: SWAP7 0000027c: SWAP1 0000027d: SWAP6 0000027e: AND 0000027f: PUSH1 0x24 00000281: DUP8 00000282: ADD 00000283: MSTORE 00000284: PUSH1 0x44 00000286: DUP7 00000287: ADD 00000288: SWAP4 00000289: SWAP1 0000028a: SWAP4 0000028b: MSTORE 0000028c: PUSH1 0x64 0000028e: DUP6 0000028f: ADD 00000290: SWAP2 00000291: SWAP1 00000292: SWAP2 00000293: MSTORE 00000294: PUSH1 0x84 00000296: DUP5 00000297: ADD 00000298: MSTORE 00000299: PUSH1 0xa4 0000029b: DUP4 0000029c: ADD 0000029d: MSTORE 0000029e: PUSH1 0xff 000002a0: AND 000002a1: PUSH1 0xc4 000002a3: DUP3 000002a4: ADD 000002a5: MSTORE 000002a6: PUSH1 0xa0 000002a8: DUP6 000002a9: ADD 000002aa: CALLDATALOAD 000002ab: PUSH1 0xe4 000002ad: DUP3 000002ae: ADD 000002af: MSTORE 000002b0: PUSH1 0xc0 000002b2: DUP6 000002b3: ADD 000002b4: CALLDATALOAD 000002b5: PUSH2 0x0104 000002b8: DUP3 000002b9: ADD 000002ba: MSTORE 000002bb: PUSH2 0x0124 000002be: ADD 000002bf: PUSH1 0x00 000002c1: PUSH1 0x40 000002c3: MLOAD 000002c4: DUP1 000002c5: DUP4 000002c6: SUB 000002c7: DUP2 000002c8: PUSH1 0x00 000002ca: DUP8 000002cb: DUP1 000002cc: EXTCODESIZE 000002cd: ISZERO 000002ce: DUP1 000002cf: ISZERO 000002d0: PUSH2 0x02d8 000002d3: JUMPI 000002d4: PUSH1 0x00 000002d6: DUP1 000002d7: REVERT 000002d8: JUMPDEST 000002d9: POP 000002da: GAS 000002db: CALL 000002dc: ISZERO 000002dd: DUP1 000002de: ISZERO 000002df: PUSH2 0x02ec 000002e2: JUMPI 000002e3: RETURNDATASIZE 000002e4: PUSH1 0x00 000002e6: DUP1 000002e7: RETURNDATACOPY 000002e8: RETURNDATASIZE 000002e9: PUSH1 0x00 000002eb: REVERT 000002ec: JUMPDEST 000002ed: POP 000002ee: POP 000002ef: PUSH1 0x40 000002f1: MLOAD 000002f2: PUSH32 0x8367080f00000000000000000000000000000000000000000000000000000000 00000313: DUP2 00000314: MSTORE 00000315: PUSH1 0x01 00000317: PUSH1 0x01 00000319: PUSH1 0xa0 0000031b: SHL 0000031c: SUB 0000031d: DUP7 0000031e: DUP2 0000031f: AND 00000320: PUSH1 0x04 00000322: DUP4 00000323: ADD 00000324: MSTORE 00000325: PUSH4 0xffffffff 0000032a: DUP9 0000032b: AND 0000032c: PUSH1 0x24 0000032e: DUP4 0000032f: ADD 00000330: MSTORE 00000331: PUSH1 0x00 00000333: SWAP4 00000334: POP 00000335: PUSH32 0x0000000000000000000000006d303cee7959f814042d31e0624fb88ec6fbcc1d 00000356: AND 00000357: SWAP2 00000358: POP 00000359: PUSH4 0x8367080f 0000035e: SWAP1 0000035f: PUSH1 0x44 00000361: ADD 00000362: PUSH1 0x20 00000364: PUSH1 0x40 00000366: MLOAD 00000367: DUP1 00000368: DUP4 00000369: SUB 0000036a: DUP2 0000036b: DUP7 0000036c: GAS 0000036d: STATICCALL 0000036e: ISZERO 0000036f: DUP1 00000370: ISZERO 00000371: PUSH2 0x037e 00000374: JUMPI 00000375: RETURNDATASIZE 00000376: PUSH1 0x00 00000378: DUP1 00000379: RETURNDATACOPY 0000037a: RETURNDATASIZE 0000037b: PUSH1 0x00 0000037d: REVERT 0000037e: JUMPDEST 0000037f: POP 00000380: POP 00000381: POP 00000382: POP 00000383: PUSH1 0x40 00000385: MLOAD 00000386: RETURNDATASIZE 00000387: PUSH1 0x1f 00000389: NOT 0000038a: PUSH1 0x1f 0000038c: DUP3 0000038d: ADD 0000038e: AND 0000038f: DUP3 00000390: ADD 00000391: DUP1 00000392: PUSH1 0x40 00000394: MSTORE 00000395: POP 00000396: DUP2 00000397: ADD 00000398: SWAP1 00000399: PUSH2 0x03a2 0000039c: SWAP2 0000039d: SWAP1 0000039e: PUSH2 0x0675 000003a1: JUMP 000003a2: JUMPDEST 000003a3: SWAP1 000003a4: POP 000003a5: PUSH32 0x0000000000000000000000006d303cee7959f814042d31e0624fb88ec6fbcc1d 000003c6: PUSH1 0x01 000003c8: PUSH1 0x01 000003ca: PUSH1 0xa0 000003cc: SHL 000003cd: SUB 000003ce: AND 000003cf: PUSH4 0x864f6a7a 000003d4: DUP3 000003d5: PUSH2 0x03de 000003d8: DUP6 000003d9: DUP11 000003da: PUSH2 0x04d4 000003dd: JUMP 000003de: JUMPDEST 000003df: PUSH1 0x40 000003e1: MLOAD 000003e2: PUSH1 0xe0 000003e4: DUP5 000003e5: SWAP1 000003e6: SHL 000003e7: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00000408: AND 00000409: DUP2 0000040a: MSTORE 0000040b: PUSH1 0x01 0000040d: PUSH1 0x01 0000040f: PUSH1 0xa0 00000411: SHL 00000412: SUB 00000413: SWAP2 00000414: DUP3 00000415: AND 00000416: PUSH1 0x04 00000418: DUP3 00000419: ADD 0000041a: MSTORE 0000041b: DUP8 0000041c: CALLDATALOAD 0000041d: PUSH1 0x24 0000041f: DUP3 00000420: ADD 00000421: MSTORE 00000422: PUSH4 0xffffffff 00000427: DUP11 00000428: AND 00000429: PUSH1 0x44 0000042b: DUP3 0000042c: ADD 0000042d: MSTORE 0000042e: SWAP1 0000042f: DUP9 00000430: AND 00000431: PUSH1 0x64 00000433: DUP3 00000434: ADD 00000435: MSTORE 00000436: PUSH1 0x84 00000438: ADD 00000439: PUSH1 0x00 0000043b: PUSH1 0x40 0000043d: MLOAD 0000043e: DUP1 0000043f: DUP4 00000440: SUB 00000441: DUP2 00000442: DUP6 00000443: DUP9 00000444: DUP1 00000445: EXTCODESIZE 00000446: ISZERO 00000447: DUP1 00000448: ISZERO 00000449: PUSH2 0x0451 0000044c: JUMPI 0000044d: PUSH1 0x00 0000044f: DUP1 00000450: REVERT 00000451: JUMPDEST 00000452: POP 00000453: GAS 00000454: CALL 00000455: ISZERO 00000456: DUP1 00000457: ISZERO 00000458: PUSH2 0x0465 0000045b: JUMPI 0000045c: RETURNDATASIZE 0000045d: PUSH1 0x00 0000045f: DUP1 00000460: RETURNDATACOPY 00000461: RETURNDATASIZE 00000462: PUSH1 0x00 00000464: REVERT 00000465: JUMPDEST 00000466: POP 00000467: POP 00000468: POP 00000469: POP 0000046a: POP 0000046b: POP 0000046c: POP 0000046d: POP 0000046e: POP 0000046f: POP 00000470: POP 00000471: JUMP 00000472: JUMPDEST 00000473: PUSH1 0x00 00000475: PUSH32 0x000000000000000000000000d8253782c45a12053594b9deb72d8e8ab2fca54c 00000496: PUSH1 0x01 00000498: PUSH1 0x01 0000049a: PUSH1 0xa0 0000049c: SHL 0000049d: SUB 0000049e: AND 0000049f: CALLER 000004a0: SUB 000004a1: PUSH2 0x04cf 000004a4: JUMPI 000004a5: POP 000004a6: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffec 000004c7: CALLDATASIZE 000004c8: ADD 000004c9: CALLDATALOAD 000004ca: PUSH1 0x60 000004cc: SHR 000004cd: SWAP1 000004ce: JUMP 000004cf: JUMPDEST 000004d0: POP 000004d1: CALLER 000004d2: SWAP1 000004d3: JUMP 000004d4: JUMPDEST 000004d5: PUSH1 0x00 000004d7: DUP2 000004d8: ISZERO 000004d9: PUSH2 0x057c 000004dc: JUMPI 000004dd: PUSH1 0x40 000004df: MLOAD 000004e0: PUSH32 0x8cb84e1800000000000000000000000000000000000000000000000000000000 00000501: DUP2 00000502: MSTORE 00000503: PUSH1 0x01 00000505: PUSH1 0x01 00000507: PUSH1 0xa0 00000509: SHL 0000050a: SUB 0000050b: DUP5 0000050c: AND 0000050d: PUSH1 0x04 0000050f: DUP3 00000510: ADD 00000511: MSTORE 00000512: PUSH1 0x00 00000514: PUSH1 0x24 00000516: DUP3 00000517: ADD 00000518: MSTORE 00000519: PUSH17 0x893a26168158fbeadd9335be5bc96592e2 0000052b: SWAP1 0000052c: PUSH4 0x8cb84e18 00000531: SWAP1 00000532: PUSH1 0x44 00000534: ADD 00000535: PUSH1 0x20 00000537: PUSH1 0x40 00000539: MLOAD 0000053a: DUP1 0000053b: DUP4 0000053c: SUB 0000053d: DUP2 0000053e: DUP7 0000053f: GAS 00000540: STATICCALL 00000541: ISZERO 00000542: DUP1 00000543: ISZERO 00000544: PUSH2 0x0551 00000547: JUMPI 00000548: RETURNDATASIZE 00000549: PUSH1 0x00 0000054b: DUP1 0000054c: RETURNDATACOPY 0000054d: RETURNDATASIZE 0000054e: PUSH1 0x00 00000550: REVERT 00000551: JUMPDEST 00000552: POP 00000553: POP 00000554: POP 00000555: POP 00000556: PUSH1 0x40 00000558: MLOAD 00000559: RETURNDATASIZE 0000055a: PUSH1 0x1f 0000055c: NOT 0000055d: PUSH1 0x1f 0000055f: DUP3 00000560: ADD 00000561: AND 00000562: DUP3 00000563: ADD 00000564: DUP1 00000565: PUSH1 0x40 00000567: MSTORE 00000568: POP 00000569: DUP2 0000056a: ADD 0000056b: SWAP1 0000056c: PUSH2 0x0575 0000056f: SWAP2 00000570: SWAP1 00000571: PUSH2 0x068e 00000574: JUMP 00000575: JUMPDEST 00000576: SWAP1 00000577: POP 00000578: PUSH2 0x057f 0000057b: JUMP 0000057c: JUMPDEST 0000057d: POP 0000057e: DUP2 0000057f: JUMPDEST 00000580: SWAP3 00000581: SWAP2 00000582: POP 00000583: POP 00000584: JUMP 00000585: JUMPDEST 00000586: PUSH1 0x01 00000588: PUSH1 0x01 0000058a: PUSH1 0xa0 0000058c: SHL 0000058d: SUB 0000058e: DUP2 0000058f: AND 00000590: DUP2 00000591: EQ 00000592: PUSH2 0x059a 00000595: JUMPI 00000596: PUSH1 0x00 00000598: DUP1 00000599: REVERT 0000059a: JUMPDEST 0000059b: POP 0000059c: JUMP 0000059d: JUMPDEST 0000059e: PUSH1 0x00 000005a0: DUP1 000005a1: PUSH1 0x00 000005a3: DUP1 000005a4: DUP5 000005a5: DUP7 000005a6: SUB 000005a7: PUSH2 0x0140 000005aa: DUP2 000005ab: SLT 000005ac: ISZERO 000005ad: PUSH2 0x05b5 000005b0: JUMPI 000005b1: PUSH1 0x00 000005b3: DUP1 000005b4: REVERT 000005b5: JUMPDEST 000005b6: DUP6 000005b7: CALLDATALOAD 000005b8: DUP1 000005b9: ISZERO 000005ba: ISZERO 000005bb: DUP2 000005bc: EQ 000005bd: PUSH2 0x05c5 000005c0: JUMPI 000005c1: PUSH1 0x00 000005c3: DUP1 000005c4: REVERT 000005c5: JUMPDEST 000005c6: SWAP5 000005c7: POP 000005c8: PUSH1 0x20 000005ca: DUP7 000005cb: ADD 000005cc: CALLDATALOAD 000005cd: PUSH4 0xffffffff 000005d2: DUP2 000005d3: AND 000005d4: DUP2 000005d5: EQ 000005d6: PUSH2 0x05de 000005d9: JUMPI 000005da: PUSH1 0x00 000005dc: DUP1 000005dd: REVERT 000005de: JUMPDEST 000005df: SWAP4 000005e0: POP 000005e1: PUSH1 0x40 000005e3: DUP7 000005e4: ADD 000005e5: CALLDATALOAD 000005e6: PUSH2 0x05ee 000005e9: DUP2 000005ea: PUSH2 0x0585 000005ed: JUMP 000005ee: JUMPDEST 000005ef: SWAP3 000005f0: POP 000005f1: PUSH1 0xe0 000005f3: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa0 00000614: DUP3 00000615: ADD 00000616: SLT 00000617: ISZERO 00000618: PUSH2 0x0620 0000061b: JUMPI 0000061c: PUSH1 0x00 0000061e: DUP1 0000061f: REVERT 00000620: JUMPDEST 00000621: POP 00000622: SWAP3 00000623: SWAP6 00000624: SWAP2 00000625: SWAP5 00000626: POP 00000627: SWAP3 00000628: PUSH1 0x60 0000062a: ADD 0000062b: SWAP2 0000062c: POP 0000062d: JUMP 0000062e: JUMPDEST 0000062f: PUSH1 0x00 00000631: PUSH1 0x20 00000633: DUP3 00000634: DUP5 00000635: SUB 00000636: SLT 00000637: ISZERO 00000638: PUSH2 0x0640 0000063b: JUMPI 0000063c: PUSH1 0x00 0000063e: DUP1 0000063f: REVERT 00000640: JUMPDEST 00000641: DUP2 00000642: CALLDATALOAD 00000643: PUSH2 0x064b 00000646: DUP2 00000647: PUSH2 0x0585 0000064a: JUMP 0000064b: JUMPDEST 0000064c: SWAP4 0000064d: SWAP3 0000064e: POP 0000064f: POP 00000650: POP 00000651: JUMP 00000652: JUMPDEST 00000653: PUSH1 0x00 00000655: PUSH1 0x20 00000657: DUP3 00000658: DUP5 00000659: SUB 0000065a: SLT 0000065b: ISZERO 0000065c: PUSH2 0x0664 0000065f: JUMPI 00000660: PUSH1 0x00 00000662: DUP1 00000663: REVERT 00000664: JUMPDEST 00000665: DUP2 00000666: CALLDATALOAD 00000667: PUSH1 0xff 00000669: DUP2 0000066a: AND 0000066b: DUP2 0000066c: EQ 0000066d: PUSH2 0x064b 00000670: JUMPI 00000671: PUSH1 0x00 00000673: DUP1 00000674: REVERT 00000675: JUMPDEST 00000676: PUSH1 0x00 00000678: PUSH1 0x20 0000067a: DUP3 0000067b: DUP5 0000067c: SUB 0000067d: SLT 0000067e: ISZERO 0000067f: PUSH2 0x0687 00000682: JUMPI 00000683: PUSH1 0x00 00000685: DUP1 00000686: REVERT 00000687: JUMPDEST 00000688: POP 00000689: MLOAD 0000068a: SWAP2 0000068b: SWAP1 0000068c: POP 0000068d: JUMP 0000068e: JUMPDEST 0000068f: PUSH1 0x00 00000691: PUSH1 0x20 00000693: DUP3 00000694: DUP5 00000695: SUB 00000696: SLT 00000697: ISZERO 00000698: PUSH2 0x06a0 0000069b: JUMPI 0000069c: PUSH1 0x00 0000069e: DUP1 0000069f: REVERT 000006a0: JUMPDEST 000006a1: DUP2 000006a2: MLOAD 000006a3: PUSH2 0x064b 000006a6: DUP2 000006a7: PUSH2 0x0585 000006aa: JUMP 000006ab: INVALID 000006ac: LOG2 000006ad: PUSH5 0x6970667358 000006b3: UNKNOWN(0x22) 000006b4: SLT 000006b5: KECCAK256 000006b6: SWAP9 000006b7: TLOAD 000006b8: UNKNOWN(0xF7) 000006b9: GASPRICE 000006ba: CALLVALUE 000006bb: UNKNOWN(0xE0) 000006bc: AND 000006bd: UNKNOWN(0xBD) 000006be: RETURNDATACOPY 000006bf: GAS 000006c0: SWAP9 000006c1: CALLDATASIZE 000006c2: CALLDATASIZE 000006c3: UNKNOWN(0xD6) 000006c4: UNKNOWN(0xD5) 000006c5: UNKNOWN(0x22) 000006c6: UNKNOWN(0x21) 000006c7: PUSH5 0x277af4b3db 000006cd: CALLER 000006ce: STATICCALL 000006cf: MUL 000006d0: UNKNOWN(0x29) 000006d1: ISZERO 000006d2: SUB 000006d3: UNKNOWN(0xC2) 000006d4: PUSH17
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x6eb73687a60f0f889e35039643a19d9ee1456590d2313543533497e65082826c
call_targets:
0xf0372da389db728a3173a7b91c5cb4437a6319ea
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x6eb73687a60f0f889e35039643a19d9ee1456590d2313543533497e65082826c",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xf0372da389db728a3173a7b91c5cb4437a6319ea"
],
"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": "0x7e902d57",
"selector": "0x7e902d57",
"calldata_variants": [
"0x7e902d57",
"0x7e902d570000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7f2eecc3",
"selector": "0x7f2eecc3",
"calldata_variants": [
"0x7f2eecc3",
"0x7f2eecc30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa12772fd",
"selector": "0xa12772fd",
"calldata_variants": [
"0xa12772fd",
"0xa12772fd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2ebfe022",
"selector": "0x2ebfe022",
"calldata_variants": [
"0x2ebfe022",
"0x2ebfe0220000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5076f90d",
"selector": "0x5076f90d",
"calldata_variants": [
"0x5076f90d",
"0x5076f90d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x572b6c05",
"selector": "0x572b6c05",
"calldata_variants": [
"0x572b6c05",
"0x572b6c050000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 731,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1108,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [],
"untrusted_call_count": 2
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x6eb73687a60f0f889e35039643a19d9ee1456590d2313543533497e65082826c
call_targets:
0xf0372da389db728a3173a7b91c5cb4437a6319ea
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x6eb73687a60f0f889e35039643a19d9ee1456590d2313543533497e65082826c",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xf0372da389db728a3173a7b91c5cb4437a6319ea"
],
"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": "0x7e902d57",
"selector": "0x7e902d57",
"calldata_variants": [
"0x7e902d57",
"0x7e902d570000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7f2eecc3",
"selector": "0x7f2eecc3",
"calldata_variants": [
"0x7f2eecc3",
"0x7f2eecc30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa12772fd",
"selector": "0xa12772fd",
"calldata_variants": [
"0xa12772fd",
"0xa12772fd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2ebfe022",
"selector": "0x2ebfe022",
"calldata_variants": [
"0x2ebfe022",
"0x2ebfe0220000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5076f90d",
"selector": "0x5076f90d",
"calldata_variants": [
"0x5076f90d",
"0x5076f90d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x572b6c05",
"selector": "0x572b6c05",
"calldata_variants": [
"0x572b6c05",
"0x572b6c050000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 731,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1108,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|