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