[clang] [analyzer] Implemented the DanglingPtrDeref checker to detect use-after-scope lifetime errors (PR #209278)
via cfe-commits
cfe-commits at lists.llvm.org
Tue Jul 14 04:50:19 PDT 2026
================
@@ -55,6 +61,11 @@ std::vector<const MemRegion *> lifetime_modeling::getDanglingRegionsAfterReturn(
return Regions;
}
+bool lifetime_modeling::isDeallocated(ProgramStateRef State,
----------------
isuckatcs wrote:
It is a bit confusing why we have `lifetime_modeling::` and `LifetimeModeling::` definitions in the same source file. I'm still in favor of moving these to different source files to make it less confusing. `LifetimeModelling.cpp` and `LifetimeModellingChecker.cpp` respectively.
https://github.com/llvm/llvm-project/pull/209278
More information about the cfe-commits
mailing list