LCOV - code coverage report
Current view: top level - gcc/analyzer Coverage Total Hit
Test: gcc.info Lines: 86.8 % 33731 29265
Test Date: 2026-08-22 16:33:35 Functions: 86.6 % 3366 2915
Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

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

Generated by: LCOV version 2.4-beta

LCOV profile is generated on x86_64 machine using following configure options: configure --disable-bootstrap --enable-coverage=opt --enable-languages=c,c++,fortran,go,jit,lto,rust,m2 --enable-host-shared. GCC test suite is run with the built compiler.