]> granicus.if.org Git - clang/commit
[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)
commit3c1fd418147b5218fcdba7d1d05a9c416bb500c1
tree0ee3d43c6bae9d64089ba4d7c82e88fb4f9fc8dc
parentd1358177833835117425d5b87be0755936530f84
[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

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@348884 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Checkers/CStringChecker.cpp
test/Analysis/string.c