22195228979

Committed 19 Feb 2026 06:43PM UTC coverage: 87.989% (-0.2%) from 88.157%

Build # 22195228979

Build Type

push

github

Committed by

web-flow

Commit Message

Add T_SOCKET, T_BTF_ID, T_ALLOC_MEM, T_FUNC type encodings (#1020)

Expand the type system with 4 new pointer types needed for Linux
verifier parity (wave 2 streams D/E/F). Changes:

- TypeEncoding: 4 new values (8..11), bitset widened to 12
- DataKind: socket_offsets, btf_id_offsets, alloc_mem_offsets, alloc_mem_sizes
- TypeGroup: socket, btf_id, alloc_mem, func entries
- RegPack/type_to_kinds: new per-type offset variables
- Transformer: load switch handles new types (havoc result)
- Checker: ValidAccess handles new types (alloc_mem like shared)

Existing TS_POINTER/TS_MEM groups unchanged; new types don't
participate in existing groups until wave 2 implements semantics.

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

Coverage Stats

37 of 68 new or added lines in 5 files covered. (54.41%)

118 existing lines in 5 files now uncovered.

10666 of 12122 relevant lines covered (87.99%)

827265.59 hits per line

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

89.53

/src/crab/type_domain.cpp

Build SHA Not Found

The commit SHA "b07913488f6cd45d4a8143fc4266c62952c12dda" 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 / 22195228979

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