IMPROVING THE PRECISION OF FLOW-SENSITIVE LIFETIME ANALYSIS
Object lifetimes are a common source of bugs in C++ that can cause crashes, unexpected behavior, or even security vulnerabilities.Herb Sutter, the chair of the C++ standard committee proposed a flow-sensitive analysis to catch lifetime errors statically.Sadly, this analysis is prone to Door Chest false positives unless the author follows some speci