[PATCH] D11427: [Static Analyzer] Checker for Obj-C generics

[Gábor Horváth]

xazax.hun created this revision.
xazax.hun added reviewers: zaks.anna, jordan_rose, krememek, dcoughlin.
xazax.hun added a subscriber: cfe-commits.

This checker tries to infer type information based on the Obj-C lightweight generics annotation, and detects type errors that would cause runtime errors.
This type check is not done by the compiler because generic collections convert implicitly to the type erased variants due to backward compatibility.
This checker tries to preserver the type information flow sensitively and spot type errors.

http://reviews.llvm.org/D11427

Files:
  lib/StaticAnalyzer/Checkers/CMakeLists.txt
  lib/StaticAnalyzer/Checkers/Checkers.td
  lib/StaticAnalyzer/Checkers/ObjCGenericsChecker.cpp
  test/Analysis/generics.m

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D11427.30390.patch
Type: text/x-patch
Size: 30113 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20150722/55938189/attachment.bin>