Checkers.td revision 76a54246dbbe6cc3c74186e64f8ea0deb4a64ea2
1e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinson//===--- Checkers.td - Static Analyzer Checkers -===-----------------------===// 2e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinson// 3e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinson// The LLVM Compiler Infrastructure 4e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinson// 5e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinson// This file is distributed under the University of Illinois Open Source 6e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinson// License. See LICENSE.TXT for details. 7e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinson// 8e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinson//===----------------------------------------------------------------------===// 9e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinson 10e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinsoninclude "clang/StaticAnalyzer/Checkers/CheckerBase.td" 11e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinson 12e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinson//===----------------------------------------------------------------------===// 13e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinson// Packages. 14e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinson//===----------------------------------------------------------------------===// 15e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinson 16e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinsondef Experimental : Package<"experimental">; 17e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinson 18e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinsondef Core : Package<"core">; 19e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinsondef CoreBuiltin : Package<"builtin">, InPackage<Core>; 20e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinsondef CoreUninitialized : Package<"uninitialized">, InPackage<Core>; 21e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinsondef CoreExperimental : Package<"core">, InPackage<Experimental>, Hidden; 22e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinson 23e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinsondef Cplusplus : Package<"cplusplus">; 24e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinsondef CplusplusExperimental : Package<"cplusplus">, InPackage<Experimental>, Hidden; 25e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinson 26e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinsondef DeadCode : Package<"deadcode">; 27e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinsondef DeadCodeExperimental : Package<"deadcode">, InPackage<Experimental>, Hidden; 28e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinson 29e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinsondef Security : Package <"security">; 30e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinsondef InsecureAPI : Package<"insecureAPI">, InPackage<Security>; 31e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinsondef SecurityExperimental : Package<"security">, InPackage<Experimental>, Hidden; 32e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinsondef Taint : Package<"taint">, InPackage<SecurityExperimental>, Hidden; 33e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinson 34e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinsondef Unix : Package<"unix">; 35e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinsondef UnixExperimental : Package<"unix">, InPackage<Experimental>, Hidden; 36e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinson 37e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinsondef OSX : Package<"osx">; 38e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinsondef OSXExperimental : Package<"osx">, InPackage<Experimental>, Hidden; 39e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinsondef Cocoa : Package<"cocoa">, InPackage<OSX>; 40e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinsondef CocoaExperimental : Package<"cocoa">, InPackage<OSXExperimental>, Hidden; 41e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinsondef CoreFoundation : Package<"coreFoundation">, InPackage<OSX>; 42e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinson 43e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinsondef LLVM : Package<"llvm">; 44e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinsondef Debug : Package<"debug">; 45e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinson 46e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinson//===----------------------------------------------------------------------===// 47e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinson// Core Checkers. 48e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinson//===----------------------------------------------------------------------===// 49e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinson 50e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinsonlet ParentPackage = Core in { 51e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinson 52e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinsondef DereferenceChecker : Checker<"NullDereference">, 53e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinson HelpText<"Check for dereferences of null pointers">, 54e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinson DescFile<"DereferenceChecker.cpp">; 55e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinson 56e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinsondef CallAndMessageChecker : Checker<"CallAndMessage">, 57e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinson HelpText<"Check for logical errors for function calls and Objective-C message expressions (e.g., uninitialized arguments, null function pointers)">, 58e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinson DescFile<"CallAndMessageChecker.cpp">; 59e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinson 60e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinsondef AdjustedReturnValueChecker : Checker<"AdjustedReturnValue">, 61e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinson HelpText<"Check to see if the return value of a function call is different than the caller expects (e.g., from calls through function pointers)">, 62e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinson DescFile<"AdjustedReturnValueChecker.cpp">; 63e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinson 64e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinsondef AttrNonNullChecker : Checker<"AttributeNonNull">, 65e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinson HelpText<"Check for null pointers passed as arguments to a function whose arguments are marked with the 'nonnull' attribute">, 66e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinson DescFile<"AttrNonNullChecker.cpp">; 67e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinson 68e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinsondef VLASizeChecker : Checker<"VLASize">, 69e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinson HelpText<"Check for declarations of VLA of undefined or zero size">, 70e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinson DescFile<"VLASizeChecker.cpp">; 71e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinson 72e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinsondef DivZeroChecker : Checker<"DivideZero">, 73e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinson HelpText<"Check for division by zero">, 74e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinson DescFile<"DivZeroChecker.cpp">; 75e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinson 76e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinsondef UndefResultChecker : Checker<"UndefinedBinaryOperatorResult">, 77e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinson HelpText<"Check for undefined results of binary operators">, 78e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinson DescFile<"UndefResultChecker.cpp">; 79e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinson 80e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinsondef StackAddrEscapeChecker : Checker<"StackAddressEscape">, 81e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinson HelpText<"Check that addresses to stack memory do not escape the function">, 82e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinson DescFile<"StackAddrEscapeChecker.cpp">; 83e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinson 84e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinson} // end "core" 85e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinson 86e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinsonlet ParentPackage = CoreExperimental in { 87e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinson 88e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinsondef CastSizeChecker : Checker<"CastSize">, 89e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinson HelpText<"Check when casting a malloc'ed type T, whether the size is a multiple of the size of T">, 90e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinson DescFile<"CastSizeChecker.cpp">; 91e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinson 92e0ae5d7e87b1dd6e789803c1b9615a84bd7488b7Ian Parkinsondef CastToStructChecker : Checker<"CastToStruct">, 93 HelpText<"Check for cast from non-struct pointer to struct pointer">, 94 DescFile<"CastToStructChecker.cpp">; 95 96def FixedAddressChecker : Checker<"FixedAddr">, 97 HelpText<"Check for assignment of a fixed address to a pointer">, 98 DescFile<"FixedAddressChecker.cpp">; 99 100def PointerArithChecker : Checker<"PointerArithm">, 101 HelpText<"Check for pointer arithmetic on locations other than array elements">, 102 DescFile<"PointerArithChecker">; 103 104def PointerSubChecker : Checker<"PointerSub">, 105 HelpText<"Check for pointer subtractions on two pointers pointing to different memory chunks">, 106 DescFile<"PointerSubChecker">; 107 108def SizeofPointerChecker : Checker<"SizeofPtr">, 109 HelpText<"Warn about unintended use of sizeof() on pointer expressions">, 110 DescFile<"CheckSizeofPointer.cpp">; 111 112} // end "core.experimental" 113 114//===----------------------------------------------------------------------===// 115// Evaluate "builtin" functions. 116//===----------------------------------------------------------------------===// 117 118let ParentPackage = CoreBuiltin in { 119 120def NoReturnFunctionChecker : Checker<"NoReturnFunctions">, 121 HelpText<"Evaluate \"panic\" functions that are known to not return to the caller">, 122 DescFile<"NoReturnFunctionChecker.cpp">; 123 124def BuiltinFunctionChecker : Checker<"BuiltinFunctions">, 125 HelpText<"Evaluate compiler builtin functions (e.g., alloca())">, 126 DescFile<"BuiltinFunctionChecker.cpp">; 127 128} // end "core.builtin" 129 130//===----------------------------------------------------------------------===// 131// Uninitialized values checkers. 132//===----------------------------------------------------------------------===// 133 134let ParentPackage = CoreUninitialized in { 135 136def UndefinedArraySubscriptChecker : Checker<"ArraySubscript">, 137 HelpText<"Check for uninitialized values used as array subscripts">, 138 DescFile<"UndefinedArraySubscriptChecker.cpp">; 139 140def UndefinedAssignmentChecker : Checker<"Assign">, 141 HelpText<"Check for assigning uninitialized values">, 142 DescFile<"UndefinedAssignmentChecker.cpp">; 143 144def UndefBranchChecker : Checker<"Branch">, 145 HelpText<"Check for uninitialized values used as branch conditions">, 146 DescFile<"UndefBranchChecker.cpp">; 147 148def UndefCapturedBlockVarChecker : Checker<"CapturedBlockVariable">, 149 HelpText<"Check for blocks that capture uninitialized values">, 150 DescFile<"UndefCapturedBlockVarChecker.cpp">; 151 152def ReturnUndefChecker : Checker<"UndefReturn">, 153 HelpText<"Check for uninitialized values being returned to the caller">, 154 DescFile<"ReturnUndefChecker.cpp">; 155 156} // end "core.uninitialized" 157 158//===----------------------------------------------------------------------===// 159// C++ checkers. 160//===----------------------------------------------------------------------===// 161 162let ParentPackage = CplusplusExperimental in { 163 164def IteratorsChecker : Checker<"Iterators">, 165 HelpText<"Check improper uses of STL vector iterators">, 166 DescFile<"IteratorsChecker.cpp">; 167 168def VirtualCallChecker : Checker<"VirtualCall">, 169 HelpText<"Check virtual function calls during construction or destruction">, 170 DescFile<"VirtualCallChecker.cpp">; 171 172} // end: "cplusplus.experimental" 173 174//===----------------------------------------------------------------------===// 175// Deadcode checkers. 176//===----------------------------------------------------------------------===// 177 178let ParentPackage = DeadCode in { 179 180def DeadStoresChecker : Checker<"DeadStores">, 181 HelpText<"Check for values stored to variables that are never read afterwards">, 182 DescFile<"DeadStoresChecker.cpp">; 183 184def IdempotentOperationChecker : Checker<"IdempotentOperations">, 185 HelpText<"Warn about idempotent operations">, 186 DescFile<"IdempotentOperationChecker.cpp">; 187 188} // end DeadCode 189 190let ParentPackage = DeadCodeExperimental in { 191 192def UnreachableCodeChecker : Checker<"UnreachableCode">, 193 HelpText<"Check unreachable code">, 194 DescFile<"UnreachableCodeChecker.cpp">; 195 196} // end "deadcode.experimental" 197 198//===----------------------------------------------------------------------===// 199// Security checkers. 200//===----------------------------------------------------------------------===// 201 202let ParentPackage = InsecureAPI in { 203 def gets : Checker<"gets">, 204 HelpText<"Warn on uses of the 'gets' function">, 205 DescFile<"CheckSecuritySyntaxOnly.cpp">; 206 def getpw : Checker<"getpw">, 207 HelpText<"Warn on uses of the 'getpw' function">, 208 DescFile<"CheckSecuritySyntaxOnly.cpp">; 209 def mktemp : Checker<"mktemp">, 210 HelpText<"Warn on uses of the 'mktemp' function">, 211 DescFile<"CheckSecuritySyntaxOnly.cpp">; 212 def rand : Checker<"rand">, 213 HelpText<"Warn on uses of the 'rand', 'random', and related functions">, 214 DescFile<"CheckSecuritySyntaxOnly.cpp">; 215 def strcpy : Checker<"strcpy">, 216 HelpText<"Warn on uses of the 'strcpy' and 'strcat' functions">, 217 DescFile<"CheckSecuritySyntaxOnly.cpp">; 218 def vfork : Checker<"vfork">, 219 HelpText<"Warn on uses of the 'vfork' function">, 220 DescFile<"CheckSecuritySyntaxOnly.cpp">; 221} 222let ParentPackage = Security in { 223 def FloatLoopCounter : Checker<"FloatLoopCounter">, 224 HelpText<"Warn on using a floating point value as a loop counter (CERT: FLP30-C, FLP30-CPP)">, 225 DescFile<"CheckSecuritySyntaxOnly.cpp">; 226} 227 228let ParentPackage = SecurityExperimental in { 229 230def ArrayBoundChecker : Checker<"ArrayBound">, 231 HelpText<"Warn about buffer overflows (older checker)">, 232 DescFile<"ArrayBoundChecker.cpp">; 233 234def ArrayBoundCheckerV2 : Checker<"ArrayBoundV2">, 235 HelpText<"Warn about buffer overflows (newer checker)">, 236 DescFile<"ArrayBoundCheckerV2.cpp">; 237 238def ReturnPointerRangeChecker : Checker<"ReturnPtrRange">, 239 HelpText<"Check for an out-of-bound pointer being returned to callers">, 240 DescFile<"ReturnPointerRangeChecker.cpp">; 241 242def MallocOverflowSecurityChecker : Checker<"MallocOverflow">, 243 HelpText<"Check for overflows in the arguments to malloc()">, 244 DescFile<"MallocOverflowSecurityChecker.cpp">; 245 246} // end "security.experimental" 247 248//===----------------------------------------------------------------------===// 249// Taint checkers. 250//===----------------------------------------------------------------------===// 251 252let ParentPackage = Taint in { 253 254def GenericTaintChecker : Checker<"TaintPropagation">, 255 HelpText<"Generate taint information used by other checkers">, 256 DescFile<"GenericTaintChecker.cpp">; 257 258} // end "experimental.security.taint" 259 260//===----------------------------------------------------------------------===// 261// Unix API checkers. 262//===----------------------------------------------------------------------===// 263 264let ParentPackage = Unix in { 265 266def UnixAPIChecker : Checker<"API">, 267 HelpText<"Check calls to various UNIX/Posix functions">, 268 DescFile<"UnixAPIChecker.cpp">; 269 270} // end "unix" 271 272let ParentPackage = UnixExperimental in { 273 274def ChrootChecker : Checker<"Chroot">, 275 HelpText<"Check improper use of chroot">, 276 DescFile<"ChrootChecker.cpp">; 277 278def CStringChecker : Checker<"CString">, 279 HelpText<"Check calls to functions in <string.h>">, 280 DescFile<"CStringChecker.cpp">; 281 282def MallocChecker : Checker<"Malloc">, 283 HelpText<"Check for potential memory leaks, double free, and use-after-free problems">, 284 DescFile<"MallocChecker.cpp">; 285 286def MallocSizeofChecker : Checker<"MallocSizeof">, 287 HelpText<"Check for dubious malloc arguments involving sizeof">, 288 DescFile<"MallocSizeofChecker.cpp">; 289 290def PthreadLockChecker : Checker<"PthreadLock">, 291 HelpText<"Simple lock -> unlock checker">, 292 DescFile<"PthreadLockChecker.cpp">; 293 294def StreamChecker : Checker<"Stream">, 295 HelpText<"Check stream handling functions">, 296 DescFile<"StreamChecker.cpp">; 297 298} // end "unix.experimental" 299 300//===----------------------------------------------------------------------===// 301// Mac OS X, Cocoa, and Core Foundation checkers. 302//===----------------------------------------------------------------------===// 303 304let ParentPackage = OSX in { 305 306def MacOSXAPIChecker : Checker<"API">, 307 InPackage<OSX>, 308 HelpText<"Check for proper uses of various Mac OS X APIs">, 309 DescFile<"MacOSXAPIChecker.cpp">; 310 311def OSAtomicChecker : Checker<"AtomicCAS">, 312 InPackage<OSX>, 313 HelpText<"Evaluate calls to OSAtomic functions">, 314 DescFile<"OSAtomicChecker.cpp">; 315 316def MacOSKeychainAPIChecker : Checker<"SecKeychainAPI">, 317 InPackage<OSX>, 318 HelpText<"Check for proper uses of Secure Keychain APIs">, 319 DescFile<"MacOSKeychainAPIChecker.cpp">; 320 321} // end "macosx" 322 323let ParentPackage = Cocoa in { 324 325def ObjCAtSyncChecker : Checker<"AtSync">, 326 HelpText<"Check for null pointers used as mutexes for @synchronized">, 327 DescFile<"ObjCAtSyncChecker.cpp">; 328 329def NilArgChecker : Checker<"NilArg">, 330 HelpText<"Check for prohibited nil arguments to ObjC method calls">, 331 DescFile<"BasicObjCFoundationChecks.cpp">; 332 333def ClassReleaseChecker : Checker<"ClassRelease">, 334 HelpText<"Check for sending 'retain', 'release', or 'autorelease' directly to a Class">, 335 DescFile<"BasicObjCFoundationChecks.cpp">; 336 337def VariadicMethodTypeChecker : Checker<"VariadicMethodTypes">, 338 HelpText<"Check for passing non-Objective-C types to variadic methods that expect " 339 "only Objective-C types">, 340 DescFile<"BasicObjCFoundationChecks.cpp">; 341 342def NSAutoreleasePoolChecker : Checker<"NSAutoreleasePool">, 343 HelpText<"Warn for suboptimal uses of NSAutoreleasePool in Objective-C GC mode">, 344 DescFile<"NSAutoreleasePoolChecker.cpp">; 345 346def ObjCMethSigsChecker : Checker<"IncompatibleMethodTypes">, 347 HelpText<"Warn about Objective-C method signatures with type incompatibilities">, 348 DescFile<"CheckObjCInstMethSignature.cpp">; 349 350def ObjCUnusedIvarsChecker : Checker<"UnusedIvars">, 351 HelpText<"Warn about private ivars that are never used">, 352 DescFile<"ObjCUnusedIVarsChecker.cpp">; 353 354def NSErrorChecker : Checker<"NSError">, 355 HelpText<"Check usage of NSError** parameters">, 356 DescFile<"NSErrorChecker.cpp">; 357 358def RetainCountChecker : Checker<"RetainCount">, 359 HelpText<"Check for leaks and improper reference count management">, 360 DescFile<"RetainCountChecker.cpp">; 361 362} // end "cocoa" 363 364let ParentPackage = CocoaExperimental in { 365 366def ObjCSelfInitChecker : Checker<"SelfInit">, 367 HelpText<"Check that 'self' is properly initialized inside an initializer method">, 368 DescFile<"ObjCSelfInitChecker.cpp">; 369 370def ObjCDeallocChecker : Checker<"Dealloc">, 371 HelpText<"Warn about Objective-C classes that lack a correct implementation of -dealloc">, 372 DescFile<"CheckObjCDealloc.cpp">; 373 374} // end "cocoa.experimental" 375 376let ParentPackage = CoreFoundation in { 377 378def CFNumberCreateChecker : Checker<"CFNumber">, 379 HelpText<"Check for proper uses of CFNumberCreate">, 380 DescFile<"BasicObjCFoundationChecks.cpp">; 381 382def CFRetainReleaseChecker : Checker<"CFRetainRelease">, 383 HelpText<"Check for null arguments to CFRetain/CFRelease">, 384 DescFile<"BasicObjCFoundationChecks.cpp">; 385 386def CFErrorChecker : Checker<"CFError">, 387 HelpText<"Check usage of CFErrorRef* parameters">, 388 DescFile<"NSErrorChecker.cpp">; 389} 390 391//===----------------------------------------------------------------------===// 392// Checkers for LLVM development. 393//===----------------------------------------------------------------------===// 394 395def LLVMConventionsChecker : Checker<"Conventions">, 396 InPackage<LLVM>, 397 HelpText<"Check code for LLVM codebase conventions">, 398 DescFile<"LLVMConventionsChecker.cpp">; 399 400//===----------------------------------------------------------------------===// 401// Debugging checkers (for analyzer development). 402//===----------------------------------------------------------------------===// 403 404let ParentPackage = Debug in { 405 406def DominatorsTreeDumper : Checker<"DumpDominators">, 407 HelpText<"Print the dominance tree for a given CFG">, 408 DescFile<"DebugCheckers.cpp">; 409 410def LiveVariablesDumper : Checker<"DumpLiveVars">, 411 HelpText<"Print results of live variable analysis">, 412 DescFile<"DebugCheckers.cpp">; 413 414def CFGViewer : Checker<"ViewCFG">, 415 HelpText<"View Control-Flow Graphs using GraphViz">, 416 DescFile<"DebugCheckers.cpp">; 417 418def CFGDumper : Checker<"DumpCFG">, 419 HelpText<"Display Control-Flow Graphs">, 420 DescFile<"DebugCheckers.cpp">; 421 422def AnalyzerStatsChecker : Checker<"Stats">, 423 HelpText<"Emit warnings with analyzer statistics">, 424 DescFile<"AnalyzerStatsChecker.cpp">; 425 426def TaintTesterChecker : Checker<"TaintTest">, 427 HelpText<"Mark tainted symbols as such.">, 428 DescFile<"TaintTesterChecker.cpp">; 429 430} // end "debug" 431 432