019b3836-625c-7191-83b8-8be4dceb830f
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 |
|---|---|---|---|---|
| 10073 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 10074 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 53192 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 53193 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 53194 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 53195 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: ORIGIN 00000001: PUSH20 0xd3e32594cedbc102d739142aa70d21f4caea5618 00000016: EQ 00000017: ISZERO 00000018: ADDRESS 00000019: JUMPI 0000001a: PUSH20 0x3875366231683974367733613161396139613961 0000002f: SELFDESTRUCT
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 | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x",
"selector": "fallback",
"calldata_variants": [
"0x"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 22,
"type": "tx_origin_used"
},
{
"pc": 0,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | SELFDESTRUCT reachable | 45 | no | no |
viewtrace_id: 0x870b485f07f67b3e324c5f595b905e155a9c5efa334025d180aa8d961cbb79f5
validation_json{
"sink": "SELFDESTRUCT",
"errors": 0,
"status": "unknown",
"attempts": 1,
"trace_id": "0x870b485f07f67b3e324c5f595b905e155a9c5efa334025d180aa8d961cbb79f5",
"confirmed": false,
"trace_mode": "structLogs",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x",
"selector": "fallback",
"calldata_variants": [
"0x"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 22,
"type": "tx_origin_used"
},
{
"pc": 0,
"type": "tx_origin_used"
}
],
"selfdestruct_count": 1
}
|