[analyzer] Path-insensitive checker for writes into an auto-releasing pointer
authorGeorge Karpenkov <ekarpenkov@apple.com>
Thu, 29 Mar 2018 20:55:34 +0000 (20:55 +0000)
committerGeorge Karpenkov <ekarpenkov@apple.com>
Thu, 29 Mar 2018 20:55:34 +0000 (20:55 +0000)
commitd676ba0f28ee263bc68f6992ca237cdf9395be21
tree1921f3ffea8f7d5bbaa53fdccc07ea43abda63a3
parent309e29d5327519551df54ad1dba88c0643eb6f09
[analyzer] Path-insensitive checker for writes into an auto-releasing pointer

from the wrong auto-releasing pool, as such writes may crash.

rdar://25301111

Differential Revision: https://reviews.llvm.org/D44722

llvm-svn: 328827
clang/include/clang/StaticAnalyzer/Checkers/Checkers.td
clang/lib/StaticAnalyzer/Checkers/CMakeLists.txt
clang/lib/StaticAnalyzer/Checkers/ObjCAutoreleaseWriteChecker.cpp [new file with mode: 0644]
clang/test/Analysis/autoreleasewritechecker_test.m [new file with mode: 0644]