| 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 |