[PATCH] D11468: [Static Analyzer] The first implementation of nullability checker.

[Gábor Horváth via cfe-commits]

xazax.hun updated this revision to Diff 32869.
xazax.hun added a comment.

- Updated to the latest trunk.
- Relaxed an assert in ExprEngine which turned out to be unsound.
- The individual checks can be turned on or off.
- Added some framework specific heuristic to reduce the number of false positive results.
- Refactoring.


http://reviews.llvm.org/D11468

Files:
  lib/StaticAnalyzer/Checkers/CMakeLists.txt
  lib/StaticAnalyzer/Checkers/Checkers.td
  lib/StaticAnalyzer/Checkers/NullabilityChecker.cpp
  lib/StaticAnalyzer/Core/ExprEngineObjC.cpp
  test/Analysis/nullability.mm

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D11468.32869.patch
Type: text/x-patch
Size: 35614 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20150821/71ba35f0/attachment-0001.bin>