Blame - lib/StaticAnalyzer/Checkers/Checkers.td - fp2-dev/platform/external/clang

blob: 3edc3c247a37b1ead9cd51c96e20d21da275e37e [file] [log] [blame]

Argyrios Kyrtzidis	43dee22	2011-02-14 18:13:31 +0000	[diff] [blame]	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
Argyrios Kyrtzidis	a0decc9	2011-02-15 21:25:03 +0000	[diff] [blame]	12	//===----------------------------------------------------------------------===//
				13	// Packages.
				14	//===----------------------------------------------------------------------===//
				15
Argyrios Kyrtzidis	027a6ab	2011-02-15 07:42:33 +0000	[diff] [blame]	16	def Core : Package<"core">;
Argyrios Kyrtzidis	43dee22	2011-02-14 18:13:31 +0000	[diff] [blame]	17	def Cocoa : Package<"cocoa">;
Argyrios Kyrtzidis	027a6ab	2011-02-15 07:42:33 +0000	[diff] [blame]	18	def Unix : Package<"unix">;
				19	def MacOSX : Package<"macosx">;
				20
Argyrios Kyrtzidis	a0decc9	2011-02-15 21:25:03 +0000	[diff] [blame]	21	def CoreExperimental : Package<"experimental">,
				22	InPackage<Core>, Hidden;
				23
Argyrios Kyrtzidis	7dd445e	2011-02-17 21:39:33 +0000	[diff] [blame]	24	def CocoaExperimental : Package<"experimental">,
				25	InPackage<Cocoa>, Hidden;
				26
Argyrios Kyrtzidis	a0decc9	2011-02-15 21:25:03 +0000	[diff] [blame]	27	def UnixExperimental : Package<"experimental">,
				28	InPackage<Unix>, Hidden;
				29
Argyrios Kyrtzidis	9fb9474	2011-02-17 21:39:24 +0000	[diff] [blame]	30	def LLVM : Package<"llvm">;
Argyrios Kyrtzidis	2d67b90	2011-02-17 21:39:39 +0000	[diff] [blame]	31	def Debug : Package<"debug">;
Argyrios Kyrtzidis	9fb9474	2011-02-17 21:39:24 +0000	[diff] [blame]	32
Argyrios Kyrtzidis	a0decc9	2011-02-15 21:25:03 +0000	[diff] [blame]	33	//===----------------------------------------------------------------------===//
				34	// Groups.
				35	//===----------------------------------------------------------------------===//
				36
				37	def AllExperimental : CheckerGroup<"all-experimental">,
				38	Hidden;
				39
				40	//===----------------------------------------------------------------------===//
				41	// Checkers.
				42	//===----------------------------------------------------------------------===//
				43
