LCOV - code coverage report | |||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||
File | Line Coverage | Branch Coverage | Function Coverage | ||||||||
Rate | Total | Hit | Rate | Total | Hit | Rate | Total | Hit | |||
record-layout.h |
|
61.1 % | 18 | 11 | - | 0.0 % | 1 | ||||
call-info.h |
|
72.7 % | 11 | 8 | - | - | |||||
call-summary.h |
|
100.0 % | 11 | 11 | - | - | |||||
complexity.h |
|
100.0 % | 2 | 2 | - | - | |||||
event-loc-info.h |
|
100.0 % | 2 | 2 | - | - | |||||
feasible-graph.h |
|
100.0 % | 25 | 25 | - | - | |||||
function-set.h |
|
100.0 % | 2 | 2 | - | - | |||||
ranges.h |
|
100.0 % | 10 | 10 | - | - | |||||
region-model-manager.h |
|
100.0 % | 17 | 17 | - | - | |||||
region-model-reachability.h |
|
100.0 % | 16 | 16 | - | - | |||||
symbol.h |
|
100.0 % | 5 | 5 | - | - | |||||
trimmed-graph.h |
|
100.0 % | 7 | 7 | - | - | |||||
region-model-asm.cc |
|
75.3 % | 97 | 73 | - | 50.0 % | 2 | 1 | |||
supergraph.h |
|
87.0 % | 131 | 114 | - | 57.7 % | 26 | 15 | |||
record-layout.cc |
|
73.3 % | 45 | 33 | - | 60.0 % | 5 | 3 | |||
call-summary.cc |
|
61.5 % | 524 | 322 | - | 61.1 % | 18 | 11 | |||
region-model.h |
|
59.3 % | 248 | 147 | - | 61.6 % | 73 | 45 | |||
ranges.cc |
|
76.6 % | 154 | 118 | - | 64.7 % | 17 | 11 | |||
region.cc |
|
72.6 % | 1021 | 741 | - | 64.8 % | 145 | 94 | |||
svalue.cc |
|
72.4 % | 1125 | 814 | - | 66.2 % | 130 | 86 | |||
region-model-reachability.cc |
|
80.8 % | 151 | 122 | - | 66.7 % | 12 | 8 | |||
sm.h |
|
90.4 % | 52 | 47 | - | 72.2 % | 18 | 13 | |||
constraint-manager.cc |
|
87.7 % | 2498 | 2191 | - | 76.6 % | 154 | 118 | |||
program-state.cc |
|
79.7 % | 985 | 785 | - | 77.1 % | 70 | 54 | |||
checker-path.cc |
|
55.8 % | 120 | 67 | - | 77.8 % | 9 | 7 | |||
trimmed-graph.cc |
|
91.3 % | 46 | 42 | - | 80.0 % | 5 | 4 | |||
exploded-graph.h |
|
92.5 % | 160 | 148 | - | 80.0 % | 20 | 16 | |||
engine.cc |
|
84.0 % | 2889 | 2428 | - | 83.3 % | 209 | 174 | |||
access-diagram.h |
|
93.9 % | 33 | 31 | - | 83.3 % | 6 | 5 | |||
feasible-graph.cc |
|
82.0 % | 122 | 100 | - | 83.3 % | 12 | 10 | |||
sm.cc |
|
69.6 % | 69 | 48 | - | 83.3 % | 12 | 10 | |||
call-string.cc |
|
78.5 % | 130 | 102 | - | 84.2 % | 19 | 16 | |||
kf-analyzer.cc |
|
89.0 % | 155 | 138 | - | 84.6 % | 26 | 22 | |||
supergraph.cc |
|
80.2 % | 621 | 498 | - | 84.8 % | 46 | 39 | |||
checker-event.h |
|
92.9 % | 98 | 91 | - | 85.7 % | 21 | 18 | |||
store.cc |
|
83.2 % | 1698 | 1413 | - | 85.8 % | 134 | 115 | |||
diagnostic-manager.cc |
|
85.3 % | 1263 | 1077 | - | 86.6 % | 82 | 71 | |||
call-details.cc |
|
81.5 % | 189 | 154 | - | 87.1 % | 31 | 27 | |||
sm-malloc.cc |
|
91.6 % | 971 | 889 | - | 87.0 % | 131 | 114 | |||
call-info.cc |
|
87.8 % | 41 | 36 | - | 87.5 % | 8 | 7 | |||
access-diagram.cc |
|
86.6 % | 1250 | 1082 | - | 88.2 % | 93 | 82 | |||
infinite-loop.cc |
|
77.5 % | 267 | 207 | - | 88.9 % | 18 | 16 | |||
sm-signal.cc |
|
95.8 % | 118 | 113 | - | 89.5 % | 19 | 17 | |||
checker-event.cc |
|
81.1 % | 434 | 352 | - | 89.5 % | 57 | 51 | |||
region-model-manager.cc |
|
97.7 % | 997 | 974 | - | 89.8 % | 127 | 114 | |||
checker-path.h |
|
95.2 % | 42 | 40 | - | 90.0 % | 10 | 9 | |||
sm-pattern-test.cc |
|
87.1 % | 31 | 27 | - | 90.0 % | 10 | 9 | |||
bounds-checking.cc |
|
79.7 % | 674 | 537 | - | 90.7 % | 54 | 49 | |||
sm-fd.cc |
|
94.6 % | 1195 | 1131 | - | 90.7 % | 108 | 98 | |||
svalue.h |
|
94.4 % | 426 | 402 | - | 90.8 % | 87 | 79 | |||
known-function-manager.cc |
|
97.0 % | 66 | 64 | - | 91.7 % | 12 | 11 | |||
sm-taint.cc |
|
74.5 % | 804 | 599 | - | 91.8 % | 61 | 56 | |||
pending-diagnostic.cc |
|
88.1 % | 84 | 74 | - | 92.3 % | 13 | 12 | |||
sm-sensitive.cc |
|
90.0 % | 70 | 63 | - | 92.9 % | 14 | 13 | |||
region-model.cc |
|
92.4 % | 4347 | 4016 | - | 93.1 % | 317 | 295 | |||
region.h |
|
94.1 % | 323 | 304 | - | 93.8 % | 81 | 76 | |||
sm-file.cc |
|
91.6 % | 226 | 207 | - | 94.1 % | 34 | 32 | |||
program-point.cc |
|
83.6 % | 359 | 300 | - | 94.3 % | 35 | 33 | |||
varargs.cc |
|
93.7 % | 363 | 340 | - | 94.2 % | 52 | 49 | |||
infinite-recursion.cc |
|
93.2 % | 219 | 204 | - | 94.7 % | 19 | 18 | |||
analyzer.h |
|
97.2 % | 71 | 69 | - | 95.2 % | 21 | 20 | |||
analyzer.cc |
|
85.5 % | 200 | 171 | - | 95.5 % | 22 | 21 | |||
store.h |
|
95.7 % | 162 | 155 | - | 96.2 % | 26 | 25 | |||
kf.cc |
|
97.3 % | 1065 | 1036 | - | 97.2 % | 106 | 103 | |||
pending-diagnostic.h |
|
94.0 % | 67 | 63 | - | 97.2 % | 36 | 35 | |||
bar-chart.h |
|
100.0 % | 4 | 4 | - | 100.0 % | 1 | 1 | |||
diagnostic-manager.h |
|
100.0 % | 24 | 24 | - | 100.0 % | 1 | 1 | |||
reachability.h |
|
100.0 % | 16 | 16 | - | 100.0 % | 1 | 1 | |||
symbol.cc |
|
100.0 % | 2 | 2 | - | 100.0 % | 1 | 1 | |||
analyzer-selftests.cc |
|
100.0 % | 16 | 16 | - | 100.0 % | 2 | 2 | |||
call-string.h |
|
88.5 % | 26 | 23 | - | 100.0 % | 2 | 2 | |||
program-state.h |
|
100.0 % | 32 | 32 | - | 100.0 % | 2 | 2 | |||
bar-chart.cc |
|
100.0 % | 38 | 38 | - | 100.0 % | 3 | 3 | |||
inlining-iterator.h |
|
100.0 % | 49 | 49 | - | 100.0 % | 3 | 3 | |||
state-purge.h |
|
97.2 % | 36 | 35 | - | 100.0 % | 3 | 3 | |||
analysis-plan.cc |
|
100.0 % | 37 | 37 | - | 100.0 % | 4 | 4 | |||
analyzer-logging.h |
|
100.0 % | 43 | 43 | - | 100.0 % | 4 | 4 | |||
analyzer-pass.cc |
|
100.0 % | 10 | 10 | - | 100.0 % | 4 | 4 | |||
call-details.h |
|
100.0 % | 20 | 20 | - | 100.0 % | 4 | 4 | |||
complexity.cc |
|
100.0 % | 19 | 19 | - | 100.0 % | 4 | 4 | |||
constraint-manager.h |
|
96.7 % | 60 | 58 | - | 100.0 % | 4 | 4 | |||
analyzer-language.cc |
|
94.3 % | 53 | 50 | - | 100.0 % | 7 | 7 | |||
kf-lang-cp.cc |
|
100.0 % | 65 | 65 | - | 100.0 % | 7 | 7 | |||
program-point.h |
|
98.4 % | 63 | 62 | - | 100.0 % | 7 | 7 | |||
function-set.cc |
|
100.0 % | 63 | 63 | - | 100.0 % | 9 | 9 | |||
analyzer-logging.cc |
|
95.7 % | 93 | 89 | - | 100.0 % | 16 | 16 | |||
state-purge.cc |
|
93.2 % | 543 | 506 | - | 100.0 % | 32 | 32 |
Generated by: LCOV version 2.1-beta |