Ted Kremenek | fb9a48c | 2008-07-14 23:41:13 +0000 | [diff] [blame] | 1 | //===-- 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 | |
| 14 | ANALYSIS(CFGDump, "cfg-dump", |
Ted Kremenek | f7f3c20 | 2008-07-15 00:46:02 +0000 | [diff] [blame^] | 15 | "Display Control-Flow Graphs", Code) |
Ted Kremenek | fb9a48c | 2008-07-14 23:41:13 +0000 | [diff] [blame] | 16 | |
| 17 | ANALYSIS(CFGView, "cfg-view", |
Ted Kremenek | f7f3c20 | 2008-07-15 00:46:02 +0000 | [diff] [blame^] | 18 | "View Control-Flow Graphs using GraphViz", Code) |
Ted Kremenek | fb9a48c | 2008-07-14 23:41:13 +0000 | [diff] [blame] | 19 | |
| 20 | ANALYSIS(DisplayLiveVariables, "dump-live-variables", |
Ted Kremenek | f7f3c20 | 2008-07-15 00:46:02 +0000 | [diff] [blame^] | 21 | "Print results of live variable analysis", Code) |
Ted Kremenek | fb9a48c | 2008-07-14 23:41:13 +0000 | [diff] [blame] | 22 | |
| 23 | ANALYSIS(WarnDeadStores, "warn-dead-stores", |
Ted Kremenek | f7f3c20 | 2008-07-15 00:46:02 +0000 | [diff] [blame^] | 24 | "Warn about stores to dead variables", Code) |
Ted Kremenek | fb9a48c | 2008-07-14 23:41:13 +0000 | [diff] [blame] | 25 | |
| 26 | ANALYSIS(WarnUninitVals, "warn-uninit-values", |
Ted Kremenek | f7f3c20 | 2008-07-15 00:46:02 +0000 | [diff] [blame^] | 27 | "Warn about uses of uninitialized variables", Code) |
Ted Kremenek | fb9a48c | 2008-07-14 23:41:13 +0000 | [diff] [blame] | 28 | |
| 29 | ANALYSIS(WarnObjCMethSigs, "warn-objc-methodsigs", |
Ted Kremenek | f7f3c20 | 2008-07-15 00:46:02 +0000 | [diff] [blame^] | 30 | "Warn about Objective-C method signatures with type incompatibilities", |
| 31 | ObjCImplementation) |
Ted Kremenek | fb9a48c | 2008-07-14 23:41:13 +0000 | [diff] [blame] | 32 | |
| 33 | ANALYSIS(WarnObjCDealloc, "warn-objc-missing-dealloc", |
Ted Kremenek | f7f3c20 | 2008-07-15 00:46:02 +0000 | [diff] [blame^] | 34 | "Warn about Objective-C classes that lack a correct implementation of -dealloc", |
| 35 | ObjCImplementation) |
Ted Kremenek | fb9a48c | 2008-07-14 23:41:13 +0000 | [diff] [blame] | 36 | |
| 37 | ANALYSIS(CheckerSimple, "checker-simple", |
Ted Kremenek | f7f3c20 | 2008-07-15 00:46:02 +0000 | [diff] [blame^] | 38 | "Perform simple path-sensitive checks.", Code) |
Ted Kremenek | fb9a48c | 2008-07-14 23:41:13 +0000 | [diff] [blame] | 39 | |
| 40 | ANALYSIS(CheckerCFRef, "checker-cfref", |
Ted Kremenek | f7f3c20 | 2008-07-15 00:46:02 +0000 | [diff] [blame^] | 41 | "Run the [Core] Foundation reference count checker", Code) |
Ted Kremenek | fb9a48c | 2008-07-14 23:41:13 +0000 | [diff] [blame] | 42 | |
| 43 | #undef ANALYSIS |