Argyrios Kyrtzidis	027a6ab	2011-02-15 07:42:33 +0000	[diff] [blame]	44	let ParentPackage = Cocoa in {
Argyrios Kyrtzidis	43dee22	2011-02-14 18:13:31 +0000	[diff] [blame]	45
Argyrios Kyrtzidis	26c05b1	2011-02-15 07:42:38 +0000	[diff] [blame]	46	def ObjCSelfInitChecker : Checker<"SelfInit">,
Argyrios Kyrtzidis	43dee22	2011-02-14 18:13:31 +0000	[diff] [blame]	47	HelpText<"Check that 'self' is propely initialized inside an initializer method">,
				48	DescFile<"ObjCSelfInitChecker.cpp">;
Argyrios Kyrtzidis	027a6ab	2011-02-15 07:42:33 +0000	[diff] [blame]	49
Argyrios Kyrtzidis	26c05b1	2011-02-15 07:42:38 +0000	[diff] [blame]	50	def ObjCAtSyncChecker : Checker<"AtSync">,
Argyrios Kyrtzidis	027a6ab	2011-02-15 07:42:33 +0000	[diff] [blame]	51	HelpText<"Check for null pointers used as mutexes for @synchronized">,
				52	DescFile<"ObjCAtSyncChecker.cpp">;
				53
Argyrios Kyrtzidis	0b1ba62	2011-02-16 01:40:52 +0000	[diff] [blame]	54	def NilArgChecker : Checker<"NilArg">,
				55	HelpText<"Check for prohibited nil arguments to ObjC method calls">,
				56	DescFile<"BasicObjCFoundationChecks.cpp">;
				57
				58	def ClassReleaseChecker : Checker<"ClassRelease">,
				59	HelpText<"Check for sending 'retain', 'release', or 'autorelease' directly to a Class">,
				60	DescFile<"BasicObjCFoundationChecks.cpp">;
				61
Ted Kremenek	b8d545c	2011-02-25 22:19:14 +0000	[diff] [blame]	62	def NSAutoreleasePoolChecker : Checker<"NSAutoreleasePool">,
				63	HelpText<"Warn for subpar uses of NSAutoreleasePool">,
Argyrios Kyrtzidis	0b1ba62	2011-02-16 01:40:52 +0000	[diff] [blame]	64	DescFile<"NSAutoreleasePoolChecker.cpp">;
				65
Argyrios Kyrtzidis	7dd445e	2011-02-17 21:39:33 +0000	[diff] [blame]	66	def ObjCMethSigsChecker : Checker<"MethodSigs">,
				67	HelpText<"Warn about Objective-C method signatures with type incompatibilities">,
				68	DescFile<"CheckObjCInstMethSignature.cpp">;
				69
				70	def ObjCUnusedIvarsChecker : Checker<"UnusedIvars">,
				71	HelpText<"Warn about private ivars that are never used">,
				72	DescFile<"ObjCUnusedIVarsChecker.cpp">;
				73
Ted Kremenek	f5d2ef4	2011-02-25 22:00:43 +0000	[diff] [blame]	74	} // end "cocoa"
Argyrios Kyrtzidis	027a6ab	2011-02-15 07:42:33 +0000	[diff] [blame]	75
Argyrios Kyrtzidis	1034870	2011-02-28 01:27:07 +0000	[diff] [blame]	76	let ParentPackage = Core in {
				77
Argyrios Kyrtzidis	139ca96	2011-02-28 01:28:05 +0000	[diff] [blame^]	78	def AdjustedReturnValueChecker : Checker<"AdjustRet">,
				79	HelpText<"Check to see if the return value of a function call is different than the caller expects">,
				80	DescFile<"AdjustedReturnValueChecker.cpp">;
				81
Argyrios Kyrtzidis	bd90076	2011-02-28 01:28:01 +0000	[diff] [blame]	82	def AttrNonNullChecker : Checker<"AttrNonNull">,
				83	HelpText<"Check for arguments declared to have nonnull attribute">,
				84	DescFile<"AttrNonNullChecker.cpp">;
				85
Argyrios Kyrtzidis	3ce2b48	2011-02-28 01:27:54 +0000	[diff] [blame]	86	def VLASizeChecker : Checker<"VLASize">,
				87	HelpText<"Check for declarations of VLA of undefined or zero size">,
				88	DescFile<"VLASizeChecker.cpp">;
				89
Argyrios Kyrtzidis	919c9b9	2011-02-28 01:27:50 +0000	[diff] [blame]	90	def DivZeroChecker : Checker<"DivZero">,
				91	HelpText<"Check for division by zeros">,
				92	DescFile<"DivZeroChecker.cpp">;
				93
Argyrios Kyrtzidis	7f649d7	2011-02-28 01:27:46 +0000	[diff] [blame]	94	def ReturnUndefChecker : Checker<"UndefReturn">,
				95	HelpText<"Check for undefined or garbage values being returned to the caller">,
				96	DescFile<"ReturnUndefChecker.cpp">;
				97
Argyrios Kyrtzidis	eb290ca	2011-02-28 01:27:41 +0000	[diff] [blame]	98	def UndefinedArraySubscriptChecker : Checker<"UndefArraySubscript">,
				99	HelpText<"Check for undefined array subscripts">,
				100	DescFile<"UndefinedArraySubscriptChecker.cpp">;
				101
Argyrios Kyrtzidis	267aa5c	2011-02-28 01:27:37 +0000	[diff] [blame]	102	def UndefinedAssignmentChecker : Checker<"UndefAssign">,
				103	HelpText<"Check for assigning undefined values">,
				104	DescFile<"UndefinedAssignmentChecker.cpp">;
				105
Argyrios Kyrtzidis	cc05d51	2011-02-28 01:27:33 +0000	[diff] [blame]	106	def UndefBranchChecker : Checker<"UndefBranch">,
				107	HelpText<"Check for undefined branch conditions">,
				108	DescFile<"UndefBranchChecker.cpp">;
				109
Argyrios Kyrtzidis	265c674	2011-02-28 01:27:26 +0000	[diff] [blame]	110	def UndefCapturedBlockVarChecker : Checker<"UndefBlockVar">,
				111	HelpText<"Check for blocks that capture uninitialized values">,
				112	DescFile<"UndefCapturedBlockVarChecker.cpp">;
				113
Argyrios Kyrtzidis	180e03f	2011-02-28 01:27:22 +0000	[diff] [blame]	114	def UndefResultChecker : Checker<"UndefBinOpResult">,
				115	HelpText<"Check for undefined results of non-assignment binary operators">,
				116	DescFile<"UndefResultChecker.cpp">;
				117
Argyrios Kyrtzidis	3267d95	2011-02-28 01:27:17 +0000	[diff] [blame]	118	def NoReturnFunctionChecker : Checker<"NoReturnFunc">,
				119	HelpText<"Evaluate functions that do not return to the caller">,
				120	DescFile<"NoReturnFunctionChecker.cpp">;
				121
Argyrios Kyrtzidis	1034870	2011-02-28 01:27:07 +0000	[diff] [blame]	122	def BuiltinFunctionChecker : Checker<"BuiltinFunc">,
				123	HelpText<"Evaluate clang builtin functions">,
				124	DescFile<"BuiltinFunctionChecker.cpp">;
				125
Ted Kremenek	f5d2ef4	2011-02-25 22:00:43 +0000	[diff] [blame]	126	def StackAddrEscapeChecker : Checker<"StackAddrEscape">,
Ted Kremenek	f5d2ef4	2011-02-25 22:00:43 +0000	[diff] [blame]	127	HelpText<"Check that addresses to stack memory do not escape the function">,
				128	DescFile<"StackAddrEscapeChecker.cpp">;
Argyrios Kyrtzidis	027a6ab	2011-02-15 07:42:33 +0000	[diff] [blame]	129
Argyrios Kyrtzidis	a676d50	2011-02-28 01:27:12 +0000	[diff] [blame]	130	} // end "core"
				131
