| LCOV - code coverage report | |||||||||||||||||||||||||
|
|||||||||||||||||||||||||
| File |
Line Coverage |
Function Coverage |
||||||
| Rate | Total | Hit | Rate | Total | Hit | |||
| ops.h |
|
61.1 % | 131 | 80 | 47.1 % | 34 | 16 | |
| call-summary.cc |
|
61.5 % | 524 | 322 | 61.1 % | 18 | 11 | |
| region-model.h |
|
63.0 % | 276 | 174 | 62.8 % | 78 | 49 | |
| record-layout.h |
|
65.0 % | 20 | 13 | 0.0 % | 1 | ||
| call-details.cc |
|
66.1 % | 236 | 156 | 81.8 % | 33 | 27 | |
| sm.cc |
|
70.5 % | 78 | 55 | 80.0 % | 15 | 12 | |
| call-info.h |
|
72.7 % | 11 | 8 | - | |||
| record-layout.cc |
|
73.3 % | 45 | 33 | 60.0 % | 5 | 3 | |
| region.cc |
|
73.5 % | 1025 | 753 | 65.5 % | 145 | 95 | |
| sm-taint.cc |
|
75.1 % | 806 | 605 | 93.4 % | 61 | 57 | |
| svalue.cc |
|
75.1 % | 1189 | 893 | 70.8 % | 137 | 97 | |
| region-model-asm.cc |
|
75.5 % | 98 | 74 | 100.0 % | 2 | 2 | |
| ranges.cc |
|
76.6 % | 154 | 118 | 64.7 % | 17 | 11 | |
| ana-state-to-diagnostic-state.cc |
|
77.8 % | 396 | 308 | 95.0 % | 20 | 19 | |
| program-state.cc |
|
79.0 % | 939 | 742 | 76.9 % | 65 | 50 | |
| call-string.cc |
|
79.7 % | 128 | 102 | 90.0 % | 20 | 18 | |
| bounds-checking.cc |
|
80.7 % | 680 | 549 | 90.7 % | 54 | 49 | |
| region-model-reachability.cc |
|
80.9 % | 152 | 123 | 66.7 % | 12 | 8 | |
| engine.cc |
|
82.3 % | 2429 | 2000 | 80.4 % | 184 | 148 | |
| infinite-loop.cc |
|
83.2 % | 274 | 228 | 88.9 % | 18 | 16 | |
| ops.cc |
|
85.7 % | 1038 | 890 | 87.0 % | 115 | 100 | |
| analyzer.cc |
|
85.8 % | 212 | 182 | 96.0 % | 25 | 24 | |
| store.cc |
|
85.9 % | 1828 | 1571 | 89.1 % | 156 | 139 | |
| diagnostic-manager.cc |
|
86.4 % | 1123 | 970 | 92.6 % | 68 | 63 | |
| feasible-graph.cc |
|
86.5 % | 111 | 96 | 90.9 % | 11 | 10 | |
| access-diagram.cc |
|
86.6 % | 1251 | 1083 | 88.2 % | 93 | 82 | |
| sm.h |
|
87.0 % | 54 | 47 | 68.4 % | 19 | 13 | |
| program-point.cc |
|
88.2 % | 93 | 82 | 85.7 % | 14 | 12 | |
| supergraph.cc |
|
88.2 % | 482 | 425 | 78.6 % | 28 | 22 | |
| pending-diagnostic.cc |
|
88.4 % | 95 | 84 | 92.3 % | 13 | 12 | |
| call-string.h |
|
88.9 % | 27 | 24 | 100.0 % | 3 | 3 | |
| constraint-manager.cc |
|
89.0 % | 2487 | 2214 | 77.8 % | 153 | 119 | |
| call-info.cc |
|
89.4 % | 47 | 42 | 90.0 % | 10 | 9 | |
| checker-event.cc |
|
89.5 % | 459 | 411 | 94.1 % | 68 | 64 | |
| sm-pattern-test.cc |
|
90.0 % | 30 | 27 | 100.0 % | 10 | 10 | |
| sm-sensitive.cc |
|
90.0 % | 70 | 63 | 92.9 % | 14 | 13 | |
| checker-event.h |
|
90.3 % | 134 | 121 | 76.9 % | 26 | 20 | |
| kf-analyzer.cc |
|
90.3 % | 165 | 149 | 85.2 % | 27 | 23 | |
| sm-malloc.cc |
|
90.9 % | 1063 | 966 | 94.9 % | 138 | 131 | |
| checker-path.cc |
|
91.5 % | 118 | 108 | 88.9 % | 9 | 8 | |
| state-purge.cc |
|
92.1 % | 366 | 337 | 90.6 % | 32 | 29 | |
| region-model.cc |
|
92.2 % | 4484 | 4135 | 92.9 % | 324 | 301 | |
| sm-file.cc |
|
92.3 % | 235 | 217 | 97.2 % | 36 | 35 | |
| infinite-recursion.cc |
|
92.5 % | 214 | 198 | 94.7 % | 19 | 18 | |
| impl-sm-context.h |
|
93.5 % | 138 | 129 | 100.0 % | 19 | 19 | |
| analyzer-language.cc |
|
93.6 % | 47 | 44 | 100.0 % | 5 | 5 | |
| access-diagram.h |
|
93.9 % | 33 | 31 | 83.3 % | 6 | 5 | |
| varargs.cc |
|
94.0 % | 364 | 342 | 94.4 % | 54 | 51 | |
| region.h |
|
94.1 % | 323 | 304 | 93.8 % | 81 | 76 | |
| pending-diagnostic.h |
|
94.2 % | 69 | 65 | 94.7 % | 38 | 36 | |
| svalue.h |
|
94.3 % | 435 | 410 | 91.0 % | 89 | 81 | |
| sm-fd.cc |
|
94.7 % | 1193 | 1130 | 100.0 % | 110 | 110 | |
| checker-path.h |
|
95.6 % | 45 | 43 | 90.0 % | 10 | 9 | |
| analyzer-logging.cc |
|
95.7 % | 93 | 89 | 100.0 % | 16 | 16 | |
| sm-signal.cc |
|
95.8 % | 118 | 113 | 94.7 % | 19 | 18 | |
| store.h |
|
95.9 % | 169 | 162 | 95.8 % | 24 | 23 | |
| common.h |
|
96.2 % | 78 | 75 | 92.0 % | 25 | 23 | |
| constraint-manager.h |
|
96.7 % | 60 | 58 | 100.0 % | 4 | 4 | |
| exploded-graph.h |
|
96.8 % | 154 | 149 | 84.2 % | 19 | 16 | |
| kf-lang-cp.cc |
|
96.8 % | 155 | 150 | 100.0 % | 22 | 22 | |
| known-function-manager.cc |
|
97.0 % | 66 | 64 | 91.7 % | 12 | 11 | |
| supergraph.h |
|
97.1 % | 69 | 67 | 77.8 % | 9 | 7 | |
| kf.cc |
|
97.2 % | 1082 | 1052 | 96.3 % | 109 | 105 | |
| region-model-manager.cc |
|
97.8 % | 1041 | 1018 | 92.2 % | 129 | 119 | |
| supergraph-simplify.cc |
|
98.7 % | 149 | 147 | 100.0 % | 10 | 10 | |
| complexity.h |
|
100.0 % | 2 | 2 | - | |||
| event-loc-info.h |
|
100.0 % | 2 | 2 | - | |||
| function-set.h |
|
100.0 % | 2 | 2 | - | |||
| symbol.cc |
|
100.0 % | 2 | 2 | 100.0 % | 1 | 1 | |
| bar-chart.h |
|
100.0 % | 4 | 4 | 100.0 % | 1 | 1 | |
| symbol.h |
|
100.0 % | 5 | 5 | - | |||
| trimmed-graph.h |
|
100.0 % | 7 | 7 | - | |||
| analyzer-pass.cc |
|
100.0 % | 10 | 10 | 100.0 % | 4 | 4 | |
| ranges.h |
|
100.0 % | 10 | 10 | - | |||
| call-summary.h |
|
100.0 % | 11 | 11 | - | |||
| diagnostic-manager.h |
|
100.0 % | 14 | 14 | - | |||
| analyzer-selftests.cc |
|
100.0 % | 16 | 16 | 100.0 % | 2 | 2 | |
| reachability.h |
|
100.0 % | 16 | 16 | 100.0 % | 1 | 1 | |
| region-model-reachability.h |
|
100.0 % | 16 | 16 | - | |||
| region-model-manager.h |
|
100.0 % | 17 | 17 | - | |||
| supergraph-manipulation.h |
|
100.0 % | 17 | 17 | 100.0 % | 3 | 3 | |
| complexity.cc |
|
100.0 % | 19 | 19 | 100.0 % | 4 | 4 | |
| call-details.h |
|
100.0 % | 20 | 20 | 100.0 % | 4 | 4 | |
| feasible-graph.h |
|
100.0 % | 25 | 25 | - | |||
| state-purge.h |
|
100.0 % | 26 | 26 | 100.0 % | 2 | 2 | |
| program-point.h |
|
100.0 % | 28 | 28 | 100.0 % | 1 | 1 | |
| supergraph-fixup-locations.cc |
|
100.0 % | 32 | 32 | 100.0 % | 3 | 3 | |
| analysis-plan.cc |
|
100.0 % | 37 | 37 | 100.0 % | 4 | 4 | |
| bar-chart.cc |
|
100.0 % | 38 | 38 | 100.0 % | 3 | 3 | |
| program-state.h |
|
100.0 % | 39 | 39 | 100.0 % | 1 | 1 | |
| trimmed-graph.cc |
|
100.0 % | 46 | 46 | 100.0 % | 5 | 5 | |
| inlining-iterator.h |
|
100.0 % | 49 | 49 | 100.0 % | 3 | 3 | |
| analyzer-logging.h |
|
100.0 % | 52 | 52 | 100.0 % | 5 | 5 | |
| function-set.cc |
|
100.0 % | 63 | 63 | 100.0 % | 9 | 9 | |
| supergraph-sorting.cc |
|
100.0 % | 98 | 98 | 100.0 % | 11 | 11 | |
| Generated by: LCOV version 2.4-beta |