019b3836-6122-71d9-b64e-30ed4ecce6a3
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 |
|---|---|---|---|---|
| 9889 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 9890 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 105701 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 105702 | capability.graph | complete | 1 / 3 | 1 week ago |
| 105703 | detector.run | complete | 1 / 3 | 1 week ago |
| 105704 | validation.fork | complete | 1 / 3 | 1 week 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 0x7373747869666c706b6572657265726572657374 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: 0xb30d72b303e364972d85d5e905d3fbfbf00d8cf29f21c2b24e3d53949ecc2de4
validation_json{
"sink": "SELFDESTRUCT",
"errors": 0,
"status": "unknown",
"attempts": 1,
"trace_id": "0xb30d72b303e364972d85d5e905d3fbfbf00d8cf29f21c2b24e3d53949ecc2de4",
"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
}
|