[analyzer][CStringChecker] evaluate explicit_bzero
authorDavid Carlier <devnexen@gmail.com>
Tue, 11 Dec 2018 18:57:07 +0000 (18:57 +0000)
committerDavid Carlier <devnexen@gmail.com>
Tue, 11 Dec 2018 18:57:07 +0000 (18:57 +0000)
commit37a22ea063625e28c931eae38653356d9849ae01
tree4a402db9643f5bc2e1bf674891e72227c8002b71
parent802dc40f413872d7b6fb72d9b9fa4a8838aea2ca
[analyzer][CStringChecker] evaluate explicit_bzero

- explicit_bzero has limited scope/usage only for security/crypto purposes but is non-optimisable version of memset/0 and bzero.
- explicit_memset has similar signature and semantics as memset but is also a non-optimisable version.

Reviewers: NoQ

Reviewed By: NoQ

Differential Revision: https://reviews.llvm.org/D54592

llvm-svn: 348884
clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp
clang/test/Analysis/string.c