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

blob: 5d30894ebe1caa1aaea8d30e25a2fdfa4da49cc7 [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
				24	def UnixExperimental : Package<"experimental">,
				25	InPackage<Unix>, Hidden;
				26
				27	//===----------------------------------------------------------------------===//
				28	// Groups.
				29	//===----------------------------------------------------------------------===//
				30
				31	def AllExperimental : CheckerGroup<"all-experimental">,
				32	Hidden;
				33
				34	//===----------------------------------------------------------------------===//
				35	// Checkers.
				36	//===----------------------------------------------------------------------===//
				37
Argyrios Kyrtzidis	027a6ab	2011-02-15 07:42:33 +0000	[diff] [blame]	38	let ParentPackage = Cocoa in {
Argyrios Kyrtzidis	43dee22	2011-02-14 18:13:31 +0000	[diff] [blame]	39
Argyrios Kyrtzidis	26c05b1	2011-02-15 07:42:38 +0000	[diff] [blame]	40	def ObjCSelfInitChecker : Checker<"SelfInit">,
Argyrios Kyrtzidis	43dee22	2011-02-14 18:13:31 +0000	[diff] [blame]	41	HelpText<"Check that 'self' is propely initialized inside an initializer method">,
				42	DescFile<"ObjCSelfInitChecker.cpp">;
Argyrios Kyrtzidis	027a6ab	2011-02-15 07:42:33 +0000	[diff] [blame]	43
Argyrios Kyrtzidis	26c05b1	2011-02-15 07:42:38 +0000	[diff] [blame]	44	def ObjCAtSyncChecker : Checker<"AtSync">,
Argyrios Kyrtzidis	027a6ab	2011-02-15 07:42:33 +0000	[diff] [blame]	45	HelpText<"Check for null pointers used as mutexes for @synchronized">,
				46	DescFile<"ObjCAtSyncChecker.cpp">;
				47
Argyrios Kyrtzidis	0b1ba62	2011-02-16 01:40:52 +0000	[diff] [blame^]	48	def NilArgChecker : Checker<"NilArg">,
				49	HelpText<"Check for prohibited nil arguments to ObjC method calls">,
				50	DescFile<"BasicObjCFoundationChecks.cpp">;
				51
				52	def ClassReleaseChecker : Checker<"ClassRelease">,
				53	HelpText<"Check for sending 'retain', 'release', or 'autorelease' directly to a Class">,
				54	DescFile<"BasicObjCFoundationChecks.cpp">;
				55
				56	def NSAutoreleasePoolChecker : Checker<"NSAutoreleasePool">,
				57	HelpText<"Warn for subpar uses of NSAutoreleasePool">,
				58	DescFile<"NSAutoreleasePoolChecker.cpp">;
				59
Argyrios Kyrtzidis	027a6ab	2011-02-15 07:42:33 +0000	[diff] [blame]	60	}
				61
Argyrios Kyrtzidis	26c05b1	2011-02-15 07:42:38 +0000	[diff] [blame]	62	def StackAddrLeakChecker : Checker<"StackAddrLeak">,
Argyrios Kyrtzidis	027a6ab	2011-02-15 07:42:33 +0000	[diff] [blame]	63	InPackage<Core>,
Argyrios Kyrtzidis	027a6ab	2011-02-15 07:42:33 +0000	[diff] [blame]	64	HelpText<"Check that addresses to stack memory are not leaked outside the function">,
				65	DescFile<"StackAddrLeakChecker.cpp">;
				66
Argyrios Kyrtzidis	26c05b1	2011-02-15 07:42:38 +0000	[diff] [blame]	67	def UnixAPIChecker : Checker<"API">,
Argyrios Kyrtzidis	027a6ab	2011-02-15 07:42:33 +0000	[diff] [blame]	68	InPackage<Unix>,
Argyrios Kyrtzidis	027a6ab	2011-02-15 07:42:33 +0000	[diff] [blame]	69	HelpText<"Check calls to various UNIX/Posix functions">,
				70	DescFile<"UnixAPIChecker.cpp">;
				71
Argyrios Kyrtzidis	26c05b1	2011-02-15 07:42:38 +0000	[diff] [blame]	72	def MacOSXAPIChecker : Checker<"API">,
Argyrios Kyrtzidis	027a6ab	2011-02-15 07:42:33 +0000	[diff] [blame]	73	InPackage<MacOSX>,
Argyrios Kyrtzidis	027a6ab	2011-02-15 07:42:33 +0000	[diff] [blame]	74	HelpText<"Check calls to various MacOSXAPIChecker">,
				75	DescFile<"MacOSXAPIChecker.cpp">;
Argyrios Kyrtzidis	a0decc9	2011-02-15 21:25:03 +0000	[diff] [blame]	76
Argyrios Kyrtzidis	0b1ba62	2011-02-16 01:40:52 +0000	[diff] [blame^]	77	def CFNumberCreateChecker : Checker<"CFNumber">,
				78	InPackage<MacOSX>,
				79	HelpText<"Check for CFNumberCreate">,
				80	DescFile<"BasicObjCFoundationChecks.cpp">;
				81
				82	def CFRetainReleaseChecker : Checker<"CFRetainRelease">,
				83	InPackage<MacOSX>,
				84	HelpText<"Check for null arguments to CFRetain/CFRelease">,
				85	DescFile<"BasicObjCFoundationChecks.cpp">;
				86
Argyrios Kyrtzidis	a0decc9	2011-02-15 21:25:03 +0000	[diff] [blame]	87	//===----------------------------------------------------------------------===//
				88	// Hidden experimental checkers.
				89	//===----------------------------------------------------------------------===//
				90
				91	let Group = AllExperimental in {
				92
				93	def CStringChecker : Checker<"CString">,
				94	InPackage<CoreExperimental>,
				95	HelpText<"Check calls to functions in <string.h>">,
				96	DescFile<"CStringChecker.cpp">;
				97
				98	def UnreachableCodeChecker : Checker<"UnreachableCode">,
				99	InPackage<CoreExperimental>,
				100	HelpText<"Check unreachable code">,
				101	DescFile<"UnreachableCodeChecker.cpp">;
				102
Argyrios Kyrtzidis	c9f2e0f	2011-02-15 22:55:14 +0000	[diff] [blame]	103	def IdempotentOperationChecker : Checker<"IdempotentOps">,
				104	InPackage<CoreExperimental>,
				105	HelpText<"Warn about idempotent operations">,
				106	DescFile<"IdempotentOperationChecker.cpp">;
				107
Argyrios Kyrtzidis	23ade50	2011-02-15 22:55:20 +0000	[diff] [blame]	108	def CastToStructChecker : Checker<"CastToStruct">,
				109	InPackage<CoreExperimental>,
				110	HelpText<"Check for cast from non-struct pointer to struct pointer">,
				111	DescFile<"CastToStructChecker.cpp">;
				112
				113	def FixedAddressChecker : Checker<"FixedAddr">,
				114	InPackage<CoreExperimental>,
				115	HelpText<"Check for assignment of a fixed address to a pointer">,
				116	DescFile<"FixedAddressChecker.cpp">;
				117
				118	def PointerArithChecker : Checker<"PointerArithm">,
				119	InPackage<CoreExperimental>,
				120	HelpText<"Check for pointer arithmetic on locations other than array elements">,
				121	DescFile<"PointerArithChecker">;
				122
				123	def PointerSubChecker : Checker<"PointerSub">,
				124	InPackage<CoreExperimental>,
				125	HelpText<"Check for pointer subtractions on two pointers pointing to different memory chunks">,
				126	DescFile<"PointerSubChecker">;
				127
Argyrios Kyrtzidis	a0decc9	2011-02-15 21:25:03 +0000	[diff] [blame]	128	def ChrootChecker : Checker<"Chroot">,
				129	InPackage<UnixExperimental>,
				130	HelpText<"Check improper use of chroot">,
				131	DescFile<"ChrootChecker.cpp">;
				132
				133	def PthreadLockChecker : Checker<"PthreadLock">,
				134	InPackage<UnixExperimental>,
				135	HelpText<"Simple lock -> unlock checker">,
				136	DescFile<"PthreadLockChecker.cpp">;
				137
				138	def StreamChecker : Checker<"Stream">,
				139	InPackage<UnixExperimental>,
				140	HelpText<"Check stream handling functions">,
				141	DescFile<"StreamChecker.cpp">;
				142
				143	}