Lines Matching refs:Checker
55 def DereferenceChecker : Checker<"NullDereference">,
59 def CallAndMessageChecker : Checker<"CallAndMessage">,
63 def AttrNonNullChecker : Checker<"AttributeNonNull">,
67 def VLASizeChecker : Checker<"VLASize">,
71 def DivZeroChecker : Checker<"DivideZero">,
75 def UndefResultChecker : Checker<"UndefinedBinaryOperatorResult">,
79 def StackAddrEscapeChecker : Checker<"StackAddressEscape">,
83 def DynamicTypePropagation : Checker<"DynamicTypePropagation">,
91 def BoolAssignmentChecker : Checker<"BoolAssignment">,
95 def CastSizeChecker : Checker<"CastSize">,
99 def CastToStructChecker : Checker<"CastToStruct">,
103 def FixedAddressChecker : Checker<"FixedAddr">,
107 def PointerArithChecker : Checker<"PointerArithm">,
111 def PointerSubChecker : Checker<"PointerSub">,
115 def SizeofPointerChecker : Checker<"SizeofPtr">,
127 def NoReturnFunctionChecker : Checker<"NoReturnFunctions">,
131 def BuiltinFunctionChecker : Checker<"BuiltinFunctions">,
143 def UndefinedArraySubscriptChecker : Checker<"ArraySubscript">,
147 def UndefinedAssignmentChecker : Checker<"Assign">,
151 def UndefBranchChecker : Checker<"Branch">,
155 def UndefCapturedBlockVarChecker : Checker<"CapturedBlockVariable">,
159 def ReturnUndefChecker : Checker<"UndefReturn">,
171 def VirtualCallChecker : Checker<"VirtualCall">,
183 def DeadStoresChecker : Checker<"DeadStores">,
190 def IdempotentOperationChecker : Checker<"IdempotentOperations">,
194 def UnreachableCodeChecker : Checker<"UnreachableCode">,
205 def gets : Checker<"gets">,
208 def getpw : Checker<"getpw">,
211 def mktemp : Checker<"mktemp">,
214 def mkstemp : Checker<"mkstemp">,
217 def rand : Checker<"rand">,
220 def strcpy : Checker<"strcpy">,
223 def vfork : Checker<"vfork">,
226 def UncheckedReturn : Checker<"UncheckedReturn">,
231 def FloatLoopCounter : Checker<"FloatLoopCounter">,
238 def ArrayBoundChecker : Checker<"ArrayBound">,
242 def ArrayBoundCheckerV2 : Checker<"ArrayBoundV2">,
246 def ReturnPointerRangeChecker : Checker<"ReturnPtrRange">,
250 def MallocOverflowSecurityChecker : Checker<"MallocOverflow">,
262 def GenericTaintChecker : Checker<"TaintPropagation">,
274 def UnixAPIChecker : Checker<"API">,
278 def MallocPessimistic : Checker<"Malloc">,
282 def MallocSizeofChecker : Checker<"MallocSizeof">,
290 def ChrootChecker : Checker<"Chroot">,
294 def MallocOptimistic : Checker<"MallocWithAnnotations">,
298 def PthreadLockChecker : Checker<"PthreadLock">,
302 def StreamChecker : Checker<"Stream">,
310 def CStringNullArg : Checker<"NullArg">,
314 def CStringSyntaxChecker : Checker<"BadSizeArg">,
321 def CStringOutOfBounds : Checker<"OutOfBounds">,
325 def CStringBufferOverlap : Checker<"BufferOverlap">,
329 def CStringNotNullTerm : Checker<"NotNullTerminated">,
340 def MacOSXAPIChecker : Checker<"API">,
345 def OSAtomicChecker : Checker<"AtomicCAS">,
350 def MacOSKeychainAPIChecker : Checker<"SecKeychainAPI">,
359 def ObjCAtSyncChecker : Checker<"AtSync">,
363 def NilArgChecker : Checker<"NilArg">,
367 def ClassReleaseChecker : Checker<"ClassRelease">,
371 def VariadicMethodTypeChecker : Checker<"VariadicMethodTypes">,
376 def NSAutoreleasePoolChecker : Checker<"NSAutoreleasePool">,
380 def ObjCMethSigsChecker : Checker<"IncompatibleMethodTypes">,
384 def ObjCUnusedIvarsChecker : Checker<"UnusedIvars">,
388 def ObjCSelfInitChecker : Checker<"SelfInit">,
392 def ObjCLoopChecker : Checker<"Loops">,
396 def ObjCNonNilReturnValueChecker : Checker<"NonNilReturnValue">,
400 def NSErrorChecker : Checker<"NSError">,
404 def RetainCountChecker : Checker<"RetainCount">,
412 def ObjCDeallocChecker : Checker<"Dealloc">,
420 def CFNumberCreateChecker : Checker<"CFNumber">,
424 def CFRetainReleaseChecker : Checker<"CFRetainRelease">,
428 def CFErrorChecker : Checker<"CFError">,
434 def ObjCContainersASTChecker : Checker<"PointerSizedValues">,
438 def ObjCContainersChecker : Checker<"OutOfBounds">,
447 def LLVMConventionsChecker : Checker<"Conventions">,
458 def DominatorsTreeDumper : Checker<"DumpDominators">,
462 def LiveVariablesDumper : Checker<"DumpLiveVars">,
466 def CFGViewer : Checker<"ViewCFG">,
470 def CFGDumper : Checker<"DumpCFG">,
474 def CallGraphViewer : Checker<"ViewCallGraph">,
478 def CallGraphDumper : Checker<"DumpCallGraph">,
482 def TraversalDumper : Checker<"DumpTraversal">,
486 def CallDumper : Checker<"DumpCalls">,
490 def AnalyzerStatsChecker : Checker<"Stats">,
494 def TaintTesterChecker : Checker<"TaintTest">,
498 def ExprInspectionChecker : Checker<"ExprInspection">,