| 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 | a0decc9 | 2011-02-15 21:25:03 +0000 | [diff] [blame] | 12 | //===----------------------------------------------------------------------===// |
| 13 | // Packages. |
| 14 | //===----------------------------------------------------------------------===// |
| 15 | |
| Argyrios Kyrtzidis | 027a6ab | 2011-02-15 07:42:33 +0000 | [diff] [blame] | 16 | def Core : Package<"core">; |
| Argyrios Kyrtzidis | 43dee22 | 2011-02-14 18:13:31 +0000 | [diff] [blame] | 17 | def Cocoa : Package<"cocoa">; |
| Argyrios Kyrtzidis | 027a6ab | 2011-02-15 07:42:33 +0000 | [diff] [blame] | 18 | def Unix : Package<"unix">; |
| 19 | def MacOSX : Package<"macosx">; |
| 20 | |
| Argyrios Kyrtzidis | a0decc9 | 2011-02-15 21:25:03 +0000 | [diff] [blame] | 21 | def CoreExperimental : Package<"experimental">, |
| 22 | InPackage<Core>, Hidden; |
| 23 | |
| 24 | def UnixExperimental : Package<"experimental">, |
| 25 | InPackage<Unix>, Hidden; |
| 26 | |
| 27 | //===----------------------------------------------------------------------===// |
| 28 | // Groups. |
| 29 | //===----------------------------------------------------------------------===// |
| 30 | |
| 31 | def AllExperimental : CheckerGroup<"all-experimental">, |
| 32 | Hidden; |
| 33 | |
| 34 | //===----------------------------------------------------------------------===// |
| 35 | // Checkers. |
| 36 | //===----------------------------------------------------------------------===// |
| 37 | |
| Argyrios Kyrtzidis | 027a6ab | 2011-02-15 07:42:33 +0000 | [diff] [blame] | 38 | let ParentPackage = Cocoa in { |
| Argyrios Kyrtzidis | 43dee22 | 2011-02-14 18:13:31 +0000 | [diff] [blame] | 39 | |
| Argyrios Kyrtzidis | 26c05b1 | 2011-02-15 07:42:38 +0000 | [diff] [blame] | 40 | def ObjCSelfInitChecker : Checker<"SelfInit">, |
| Argyrios Kyrtzidis | 43dee22 | 2011-02-14 18:13:31 +0000 | [diff] [blame] | 41 | HelpText<"Check that 'self' is propely initialized inside an initializer method">, |
| 42 | DescFile<"ObjCSelfInitChecker.cpp">; |
| Argyrios Kyrtzidis | 027a6ab | 2011-02-15 07:42:33 +0000 | [diff] [blame] | 43 | |
| Argyrios Kyrtzidis | 26c05b1 | 2011-02-15 07:42:38 +0000 | [diff] [blame] | 44 | def ObjCAtSyncChecker : Checker<"AtSync">, |
| Argyrios Kyrtzidis | 027a6ab | 2011-02-15 07:42:33 +0000 | [diff] [blame] | 45 | HelpText<"Check for null pointers used as mutexes for @synchronized">, |
| 46 | DescFile<"ObjCAtSyncChecker.cpp">; |
| 47 | |
| 48 | } |
| 49 | |
| Argyrios Kyrtzidis | 26c05b1 | 2011-02-15 07:42:38 +0000 | [diff] [blame] | 50 | def StackAddrLeakChecker : Checker<"StackAddrLeak">, |
| Argyrios Kyrtzidis | 027a6ab | 2011-02-15 07:42:33 +0000 | [diff] [blame] | 51 | InPackage<Core>, |
| Argyrios Kyrtzidis | 027a6ab | 2011-02-15 07:42:33 +0000 | [diff] [blame] | 52 | HelpText<"Check that addresses to stack memory are not leaked outside the function">, |
| 53 | DescFile<"StackAddrLeakChecker.cpp">; |
| 54 | |
| Argyrios Kyrtzidis | 26c05b1 | 2011-02-15 07:42:38 +0000 | [diff] [blame] | 55 | def UnixAPIChecker : Checker<"API">, |
| Argyrios Kyrtzidis | 027a6ab | 2011-02-15 07:42:33 +0000 | [diff] [blame] | 56 | InPackage<Unix>, |
| Argyrios Kyrtzidis | 027a6ab | 2011-02-15 07:42:33 +0000 | [diff] [blame] | 57 | HelpText<"Check calls to various UNIX/Posix functions">, |
| 58 | DescFile<"UnixAPIChecker.cpp">; |
| 59 | |
| Argyrios Kyrtzidis | 26c05b1 | 2011-02-15 07:42:38 +0000 | [diff] [blame] | 60 | def MacOSXAPIChecker : Checker<"API">, |
| Argyrios Kyrtzidis | 027a6ab | 2011-02-15 07:42:33 +0000 | [diff] [blame] | 61 | InPackage<MacOSX>, |
| Argyrios Kyrtzidis | 027a6ab | 2011-02-15 07:42:33 +0000 | [diff] [blame] | 62 | HelpText<"Check calls to various MacOSXAPIChecker">, |
| 63 | DescFile<"MacOSXAPIChecker.cpp">; |
| Argyrios Kyrtzidis | a0decc9 | 2011-02-15 21:25:03 +0000 | [diff] [blame] | 64 | |
| 65 | //===----------------------------------------------------------------------===// |
| 66 | // Hidden experimental checkers. |
| 67 | //===----------------------------------------------------------------------===// |
| 68 | |
| 69 | let Group = AllExperimental in { |
| 70 | |
| 71 | def CStringChecker : Checker<"CString">, |
| 72 | InPackage<CoreExperimental>, |
| 73 | HelpText<"Check calls to functions in <string.h>">, |
| 74 | DescFile<"CStringChecker.cpp">; |
| 75 | |
| 76 | def UnreachableCodeChecker : Checker<"UnreachableCode">, |
| 77 | InPackage<CoreExperimental>, |
| 78 | HelpText<"Check unreachable code">, |
| 79 | DescFile<"UnreachableCodeChecker.cpp">; |
| 80 | |
| Argyrios Kyrtzidis | c9f2e0f | 2011-02-15 22:55:14 +0000 | [diff] [blame^] | 81 | def IdempotentOperationChecker : Checker<"IdempotentOps">, |
| 82 | InPackage<CoreExperimental>, |
| 83 | HelpText<"Warn about idempotent operations">, |
| 84 | DescFile<"IdempotentOperationChecker.cpp">; |
| 85 | |
| Argyrios Kyrtzidis | a0decc9 | 2011-02-15 21:25:03 +0000 | [diff] [blame] | 86 | def ChrootChecker : Checker<"Chroot">, |
| 87 | InPackage<UnixExperimental>, |
| 88 | HelpText<"Check improper use of chroot">, |
| 89 | DescFile<"ChrootChecker.cpp">; |
| 90 | |
| 91 | def PthreadLockChecker : Checker<"PthreadLock">, |
| 92 | InPackage<UnixExperimental>, |
| 93 | HelpText<"Simple lock -> unlock checker">, |
| 94 | DescFile<"PthreadLockChecker.cpp">; |
| 95 | |
| 96 | def StreamChecker : Checker<"Stream">, |
| 97 | InPackage<UnixExperimental>, |
| 98 | HelpText<"Check stream handling functions">, |
| 99 | DescFile<"StreamChecker.cpp">; |
| 100 | |
| 101 | } |