[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