[cfe-commits] [patch] new clang-analyzer checker that verifies ObjC API usage in UIViewController subclasses

[Julian Mayer]

hello

attached is a new clang-analyzer checker that verifies ObjC API usage in UIViewController subclasses, more specifically if implemented methods correctly call the superclass implementations in methods where this is mandatory (and omitting these calls can lead to real and difficult-to-find bugs).

the code is largely based on the dealloc checker which includes the check for a missing super call as part its functions.

the code currently only checks UIViewController subclasses but should be extended to be more general in the future, there are a variety of classes in the iOS and Mac OS X APIs that require some methods in their subclass implementations to either call super or not call super. the ToDo list in this regard is at the bottom of the file.

attached is the new checker (CheckViewController.cpp) and the diff to the changed files Checkers.td and CMakeLists.txt.

please comment (and CC me) or commit.

bye, julian

-------------- next part --------------
A non-text attachment was scrubbed...
Name: patch.diff
Type: application/octet-stream
Size: 1195 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20121009/03a2ccd8/attachment.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: CheckViewController.cpp
Type: application/octet-stream
Size: 6239 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20121009/03a2ccd8/attachment-0001.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 4885 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20121009/03a2ccd8/attachment.bin>