| 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 | |
| Argyrios Kyrtzidis | 26c05b1 | 2011-02-15 07:42:38 +0000 | [diff] [blame^] | 19 | def ObjCSelfInitChecker : Checker<"SelfInit">, |
| Argyrios Kyrtzidis | 43dee22 | 2011-02-14 18:13:31 +0000 | [diff] [blame] | 20 | HelpText<"Check that 'self' is propely initialized inside an initializer method">, |
| 21 | DescFile<"ObjCSelfInitChecker.cpp">; |
| Argyrios Kyrtzidis | 027a6ab | 2011-02-15 07:42:33 +0000 | [diff] [blame] | 22 | |
| Argyrios Kyrtzidis | 26c05b1 | 2011-02-15 07:42:38 +0000 | [diff] [blame^] | 23 | def ObjCAtSyncChecker : Checker<"AtSync">, |
| Argyrios Kyrtzidis | 027a6ab | 2011-02-15 07:42:33 +0000 | [diff] [blame] | 24 | HelpText<"Check for null pointers used as mutexes for @synchronized">, |
| 25 | DescFile<"ObjCAtSyncChecker.cpp">; |
| 26 | |
| 27 | } |
| 28 | |
| Argyrios Kyrtzidis | 26c05b1 | 2011-02-15 07:42:38 +0000 | [diff] [blame^] | 29 | def StackAddrLeakChecker : Checker<"StackAddrLeak">, |
| Argyrios Kyrtzidis | 027a6ab | 2011-02-15 07:42:33 +0000 | [diff] [blame] | 30 | InPackage<Core>, |
| Argyrios Kyrtzidis | 027a6ab | 2011-02-15 07:42:33 +0000 | [diff] [blame] | 31 | HelpText<"Check that addresses to stack memory are not leaked outside the function">, |
| 32 | DescFile<"StackAddrLeakChecker.cpp">; |
| 33 | |
| Argyrios Kyrtzidis | 26c05b1 | 2011-02-15 07:42:38 +0000 | [diff] [blame^] | 34 | def UnixAPIChecker : Checker<"API">, |
| Argyrios Kyrtzidis | 027a6ab | 2011-02-15 07:42:33 +0000 | [diff] [blame] | 35 | InPackage<Unix>, |
| Argyrios Kyrtzidis | 027a6ab | 2011-02-15 07:42:33 +0000 | [diff] [blame] | 36 | HelpText<"Check calls to various UNIX/Posix functions">, |
| 37 | DescFile<"UnixAPIChecker.cpp">; |
| 38 | |
| Argyrios Kyrtzidis | 26c05b1 | 2011-02-15 07:42:38 +0000 | [diff] [blame^] | 39 | def MacOSXAPIChecker : Checker<"API">, |
| Argyrios Kyrtzidis | 027a6ab | 2011-02-15 07:42:33 +0000 | [diff] [blame] | 40 | InPackage<MacOSX>, |
| Argyrios Kyrtzidis | 027a6ab | 2011-02-15 07:42:33 +0000 | [diff] [blame] | 41 | HelpText<"Check calls to various MacOSXAPIChecker">, |
| 42 | DescFile<"MacOSXAPIChecker.cpp">; |