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

blob: aabf07a1fc2c59debc8578b541048997c3ce0b89 [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">;
				31
Argyrios Kyrtzidis	a0decc9	2011-02-15 21:25:03 +0000	[diff] [blame]	32	//===----------------------------------------------------------------------===//
				33	// Groups.
				34	//===----------------------------------------------------------------------===//
				35
				36	def AllExperimental : CheckerGroup<"all-experimental">,
				37	Hidden;
				38
				39	//===----------------------------------------------------------------------===//
				40	// Checkers.
				41	//===----------------------------------------------------------------------===//
				42
Argyrios Kyrtzidis	027a6ab	2011-02-15 07:42:33 +0000	[diff] [blame]	43	let ParentPackage = Cocoa in {
Argyrios Kyrtzidis	43dee22	2011-02-14 18:13:31 +0000	[diff] [blame]	44
Argyrios Kyrtzidis	26c05b1	2011-02-15 07:42:38 +0000	[diff] [blame]	45	def ObjCSelfInitChecker : Checker<"SelfInit">,
Argyrios Kyrtzidis	43dee22	2011-02-14 18:13:31 +0000	[diff] [blame]	46	HelpText<"Check that 'self' is propely initialized inside an initializer method">,
				47	DescFile<"ObjCSelfInitChecker.cpp">;
Argyrios Kyrtzidis	027a6ab	2011-02-15 07:42:33 +0000	[diff] [blame]	48
Argyrios Kyrtzidis	26c05b1	2011-02-15 07:42:38 +0000	[diff] [blame]	49	def ObjCAtSyncChecker : Checker<"AtSync">,
Argyrios Kyrtzidis	027a6ab	2011-02-15 07:42:33 +0000	[diff] [blame]	50	HelpText<"Check for null pointers used as mutexes for @synchronized">,
				51	DescFile<"ObjCAtSyncChecker.cpp">;
				52
Argyrios Kyrtzidis	0b1ba62	2011-02-16 01:40:52 +0000	[diff] [blame]	53	def NilArgChecker : Checker<"NilArg">,
				54	HelpText<"Check for prohibited nil arguments to ObjC method calls">,
				55	DescFile<"BasicObjCFoundationChecks.cpp">;
				56
				57	def ClassReleaseChecker : Checker<"ClassRelease">,
				58	HelpText<"Check for sending 'retain', 'release', or 'autorelease' directly to a Class">,
				59	DescFile<"BasicObjCFoundationChecks.cpp">;
				60
				61	def NSAutoreleasePoolChecker : Checker<"NSAutoreleasePool">,
				62	HelpText<"Warn for subpar uses of NSAutoreleasePool">,
				63	DescFile<"NSAutoreleasePoolChecker.cpp">;
				64
Argyrios Kyrtzidis	7dd445e	2011-02-17 21:39:33 +0000	[diff] [blame^]	65	def ObjCMethSigsChecker : Checker<"MethodSigs">,
				66	HelpText<"Warn about Objective-C method signatures with type incompatibilities">,
				67	DescFile<"CheckObjCInstMethSignature.cpp">;
				68
				69	def ObjCUnusedIvarsChecker : Checker<"UnusedIvars">,
				70	HelpText<"Warn about private ivars that are never used">,
				71	DescFile<"ObjCUnusedIVarsChecker.cpp">;
				72
Argyrios Kyrtzidis	027a6ab	2011-02-15 07:42:33 +0000	[diff] [blame]	73	}
				74
Argyrios Kyrtzidis	26c05b1	2011-02-15 07:42:38 +0000	[diff] [blame]	75	def StackAddrLeakChecker : Checker<"StackAddrLeak">,
Argyrios Kyrtzidis	027a6ab	2011-02-15 07:42:33 +0000	[diff] [blame]	76	InPackage<Core>,
Argyrios Kyrtzidis	027a6ab	2011-02-15 07:42:33 +0000	[diff] [blame]	77	HelpText<"Check that addresses to stack memory are not leaked outside the function">,
				78	DescFile<"StackAddrLeakChecker.cpp">;
				79
Argyrios Kyrtzidis	7dd445e	2011-02-17 21:39:33 +0000	[diff] [blame^]	80	def DeadStoresChecker : Checker<"DeadStores">,
				81	InPackage<Core>,
				82	HelpText<"Check for stores to dead variables">,
				83	DescFile<"DeadStoresChecker.cpp">;
				84
Argyrios Kyrtzidis	26c05b1	2011-02-15 07:42:38 +0000	[diff] [blame]	85	def UnixAPIChecker : Checker<"API">,
Argyrios Kyrtzidis	027a6ab	2011-02-15 07:42:33 +0000	[diff] [blame]	86	InPackage<Unix>,
Argyrios Kyrtzidis	027a6ab	2011-02-15 07:42:33 +0000	[diff] [blame]	87	HelpText<"Check calls to various UNIX/Posix functions">,
				88	DescFile<"UnixAPIChecker.cpp">;
				89
Argyrios Kyrtzidis	26c05b1	2011-02-15 07:42:38 +0000	[diff] [blame]	90	def MacOSXAPIChecker : Checker<"API">,
Argyrios Kyrtzidis	027a6ab	2011-02-15 07:42:33 +0000	[diff] [blame]	91	InPackage<MacOSX>,
Argyrios Kyrtzidis	027a6ab	2011-02-15 07:42:33 +0000	[diff] [blame]	92	HelpText<"Check calls to various MacOSXAPIChecker">,
				93	DescFile<"MacOSXAPIChecker.cpp">;
Argyrios Kyrtzidis	a0decc9	2011-02-15 21:25:03 +0000	[diff] [blame]	94
Argyrios Kyrtzidis	0b1ba62	2011-02-16 01:40:52 +0000	[diff] [blame]	95	def CFNumberCreateChecker : Checker<"CFNumber">,
				96	InPackage<MacOSX>,
				97	HelpText<"Check for CFNumberCreate">,
				98	DescFile<"BasicObjCFoundationChecks.cpp">;
				99
				100	def CFRetainReleaseChecker : Checker<"CFRetainRelease">,
				101	InPackage<MacOSX>,
				102	HelpText<"Check for null arguments to CFRetain/CFRelease">,
				103	DescFile<"BasicObjCFoundationChecks.cpp">;
				104
Argyrios Kyrtzidis	9fb9474	2011-02-17 21:39:24 +0000	[diff] [blame]	105	def LLVMConventionsChecker : Checker<"Conventions">,
				106	InPackage<LLVM>,
				107	HelpText<"Check code for LLVM codebase conventions">,
				108	DescFile<"LLVMConventionsChecker.cpp">;
				109
Argyrios Kyrtzidis	a0decc9	2011-02-15 21:25:03 +0000	[diff] [blame]	110	//===----------------------------------------------------------------------===//
				111	// Hidden experimental checkers.
				112	//===----------------------------------------------------------------------===//
				113
				114	let Group = AllExperimental in {
				115
				116	def CStringChecker : Checker<"CString">,
				117	InPackage<CoreExperimental>,
				118	HelpText<"Check calls to functions in <string.h>">,
				119	DescFile<"CStringChecker.cpp">;
				120
				121	def UnreachableCodeChecker : Checker<"UnreachableCode">,
				122	InPackage<CoreExperimental>,
				123	HelpText<"Check unreachable code">,
				124	DescFile<"UnreachableCodeChecker.cpp">;
				125
Argyrios Kyrtzidis	c9f2e0f	2011-02-15 22:55:14 +0000	[diff] [blame]	126	def IdempotentOperationChecker : Checker<"IdempotentOps">,
				127	InPackage<CoreExperimental>,
				128	HelpText<"Warn about idempotent operations">,
				129	DescFile<"IdempotentOperationChecker.cpp">;
				130
Argyrios Kyrtzidis	23ade50	2011-02-15 22:55:20 +0000	[diff] [blame]	131	def CastToStructChecker : Checker<"CastToStruct">,
				132	InPackage<CoreExperimental>,
				133	HelpText<"Check for cast from non-struct pointer to struct pointer">,
				134	DescFile<"CastToStructChecker.cpp">;
				135
				136	def FixedAddressChecker : Checker<"FixedAddr">,
				137	InPackage<CoreExperimental>,
				138	HelpText<"Check for assignment of a fixed address to a pointer">,
				139	DescFile<"FixedAddressChecker.cpp">;
				140
				141	def PointerArithChecker : Checker<"PointerArithm">,
				142	InPackage<CoreExperimental>,
				143	HelpText<"Check for pointer arithmetic on locations other than array elements">,
				144	DescFile<"PointerArithChecker">;
				145
				146	def PointerSubChecker : Checker<"PointerSub">,
				147	InPackage<CoreExperimental>,
				148	HelpText<"Check for pointer subtractions on two pointers pointing to different memory chunks">,
				149	DescFile<"PointerSubChecker">;
				150
Argyrios Kyrtzidis	7dd445e	2011-02-17 21:39:33 +0000	[diff] [blame^]	151	def SizeofPointerChecker : Checker<"SizeofPtr">,
				152	InPackage<CoreExperimental>,
				153	HelpText<"Warn about unintended use of sizeof() on pointer expressions">,
				154	DescFile<"CheckSizeofPointer.cpp">;
				155
				156	def SecuritySyntaxChecker : Checker<"SecuritySyntactic">,
				157	InPackage<CoreExperimental>,
				158	HelpText<"Perform quick security checks that require no data flow">,
				159	DescFile<"CheckSecuritySyntaxOnly.cpp">;
				160
				161	def ObjCDeallocChecker : Checker<"Dealloc">,
				162	InPackage<CocoaExperimental>,
				163	HelpText<"Warn about Objective-C classes that lack a correct implementation of -dealloc">,
				164	DescFile<"CheckObjCDealloc.cpp">;
				165
Argyrios Kyrtzidis	a0decc9	2011-02-15 21:25:03 +0000	[diff] [blame]	166	def ChrootChecker : Checker<"Chroot">,
				167	InPackage<UnixExperimental>,
				168	HelpText<"Check improper use of chroot">,
				169	DescFile<"ChrootChecker.cpp">;
				170
				171	def PthreadLockChecker : Checker<"PthreadLock">,
				172	InPackage<UnixExperimental>,
				173	HelpText<"Simple lock -> unlock checker">,
				174	DescFile<"PthreadLockChecker.cpp">;
				175
				176	def StreamChecker : Checker<"Stream">,
				177	InPackage<UnixExperimental>,
				178	HelpText<"Check stream handling functions">,
				179	DescFile<"StreamChecker.cpp">;
				180
				181	}