019b3836-52be-7220-b7a3-4c633cc7f1ff
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 |
|---|---|---|---|---|
| 7949 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 7950 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 82492 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 82493 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 82494 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 82495 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLDATASIZE 00000006: ISZERO 00000007: PUSH1 0x0d 00000009: JUMPI 0000000a: PUSH1 0x0d 0000000c: JUMP 0000000d: JUMPDEST 0000000e: PUSH1 0x97 00000010: JUMPDEST 00000011: PUSH1 0x00 00000013: ISZERO 00000014: ISZERO 00000015: PUSH1 0x00 00000017: PUSH1 0x00 00000019: SWAP1 0000001a: SLOAD 0000001b: SWAP1 0000001c: PUSH2 0x0100 0000001f: EXP 00000020: SWAP1 00000021: DIV 00000022: PUSH1 0xff 00000024: AND 00000025: ISZERO 00000026: ISZERO 00000027: EQ 00000028: DUP1 00000029: PUSH1 0x31 0000002b: JUMPI 0000002c: POP 0000002d: PUSH1 0x00 0000002f: CALLVALUE 00000030: EQ 00000031: JUMPDEST 00000032: DUP1 00000033: PUSH1 0x8c 00000035: JUMPI 00000036: POP 00000037: PUSH1 0x01 00000039: PUSH1 0x00 0000003b: SWAP1 0000003c: SLOAD 0000003d: SWAP1 0000003e: PUSH2 0x0100 00000041: EXP 00000042: SWAP1 00000043: DIV 00000044: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000059: AND 0000005a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000006f: AND 00000070: PUSH1 0x00 00000072: CALLVALUE 00000073: PUSH1 0x40 00000075: MLOAD 00000076: DUP1 00000077: SWAP1 00000078: POP 00000079: PUSH1 0x00 0000007b: PUSH1 0x40 0000007d: MLOAD 0000007e: DUP1 0000007f: DUP4 00000080: SUB 00000081: DUP2 00000082: DUP6 00000083: DUP9 00000084: DUP9 00000085: CALL 00000086: SWAP4 00000087: POP 00000088: POP 00000089: POP 0000008a: POP 0000008b: ISZERO 0000008c: JUMPDEST 0000008d: ISZERO 0000008e: PUSH1 0x94 00000090: JUMPI 00000091: PUSH1 0x02 00000093: JUMP 00000094: JUMPDEST 00000095: JUMPDEST 00000096: JUMP 00000097: JUMPDEST 00000098: STOP
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x25f5279c5a8c97aa98d5d2275e24006dd6907d80ede5d77bbcacfee62008d517
call_targets:
0xacaf59ec13285ac5a7c20fbe2ff2fdf4410247ab
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x25f5279c5a8c97aa98d5d2275e24006dd6907d80ede5d77bbcacfee62008d517",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xacaf59ec13285ac5a7c20fbe2ff2fdf4410247ab"
],
"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": "0x",
"selector": "fallback",
"calldata_variants": [
"0x"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 133,
"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: 0x25f5279c5a8c97aa98d5d2275e24006dd6907d80ede5d77bbcacfee62008d517
call_targets:
0xacaf59ec13285ac5a7c20fbe2ff2fdf4410247ab
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x25f5279c5a8c97aa98d5d2275e24006dd6907d80ede5d77bbcacfee62008d517",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xacaf59ec13285ac5a7c20fbe2ff2fdf4410247ab"
],
"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": "0x",
"selector": "fallback",
"calldata_variants": [
"0x"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 133,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|