Argyrios Kyrtzidis | 43dee22 | 2011-02-14 18:13:31 +0000 | [diff] [blame] | 1 | //===--- Checkers.td - Static Analyzer Checkers -===-----------------------===// |
| 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
| 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
| 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | |
| 10 | include "clang/StaticAnalyzer/Checkers/CheckerBase.td" |
| 11 | |
Argyrios Kyrtzidis | 027a6ab | 2011-02-15 07:42:33 +0000 | [diff] [blame^] | 12 | def Core : Package<"core">; |
Argyrios Kyrtzidis | 43dee22 | 2011-02-14 18:13:31 +0000 | [diff] [blame] | 13 | def Cocoa : Package<"cocoa">; |
Argyrios Kyrtzidis | 027a6ab | 2011-02-15 07:42:33 +0000 | [diff] [blame^] | 14 | def Unix : Package<"unix">; |
| 15 | def MacOSX : Package<"macosx">; |
| 16 | |
| 17 | let ParentPackage = Cocoa in { |
Argyrios Kyrtzidis | 43dee22 | 2011-02-14 18:13:31 +0000 | [diff] [blame] | 18 | |
| 19 | def : Checker<"ObjCSelfInitChecker">, |
Argyrios Kyrtzidis | 43dee22 | 2011-02-14 18:13:31 +0000 | [diff] [blame] | 20 | Named<"SelfInit">, |
| 21 | HelpText<"Check that 'self' is propely initialized inside an initializer method">, |
| 22 | DescFile<"ObjCSelfInitChecker.cpp">; |
Argyrios Kyrtzidis | 027a6ab | 2011-02-15 07:42:33 +0000 | [diff] [blame^] | 23 | |
| 24 | def : Checker<"ObjCAtSyncChecker">, |
| 25 | Named<"AtSync">, |
| 26 | HelpText<"Check for null pointers used as mutexes for @synchronized">, |
| 27 | DescFile<"ObjCAtSyncChecker.cpp">; |
| 28 | |
| 29 | } |
| 30 | |
| 31 | def : Checker<"StackAddrLeakChecker">, |
| 32 | InPackage<Core>, |
| 33 | Named<"StackAddrLeak">, |
| 34 | HelpText<"Check that addresses to stack memory are not leaked outside the function">, |
| 35 | DescFile<"StackAddrLeakChecker.cpp">; |
| 36 | |
| 37 | def : Checker<"UnixAPIChecker">, |
| 38 | InPackage<Unix>, |
| 39 | Named<"API">, |
| 40 | HelpText<"Check calls to various UNIX/Posix functions">, |
| 41 | DescFile<"UnixAPIChecker.cpp">; |
| 42 | |
| 43 | def : Checker<"MacOSXAPIChecker">, |
| 44 | InPackage<MacOSX>, |
| 45 | Named<"API">, |
| 46 | HelpText<"Check calls to various MacOSXAPIChecker">, |
| 47 | DescFile<"MacOSXAPIChecker.cpp">; |