contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Checkers/Checkers.td

   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
  12 //===----------------------------------------------------------------------===//
  13 // Packages.
  14 //===----------------------------------------------------------------------===//
  15
  16 // The Alpha package is for checkers that have too many false positives to be
  17 // turned on by default. The hierarchy under Alpha should be organized in the
  18 // hierarchy checkers would have had if they were truly at the top level.
  19 // (For example, a Cocoa-specific checker that is alpha should be in
  20 // alpha.osx.cocoa).
  21 def Alpha : Package<"alpha">;
  22
  23 def Core : Package<"core">;
  24 def CoreBuiltin : Package<"builtin">, InPackage<Core>;
  25 def CoreUninitialized  : Package<"uninitialized">, InPackage<Core>;
  26 def CoreAlpha : Package<"core">, InPackage<Alpha>, Hidden;
  27
  28 // The OptIn package is for checkers that are not alpha and that would normally
  29 // be on by default but where the driver does not have enough information to
  30 // determine when they are applicable. For example, localizability checkers fit
  31 // this criterion because the driver cannot determine whether a project is
  32 // localized or not -- this is best determined at the IDE or build-system level.
  33 //
  34 // The checker hierarchy under OptIn should mirror that in Alpha: checkers
  35 // should be organized as if they were at the top level.
  36 //
  37 // Note: OptIn is *not* intended for checkers that are too noisy to be on by
  38 // default. Such checkers belong in the alpha package.
  39 def OptIn : Package<"optin">;
  40
  41 def Nullability : Package<"nullability">;
  42
  43 def Cplusplus : Package<"cplusplus">;
  44 def CplusplusAlpha : Package<"cplusplus">, InPackage<Alpha>, Hidden;
  45
  46 def DeadCode : Package<"deadcode">;
  47 def DeadCodeAlpha : Package<"deadcode">, InPackage<Alpha>, Hidden;
  48
  49 def Performance : Package<"performance">, InPackage<OptIn>;
  50
  51 def Security : Package <"security">;
  52 def InsecureAPI : Package<"insecureAPI">, InPackage<Security>;
  53 def SecurityAlpha : Package<"security">, InPackage<Alpha>, Hidden;
  54 def Taint : Package<"taint">, InPackage<SecurityAlpha>, Hidden;
  55
  56 def Unix : Package<"unix">;
  57 def UnixAlpha : Package<"unix">, InPackage<Alpha>, Hidden;
  58 def CString : Package<"cstring">, InPackage<Unix>, Hidden;
  59 def CStringAlpha : Package<"cstring">, InPackage<UnixAlpha>, Hidden;
  60
  61 def OSX : Package<"osx">;
  62 def OSXAlpha : Package<"osx">, InPackage<Alpha>, Hidden;
  63 def OSXOptIn : Package<"osx">, InPackage<OptIn>;
  64
  65 def Cocoa : Package<"cocoa">, InPackage<OSX>;
  66 def CocoaAlpha : Package<"cocoa">, InPackage<OSXAlpha>, Hidden;
  67 def CocoaOptIn : Package<"cocoa">, InPackage<OSXOptIn>;
  68
  69 def CoreFoundation : Package<"coreFoundation">, InPackage<OSX>;
  70 def Containers : Package<"containers">, InPackage<CoreFoundation>;
  71
  72 def LocalizabilityAlpha : Package<"localizability">, InPackage<CocoaAlpha>;
  73 def LocalizabilityOptIn : Package<"localizability">, InPackage<CocoaOptIn>;
  74
  75 def MPI : Package<"mpi">, InPackage<OptIn>;
  76
  77 def LLVM : Package<"llvm">;
  78 def Debug : Package<"debug">;
  79
  80 //===----------------------------------------------------------------------===//
  81 // Core Checkers.
  82 //===----------------------------------------------------------------------===//
  83
  84 let ParentPackage = Core in {
  85
  86 def DereferenceChecker : Checker<"NullDereference">,
  87   HelpText<"Check for dereferences of null pointers">,
  88   DescFile<"DereferenceChecker.cpp">;
  89
  90 def CallAndMessageChecker : Checker<"CallAndMessage">,
  91   HelpText<"Check for logical errors for function calls and Objective-C message expressions (e.g., uninitialized arguments, null function pointers)">,
  92   DescFile<"CallAndMessageChecker.cpp">;
  93
  94 def NonNullParamChecker : Checker<"NonNullParamChecker">,
  95   HelpText<"Check for null pointers passed as arguments to a function whose arguments are references or marked with the 'nonnull' attribute">,
  96   DescFile<"NonNullParamChecker.cpp">;
  97
  98 def VLASizeChecker : Checker<"VLASize">,
  99   HelpText<"Check for declarations of VLA of undefined or zero size">,
 100   DescFile<"VLASizeChecker.cpp">;
 101
 102 def DivZeroChecker : Checker<"DivideZero">,
 103   HelpText<"Check for division by zero">,
 104   DescFile<"DivZeroChecker.cpp">;
 105
 106 def UndefResultChecker : Checker<"UndefinedBinaryOperatorResult">,
 107   HelpText<"Check for undefined results of binary operators">,
 108   DescFile<"UndefResultChecker.cpp">;
 109
 110 def StackAddrEscapeChecker : Checker<"StackAddressEscape">,
 111   HelpText<"Check that addresses to stack memory do not escape the function">,
 112   DescFile<"StackAddrEscapeChecker.cpp">;
 113
 114 def DynamicTypePropagation : Checker<"DynamicTypePropagation">,
 115   HelpText<"Generate dynamic type information">,
 116   DescFile<"DynamicTypePropagation.cpp">;
 117
 118 } // end "core"
 119
 120 let ParentPackage = CoreAlpha in {
 121
 122 def BoolAssignmentChecker : Checker<"BoolAssignment">,
 123   HelpText<"Warn about assigning non-{0,1} values to Boolean variables">,
 124   DescFile<"BoolAssignmentChecker.cpp">;
 125
 126 def CastSizeChecker : Checker<"CastSize">,
 127   HelpText<"Check when casting a malloc'ed type T, whether the size is a multiple of the size of T">,
 128   DescFile<"CastSizeChecker.cpp">;
 129
 130 def CastToStructChecker : Checker<"CastToStruct">,
 131   HelpText<"Check for cast from non-struct pointer to struct pointer">,
 132   DescFile<"CastToStructChecker.cpp">;
 133
 134 def IdenticalExprChecker : Checker<"IdenticalExpr">,
 135   HelpText<"Warn about unintended use of identical expressions in operators">,
 136   DescFile<"IdenticalExprChecker.cpp">;
 137
 138 def FixedAddressChecker : Checker<"FixedAddr">,
 139   HelpText<"Check for assignment of a fixed address to a pointer">,
 140   DescFile<"FixedAddressChecker.cpp">;
 141
 142 def PointerArithChecker : Checker<"PointerArithm">,
 143   HelpText<"Check for pointer arithmetic on locations other than array elements">,
 144   DescFile<"PointerArithChecker">;
 145
 146 def PointerSubChecker : Checker<"PointerSub">,
 147   HelpText<"Check for pointer subtractions on two pointers pointing to different memory chunks">,
 148   DescFile<"PointerSubChecker">;
 149
 150 def SizeofPointerChecker : Checker<"SizeofPtr">,
 151   HelpText<"Warn about unintended use of sizeof() on pointer expressions">,
 152   DescFile<"CheckSizeofPointer.cpp">;
 153
 154 def CallAndMessageUnInitRefArg : Checker<"CallAndMessageUnInitRefArg">,
 155   HelpText<"Check for logical errors for function calls and Objective-C message expressions (e.g., uninitialized arguments, null function pointers, and pointer to undefined variables)">,
 156   DescFile<"CallAndMessageChecker.cpp">;
 157
 158 def TestAfterDivZeroChecker : Checker<"TestAfterDivZero">,
 159   HelpText<"Check for division by variable that is later compared against 0. Either the comparison is useless or there is division by zero.">,
 160   DescFile<"TestAfterDivZeroChecker.cpp">;
 161
 162 def DynamicTypeChecker : Checker<"DynamicTypeChecker">,
 163   HelpText<"Check for cases where the dynamic and the static type of an object are unrelated.">,
 164   DescFile<"DynamicTypeChecker.cpp">;
 165
 166 } // end "alpha.core"
 167
 168 let ParentPackage = Nullability in {
 169
 170 def NullPassedToNonnullChecker : Checker<"NullPassedToNonnull">,
 171   HelpText<"Warns when a null pointer is passed to a pointer which has a _Nonnull type.">,
 172   DescFile<"NullabilityChecker.cpp">;
 173
 174 def NullReturnedFromNonnullChecker : Checker<"NullReturnedFromNonnull">,
 175   HelpText<"Warns when a null pointer is returned from a function that has _Nonnull return type.">,
 176   DescFile<"NullabilityChecker.cpp">;
 177
 178 def NullableDereferencedChecker : Checker<"NullableDereferenced">,
 179   HelpText<"Warns when a nullable pointer is dereferenced.">,
 180   DescFile<"NullabilityChecker.cpp">;
 181
 182 def NullablePassedToNonnullChecker : Checker<"NullablePassedToNonnull">,
 183   HelpText<"Warns when a nullable pointer is passed to a pointer which has a _Nonnull type.">,
 184   DescFile<"NullabilityChecker.cpp">;
 185
 186 def NullableReturnedFromNonnullChecker : Checker<"NullablePassedToNonnull">,
 187   HelpText<"Warns when a nullable pointer is returned from a function that has _Nonnull return type.">,
 188   DescFile<"NullabilityChecker.cpp">;
 189
 190 } // end "nullability"
 191
 192 //===----------------------------------------------------------------------===//
 193 // Evaluate "builtin" functions.
 194 //===----------------------------------------------------------------------===//
 195
 196 let ParentPackage = CoreBuiltin in {
 197
 198 def NoReturnFunctionChecker : Checker<"NoReturnFunctions">,
 199   HelpText<"Evaluate \"panic\" functions that are known to not return to the caller">,
 200   DescFile<"NoReturnFunctionChecker.cpp">;
 201
 202 def BuiltinFunctionChecker : Checker<"BuiltinFunctions">,
 203   HelpText<"Evaluate compiler builtin functions (e.g., alloca())">,
 204   DescFile<"BuiltinFunctionChecker.cpp">;
 205
 206 } // end "core.builtin"
 207
 208 //===----------------------------------------------------------------------===//
 209 // Uninitialized values checkers.
 210 //===----------------------------------------------------------------------===//
 211
 212 let ParentPackage = CoreUninitialized in {
 213
 214 def UndefinedArraySubscriptChecker : Checker<"ArraySubscript">,
 215   HelpText<"Check for uninitialized values used as array subscripts">,
 216   DescFile<"UndefinedArraySubscriptChecker.cpp">;
 217
 218 def UndefinedAssignmentChecker : Checker<"Assign">,
 219   HelpText<"Check for assigning uninitialized values">,
 220   DescFile<"UndefinedAssignmentChecker.cpp">;
 221
 222 def UndefBranchChecker : Checker<"Branch">,
 223   HelpText<"Check for uninitialized values used as branch conditions">,
 224   DescFile<"UndefBranchChecker.cpp">;
 225
 226 def UndefCapturedBlockVarChecker : Checker<"CapturedBlockVariable">,
 227   HelpText<"Check for blocks that capture uninitialized values">,
 228   DescFile<"UndefCapturedBlockVarChecker.cpp">;
 229
 230 def ReturnUndefChecker : Checker<"UndefReturn">,
 231   HelpText<"Check for uninitialized values being returned to the caller">,
 232   DescFile<"ReturnUndefChecker.cpp">;
 233
 234 } // end "core.uninitialized"
 235
 236 //===----------------------------------------------------------------------===//
 237 // C++ checkers.
 238 //===----------------------------------------------------------------------===//
 239
 240 let ParentPackage = Cplusplus in {
 241
 242 def NewDeleteChecker : Checker<"NewDelete">,
 243   HelpText<"Check for double-free and use-after-free problems. Traces memory managed by new/delete.">,
 244   DescFile<"MallocChecker.cpp">;
 245
 246 def NewDeleteLeaksChecker : Checker<"NewDeleteLeaks">,
 247   HelpText<"Check for memory leaks. Traces memory managed by new/delete.">,
 248   DescFile<"MallocChecker.cpp">;
 249
 250 } // end: "cplusplus"
 251
 252 let ParentPackage = CplusplusAlpha in {
 253
 254 def VirtualCallChecker : Checker<"VirtualCall">,
 255   HelpText<"Check virtual function calls during construction or destruction">,
 256   DescFile<"VirtualCallChecker.cpp">;
 257
 258 } // end: "alpha.cplusplus"
 259
 260 //===----------------------------------------------------------------------===//
 261 // Deadcode checkers.
 262 //===----------------------------------------------------------------------===//
 263
 264 let ParentPackage = DeadCode in {
 265
 266 def DeadStoresChecker : Checker<"DeadStores">,
 267   HelpText<"Check for values stored to variables that are never read afterwards">,
 268   DescFile<"DeadStoresChecker.cpp">;
 269 } // end DeadCode
 270
 271 let ParentPackage = DeadCodeAlpha in {
 272
 273 def UnreachableCodeChecker : Checker<"UnreachableCode">,
 274   HelpText<"Check unreachable code">,
 275   DescFile<"UnreachableCodeChecker.cpp">;
 276
 277 } // end "alpha.deadcode"
 278
 279 //===----------------------------------------------------------------------===//
 280 // Performance checkers.
 281 //===----------------------------------------------------------------------===//
 282
 283 let ParentPackage = Performance in {
 284
 285 def PaddingChecker : Checker<"Padding">,
 286   HelpText<"Check for excessively padded structs.">,
 287   DescFile<"PaddingChecker.cpp">;
 288
 289 } // end: "padding"
 290
 291 //===----------------------------------------------------------------------===//
 292 // Security checkers.
 293 //===----------------------------------------------------------------------===//
 294
 295 let ParentPackage = InsecureAPI in {
 296   def gets : Checker<"gets">,
 297     HelpText<"Warn on uses of the 'gets' function">,
 298     DescFile<"CheckSecuritySyntaxOnly.cpp">;
 299   def getpw : Checker<"getpw">,
 300     HelpText<"Warn on uses of the 'getpw' function">,
 301     DescFile<"CheckSecuritySyntaxOnly.cpp">;
 302   def mktemp : Checker<"mktemp">,
 303     HelpText<"Warn on uses of the 'mktemp' function">,
 304     DescFile<"CheckSecuritySyntaxOnly.cpp">;
 305   def mkstemp : Checker<"mkstemp">,
 306     HelpText<"Warn when 'mkstemp' is passed fewer than 6 X's in the format string">,
 307     DescFile<"CheckSecuritySyntaxOnly.cpp">;
 308   def rand : Checker<"rand">,
 309     HelpText<"Warn on uses of the 'rand', 'random', and related functions">,
 310     DescFile<"CheckSecuritySyntaxOnly.cpp">;
 311   def strcpy : Checker<"strcpy">,
 312     HelpText<"Warn on uses of the 'strcpy' and 'strcat' functions">,
 313     DescFile<"CheckSecuritySyntaxOnly.cpp">;
 314   def vfork : Checker<"vfork">,
 315     HelpText<"Warn on uses of the 'vfork' function">,
 316     DescFile<"CheckSecuritySyntaxOnly.cpp">;
 317   def UncheckedReturn : Checker<"UncheckedReturn">,
 318     HelpText<"Warn on uses of functions whose return values must be always checked">,
 319     DescFile<"CheckSecuritySyntaxOnly.cpp">;
 320 }
 321 let ParentPackage = Security in {
 322   def FloatLoopCounter : Checker<"FloatLoopCounter">,
 323     HelpText<"Warn on using a floating point value as a loop counter (CERT: FLP30-C, FLP30-CPP)">,
 324     DescFile<"CheckSecuritySyntaxOnly.cpp">;
 325 }
 326
 327 let ParentPackage = SecurityAlpha in {
 328
 329 def ArrayBoundChecker : Checker<"ArrayBound">,
 330   HelpText<"Warn about buffer overflows (older checker)">,
 331   DescFile<"ArrayBoundChecker.cpp">;
 332
 333 def ArrayBoundCheckerV2 : Checker<"ArrayBoundV2">,
 334   HelpText<"Warn about buffer overflows (newer checker)">,
 335   DescFile<"ArrayBoundCheckerV2.cpp">;
 336
 337 def ReturnPointerRangeChecker : Checker<"ReturnPtrRange">,
 338   HelpText<"Check for an out-of-bound pointer being returned to callers">,
 339   DescFile<"ReturnPointerRangeChecker.cpp">;
 340
 341 def MallocOverflowSecurityChecker : Checker<"MallocOverflow">,
 342   HelpText<"Check for overflows in the arguments to malloc()">,
 343   DescFile<"MallocOverflowSecurityChecker.cpp">;
 344
 345 } // end "alpha.security"
 346
 347 //===----------------------------------------------------------------------===//
 348 // Taint checkers.
 349 //===----------------------------------------------------------------------===//
 350
 351 let ParentPackage = Taint in {
 352
 353 def GenericTaintChecker : Checker<"TaintPropagation">,
 354   HelpText<"Generate taint information used by other checkers">,
 355   DescFile<"GenericTaintChecker.cpp">;
 356
 357 } // end "alpha.security.taint"
 358
 359 //===----------------------------------------------------------------------===//
 360 // Unix API checkers.
 361 //===----------------------------------------------------------------------===//
 362
 363 let ParentPackage = Unix in {
 364
 365 def UnixAPIChecker : Checker<"API">,
 366   HelpText<"Check calls to various UNIX/Posix functions">,
 367   DescFile<"UnixAPIChecker.cpp">;
 368
 369 def MallocChecker: Checker<"Malloc">,
 370   HelpText<"Check for memory leaks, double free, and use-after-free problems. Traces memory managed by malloc()/free().">,
 371   DescFile<"MallocChecker.cpp">;
 372
 373 def MallocSizeofChecker : Checker<"MallocSizeof">,
 374   HelpText<"Check for dubious malloc arguments involving sizeof">,
 375   DescFile<"MallocSizeofChecker.cpp">;
 376
 377 def MismatchedDeallocatorChecker : Checker<"MismatchedDeallocator">,
 378   HelpText<"Check for mismatched deallocators.">,
 379   DescFile<"MallocChecker.cpp">;
 380
 381 def VforkChecker : Checker<"Vfork">,
 382   HelpText<"Check for proper usage of vfork">,
 383   DescFile<"VforkChecker.cpp">;
 384
 385 } // end "unix"
 386
 387 let ParentPackage = UnixAlpha in {
 388
 389 def ChrootChecker : Checker<"Chroot">,
 390   HelpText<"Check improper use of chroot">,
 391   DescFile<"ChrootChecker.cpp">;
 392
 393 def PthreadLockChecker : Checker<"PthreadLock">,
 394   HelpText<"Simple lock -> unlock checker">,
 395   DescFile<"PthreadLockChecker.cpp">;
 396
 397 def StreamChecker : Checker<"Stream">,
 398   HelpText<"Check stream handling functions">,
 399   DescFile<"StreamChecker.cpp">;
 400
 401 def SimpleStreamChecker : Checker<"SimpleStream">,
 402   HelpText<"Check for misuses of stream APIs">,
 403   DescFile<"SimpleStreamChecker.cpp">;
 404
 405 } // end "alpha.unix"
 406
 407 let ParentPackage = CString in {
 408
 409 def CStringNullArg : Checker<"NullArg">,
 410   HelpText<"Check for null pointers being passed as arguments to C string functions">,
 411   DescFile<"CStringChecker.cpp">;
 412
 413 def CStringSyntaxChecker : Checker<"BadSizeArg">,
 414   HelpText<"Check the size argument passed into C string functions for common erroneous patterns">,
 415   DescFile<"CStringSyntaxChecker.cpp">;
 416 }
 417
 418 let ParentPackage = CStringAlpha in {
 419
 420 def CStringOutOfBounds : Checker<"OutOfBounds">,
 421   HelpText<"Check for out-of-bounds access in string functions">,
 422   DescFile<"CStringChecker.cpp">;
 423
 424 def CStringBufferOverlap : Checker<"BufferOverlap">,
 425   HelpText<"Checks for overlap in two buffer arguments">,
 426   DescFile<"CStringChecker.cpp">;
 427
 428 def CStringNotNullTerm : Checker<"NotNullTerminated">,
 429   HelpText<"Check for arguments which are not null-terminating strings">,
 430   DescFile<"CStringChecker.cpp">;
 431 }
 432
 433 //===----------------------------------------------------------------------===//
 434 // Mac OS X, Cocoa, and Core Foundation checkers.
 435 //===----------------------------------------------------------------------===//
 436
 437 let ParentPackage = OSX in {
 438
 439 def MacOSXAPIChecker : Checker<"API">,
 440   InPackage<OSX>,
 441   HelpText<"Check for proper uses of various Apple APIs">,
 442   DescFile<"MacOSXAPIChecker.cpp">;
 443
 444 def MacOSKeychainAPIChecker : Checker<"SecKeychainAPI">,
 445   InPackage<OSX>,
 446   HelpText<"Check for proper uses of Secure Keychain APIs">,
 447   DescFile<"MacOSKeychainAPIChecker.cpp">;
 448
 449 } // end "osx"
 450
 451 let ParentPackage = Cocoa in {
 452
 453 def ObjCAtSyncChecker : Checker<"AtSync">,
 454   HelpText<"Check for nil pointers used as mutexes for @synchronized">,
 455   DescFile<"ObjCAtSyncChecker.cpp">;
 456
 457 def NilArgChecker : Checker<"NilArg">,
 458   HelpText<"Check for prohibited nil arguments to ObjC method calls">,
 459   DescFile<"BasicObjCFoundationChecks.cpp">;
 460
 461 def ClassReleaseChecker : Checker<"ClassRelease">,
 462   HelpText<"Check for sending 'retain', 'release', or 'autorelease' directly to a Class">,
 463   DescFile<"BasicObjCFoundationChecks.cpp">;
 464
 465 def VariadicMethodTypeChecker : Checker<"VariadicMethodTypes">,
 466   HelpText<"Check for passing non-Objective-C types to variadic collection "
 467            "initialization methods that expect only Objective-C types">,
 468   DescFile<"BasicObjCFoundationChecks.cpp">;
 469
 470 def NSAutoreleasePoolChecker : Checker<"NSAutoreleasePool">,
 471   HelpText<"Warn for suboptimal uses of NSAutoreleasePool in Objective-C GC mode">,
 472   DescFile<"NSAutoreleasePoolChecker.cpp">;
 473
 474 def ObjCMethSigsChecker : Checker<"IncompatibleMethodTypes">,
 475   HelpText<"Warn about Objective-C method signatures with type incompatibilities">,
 476   DescFile<"CheckObjCInstMethSignature.cpp">;
 477
 478 def ObjCUnusedIvarsChecker : Checker<"UnusedIvars">,
 479   HelpText<"Warn about private ivars that are never used">,
 480   DescFile<"ObjCUnusedIVarsChecker.cpp">;
 481
 482 def ObjCSelfInitChecker : Checker<"SelfInit">,
 483   HelpText<"Check that 'self' is properly initialized inside an initializer method">,
 484   DescFile<"ObjCSelfInitChecker.cpp">;
 485
 486 def ObjCLoopChecker : Checker<"Loops">,
 487   HelpText<"Improved modeling of loops using Cocoa collection types">,
 488   DescFile<"BasicObjCFoundationChecks.cpp">;
 489
 490 def ObjCNonNilReturnValueChecker : Checker<"NonNilReturnValue">,
 491   HelpText<"Model the APIs that are guaranteed to return a non-nil value">,
 492   DescFile<"BasicObjCFoundationChecks.cpp">;
 493
 494 def ObjCSuperCallChecker : Checker<"MissingSuperCall">,
 495   HelpText<"Warn about Objective-C methods that lack a necessary call to super">,
 496   DescFile<"ObjCMissingSuperCallChecker.cpp">;
 497
 498 def NSErrorChecker : Checker<"NSError">,
 499   HelpText<"Check usage of NSError** parameters">,
 500   DescFile<"NSErrorChecker.cpp">;
 501
 502 def RetainCountChecker : Checker<"RetainCount">,
 503   HelpText<"Check for leaks and improper reference count management">,
 504   DescFile<"RetainCountChecker.cpp">;
 505
 506 def ObjCGenericsChecker : Checker<"ObjCGenerics">,
 507   HelpText<"Check for type errors when using Objective-C generics">,
 508   DescFile<"DynamicTypePropagation.cpp">;
 509
 510 def ObjCDeallocChecker : Checker<"Dealloc">,
 511   HelpText<"Warn about Objective-C classes that lack a correct implementation of -dealloc">,
 512   DescFile<"CheckObjCDealloc.cpp">;
 513
 514 def ObjCSuperDeallocChecker : Checker<"SuperDealloc">,
 515   HelpText<"Warn about improper use of '[super dealloc]' in Objective-C">,
 516   DescFile<"ObjCSuperDeallocChecker.cpp">;
 517
 518 } // end "osx.cocoa"
 519
 520 let ParentPackage = CocoaAlpha in {
 521
 522 def InstanceVariableInvalidation : Checker<"InstanceVariableInvalidation">,
 523   HelpText<"Check that the invalidatable instance variables are invalidated in the methods annotated with objc_instance_variable_invalidator">,
 524   DescFile<"IvarInvalidationChecker.cpp">;
 525
 526 def MissingInvalidationMethod : Checker<"MissingInvalidationMethod">,
 527   HelpText<"Check that the invalidation methods are present in classes that contain invalidatable instance variables">,
 528   DescFile<"IvarInvalidationChecker.cpp">;
 529
 530 def DirectIvarAssignment : Checker<"DirectIvarAssignment">,
 531   HelpText<"Check for direct assignments to instance variables">,
 532   DescFile<"DirectIvarAssignment.cpp">;
 533
 534 def DirectIvarAssignmentForAnnotatedFunctions : Checker<"DirectIvarAssignmentForAnnotatedFunctions">,
 535   HelpText<"Check for direct assignments to instance variables in the methods annotated with objc_no_direct_instance_variable_assignment">,
 536   DescFile<"DirectIvarAssignment.cpp">;
 537
 538 } // end "alpha.osx.cocoa"
 539
 540 let ParentPackage = CoreFoundation in {
 541
 542 def CFNumberCreateChecker : Checker<"CFNumber">,
 543   HelpText<"Check for proper uses of CFNumberCreate">,
 544   DescFile<"BasicObjCFoundationChecks.cpp">;
 545
 546 def CFRetainReleaseChecker : Checker<"CFRetainRelease">,
 547   HelpText<"Check for null arguments to CFRetain/CFRelease/CFMakeCollectable">,
 548   DescFile<"BasicObjCFoundationChecks.cpp">;
 549
 550 def CFErrorChecker : Checker<"CFError">,
 551   HelpText<"Check usage of CFErrorRef* parameters">,
 552   DescFile<"NSErrorChecker.cpp">;
 553 }
 554
 555 let ParentPackage = Containers in {
 556 def ObjCContainersASTChecker : Checker<"PointerSizedValues">,
 557   HelpText<"Warns if 'CFArray', 'CFDictionary', 'CFSet' are created with non-pointer-size values">,
 558   DescFile<"ObjCContainersASTChecker.cpp">;
 559
 560 def ObjCContainersChecker : Checker<"OutOfBounds">,
 561   HelpText<"Checks for index out-of-bounds when using 'CFArray' API">,
 562   DescFile<"ObjCContainersChecker.cpp">;
 563
 564 }
 565
 566 let ParentPackage = LocalizabilityOptIn in {
 567 def NonLocalizedStringChecker : Checker<"NonLocalizedStringChecker">,
 568   HelpText<"Warns about uses of non-localized NSStrings passed to UI methods expecting localized NSStrings">,
 569   DescFile<"LocalizationChecker.cpp">;
 570
 571 def EmptyLocalizationContextChecker : Checker<"EmptyLocalizationContextChecker">,
 572   HelpText<"Check that NSLocalizedString macros include a comment for context">,
 573   DescFile<"LocalizationChecker.cpp">;
 574 }
 575
 576 let ParentPackage = LocalizabilityAlpha in {
 577 def PluralMisuseChecker : Checker<"PluralMisuseChecker">,
 578   HelpText<"Warns against using one vs. many plural pattern in code when generating localized strings.">,
 579   DescFile<"LocalizationChecker.cpp">;
 580 }
 581
 582 let ParentPackage = MPI in {
 583   def MPIChecker : Checker<"MPI-Checker">,
 584   HelpText<"Checks MPI code">,
 585   DescFile<"MPIChecker.cpp">;
 586 }
 587
 588 //===----------------------------------------------------------------------===//
 589 // Checkers for LLVM development.
 590 //===----------------------------------------------------------------------===//
 591
 592 def LLVMConventionsChecker : Checker<"Conventions">,
 593   InPackage<LLVM>,
 594   HelpText<"Check code for LLVM codebase conventions">,
 595   DescFile<"LLVMConventionsChecker.cpp">;
 596
 597 //===----------------------------------------------------------------------===//
 598 // Debugging checkers (for analyzer development).
 599 //===----------------------------------------------------------------------===//
 600
 601 let ParentPackage = Debug in {
 602
 603 def DominatorsTreeDumper : Checker<"DumpDominators">,
 604   HelpText<"Print the dominance tree for a given CFG">,
 605   DescFile<"DebugCheckers.cpp">;
 606
 607 def LiveVariablesDumper : Checker<"DumpLiveVars">,
 608   HelpText<"Print results of live variable analysis">,
 609   DescFile<"DebugCheckers.cpp">;
 610
 611 def CFGViewer : Checker<"ViewCFG">,
 612   HelpText<"View Control-Flow Graphs using GraphViz">,
 613   DescFile<"DebugCheckers.cpp">;
 614
 615 def CFGDumper : Checker<"DumpCFG">,
 616   HelpText<"Display Control-Flow Graphs">,
 617   DescFile<"DebugCheckers.cpp">;
 618
 619 def CallGraphViewer : Checker<"ViewCallGraph">,
 620   HelpText<"View Call Graph using GraphViz">,
 621   DescFile<"DebugCheckers.cpp">;
 622
 623 def CallGraphDumper : Checker<"DumpCallGraph">,
 624   HelpText<"Display Call Graph">,
 625   DescFile<"DebugCheckers.cpp">;
 626
 627 def ConfigDumper : Checker<"ConfigDumper">,
 628   HelpText<"Dump config table">,
 629   DescFile<"DebugCheckers.cpp">;
 630
 631 def TraversalDumper : Checker<"DumpTraversal">,
 632   HelpText<"Print branch conditions as they are traversed by the engine">,
 633   DescFile<"TraversalChecker.cpp">;
 634
 635 def CallDumper : Checker<"DumpCalls">,
 636   HelpText<"Print calls as they are traversed by the engine">,
 637   DescFile<"TraversalChecker.cpp">;
 638
 639 def AnalyzerStatsChecker : Checker<"Stats">,
 640   HelpText<"Emit warnings with analyzer statistics">,
 641   DescFile<"AnalyzerStatsChecker.cpp">;
 642
 643 def TaintTesterChecker : Checker<"TaintTest">,
 644   HelpText<"Mark tainted symbols as such.">,
 645   DescFile<"TaintTesterChecker.cpp">;
 646
 647 def ExprInspectionChecker : Checker<"ExprInspection">,
 648   HelpText<"Check the analyzer's understanding of expressions">,
 649   DescFile<"ExprInspectionChecker.cpp">;
 650
 651 def ExplodedGraphViewer : Checker<"ViewExplodedGraph">,
 652   HelpText<"View Exploded Graphs using GraphViz">,
 653   DescFile<"DebugCheckers.cpp">;
 654
 655 def BugHashDumper : Checker<"DumpBugHash">,
 656   HelpText<"Dump the bug hash for all statements.">,
 657   DescFile<"DebugCheckers.cpp">;
 658
 659 } // end "debug"