| LCOV - code coverage report | |||||||||||||||||||||||||
|
|||||||||||||||||||||||||
| File |
Line Coverage |
Function Coverage |
||||||
| Rate | Total | Hit | Rate | Total | Hit | |||
| record-layout.h |
|
65.0 % | 20 | 13 | 0.0 % | 1 | ||
| call-info.h |
|
72.7 % | 11 | 8 | - | |||
| call-summary.h |
|
100.0 % | 11 | 11 | - | |||
| complexity.h |
|
100.0 % | 2 | 2 | - | |||
| diagnostic-manager.h |
|
100.0 % | 14 | 14 | - | |||
| event-loc-info.h |
|
100.0 % | 2 | 2 | - | |||
| feasible-graph.h |
|
100.0 % | 23 | 23 | - | |||
| 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 | - | |||
| state-transition.cc |
|
37.3 % | 59 | 22 | 15.4 % | 13 | 2 | |
| callsite-expr.h |
|
52.0 % | 25 | 13 | 50.0 % | 2 | 1 | |
| ops.h |
|
64.7 % | 139 | 90 | 52.6 % | 38 | 20 | |
| exploded-path.cc |
|
56.5 % | 115 | 65 | 54.5 % | 11 | 6 | |
| record-layout.cc |
|
73.3 % | 45 | 33 | 60.0 % | 5 | 3 | |
| state-transition.h |
|
85.2 % | 27 | 23 | 60.0 % | 10 | 6 | |
| call-summary.cc |
|
61.6 % | 511 | 315 | 61.1 % | 18 | 11 | |
| region-model.h |
|
62.6 % | 273 | 171 | 62.8 % | 78 | 49 | |
| ranges.cc |
|
76.3 % | 152 | 116 | 64.7 % | 17 | 11 | |
| region.cc |
|
73.9 % | 1076 | 795 | 66.2 % | 148 | 98 | |
| region-model-reachability.cc |
|
81.2 % | 154 | 125 | 66.7 % | 12 | 8 | |
| sm.h |
|
87.0 % | 54 | 47 | 68.4 % | 19 | 13 | |
| svalue.cc |
|
74.8 % | 1164 | 871 | 70.8 % | 137 | 97 | |
| setjmp-longjmp.cc |
|
90.4 % | 166 | 150 | 73.7 % | 19 | 14 | |
| program-state.cc |
|
79.1 % | 954 | 755 | 76.9 % | 65 | 50 | |
| supergraph.h |
|
96.6 % | 58 | 56 | 77.8 % | 9 | 7 | |
| checker-event.h |
|
90.3 % | 124 | 112 | 77.8 % | 27 | 21 | |
| constraint-manager.cc |
|
89.0 % | 2491 | 2218 | 77.8 % | 153 | 119 | |
| supergraph.cc |
|
88.2 % | 483 | 426 | 78.6 % | 28 | 22 | |
| sm.cc |
|
70.5 % | 78 | 55 | 80.0 % | 15 | 12 | |
| call-details.cc |
|
65.8 % | 234 | 154 | 81.8 % | 33 | 27 | |
| access-diagram.h |
|
93.9 % | 33 | 31 | 83.3 % | 6 | 5 | |
| engine.cc |
|
83.3 % | 2247 | 1872 | 83.5 % | 164 | 137 | |
| exploded-graph.h |
|
96.7 % | 151 | 146 | 84.2 % | 19 | 16 | |
| kf-analyzer.cc |
|
90.2 % | 164 | 148 | 85.2 % | 27 | 23 | |
| program-point.cc |
|
88.2 % | 93 | 82 | 85.7 % | 14 | 12 | |
| store.cc |
|
82.9 % | 1983 | 1643 | 87.3 % | 165 | 144 | |
| ops.cc |
|
87.0 % | 1118 | 973 | 87.7 % | 122 | 107 | |
| access-diagram.cc |
|
86.4 % | 1239 | 1071 | 88.2 % | 93 | 82 | |
| checker-path.cc |
|
91.5 % | 118 | 108 | 88.9 % | 9 | 8 | |
| infinite-loop.cc |
|
83.2 % | 274 | 228 | 88.9 % | 18 | 16 | |
| call-info.cc |
|
88.9 % | 45 | 40 | 90.0 % | 10 | 9 | |
| checker-path.h |
|
95.5 % | 44 | 42 | 90.0 % | 10 | 9 | |
| call-string.cc |
|
79.7 % | 128 | 102 | 90.0 % | 20 | 18 | |
| state-purge.cc |
|
92.0 % | 364 | 335 | 90.6 % | 32 | 29 | |
| bounds-checking.cc |
|
80.6 % | 676 | 545 | 90.7 % | 54 | 49 | |
| feasible-graph.cc |
|
86.5 % | 111 | 96 | 90.9 % | 11 | 10 | |
| svalue.h |
|
94.2 % | 431 | 406 | 91.0 % | 89 | 81 | |
| pending-diagnostic.h |
|
91.8 % | 97 | 89 | 91.5 % | 47 | 43 | |
| known-function-manager.cc |
|
97.1 % | 68 | 66 | 91.7 % | 12 | 11 | |
| common.h |
|
96.5 % | 86 | 83 | 92.3 % | 26 | 24 | |
| diagnostic-manager.cc |
|
85.6 % | 1316 | 1126 | 92.3 % | 78 | 72 | |
| region-model-manager.cc |
|
97.9 % | 1072 | 1049 | 92.4 % | 131 | 121 | |
| region-model.cc |
|
92.0 % | 4424 | 4072 | 92.6 % | 312 | 289 | |
| pending-diagnostic.cc |
|
84.0 % | 106 | 89 | 92.9 % | 14 | 13 | |
| sm-sensitive.cc |
|
91.2 % | 68 | 62 | 92.9 % | 14 | 13 | |
| sm-taint.cc |
|
75.1 % | 800 | 601 | 93.4 % | 61 | 57 | |
| region.h |
|
94.1 % | 323 | 304 | 93.8 % | 81 | 76 | |
| varargs.cc |
|
93.9 % | 359 | 337 | 94.4 % | 54 | 51 | |
| checker-event.cc |
|
89.0 % | 547 | 487 | 94.4 % | 72 | 68 | |
| sm-signal.cc |
|
95.7 % | 117 | 112 | 94.7 % | 19 | 18 | |
| sm-malloc.cc |
|
90.8 % | 1041 | 945 | 94.9 % | 138 | 131 | |
| ana-state-to-diagnostic-state.cc |
|
77.7 % | 395 | 307 | 95.0 % | 20 | 19 | |
| infinite-recursion.cc |
|
92.6 % | 216 | 200 | 95.0 % | 20 | 19 | |
| store.h |
|
96.8 % | 188 | 182 | 95.8 % | 24 | 23 | |
| analyzer.cc |
|
85.9 % | 213 | 183 | 96.2 % | 26 | 25 | |
| kf.cc |
|
96.6 % | 1402 | 1354 | 96.6 % | 148 | 143 | |
| sm-file.cc |
|
92.2 % | 232 | 214 | 97.2 % | 36 | 35 | |
| bar-chart.h |
|
100.0 % | 4 | 4 | 100.0 % | 1 | 1 | |
| program-point.h |
|
100.0 % | 28 | 28 | 100.0 % | 1 | 1 | |
| program-state.h |
|
100.0 % | 39 | 39 | 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 | |
| region-model-asm.cc |
|
75.5 % | 98 | 74 | 100.0 % | 2 | 2 | |
| state-purge.h |
|
100.0 % | 26 | 26 | 100.0 % | 2 | 2 | |
| bar-chart.cc |
|
100.0 % | 38 | 38 | 100.0 % | 3 | 3 | |
| call-string.h |
|
88.9 % | 27 | 24 | 100.0 % | 3 | 3 | |
| inlining-iterator.h |
|
100.0 % | 46 | 46 | 100.0 % | 3 | 3 | |
| supergraph-fixup-locations.cc |
|
100.0 % | 32 | 32 | 100.0 % | 3 | 3 | |
| supergraph-manipulation.h |
|
100.0 % | 17 | 17 | 100.0 % | 3 | 3 | |
| analysis-plan.cc |
|
100.0 % | 38 | 38 | 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 | |
| exploded-path.h |
|
96.2 % | 26 | 25 | 100.0 % | 4 | 4 | |
| analyzer-language.cc |
|
94.0 % | 50 | 47 | 100.0 % | 5 | 5 | |
| analyzer-logging.h |
|
100.0 % | 52 | 52 | 100.0 % | 5 | 5 | |
| trimmed-graph.cc |
|
100.0 % | 44 | 44 | 100.0 % | 5 | 5 | |
| function-set.cc |
|
100.0 % | 63 | 63 | 100.0 % | 9 | 9 | |
| poisoned-value-diagnostic.cc |
|
91.9 % | 86 | 79 | 100.0 % | 10 | 10 | |
| sm-pattern-test.cc |
|
90.0 % | 30 | 27 | 100.0 % | 10 | 10 | |
| supergraph-simplify.cc |
|
98.7 % | 150 | 148 | 100.0 % | 10 | 10 | |
| write-to-const-diagnostics.cc |
|
100.0 % | 57 | 57 | 100.0 % | 10 | 10 | |
| supergraph-sorting.cc |
|
100.0 % | 97 | 97 | 100.0 % | 11 | 11 | |
| shift-diagnostics.cc |
|
100.0 % | 44 | 44 | 100.0 % | 14 | 14 | |
| analyzer-logging.cc |
|
95.7 % | 92 | 88 | 100.0 % | 16 | 16 | |
| impl-sm-context.h |
|
92.8 % | 138 | 128 | 100.0 % | 19 | 19 | |
| kf-lang-cp.cc |
|
98.1 % | 267 | 262 | 100.0 % | 28 | 28 | |
| sm-fd.cc |
|
94.7 % | 1188 | 1125 | 100.0 % | 110 | 110 | |
| Generated by: LCOV version 2.4-beta |