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

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