2
90%
main: 90%

Ran 19 Feb 2026 06:54PM UTC

Files 78

Run time 2s

Badge

Embed ▾

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

Job # 22195228979.2

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

10335 of 11858 relevant lines covered (87.16%)

406206.69 hits per line

vbpf / prevail / 22195228979 / 2
90%
main: 90%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job run-Release - 22195228979.2

vbpf / prevail / 22195228979 / 2 90% main: 90%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job run-Release - 22195228979.2

vbpf / prevail / 22195228979 / 2
90%
main: 90%

README BADGES
x