019b3836-5f2a-70a0-9363-08f96f9f10fe
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 |
|---|---|---|---|---|
| 9595 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 9596 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 105861 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 105862 | capability.graph | complete | 1 / 3 | 1 week ago |
| 105863 | detector.run | complete | 1 / 3 | 1 week ago |
| 105864 | 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 0x7247615265476c4b694e6b4161416153744c6255 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: 0x62f475e2ebb3d708290d127589a7d6f621a9a7c9ed98e8d45a7e4ac9af804438
validation_json{
"sink": "SELFDESTRUCT",
"errors": 0,
"status": "unknown",
"attempts": 1,
"trace_id": "0x62f475e2ebb3d708290d127589a7d6f621a9a7c9ed98e8d45a7e4ac9af804438",
"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
}
|