Checkers.td revision 69355798abdbe5e78d1185af7d4600b9355b5814
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 10include "clang/StaticAnalyzer/Checkers/CheckerBase.td" 11 12//===----------------------------------------------------------------------===// 13// Packages. 14//===----------------------------------------------------------------------===// 15 16def Core : Package<"core">; 17def Cocoa : Package<"cocoa">; 18def Unix : Package<"unix">; 19def MacOSX : Package<"macosx">; 20 21def CoreExperimental : Package<"experimental">, 22 InPackage<Core>, Hidden; 23 24def CocoaExperimental : Package<"experimental">, 25 InPackage<Cocoa>, Hidden; 26 27def UnixExperimental : Package<"experimental">, 28 InPackage<Unix>, Hidden; 29 30def LLVM : Package<"llvm">; 31def Debug : Package<"debug">; 32 33//===----------------------------------------------------------------------===// 34// Groups. 35//===----------------------------------------------------------------------===// 36 37def AllExperimental : CheckerGroup<"all-experimental">, 38 Hidden; 39 40//===----------------------------------------------------------------------===// 41// Checkers. 42//===----------------------------------------------------------------------===// 43 44let ParentPackage = Cocoa in { 45 46def ObjCSelfInitChecker : Checker<"SelfInit">, 47 HelpText<"Check that 'self' is propely initialized inside an initializer method">, 48 DescFile<"ObjCSelfInitChecker.cpp">; 49 50def ObjCAtSyncChecker : Checker<"AtSync">, 51 HelpText<"Check for null pointers used as mutexes for @synchronized">, 52 DescFile<"ObjCAtSyncChecker.cpp">; 53 54def NilArgChecker : Checker<"NilArg">, 55 HelpText<"Check for prohibited nil arguments to ObjC method calls">, 56 DescFile<"BasicObjCFoundationChecks.cpp">; 57 58def ClassReleaseChecker : Checker<"ClassRelease">, 59 HelpText<"Check for sending 'retain', 'release', or 'autorelease' directly to a Class">, 60 DescFile<"BasicObjCFoundationChecks.cpp">; 61 62def NSAutoreleasePoolChecker : Checker<"NSAutoreleasePool">, 63 HelpText<"Warn for subpar uses of NSAutoreleasePool">, 64 DescFile<"NSAutoreleasePoolChecker.cpp">; 65 66def ObjCMethSigsChecker : Checker<"MethodSigs">, 67 HelpText<"Warn about Objective-C method signatures with type incompatibilities">, 68 DescFile<"CheckObjCInstMethSignature.cpp">; 69 70def ObjCUnusedIvarsChecker : Checker<"UnusedIvars">, 71 HelpText<"Warn about private ivars that are never used">, 72 DescFile<"ObjCUnusedIVarsChecker.cpp">; 73 74} 75 76def StackAddrLeakChecker : Checker<"StackAddrLeak">, 77 InPackage<Core>, 78 HelpText<"Check that addresses to stack memory are not leaked outside the function">, 79 DescFile<"StackAddrLeakChecker.cpp">; 80 81def DeadStoresChecker : Checker<"DeadStores">, 82 InPackage<Core>, 83 HelpText<"Check for stores to dead variables">, 84 DescFile<"DeadStoresChecker.cpp">; 85 86def UnixAPIChecker : Checker<"API">, 87 InPackage<Unix>, 88 HelpText<"Check calls to various UNIX/Posix functions">, 89 DescFile<"UnixAPIChecker.cpp">; 90 91def MacOSXAPIChecker : Checker<"API">, 92 InPackage<MacOSX>, 93 HelpText<"Check calls to various MacOSXAPIChecker">, 94 DescFile<"MacOSXAPIChecker.cpp">; 95 96def CFNumberCreateChecker : Checker<"CFNumber">, 97 InPackage<MacOSX>, 98 HelpText<"Check for CFNumberCreate">, 99 DescFile<"BasicObjCFoundationChecks.cpp">; 100 101def CFRetainReleaseChecker : Checker<"CFRetainRelease">, 102 InPackage<MacOSX>, 103 HelpText<"Check for null arguments to CFRetain/CFRelease">, 104 DescFile<"BasicObjCFoundationChecks.cpp">; 105 106def LLVMConventionsChecker : Checker<"Conventions">, 107 InPackage<LLVM>, 108 HelpText<"Check code for LLVM codebase conventions">, 109 DescFile<"LLVMConventionsChecker.cpp">; 110 111def LiveVariablesDumper : Checker<"DumpLiveVars">, 112 InPackage<Debug>, 113 HelpText<"Print results of live variable analysis">, 114 DescFile<"DebugCheckers.cpp">; 115 116def CFGViewer : Checker<"ViewCFG">, 117 InPackage<Debug>, 118 HelpText<"View Control-Flow Graphs using GraphViz">, 119 DescFile<"DebugCheckers.cpp">; 120 121def CFGDumper : Checker<"DumpCFG">, 122 InPackage<Debug>, 123 HelpText<"Display Control-Flow Graphs">, 124 DescFile<"DebugCheckers.cpp">; 125 126//===----------------------------------------------------------------------===// 127// Hidden experimental checkers. 128//===----------------------------------------------------------------------===// 129 130let Group = AllExperimental in { 131 132def CStringChecker : Checker<"CString">, 133 InPackage<CoreExperimental>, 134 HelpText<"Check calls to functions in <string.h>">, 135 DescFile<"CStringChecker.cpp">; 136 137def UnreachableCodeChecker : Checker<"UnreachableCode">, 138 InPackage<CoreExperimental>, 139 HelpText<"Check unreachable code">, 140 DescFile<"UnreachableCodeChecker.cpp">; 141 142def IdempotentOperationChecker : Checker<"IdempotentOps">, 143 InPackage<CoreExperimental>, 144 HelpText<"Warn about idempotent operations">, 145 DescFile<"IdempotentOperationChecker.cpp">; 146 147def CastToStructChecker : Checker<"CastToStruct">, 148 InPackage<CoreExperimental>, 149 HelpText<"Check for cast from non-struct pointer to struct pointer">, 150 DescFile<"CastToStructChecker.cpp">; 151 152def FixedAddressChecker : Checker<"FixedAddr">, 153 InPackage<CoreExperimental>, 154 HelpText<"Check for assignment of a fixed address to a pointer">, 155 DescFile<"FixedAddressChecker.cpp">; 156 157def PointerArithChecker : Checker<"PointerArithm">, 158 InPackage<CoreExperimental>, 159 HelpText<"Check for pointer arithmetic on locations other than array elements">, 160 DescFile<"PointerArithChecker">; 161 162def PointerSubChecker : Checker<"PointerSub">, 163 InPackage<CoreExperimental>, 164 HelpText<"Check for pointer subtractions on two pointers pointing to different memory chunks">, 165 DescFile<"PointerSubChecker">; 166 167def SizeofPointerChecker : Checker<"SizeofPtr">, 168 InPackage<CoreExperimental>, 169 HelpText<"Warn about unintended use of sizeof() on pointer expressions">, 170 DescFile<"CheckSizeofPointer.cpp">; 171 172def SecuritySyntaxChecker : Checker<"SecuritySyntactic">, 173 InPackage<CoreExperimental>, 174 HelpText<"Perform quick security checks that require no data flow">, 175 DescFile<"CheckSecuritySyntaxOnly.cpp">; 176 177def ReturnPointerRangeChecker : Checker<"ReturnPtrRange">, 178 InPackage<CoreExperimental>, 179 HelpText<"Check for an out-of-bound pointer being returned to callers">, 180 DescFile<"ReturnPointerRangeChecker.cpp">; 181 182def ObjCDeallocChecker : Checker<"Dealloc">, 183 InPackage<CocoaExperimental>, 184 HelpText<"Warn about Objective-C classes that lack a correct implementation of -dealloc">, 185 DescFile<"CheckObjCDealloc.cpp">; 186 187def ChrootChecker : Checker<"Chroot">, 188 InPackage<UnixExperimental>, 189 HelpText<"Check improper use of chroot">, 190 DescFile<"ChrootChecker.cpp">; 191 192def PthreadLockChecker : Checker<"PthreadLock">, 193 InPackage<UnixExperimental>, 194 HelpText<"Simple lock -> unlock checker">, 195 DescFile<"PthreadLockChecker.cpp">; 196 197def StreamChecker : Checker<"Stream">, 198 InPackage<UnixExperimental>, 199 HelpText<"Check stream handling functions">, 200 DescFile<"StreamChecker.cpp">; 201 202} 203