vbpf
/
ebpf-verifier
/
12834089469
88%
main: 87%
main: 87%
|
Ran
|
Jobs
2
|
Files
66
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
coverage: 88.169% (-1.5%) from 89.646%
github
web-flow8481 of 9619 relevant lines covered (88.17%)
7430805.79 hits per line
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
89.57 |
-0.26% | src/crab/type_domain.cpp |
| 1 |
96.86 |
-0.48% | src/assertions.cpp |
| 1 |
93.65 |
0.0% | src/crab_utils/graph_ops.hpp |
| 1 |
92.31 |
-7.69% | src/crab_utils/lazy_allocator.hpp |
| 1 |
97.14 |
-2.86% | src/crab/label.hpp |
| 2 |
73.47 |
-0.71% | src/test/ebpf_yaml.cpp |
| 2 |
91.3 |
-8.7% | src/crab/wto.hpp |
| 2 |
78.24 |
-0.52% | src/crab/interval.cpp |
| 3 |
83.33 |
-16.67% | src/string_constraints.hpp |
| 3 |
72.73 |
-27.27% | src/crab_utils/stats.hpp |
| 3 |
88.0 |
-12.0% | src/crab_verifier.hpp |
| 3 |
81.25 |
-18.75% | src/program.hpp |
| 4 |
97.66 |
-2.34% | src/crab_utils/adapt_sgraph.hpp |
| 4 |
92.16 |
-7.84% | src/crab/bitset_domain.hpp |
| 4 |
95.6 |
-4.4% | src/crab_utils/num_extended.hpp |
| 5 |
96.24 |
-0.27% | src/crab/ebpf_transformer.cpp |
| 7 |
86.0 |
-14.0% | src/crab/split_dbm.hpp |
| 10 |
85.51 |
-14.49% | src/asm_syntax.hpp |
| 13 |
90.65 |
-9.35% | src/crab/interval.hpp |
| 16 |
66.67 |
-33.33% | src/crab/linear_constraint.hpp |
| 18 |
80.0 |
-20.0% | src/crab_utils/num_big.hpp |
| 19 |
83.19 |
-16.81% | src/crab/add_bottom.hpp |
| 19 |
75.64 |
-24.36% | src/crab/linear_expression.hpp |
| 26 |
53.57 |
-46.43% | src/crab/cfg.hpp |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | run-Release - 12834089469.1 | 65 |
87.35 |
GitHub Action Run | |
| 2 | run-Debug - 12834089469.2 | 66 |
86.02 |
GitHub Action Run |
