[PATCH] D25876: [analyzer] Report CFNumberGetValue API misuse
Anna Zaks via cfe-commits
cfe-commits at lists.llvm.org
Fri Oct 21 11:53:06 PDT 2016
zaks.anna created this revision.
zaks.anna added reviewers: dcoughlin, NoQ.
zaks.anna added subscribers: cfe-commits, rgov.
This patch contains 2 improvements to the CFNumber checker:
- Checking of CFNumberGetValue misuse.
- Treating all CFNumber API misuse errors as non-fatal. (Previously we treated errors that could cause uninitialized memory as syncs and the truncation errors as non-fatal.)
This implements a subset of functionality from https://reviews.llvm.org/D17954.
https://reviews.llvm.org/D25876
Files:
include/clang/StaticAnalyzer/Checkers/Checkers.td
lib/StaticAnalyzer/Checkers/BasicObjCFoundationChecks.cpp
test/Analysis/CFNumber.c
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D25876.75456.patch
Type: text/x-patch
Size: 8422 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20161021/4698db19/attachment.bin>
More information about the cfe-commits
mailing list