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

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

================
@@ -10,16 +11,10 @@
 using namespace clang;
 using namespace ento;
 
-REGISTER_SET_FACTORY_WITH_PROGRAMSTATE(LifetimeSourceSet, const MemRegion *)
-REGISTER_MAP_WITH_PROGRAMSTATE(LifetimeBoundMap, SVal, LifetimeSourceSet)
-
 namespace {
 class UseAfterLifetimeEnd
-    : public Checker<check::PostCall, check::EndFunction, check::DeadSymbols> {
+    : public Checker<check::EndFunction, check::DeadSymbols> {
----------------
Xazax-hun wrote:

I think checkDeadSymbols might belong to the modeling checker. 

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