Alan-Jowett
/
ebpf-verifier
/
18658728485
87%
|
Ran
|
Jobs
2
|
Files
74
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
coverage: 88.47% (+0.4%) from 88.11%
push
github
elazargBump external/bpf_conformance from `8f3c2fe` to `6fa6a20` Bumps [external/bpf_conformance](https://github.com/Alan-Jowett/bpf_conformance) from `8f3c2fe` to `6fa6a20`. - [Release notes](https://github.com/Alan-Jowett/bpf_conformance/releases) - [Commits](https://github.com/Alan-Jowett/bpf_conformance/compare/8f3c2fe88...<a class=hub.com/Alan-Jowett/ebpf-verifier/commit/6fa6a20ac6fd3612ea9338312a67408687b9f06b">6fa6a20ac) --- updated-dependencies: - dependency-name: external/bpf_conformance dependency-version: 6fa6a20ac6fd3612ea9338312a67408687b9f06b dependency-type: direct:production ... Signed-off-by: dependabot[bot] <support@github.com>
8954 of 10121 relevant lines covered (88.47%)
18293099.16 hits per line
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
76.92 |
4.2% | src/crab_utils/stats.hpp |
| 1 |
91.67 |
0.76% | src/linux/gpl/spec_prototypes.cpp |
| 1 |
97.87 |
-2.13% | src/test/test_print.cpp |
| 2 |
94.44 |
-0.68% | src/crab/split_dbm.hpp |
| 2 |
95.45 |
-4.55% | src/crab/type_domain.hpp |
| 2 |
84.21 |
0.88% | src/string_constraints.hpp |
| 4 |
77.88 |
-3.42% | src/crab/add_bottom.hpp |
| 4 |
83.78 |
-0.43% | src/crab/finite_domain.hpp |
| 5 |
96.74 |
-0.14% | src/assertions.cpp |
| 6 |
92.78 |
-0.07% | src/crab/interval.hpp |
| 6 |
94.59 |
0.97% | src/crab_utils/graph_ops.hpp |
| 7 |
77.97 |
10.72% | src/crab_verifier.cpp |
| 12 |
94.73 |
0.04% | src/asm_unmarshal.cpp |
| 14 |
95.3 |
-0.97% | src/crab/ebpf_checker.cpp |
| 24 |
86.44 |
-2.69% | src/crab/type_domain.cpp |
| 24 |
12.68 |
5.63% | src/crab_utils/stats.cpp |
| 28 |
96.45 |
0.2% | src/crab/ebpf_transformer.cpp |
| 29 |
73.58 |
0.22% | src/test/ebpf_yaml.cpp |
| 30 |
95.6 |
0.76% | src/crab/split_dbm.cpp |
| 33 |
86.83 |
0.0% | src/asm_files.cpp |
| 44 |
80.39 |
1.63% | src/asm_parse.cpp |
| 44 |
88.43 |
-0.48% | src/crab/array_domain.cpp |
| 53 |
73.64 |
-2.04% | src/crab/ebpf_domain.cpp |
| 84 |
53.25 |
-0.06% | src/asm_ostream.cpp |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | run-Debug - 18658728485.1 | 74 |
86.32 |
GitHub Action Run | |
| 2 | run-Release - 18658728485.2 | 73 |
87.56 |
GitHub Action Run |
