[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