Alan-Jowett / ebpf-verifier / 14048329585
87%

DEFAULT BRANCH: main
Ran
Jobs 2
Files 69
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: 88.194% (+0.02%) from 88.176%
14048329585

push

github

web-flow 
Finite domain (#849)

* Move arithmetic and bit operations functions to finite_domain.cpp
* Remove operator-= (now havoc) and operator+= (now add_constraint)
* Abort early when registers are not usable; clear type variable instead of explicitly assigning T_UNINIT. Update YAML tests accordingly
---------
Signed-off-by: Elazar Gershuni <elazarg@gmail.com>

847 of 898 new or added lines in 11 files covered. (94.32%)

206 existing lines in 11 files now uncovered.

8628 of 9783 relevant lines covered (88.19%)

9034663.84 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
53.77
 0.19% src/asm_ostream.cpp
2
94.82
 -0.12% src/crab/split_dbm.cpp
4
76.58
 -1.8% src/crab/ebpf_domain.cpp
6
84.21
 src/crab/finite_domain.hpp
16
96.28
 0.08% src/crab/ebpf_transformer.cpp
22
96.37
 src/crab/finite_domain.cpp

Uncovered Existing Lines

Lines Coverage ∆ File
1
81.31
 -1.88% src/crab/add_bottom.hpp
1
94.82
 -0.12% src/crab/split_dbm.cpp
1
89.13
 -0.43% src/crab/type_domain.cpp
2
93.94
 -1.67% src/crab_utils/num_extended.hpp
5
76.58
 -1.8% src/crab/ebpf_domain.cpp
6
93.0
 0.69% src/crab/interval.hpp
9
87.37
 5.15% src/crab_utils/num_big.hpp
17
79.08
 0.83% src/crab/interval.cpp
19
96.28
 0.08% src/crab/ebpf_transformer.cpp
42
87.29
 -1.17% src/asm_files.cpp
103
53.77
 0.19% src/asm_ostream.cpp
Jobs
ID Job ID Ran Files Coverage
1 run-Debug - 14048329585.1 69
86.09
 GitHub Action Run
2 run-Release - 14048329585.2 68
87.29
 GitHub Action Run
Source Files on build 14048329585