Alan-Jowett / ebpf-verifier / 27778108035
86%

DEFAULT BRANCH: main
Ran
Jobs 2
Files 79
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: 86.386% (-2.5%) from 88.93%

Coverage Regressions

Lines Coverage ∆ File
204
57.04
 -0.95% src/printing.cpp
87
84.46
 4.32% src/io/elf_reader.cpp
66
91.87
 0.5% src/crab/ebpf_transformer.cpp
55
77.71
 1.2% src/result.cpp
53
88.54
 2.19% src/ir/cfg_builder.cpp
51
85.34
 -2.81% src/crab/array_domain.cpp
43
79.09
 -1.85% src/crab/ebpf_domain.cpp
43
75.88
 0.48% src/crab/interval.cpp
36
74.3
 1.03% src/io/elf_map_parser.cpp
23
89.2
 -0.57% src/crab/ebpf_checker.cpp
20
86.75
 -1.46% src/crab/type_to_num.cpp
17
85.14
 3.15% src/linux/linux_platform.cpp
16
91.25
 -1.48% src/crab/zone_domain.cpp
14
78.79
 22.76% src/linux/kfunc.cpp
13
84.0
 -0.03% src/ir/syntax.hpp
12
95.19
 -0.27% src/crab/finite_domain.cpp
11
85.9
 -5.28% src/crab/var_registry.cpp
9
93.33
 2.19% src/fwd_analyzer.cpp
8
90.99
 0.04% src/ir/assertions.cpp
8
96.84
 1.68% src/ir/unmarshal.cpp
6
90.31
 -0.16% src/crab/type_domain.cpp
4
77.42
 -0.24% src/crab/add_bottom.hpp
4
92.42
 -0.3% src/crab/bitset_domain.hpp
4
50.0
 0.0% src/verifier.hpp
3
93.02
 -1.98% src/crab/type_to_num.hpp
2
95.45
 0.91% src/io/elf_extern_resolve.cpp
2
84.21
 2.96% src/ir/program.hpp
2
84.21
 0.0% src/string_constraints.hpp
1
90.63
 -1.04% src/arith/num_extended.hpp
1
97.56
 0.06% src/crab/bitset_domain.cpp
1
94.12
 2.45% src/result.hpp
Jobs
ID Job ID Ran Files Coverage
1 run-Release - 27778108035.1 79
85.48
 GitHub Action Run
2 run-Debug - 27778108035.2 79
84.64
 GitHub Action Run
Source Files on build 27778108035