2
87%
main: 87%

Ran 05 Oct 2025 03:06AM UTC

Files 73

Run time 2s

Badge

Embed ▾

Committed 05 Oct 2025 01:46AM UTC coverage: 87.33% (-0.2%) from 87.49%

Job # 18252276085.2

Build Type

push

github

Committed by

web-flow

Commit Message

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>

Run Details

8616 of 9866 relevant lines covered (87.33%)

9642488.91 hits per line

vbpf / prevail / 18252276085 / 2
87%
main: 87%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job run-Release - 18252276085.2

vbpf / prevail / 18252276085 / 2 87% main: 87%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job run-Release - 18252276085.2

vbpf / prevail / 18252276085 / 2
87%
main: 87%

README BADGES
x