[clang] [analyzer] Implement LifetimeModeling checker and refactor UseAfterLifetimeEnd (PR #205951)

[Gábor Horváth via cfe-commits]

================
@@ -94,9 +45,10 @@ static bool hasDanglingSource(const MemRegion *Source, ProgramStateRef State,
 
 void UseAfterLifetimeEnd::checkReturnedBorrower(SVal Val, ProgramStateRef State,
                                                 CheckerContext &C) const {
-  if (auto *SourceSet = State->get<LifetimeBoundMap>(Val)) {
+  auto SourceSet = lifetimemodeling::getLifetimeSourceSet(State, Val);
----------------
Xazax-hun wrote:

I think the logic of this function might belong to the modeling checker.

https://github.com/llvm/llvm-project/pull/205951