 |
|
 |
|
| Files: |
1 |
|
Branches Taken: |
83.3% |
20 / 24 |
| Generated: |
2010-02-10 01:31 |
|
Branches Executed: |
100.0% |
24 / 24 |
| |
|
Line Coverage: |
95.0% |
19 / 20 |
| |
 |
|
 |
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 : #ifndef ANALYSIS
15 : #define ANALYSIS(NAME, CMDFLAG, DESC, SCOPE)
16 : #endif
17 :
0: branch 2 not taken
2523: branch 3 taken
18 2523: ANALYSIS(CFGDump, "cfg-dump",
19 : "Display Control-Flow Graphs", Code)
20 :
0: branch 2 not taken
2523: branch 3 taken
21 2523: ANALYSIS(CFGView, "cfg-view",
22 : "View Control-Flow Graphs using GraphViz", Code)
23 :
0: branch 2 not taken
2523: branch 3 taken
24 2523: ANALYSIS(DisplayLiveVariables, "dump-live-variables",
25 : "Print results of live variable analysis", Code)
26 :
2: branch 2 taken
2521: branch 3 taken
27 2525: ANALYSIS(SecuritySyntacticChecks, "analyzer-check-security-syntactic",
28 : "Perform quick security checks that require no data flow",
29 : Code)
30 :
17: branch 2 taken
2506: branch 3 taken
31 2540: ANALYSIS(WarnDeadStores, "analyzer-check-dead-stores",
32 : "Warn about stores to dead variables", Code)
33 :
2: branch 2 taken
2521: branch 3 taken
34 2525: ANALYSIS(WarnUninitVals, "warn-uninit-values",
35 : "Warn about uses of uninitialized variables", Code)
36 :
1: branch 2 taken
2522: branch 3 taken
37 2524: ANALYSIS(WarnObjCMethSigs, "analyzer-check-objc-methodsigs",
38 : "Warn about Objective-C method signatures with type incompatibilities",
39 : ObjCImplementation)
40 :
2: branch 2 taken
2521: branch 3 taken
41 2525: ANALYSIS(WarnObjCDealloc, "analyzer-check-objc-missing-dealloc",
42 : "Warn about Objective-C classes that lack a correct implementation of -dealloc",
43 : ObjCImplementation)
44 :
1: branch 2 taken
2522: branch 3 taken
45 2524: ANALYSIS(WarnObjCUnusedIvars, "analyzer-check-objc-unused-ivars",
46 : "Warn about private ivars that are never used", ObjCImplementation)
47 :
176: branch 2 taken
2347: branch 3 taken
48 2698: ANALYSIS(ObjCMemChecker, "analyzer-check-objc-mem",
49 : "Run the [Core] Foundation reference count checker", Code)
50 :
1: branch 2 taken
2522: branch 3 taken
51 2524: ANALYSIS(WarnSizeofPointer, "warn-sizeof-pointer",
52 : "Warn about unintended use of sizeof() on pointer expressions", Code)
53 :
0: branch 2 not taken
2523: branch 3 taken
54 2523: ANALYSIS(InlineCall, "inline-call",
55 : "Experimental transfer function inling callees when its definition"
56 : " is available.", TranslationUnit)
57 :
58 : #ifndef ANALYSIS_STORE
59 : #define ANALYSIS_STORE(NAME, CMDFLAG, DESC, CREATFN)
60 : #endif
61 :
62 90: ANALYSIS_STORE(BasicStore, "basic", "Use basic analyzer store", CreateBasicStoreManager)
63 97: ANALYSIS_STORE(RegionStore, "region", "Use region-based analyzer store", CreateRegionStoreManager)
64 1: ANALYSIS_STORE(FlatStore, "flat", "Use flat analyzer store", CreateFlatStoreManager)
65 :
66 : #ifndef ANALYSIS_CONSTRAINTS
67 : #define ANALYSIS_CONSTRAINTS(NAME, CMDFLAG, DESC, CREATFN)
68 : #endif
69 :
70 51: ANALYSIS_CONSTRAINTS(BasicConstraints, "basic", "Use basic constraint tracking", CreateBasicConstraintManager)
71 137: ANALYSIS_CONSTRAINTS(RangeConstraints, "range", "Use constraint tracking of concrete value ranges", CreateRangeConstraintManager)
72 :
73 : #ifndef ANALYSIS_DIAGNOSTICS
74 : #define ANALYSIS_DIAGNOSTICS(NAME, CMDFLAG, DESC, CREATEFN, AUTOCREATE)
75 : #endif
76 :
77 1: ANALYSIS_DIAGNOSTICS(HTML, "html", "Output analysis results using HTML", CreateHTMLDiagnosticClient, false)
78 1: ANALYSIS_DIAGNOSTICS(PLIST, "plist", "Output analysis results using Plists", CreatePlistDiagnosticClient, true)
79 0: ANALYSIS_DIAGNOSTICS(PLIST_HTML, "plist-html", "Output analysis results using HTML wrapped with Plists", CreatePlistHTMLDiagnosticClient, true)
80 :
81 : #undef ANALYSIS
82 : #undef ANALYSIS_STORE
83 : #undef ANALYSIS_CONSTRAINTS
84 : #undef ANALYSIS_DIAGNOSTICS
85 : #undef ANALYSIS_STORE
86 :
Generated: 2010-02-10 01:31 by zcov