# Use after free

RuleID: portfolio.life.02@1.0.0
Status: recovery-required
Catalog snapshot: 4558458d

## V-LIFE-02 — Use after free

Use after free. It examines ownership, resource state, and lifetime obligations across program paths. The result remains unknown when the required evidence is incomplete.

Status: recovery-required

Current scope: The source producer still requires recovery and qualification in this snapshot. The target description is not evidence of an active diagnostic.

Evidence boundary: Required evidence must be complete for the selected immutable build snapshot. Otherwise the affected result is unknown.

---
Language: en
Canonical: https://docs.swift-analyzer.com/en/catalog/portfolio.life.02/
Source revision: 4558458d