blob: 841f0c1da1ec0c79fc71f02a66a78d0453ab4dd7 [file] [log] [blame]
Ted Kremenekfb9a48c2008-07-14 23:41:13 +00001//===-- Analyses.def - Metadata about Static Analyses -----------*- C++ -*-===//
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// This file defines the set of static analyses used by AnalysisConsumer.
11//
12//===----------------------------------------------------------------------===//
13
14ANALYSIS(CFGDump, "cfg-dump",
Ted Kremenekf7f3c202008-07-15 00:46:02 +000015 "Display Control-Flow Graphs", Code)
Ted Kremenekfb9a48c2008-07-14 23:41:13 +000016
17ANALYSIS(CFGView, "cfg-view",
Ted Kremenekf7f3c202008-07-15 00:46:02 +000018 "View Control-Flow Graphs using GraphViz", Code)
Ted Kremenekfb9a48c2008-07-14 23:41:13 +000019
20ANALYSIS(DisplayLiveVariables, "dump-live-variables",
Ted Kremenekf7f3c202008-07-15 00:46:02 +000021 "Print results of live variable analysis", Code)
Ted Kremenekfb9a48c2008-07-14 23:41:13 +000022
23ANALYSIS(WarnDeadStores, "warn-dead-stores",
Ted Kremenekf7f3c202008-07-15 00:46:02 +000024 "Warn about stores to dead variables", Code)
Ted Kremenekfb9a48c2008-07-14 23:41:13 +000025
26ANALYSIS(WarnUninitVals, "warn-uninit-values",
Ted Kremenekf7f3c202008-07-15 00:46:02 +000027 "Warn about uses of uninitialized variables", Code)
Ted Kremenekfb9a48c2008-07-14 23:41:13 +000028
29ANALYSIS(WarnObjCMethSigs, "warn-objc-methodsigs",
Ted Kremenekf7f3c202008-07-15 00:46:02 +000030 "Warn about Objective-C method signatures with type incompatibilities",
31 ObjCImplementation)
Ted Kremenekfb9a48c2008-07-14 23:41:13 +000032
33ANALYSIS(WarnObjCDealloc, "warn-objc-missing-dealloc",
Ted Kremenekf7f3c202008-07-15 00:46:02 +000034 "Warn about Objective-C classes that lack a correct implementation of -dealloc",
35 ObjCImplementation)
Ted Kremenek395aaf22008-07-23 00:45:26 +000036
37ANALYSIS(WarnObjCUnusedIvars, "warn-objc-unused-ivars",
38 "Warn about private ivars that are never used", ObjCImplementation)
Ted Kremenekfb9a48c2008-07-14 23:41:13 +000039
40ANALYSIS(CheckerSimple, "checker-simple",
Ted Kremenekf7f3c202008-07-15 00:46:02 +000041 "Perform simple path-sensitive checks.", Code)
Ted Kremenekfb9a48c2008-07-14 23:41:13 +000042
43ANALYSIS(CheckerCFRef, "checker-cfref",
Ted Kremenekf7f3c202008-07-15 00:46:02 +000044 "Run the [Core] Foundation reference count checker", Code)
Ted Kremenekfb9a48c2008-07-14 23:41:13 +000045
46#undef ANALYSIS