019b477e-cfed-7199-bc9a-862915064eb6
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 |
|---|---|---|---|---|
| 27473 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 27474 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 92125 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 92126 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 92127 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 92128 | 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 0x008e 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: SWAP1 0000002f: DIV 00000030: PUSH4 0xffffffff 00000035: AND 00000036: DUP1 00000037: PUSH4 0x12065fe0 0000003c: EQ 0000003d: PUSH2 0x0093 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0x2526350f 00000047: EQ 00000048: PUSH2 0x00be 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0x3ccfd60b 00000052: EQ 00000053: PUSH2 0x00c8 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0x4e71d92d 0000005d: EQ 0000005e: PUSH2 0x00df 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0x7022b58e 00000068: EQ 00000069: PUSH2 0x00e9 0000006c: JUMPI 0000006d: DUP1 0000006e: PUSH4 0x893d20e8 00000073: EQ 00000074: PUSH2 0x00f3 00000077: JUMPI 00000078: DUP1 00000079: PUSH4 0xad38f643 0000007e: EQ 0000007f: PUSH2 0x014a 00000082: JUMPI 00000083: DUP1 00000084: PUSH4 0xaf347b61 00000089: EQ 0000008a: PUSH2 0x0154 0000008d: JUMPI 0000008e: JUMPDEST 0000008f: PUSH1 0x00 00000091: DUP1 00000092: REVERT 00000093: JUMPDEST 00000094: CALLVALUE 00000095: DUP1 00000096: ISZERO 00000097: PUSH2 0x009f 0000009a: JUMPI 0000009b: PUSH1 0x00 0000009d: DUP1 0000009e: REVERT 0000009f: JUMPDEST 000000a0: POP 000000a1: PUSH2 0x00a8 000000a4: PUSH2 0x015e 000000a7: JUMP 000000a8: JUMPDEST 000000a9: PUSH1 0x40 000000ab: MLOAD 000000ac: DUP1 000000ad: DUP3 000000ae: DUP2 000000af: MSTORE 000000b0: PUSH1 0x20 000000b2: ADD 000000b3: SWAP2 000000b4: POP 000000b5: POP 000000b6: PUSH1 0x40 000000b8: MLOAD 000000b9: DUP1 000000ba: SWAP2 000000bb: SUB 000000bc: SWAP1 000000bd: RETURN 000000be: JUMPDEST 000000bf: PUSH2 0x00c6 000000c2: PUSH2 0x017d 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 0x00dd 000000d9: PUSH2 0x017f 000000dc: JUMP 000000dd: JUMPDEST 000000de: STOP 000000df: JUMPDEST 000000e0: PUSH2 0x00e7 000000e3: PUSH2 0x023a 000000e6: JUMP 000000e7: JUMPDEST 000000e8: STOP 000000e9: JUMPDEST 000000ea: PUSH2 0x00f1 000000ed: PUSH2 0x023c 000000f0: JUMP 000000f1: JUMPDEST 000000f2: STOP 000000f3: JUMPDEST 000000f4: CALLVALUE 000000f5: DUP1 000000f6: ISZERO 000000f7: PUSH2 0x00ff 000000fa: JUMPI 000000fb: PUSH1 0x00 000000fd: DUP1 000000fe: REVERT 000000ff: JUMPDEST 00000100: POP 00000101: PUSH2 0x0108 00000104: PUSH2 0x023e 00000107: JUMP 00000108: JUMPDEST 00000109: PUSH1 0x40 0000010b: MLOAD 0000010c: DUP1 0000010d: DUP3 0000010e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000123: AND 00000124: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000139: AND 0000013a: DUP2 0000013b: MSTORE 0000013c: PUSH1 0x20 0000013e: ADD 0000013f: SWAP2 00000140: POP 00000141: POP 00000142: PUSH1 0x40 00000144: MLOAD 00000145: DUP1 00000146: SWAP2 00000147: SUB 00000148: SWAP1 00000149: RETURN 0000014a: JUMPDEST 0000014b: PUSH2 0x0152 0000014e: PUSH2 0x0267 00000151: JUMP 00000152: JUMPDEST 00000153: STOP 00000154: JUMPDEST 00000155: PUSH2 0x015c 00000158: PUSH2 0x0269 0000015b: JUMP 0000015c: JUMPDEST 0000015d: STOP 0000015e: JUMPDEST 0000015f: PUSH1 0x00 00000161: ADDRESS 00000162: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000177: AND 00000178: BALANCE 00000179: SWAP1 0000017a: POP 0000017b: SWAP1 0000017c: JUMP 0000017d: JUMPDEST 0000017e: JUMP 0000017f: JUMPDEST 00000180: CALLER 00000181: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000196: AND 00000197: PUSH1 0x00 00000199: DUP1 0000019a: SWAP1 0000019b: SLOAD 0000019c: SWAP1 0000019d: PUSH2 0x0100 000001a0: EXP 000001a1: SWAP1 000001a2: DIV 000001a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001b8: AND 000001b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001ce: AND 000001cf: EQ 000001d0: ISZERO 000001d1: ISZERO 000001d2: PUSH2 0x01da 000001d5: JUMPI 000001d6: PUSH1 0x00 000001d8: DUP1 000001d9: REVERT 000001da: JUMPDEST 000001db: CALLER 000001dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001f1: AND 000001f2: PUSH2 0x08fc 000001f5: ADDRESS 000001f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000020b: AND 0000020c: BALANCE 0000020d: SWAP1 0000020e: DUP2 0000020f: ISZERO 00000210: MUL 00000211: SWAP1 00000212: PUSH1 0x40 00000214: MLOAD 00000215: PUSH1 0x00 00000217: PUSH1 0x40 00000219: MLOAD 0000021a: DUP1 0000021b: DUP4 0000021c: SUB 0000021d: DUP2 0000021e: DUP6 0000021f: DUP9 00000220: DUP9 00000221: CALL 00000222: SWAP4 00000223: POP 00000224: POP 00000225: POP 00000226: POP 00000227: ISZERO 00000228: DUP1 00000229: ISZERO 0000022a: PUSH2 0x0237 0000022d: JUMPI 0000022e: RETURNDATASIZE 0000022f: PUSH1 0x00 00000231: DUP1 00000232: RETURNDATACOPY 00000233: RETURNDATASIZE 00000234: PUSH1 0x00 00000236: REVERT 00000237: JUMPDEST 00000238: POP 00000239: JUMP 0000023a: JUMPDEST 0000023b: JUMP 0000023c: JUMPDEST 0000023d: JUMP 0000023e: JUMPDEST 0000023f: PUSH1 0x00 00000241: DUP1 00000242: PUSH1 0x00 00000244: SWAP1 00000245: SLOAD 00000246: SWAP1 00000247: PUSH2 0x0100 0000024a: EXP 0000024b: SWAP1 0000024c: DIV 0000024d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000262: AND 00000263: SWAP1 00000264: POP 00000265: SWAP1 00000266: JUMP 00000267: JUMPDEST 00000268: JUMP 00000269: JUMPDEST 0000026a: JUMP 0000026b: STOP 0000026c: LOG1 0000026d: PUSH6 0x627a7a723058 00000274: KECCAK256 00000275: SGT 00000276: DUP12 00000277: UNKNOWN(0x29) 00000278: UNKNOWN(0x4C) 00000279: CODESIZE 0000027a: SWAP4 0000027b: TIMESTAMP 0000027c: PUSH7 0x3e07f041bef737 00000284: PUSH6 0xbbf880e06235 0000028b: UNKNOWN(0xD5) 0000028c: SWAP5 0000028d: LT 0000028e: UNKNOWN(0xEE) 0000028f: GT 00000290: COINBASE 00000291: UNKNOWN(0xD7) 00000292: UNKNOWN(0x29) 00000293: UNKNOWN(0xCC) 00000294: PUSH4
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x6989af49b0548cee2f64d7d6a8d3717f97b12b90e83c0625791e2b7d9119bb64
call_targets:
0x0000c3ace9e31a26ce1870d418cb045d73b30000
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x6989af49b0548cee2f64d7d6a8d3717f97b12b90e83c0625791e2b7d9119bb64",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x0000c3ace9e31a26ce1870d418cb045d73b30000"
],
"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": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x12065fe0",
"selector": "0x12065fe0",
"calldata_variants": [
"0x12065fe0",
"0x12065fe00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2526350f",
"selector": "0x2526350f",
"calldata_variants": [
"0x2526350f",
"0x2526350f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4e71d92d",
"selector": "0x4e71d92d",
"calldata_variants": [
"0x4e71d92d",
"0x4e71d92d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7022b58e",
"selector": "0x7022b58e",
"calldata_variants": [
"0x7022b58e",
"0x7022b58e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x893d20e8",
"selector": "0x893d20e8",
"calldata_variants": [
"0x893d20e8",
"0x893d20e80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xad38f643",
"selector": "0xad38f643",
"calldata_variants": [
"0xad38f643",
"0xad38f6430000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 545,
"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: 0x6989af49b0548cee2f64d7d6a8d3717f97b12b90e83c0625791e2b7d9119bb64
call_targets:
0x0000c3ace9e31a26ce1870d418cb045d73b30000
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x6989af49b0548cee2f64d7d6a8d3717f97b12b90e83c0625791e2b7d9119bb64",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x0000c3ace9e31a26ce1870d418cb045d73b30000"
],
"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": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x12065fe0",
"selector": "0x12065fe0",
"calldata_variants": [
"0x12065fe0",
"0x12065fe00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2526350f",
"selector": "0x2526350f",
"calldata_variants": [
"0x2526350f",
"0x2526350f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4e71d92d",
"selector": "0x4e71d92d",
"calldata_variants": [
"0x4e71d92d",
"0x4e71d92d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7022b58e",
"selector": "0x7022b58e",
"calldata_variants": [
"0x7022b58e",
"0x7022b58e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x893d20e8",
"selector": "0x893d20e8",
"calldata_variants": [
"0x893d20e8",
"0x893d20e80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xad38f643",
"selector": "0xad38f643",
"calldata_variants": [
"0xad38f643",
"0xad38f6430000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 545,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|