18252276085

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

Build # 18252276085

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>

Coverage Stats

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

Source File
Press 'n' to go to next uncovered line, 'b' for previous

80.47

/src/asm_parse.cpp

Build SHA Not Found

The commit SHA "1d1d24600fc4a771b83064de41bdce0e2f5c030b" was not found in your repository, so the file cannot be loaded. This may be because you posted from a local development environment, or your CI created an ephemeral commit.

vbpf / prevail / 18252276085

Source File Press 'n' to go to next uncovered line, 'b' for previous

Build SHA Not Found

Source File
Press 'n' to go to next uncovered line, 'b' for previous