26453198413

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

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

86.14

/src/crab/type_to_num.cpp

Build SHA Not Found

The commit SHA "e36500ff8c75dd487db84edfa1ac34101d35ff00" was not found in your repository, so the file cannot be loaded. This may be because you posted from a local development environment, or your CI created an ephemeral commit.

vbpf / prevail / 26453198413

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

Build SHA Not Found

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