vbpf / prevail / 18252276085

push

github

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%)

8922 of 10108 relevant lines covered (88.27%)

18313855.02 hits per line