[PATCH] [analyzer] Implementation of potential undefbehavior.ZeroAllocDereference checker.

Антон Ярцев anton.yartsev at gmail.com
Wed Mar 18 16:20:16 PDT 2015


Updated the patch, made the checker stateless, please review!


http://reviews.llvm.org/D8273

Files:
  lib/StaticAnalyzer/Checkers/MallocChecker.cpp
  test/Analysis/Malloc+MismatchedDeallocator_intersections.cpp
  test/Analysis/NewDelete-checker-test.cpp
  test/Analysis/NewDelete-intersections.mm
  test/Analysis/malloc.c

EMAIL PREFERENCES
  http://reviews.llvm.org/settings/panel/emailpreferences/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D8273.22226.patch
Type: text/x-patch
Size: 14945 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20150318/e70b0230/attachment.bin>


More information about the cfe-commits mailing list