zcov:
/
include
/
clang
/
Checker
/
PathSensitive
/
Files:
25
Branches Taken:
43.3%
183 / 423
Generated:
2010-02-10 01:31
Branches Executed:
57.4%
243 / 423
Line Coverage:
87.0%
1134 / 1303
Name
Coverage
Line
Branches Taken
AnalysisManager.h
92.5%
37 / 40 lines
50.0%
3 / 6 branches
BasicValueFactory.h
98.0%
49 / 50 lines
84.4%
27 / 32 branches
Checker.h
92.0%
104 / 113 lines
58.7%
27 / 46 branches
CheckerVisitor.def
83.3%
10 / 12 lines
N/A
0 / 0 branches
CheckerVisitor.h
91.7%
22 / 24 lines
60.9%
14 / 23 branches
ConstraintManager.h
100.0%
4 / 4 lines
N/A
0 / 0 branches
Environment.h
100.0%
20 / 20 lines
100.0%
4 / 4 branches
ExplodedGraph.h
89.3%
92 / 103 lines
70.0%
7 / 10 branches
GRAuditor.h
100.0%
2 / 2 lines
16.7%
1 / 6 branches
GRBlockCounter.h
100.0%
2 / 2 lines
N/A
0 / 0 branches
GRCoreEngine.h
89.1%
90 / 101 lines
83.3%
15 / 18 branches
GRExprEngine.h
97.4%
37 / 38 lines
58.3%
7 / 12 branches
GRExprEngineBuilders.h
100.0%
11 / 11 lines
80.0%
8 / 10 branches
GRSimpleAPICheck.h
100.0%
2 / 2 lines
16.7%
1 / 6 branches
GRState.h
95.6%
131 / 137 lines
38.1%
8 / 21 branches
GRStateTrait.h
42.2%
19 / 45 lines
62.5%
5 / 8 branches
GRSubEngine.h
100.0%
2 / 2 lines
16.7%
1 / 6 branches
GRTransferFuncs.h
16.7%
2 / 12 lines
16.7%
1 / 6 branches
GRWorkList.h
100.0%
18 / 18 lines
N/A
0 / 0 branches
MemRegion.h
80.8%
181 / 224 lines
14.4%
19 / 132 branches
SVals.h
91.4%
138 / 151 lines
95.8%
23 / 24 branches
SValuator.h
100.0%
2 / 2 lines
16.7%
1 / 6 branches
Store.h
92.0%
23 / 25 lines
22.2%
2 / 9 branches
SymbolManager.h
75.5%
83 / 110 lines
19.4%
7 / 36 branches
ValueManager.h
96.4%
53 / 55 lines
100.0%
2 / 2 branches
Generated: 2010-02-10 01:31 by
zcov