[PATCH] Reject multiplication by zero cases in MallocOverflowSecurityChecker

[Aditya Kumar]

Reject multiplication by zero cases in MallocOverflowSecurityChecker

Currently MallocOverflowSecurityChecker does not catch cases like: malloc(n * 0 * sizeof(int));
This patch rejects such cases.

Also replaced isa with dyn_cast.


http://reviews.llvm.org/D9741

Files:
  lib/StaticAnalyzer/Checkers/MallocOverflowSecurityChecker.cpp
  test/Analysis/malloc-overflow.c

EMAIL PREFERENCES
  http://reviews.llvm.org/settings/panel/emailpreferences/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D9741.25846.patch
Type: text/x-patch
Size: 4074 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20150515/b9ae3b6e/attachment.bin>