goblint / analyzer / 2659
62%
master: 65%

LAST BUILD BRANCH: let-at
DEFAULT BRANCH: master
Ran
Jobs 1
Files 270
Run time 2min
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.075%. Remained the same
2659

Pull #1648

github

web-flow 
Merge e559cb62e into b68df11b4
Pull Request #1648: Rename `ctx` -> `man`

1374 of 1659 new or added lines in 66 files covered. (82.82%)

47 existing lines in 21 files now uncovered.

18869 of 30397 relevant lines covered (62.08%)

446371.81 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
62.38
 0.0% src/analyses/basePriv.ml
1
75.0
 0.0% src/analyses/loopTermination.ml
1
83.33
 0.0% src/analyses/mallocFresh.ml
1
83.33
 0.0% src/analyses/pthreadSignals.ml
1
85.0
 0.0% src/analyses/tutorials/constants.ml
1
71.6
 0.0% src/framework/analyses.ml
2
86.21
 0.0% src/analyses/mayLocks.ml
2
89.13
 0.0% src/analyses/taintPartialContexts.ml
2
78.41
 0.0% src/analyses/threadId.ml
2
72.22
 0.0% src/analyses/tmpSpecial.ml
2
77.78
 0.0% src/analyses/unassumeAnalysis.ml
3
59.26
 0.0% src/analyses/condVars.ml
3
83.33
 0.0% src/analyses/memLeak.ml
3
74.81
 0.0% src/analyses/uninit.ml
4
70.63
 0.0% src/analyses/malloc_null.ml
4
71.88
 0.0% src/analyses/memOutOfBounds.ml
4
77.6
 0.0% src/analyses/useAfterFree.ml
5
77.78
 0.0% src/analyses/mutexAnalysis.ml
5
85.19
 0.0% src/analyses/poisonVariables.ml
5
80.39
 0.0% src/analyses/region.ml
6
86.27
 0.0% src/analyses/mCP.ml
6
28.57
 0.0% src/analyses/stackTrace.ml
6
55.89
 0.0% src/analyses/varEq.ml
6
61.73
 0.0% src/framework/control.ml
6
40.0
 0.0% src/framework/resultQuery.ml
6
70.15
 0.0% src/lifters/recursionTermLifter.ml
6
67.74
 0.0% src/lifters/wideningTokenLifter.ml
7
71.7
 0.0% src/lifters/contextGasLifter.ml
7
79.67
 0.0% src/lifters/longjmpLifter.ml
9
87.6
 0.0% src/framework/constraints.ml
10
45.1
 0.0% src/analyses/mutexGhosts.ml
11
4.65
 0.0% src/analyses/tutorials/taint.ml
12
0.0
 0.0% src/witness/observerAnalysis.ml
19
59.73
 0.0% src/witness/witnessConstraints.ml
32
79.64
 0.0% src/analyses/base.ml
40
66.48
 0.0% src/lifters/specLifters.ml
44
3.27
 0.0% src/analyses/extractPthread.ml

Uncovered Existing Lines

Lines Coverage ∆ File
1
83.33
 0.0% src/analyses/abortUnless.ml
1
71.88
 0.0% src/analyses/memOutOfBounds.ml
1
74.81
 0.0% src/analyses/uninit.ml
1
45.1
 0.0% src/analyses/mutexGhosts.ml
1
0.0
 0.0% src/witness/observerAnalysis.ml
1
80.39
 0.0% src/analyses/region.ml
1
79.67
 0.0% src/lifters/longjmpLifter.ml
1
72.22
 0.0% src/analyses/tmpSpecial.ml
1
77.6
 0.0% src/analyses/useAfterFree.ml
1
70.63
 0.0% src/analyses/malloc_null.ml
1
4.65
 0.0% src/analyses/tutorials/taint.ml
1
89.13
 0.0% src/analyses/taintPartialContexts.ml
1
55.89
 0.0% src/analyses/varEq.ml
1
82.76
 0.0% src/analyses/symbLocks.ml
2
83.33
 0.0% src/analyses/memLeak.ml
2
87.6
 0.0% src/framework/constraints.ml
2
59.26
 0.0% src/analyses/condVars.ml
3
40.0
 0.0% src/framework/resultQuery.ml
4
59.73
 0.0% src/witness/witnessConstraints.ml
10
86.27
 0.0% src/analyses/mCP.ml
10
79.64
 0.0% src/analyses/base.ml
Jobs
ID Job ID Ran Files Coverage
1 2659.1 270
62.08
 GitHub Action Run
Source Files on build 2659