vbpf / prevail / 22203230537

push

github

Model additional helper ABI classes and harden call semantics (#1024)

Enable helper/kfunc ABI classes for socket, btf_id, alloc_mem, timer/spin_lock, const_alloc_size_or_zero, and ptr_to_long/int through unmarshal, assertions, transformer, and printing paths.

Add typed helper return metadata on Call and map new Linux return classes (including imprecise PTR_TO_MEM_OR_BTF_ID collapse to T_BTF_ID).

Keep PTR_TO_CONST_STR explicitly unsupported with regression coverage.

Fix fixed-width writable pointer side effects to branch by possible type-set and apply stack initialization only on T_STACK paths, avoiding cross-type stack state pollution.

Move EBPF_ARGUMENT_TYPE_UNSUPPORTED to the enum tail and expand platform-table + marshal tests for newly modeled classes and LDDW mode-specific next_imm behavior.

Expand marshal coverage for LDDW src=2 by adding the zero next_imm roundtrip case alongside nonzero payload coverage.

Signed-off-by: Elazar Gershuni <elazarg@gmail.com>

106 of 184 new or added lines in 8 files covered. (57.61%)

11501 of 13092 relevant lines covered (87.85%)

2054461.14 hits per line