[RFC] Intra-procedural Lifetime Analysis in Clang

DRANK

Utkarsh Saxena @usx95 Dmytro Hrybenko @gribozavr Yitzhak Mandelbaum @ymand Jan Voung @jvoung Kinuko Yasuda @kinu Summary Clang’s current lifetime analysis operates locally within a single statement and cannot track object lifetimes across basic blocks or control-flow constructs. This RFC proposes a new intra-procedural, flow-sensitive lifetime analysis for Clang to detect a broader class of use-after-scope issues, such as use-after-free and use-after-return, particularly those involving st...