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