Argyrios Kyrtzidis	7dd445e	2011-02-17 21:39:33 +0000	[diff] [blame]	132	def DeadStoresChecker : Checker<"DeadStores">,
Ted Kremenek	f5d2ef4	2011-02-25 22:00:43 +0000	[diff] [blame]	133	HelpText<"Check for values stored to a variables that are never read afterwards">,
Argyrios Kyrtzidis	7dd445e	2011-02-17 21:39:33 +0000	[diff] [blame]	134	DescFile<"DeadStoresChecker.cpp">;
				135
Argyrios Kyrtzidis	26c05b1	2011-02-15 07:42:38 +0000	[diff] [blame]	136	def UnixAPIChecker : Checker<"API">,
Argyrios Kyrtzidis	027a6ab	2011-02-15 07:42:33 +0000	[diff] [blame]	137	InPackage<Unix>,
Argyrios Kyrtzidis	027a6ab	2011-02-15 07:42:33 +0000	[diff] [blame]	138	HelpText<"Check calls to various UNIX/Posix functions">,
				139	DescFile<"UnixAPIChecker.cpp">;
				140
Argyrios Kyrtzidis	26c05b1	2011-02-15 07:42:38 +0000	[diff] [blame]	141	def MacOSXAPIChecker : Checker<"API">,
Argyrios Kyrtzidis	027a6ab	2011-02-15 07:42:33 +0000	[diff] [blame]	142	InPackage<MacOSX>,
Ted Kremenek	f5d2ef4	2011-02-25 22:00:43 +0000	[diff] [blame]	143	HelpText<"Check for proper uses of various Mac OS X APIs">,
Argyrios Kyrtzidis	027a6ab	2011-02-15 07:42:33 +0000	[diff] [blame]	144	DescFile<"MacOSXAPIChecker.cpp">;
Argyrios Kyrtzidis	a0decc9	2011-02-15 21:25:03 +0000	[diff] [blame]	145
Argyrios Kyrtzidis	f029366	2011-02-28 01:27:02 +0000	[diff] [blame]	146	def OSAtomicChecker : Checker<"AtomicCAS">,
				147	InPackage<MacOSX>,
				148	HelpText<"Evaluate calls to OSAtomic functions">,
				149	DescFile<"OSAtomicChecker.cpp">;
				150
Argyrios Kyrtzidis	0b1ba62	2011-02-16 01:40:52 +0000	[diff] [blame]	151	def CFNumberCreateChecker : Checker<"CFNumber">,
				152	InPackage<MacOSX>,
