[PATCH] [analyzer] Detect use-after-free scenarios in -dealloc after calling [super dealloc]

David Kilzer ddkilzer at kilzer.net
Mon Aug 25 15:35:51 PDT 2014


Removed unnecessary tree walking code since ASTMatcher is used in scan_dealloc_for_self_after_super_dealloc().

http://reviews.llvm.org/D5042

Files:
  lib/StaticAnalyzer/Checkers/CheckObjCDealloc.cpp
  test/Analysis/DeallocUseAfterFreeErrors.m
  tools/clang-check/Makefile
  tools/driver/Makefile
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D5042.12920.patch
Type: text/x-patch
Size: 13042 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20140825/477fe7b0/attachment.bin>


More information about the cfe-commits mailing list