vbpf / prevail / 26453198413

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

Source File

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

Source Not Available