Ted Kremenek	f5d2ef4	2011-02-25 22:00:43 +0000	[diff] [blame]	153	HelpText<"Check for proper uses of CFNumberCreate">,
Argyrios Kyrtzidis	0b1ba62	2011-02-16 01:40:52 +0000	[diff] [blame]	154	DescFile<"BasicObjCFoundationChecks.cpp">;
				155
				156	def CFRetainReleaseChecker : Checker<"CFRetainRelease">,
				157	InPackage<MacOSX>,
				158	HelpText<"Check for null arguments to CFRetain/CFRelease">,
				159	DescFile<"BasicObjCFoundationChecks.cpp">;
				160
Argyrios Kyrtzidis	9fb9474	2011-02-17 21:39:24 +0000	[diff] [blame]	161	def LLVMConventionsChecker : Checker<"Conventions">,
				162	InPackage<LLVM>,
				163	HelpText<"Check code for LLVM codebase conventions">,
				164	DescFile<"LLVMConventionsChecker.cpp">;
				165
Argyrios Kyrtzidis	2d67b90	2011-02-17 21:39:39 +0000	[diff] [blame]	166	def LiveVariablesDumper : Checker<"DumpLiveVars">,
				167	InPackage<Debug>,
				168	HelpText<"Print results of live variable analysis">,
				169	DescFile<"DebugCheckers.cpp">;
				170
				171	def CFGViewer : Checker<"ViewCFG">,
				172	InPackage<Debug>,
				173	HelpText<"View Control-Flow Graphs using GraphViz">,
				174	DescFile<"DebugCheckers.cpp">;
				175
				176	def CFGDumper : Checker<"DumpCFG">,
				177	InPackage<Debug>,
				178	HelpText<"Display Control-Flow Graphs">,
				179	DescFile<"DebugCheckers.cpp">;
				180
Argyrios Kyrtzidis	58f2e7c	2011-02-28 01:26:50 +0000	[diff] [blame]	181	def AnalyzerStatsChecker : Checker<"Stats">,
				182	InPackage<Debug>,
				183	HelpText<"Emit warnings with analyzer statistics">,
				184	DescFile<"AnalyzerStatsChecker.cpp">;
				185
