26462976981

Committed 26 May 2026 05:03PM UTC coverage: 86.363% (-0.02%) from 86.38%

Build # 26462976981

Build Type

push

github

Committed by

web-flow

Commit Message

Enforce map-function compatibility checks (#1127)

Add allowed_map_types bitmask to EbpfHelperPrototype, threaded through
CallContract and checked via a new ValidMapType assertion. This encodes
the function→map direction of the kernel's check_map_func_compatibility
(v6.18): each helper that requires specific map types now declares them,
and the checker rejects mismatches at verification time.

Covers 34 helpers across perf_event, ringbuf, storage, redirect, queue/
stack, cgroup, and reuseport families. Map type UNSPEC (0) is treated
as unknown and silently allowed to avoid false positives from incomplete
ELF metadata.

Closes #1123

Signed-off-by: Elazar Gershuni <elazarg@gmail.com>
Co-authored-by: Claude Opus 4.7 <noreply@anthropic.com>

Coverage Stats

12 of 16 new or added lines in 6 files covered. (75.0%)

133 existing lines in 6 files now uncovered.

8980 of 10398 relevant lines covered (86.36%)

6420743.39 hits per line

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

89.63

/src/crab/ebpf_checker.cpp

Build SHA Not Found

The commit SHA "474aceeb5fe4b75258cecae7ccef5abe5b726f87" 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 / 26462976981

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