goblint / analyzer / 1576
62%

DEFAULT BRANCH: master
Ran
Jobs 1
Files 249
Run time 1min
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
coverage: 62.574% (-0.02%) from 62.595%
1576

push

github

web-flow 
Merge pull request #1393 from goblint/newlines

Automatically add newline to trace output

6 of 464 new or added lines in 41 files covered. (1.29%)

457 existing lines in 21 files now uncovered.

18385 of 29381 relevant lines covered (62.57%)

461046.63 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
59.26
 0.0% src/analyses/condVars.ml
1
66.47
 0.0% src/cdomain/value/cdomains/arrayDomain.ml
1
81.75
 0.0% src/cdomain/value/cdomains/offset.ml
1
53.69
 0.0% src/cdomains/symbLocksDomain.ml
1
72.15
 0.36% src/framework/analyses.ml
1
54.55
 0.0% src/witness/argTools.ml
2
89.13
 -0.23% src/analyses/taintPartialContexts.ml
2
73.25
 0.0% src/cdomain/value/cdomains/floatDomain.ml
3
86.79
 0.25% src/analyses/threadEscape.ml
3
72.73
 0.0% src/solver/postSolver.ml
4
82.76
 0.0% src/analyses/symbLocks.ml
4
72.22
 -0.75% src/analyses/tmpSpecial.ml
4
67.26
 0.0% src/config/gobConfig.ml
4
43.8
 0.0% src/witness/witness.ml
5
89.71
 0.0% src/analyses/accessAnalysis.ml
5
63.38
 0.0% src/incremental/compareAST.ml
6
62.15
 0.0% src/framework/control.ml
6
85.37
 0.0% src/solver/sLR.ml
6
77.39
 0.0% src/solver/sLRterm.ml
7
82.05
 0.0% src/solver/sLRphased.ml
7
56.94
 0.0% src/witness/witnessConstraints.ml
8
7.34
 0.0% src/solver/generic.ml
9
55.89
 0.0% src/analyses/varEq.ml
9
62.98
 0.0% src/cdomain/value/cdomains/structDomain.ml
10
86.21
 0.0% src/analyses/mCP.ml
10
79.79
 0.0% src/cdomain/value/cdomains/addressDomain.ml
10
74.58
 0.0% src/domains/access.ml
10
1.35
 0.0% src/solver/topDown_term.ml
13
1.1
 0.0% src/solver/topDown_deprecated.ml
15
72.0
 -1.05% src/cdomain/value/cdomains/valueDomain.ml
15
57.77
 0.0% src/common/framework/cfgTools.ml
15
0.89
 0.0% src/solver/topDown_space_cache_term.ml
16
1.09
 0.0% src/solver/topDown.ml
18
67.17
 0.0% src/framework/constraints.ml
22
77.96
 0.0% src/cdomain/value/cdomains/intDomain.ml
32
76.32
 0.0% src/analyses/baseInvariant.ml
43
74.52
 0.0% src/solver/td3.ml
59
56.03
 0.68% src/analyses/basePriv.ml
70
80.14
 -0.1% src/analyses/base.ml

Uncovered Existing Lines

Lines Coverage ∆ File
1
1.1
 0.0% src/solver/topDown_deprecated.ml
1
92.31
 -0.55% src/analyses/vla.ml
1
51.87
 -0.53% src/common/util/messages.ml
1
89.47
 0.0% src/common/cdomains/floatOps/floatOps.ml
1
92.86
 -0.48% src/analyses/activeLongjmp.ml
2
93.75
 -0.19% src/analyses/modifiedSinceSetjmp.ml
2
1.09
 0.0% src/solver/topDown.ml
3
90.0
 1.76% src/analyses/mutexTypeAnalysis.ml
3
89.13
 -0.23% src/analyses/taintPartialContexts.ml
5
85.0
 -0.37% src/analyses/tutorials/constants.ml
6
72.22
 -0.75% src/analyses/tmpSpecial.ml
8
66.67
 0.78% src/analyses/commonPriv.ml
8
86.79
 0.25% src/analyses/threadEscape.ml
8
85.19
 -0.27% src/analyses/poisonVariables.ml
16
77.6
 0.18% src/analyses/useAfterFree.ml
22
77.18
 0.31% src/cdomain/value/cdomains/threadIdDomain.ml
30
66.67
 -0.1% src/domains/queries.ml
32
72.18
 -0.21% src/analyses/unassumeAnalysis.ml
47
67.92
 0.17% src/cdomains/vectorMatrix.ml
71
55.91
 0.22% src/common/util/cilType.ml
189
56.03
 0.68% src/analyses/basePriv.ml
Jobs
ID Job ID Ran Files Coverage
1 1576.1 249
62.57
 GitHub Action Run
Source Files on build 1576