[PATCH] D120489: [analyzer] Done some changes to detect Uninitialized read by the char array manipulation functions

[Artem Dergachev via Phabricator via cfe-commits]

NoQ added a comment.

> Oh wait, should we accept this given this serious limitation?

This check lands as alpha so it's fine. We know what to do to move it out of alpha; it's somewhat difficult but definitely not impossible, so there's a way forward with this, and the code added by this patch is ultimately correct.



================
Comment at: clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp:601
+  if (ExplodedNode *N = C.generateErrorNode(State)) {
+    State->dump();
+    const char *Msg =
----------------
Yeah, dumps need to be removed from the final code.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D120489/new/

https://reviews.llvm.org/D120489