vbpf / prevail / 22195228979

88%

push

github

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>

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

10666 of 12122 relevant lines covered (87.99%)

827265.59 hits per line