[PATCH] D97699: [analyzer] Add InvalidPtrChecker
Zurab Tsinadze via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Mon Sep 13 06:40:46 PDT 2021
zukatsinadze marked 4 inline comments as done.
zukatsinadze added inline comments.
================
Comment at: clang/lib/StaticAnalyzer/Checkers/cert/InvalidPtrChecker.cpp:163
+// memory region returned by previous call of this function
+REGISTER_MAP_WITH_PROGRAMSTATE(PreviousCallResultMap, const char *,
+ const MemRegion *)
----------------
martong wrote:
> I think we could use the canonical `FunctionDecl*` as the key instead of `const char *`. Then all the `eval` functions like `evalGetenv` and alike could be substituted with one simple function.
Thanks! Those functions annoyed me a lot.
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D97699/new/
https://reviews.llvm.org/D97699
More information about the cfe-commits
mailing list