26453198413
86%

Ran 26 May 2026 02:21PM UTC

Jobs 2

Files 79

Run time 1min

Badge

Embed ▾

Committed 26 May 2026 02:06PM UTC coverage: 86.376% (-0.06%) from 86.431%

Build # 26453198413

Build Type

push

github

Committed by

elazarg

Commit Message

Add missing reallocate_packet flags for 8 helpers

The kernel's bpf_helper_changes_pkt_data() (v6.18) marks these helpers
as modifying packet data, but prevail's prototypes lacked the
reallocate_packet flag: clone_redirect, l3_csum_replace,
l4_csum_replace, lwt_push_encap, lwt_seg6_action, lwt_seg6_store_bytes,
msg_pull_data, store_hdr_opt.

Without this flag, packet pointers are not invalidated after these calls,
which could allow stale packet pointer access.

Note: the kernel also marks tail_call, but in prevail's model the callee
is verified separately and a failing tail_call changes no packet data.

Closes #1125

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

Coverage Stats

8952 of 10364 relevant lines covered (86.38%)

6441951.96 hits per line

Coverage Regressions

Lines	Coverage	∆	File
47	84.02	-0.03%	src/io/elf_reader.cpp
41	92.02	-0.08%	src/crab/ebpf_transformer.cpp
4	86.14	-0.84%	src/crab/type_to_num.cpp
3	95.15	-0.45%	src/crab/finite_domain.cpp
2	57.14	-12.09%	src/crab/region_semantics.cpp

Jobs

ID	Job ID	Ran	Files	Coverage
1	run-Debug - 26453198413.1	26 May 2026 04:28PM UTC	79	84.62	GitHub Action Run
2	run-Release - 26453198413.2	26 May 2026 02:21PM UTC	79	85.5	GitHub Action Run

vbpf / prevail / 26453198413
86%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Coverage Regressions

Jobs

Source Files on build 26453198413

vbpf / prevail / 26453198413 86%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Coverage Regressions

Jobs

Source Files on build 26453198413

vbpf / prevail / 26453198413
86%

README BADGES
x