• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

vbpf / prevail / 18252276085
87%

Build:
DEFAULT BRANCH: main
Ran 05 Oct 2025 02:06AM UTC
Jobs 2
Files 74
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

05 Oct 2025 01:46AM UTC coverage: 88.267% (-0.1%) from 88.395%
18252276085

push

github

web-flow
introduce TypeToNumDomain (#916)

Refactored the eBPF abstract interpreter to factor out the previously inlined type-conditioned numeric tracking from EbpfDomain into a standalone TypeToNumDomain, a specialized Reduced Cardinal Power combining a TypeDomain and numeric domain under explicit lattice semantics. This isolates type reasoning from numeric propagation while preserving the existing "values depend on type" behavior.

ArrayDomain was rewritten to operate natively on intervals and to support typed load/store/havoc operations.

EbpfChecker now treats type and value constraints separately.
---------

Signed-off-by: Elazar Gershuni <elazarg@gmail.com>

1423 of 1495 new or added lines in 16 files covered. (95.18%)

27 existing lines in 7 files now uncovered.

8922 of 10108 relevant lines covered (88.27%)

18313855.02 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
88.43
-0.9% src/crab/array_domain.cpp
2
95.27
-1.04% src/crab/ebpf_checker.cpp
2
95.45
-4.55% src/crab/type_domain.hpp
3
86.44
-1.97% src/crab/type_domain.cpp
5
80.47
1.71% src/asm_parse.cpp
14
91.52
src/crab/rcp.cpp
16
73.64
-4.01% src/crab/ebpf_domain.cpp
29
96.45
0.13% src/crab/ebpf_transformer.cpp

Uncovered Existing Lines

Lines Coverage ∆ File
1
73.64
-4.01% src/crab/ebpf_domain.cpp
1
96.45
0.13% src/crab/ebpf_transformer.cpp
4
77.88
1.96% src/crab/add_bottom.hpp
4
95.27
-1.04% src/crab/ebpf_checker.cpp
4
86.44
-1.97% src/crab/type_domain.cpp
6
92.47
-1.16% src/crab_utils/graph_ops.hpp
7
88.43
-0.9% src/crab/array_domain.cpp
Jobs
ID Job ID Ran Files Coverage
1 run-Debug - 18252276085.1 05 Oct 2025 03:06AM UTC 74
86.1
GitHub Action Run
2 run-Release - 18252276085.2 05 Oct 2025 02:06AM UTC 73
87.33
GitHub Action Run
Source Files on build 18252276085
  • Tree
  • List 74
  • Changed 25
  • Source Changed 0
  • Coverage Changed 25
Coverage ∆ File Lines Relevant Covered Missed Hits/Line
  • Back to Repo
  • 1d1d2460 on github
  • Prev Build on main (#18247564380)
  • Next Build on main (#18433862328)
  • Delete
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2025 Coveralls, Inc