Argyrios Kyrtzidis	a0decc9	2011-02-15 21:25:03 +0000	[diff] [blame]	186	//===----------------------------------------------------------------------===//
				187	// Hidden experimental checkers.
				188	//===----------------------------------------------------------------------===//
				189
				190	let Group = AllExperimental in {
				191
Argyrios Kyrtzidis	0535701	2011-02-28 01:26:57 +0000	[diff] [blame]	192	def ArrayBoundCheckerV2 : Checker<"Overflow">,
				193	InPackage<CoreExperimental>,
				194	HelpText<"Warn about buffer overflows">,
				195	DescFile<"ArrayBoundCheckerV2.cpp">,
				196	Hidden; // Must be specified explicitly in order to run.
				197
Argyrios Kyrtzidis	312dbec	2011-02-28 01:26:35 +0000	[diff] [blame]	198	def MallocChecker : Checker<"Malloc">,
				199	InPackage<CoreExperimental>,
				200	HelpText<"Check for potential memory leaks, double free, and use-after-free problems">,
				201	DescFile<"MallocChecker.cpp">;
				202
Argyrios Kyrtzidis	a0decc9	2011-02-15 21:25:03 +0000	[diff] [blame]	203	def CStringChecker : Checker<"CString">,
				204	InPackage<CoreExperimental>,
				205	HelpText<"Check calls to functions in <string.h>">,
				206	DescFile<"CStringChecker.cpp">;
				207
				208	def UnreachableCodeChecker : Checker<"UnreachableCode">,
				209	InPackage<CoreExperimental>,
				210	HelpText<"Check unreachable code">,
Argyrios Kyrtzidis	08099ad	2011-02-24 21:42:52 +0000	[diff] [blame]	211	DescFile<"UnreachableCodeChecker.cpp">,
				212	Hidden; // Must be specified explicitly in order to run.
Argyrios Kyrtzidis	a0decc9	2011-02-15 21:25:03 +0000	[diff] [blame]	213
Argyrios Kyrtzidis	c9f2e0f	2011-02-15 22:55:14 +0000	[diff] [blame]	214	def IdempotentOperationChecker : Checker<"IdempotentOps">,
				215	InPackage<CoreExperimental>,
				216	HelpText<"Warn about idempotent operations">,
				217	DescFile<"IdempotentOperationChecker.cpp">;
				218
Argyrios Kyrtzidis	23ade50	2011-02-15 22:55:20 +0000	[diff] [blame]	219	def CastToStructChecker : Checker<"CastToStruct">,
				220	InPackage<CoreExperimental>,
				221	HelpText<"Check for cast from non-struct pointer to struct pointer">,
				222	DescFile<"CastToStructChecker.cpp">;
				223
				224	def FixedAddressChecker : Checker<"FixedAddr">,
				225	InPackage<CoreExperimental>,
				226	HelpText<"Check for assignment of a fixed address to a pointer">,
				227	DescFile<"FixedAddressChecker.cpp">;
				228
				229	def PointerArithChecker : Checker<"PointerArithm">,
				230	InPackage<CoreExperimental>,
				231	HelpText<"Check for pointer arithmetic on locations other than array elements">,
				232	DescFile<"PointerArithChecker">;
				233
				234	def PointerSubChecker : Checker<"PointerSub">,
				235	InPackage<CoreExperimental>,
				236	HelpText<"Check for pointer subtractions on two pointers pointing to different memory chunks">,
				237	DescFile<"PointerSubChecker">;
				238
Argyrios Kyrtzidis	7dd445e	2011-02-17 21:39:33 +0000	[diff] [blame]	239	def SizeofPointerChecker : Checker<"SizeofPtr">,
				240	InPackage<CoreExperimental>,
				241	HelpText<"Warn about unintended use of sizeof() on pointer expressions">,
				242	DescFile<"CheckSizeofPointer.cpp">;
				243
				244	def SecuritySyntaxChecker : Checker<"SecuritySyntactic">,
				245	InPackage<CoreExperimental>,
				246	HelpText<"Perform quick security checks that require no data flow">,
				247	DescFile<"CheckSecuritySyntaxOnly.cpp">;
				248
Argyrios Kyrtzidis	6935579	2011-02-24 08:41:57 +0000	[diff] [blame]	249	def ReturnPointerRangeChecker : Checker<"ReturnPtrRange">,
				250	InPackage<CoreExperimental>,
				251	HelpText<"Check for an out-of-bound pointer being returned to callers">,
				252	DescFile<"ReturnPointerRangeChecker.cpp">;
				253
Argyrios Kyrtzidis	8be5b3a	2011-02-24 08:42:12 +0000	[diff] [blame]	254	def ArrayBoundChecker : Checker<"ArrayBound">,
				255	InPackage<CoreExperimental>,
				256	HelpText<"Check for an out-of-bound pointer being returned to callers">,
				257	DescFile<"ArrayBoundChecker.cpp">;
				258
Argyrios Kyrtzidis	0d6b0c0	2011-02-24 21:42:49 +0000	[diff] [blame]	259	def CastSizeChecker : Checker<"CastSize">,
				260	InPackage<CoreExperimental>,
				261	HelpText<"Check when casting a malloc'ed type T, whether the size is a multiple of the size of T">,
				262	DescFile<"CastSizeChecker.cpp">;
				263
Argyrios Kyrtzidis	7dd445e	2011-02-17 21:39:33 +0000	[diff] [blame]	264	def ObjCDeallocChecker : Checker<"Dealloc">,
				265	InPackage<CocoaExperimental>,
				266	HelpText<"Warn about Objective-C classes that lack a correct implementation of -dealloc">,
				267	DescFile<"CheckObjCDealloc.cpp">;
				268
Argyrios Kyrtzidis	a0decc9	2011-02-15 21:25:03 +0000	[diff] [blame]	269	def ChrootChecker : Checker<"Chroot">,
				270	InPackage<UnixExperimental>,
				271	HelpText<"Check improper use of chroot">,
				272	DescFile<"ChrootChecker.cpp">;
				273
				274	def PthreadLockChecker : Checker<"PthreadLock">,
				275	InPackage<UnixExperimental>,
				276	HelpText<"Simple lock -> unlock checker">,
				277	DescFile<"PthreadLockChecker.cpp">;
				278
				279	def StreamChecker : Checker<"Stream">,
				280	InPackage<UnixExperimental>,
				281	HelpText<"Check stream handling functions">,
				282	DescFile<"StreamChecker.cpp">;
				283
				284	}