[PATCH] D9924: Ignore report when the argument to malloc is assigned known value
Aditya Kumar via cfe-commits
cfe-commits at lists.llvm.org
Tue Aug 18 00:13:18 PDT 2015
hiraditya updated this revision to Diff 32381.
hiraditya added a comment.
Refactored the code and check whether denominator > 0.
http://reviews.llvm.org/D9924
Files:
lib/StaticAnalyzer/Checkers/MallocOverflowSecurityChecker.cpp
test/Analysis/malloc-overflow.c
test/Analysis/malloc-overflow2.c
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D9924.32381.patch
Type: text/x-patch
Size: 9023 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20150818/8cf637f0/attachment.bin>
More information about the cfe-commits
mailing list