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

Artem Dergachev via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Thu Feb 24 10:55:06 PST 2022


NoQ added a comment.

Also I think we might be able to enable this checker for the situation when the buffer is *completely* uninitialized. It is relatively easy for `RegionStore` to answer whether there are any bindings in a top-level region.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D120489



More information about the cfe-commits mailing list