vbpf / prevail
86%

DEFAULT BRANCH: main
Repo Added
Token ENVZUPw7kXSVTNwI0SnEWS5mIrwoBd6UH regen
Build 787 Last
Files 79
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

LAST BUILD ON BRANCH main
branch: main
CHANGE BRANCH
x
Sync Branches

coverage: 86.363%. Remained the same
Relevant lines Covered
10398 RELEVANT LINES 8980 COVERED LINES
6421370.53 HITS PER LINE
Source Files on main

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
26571272986 main Release v0.2.3 Bump project version and add CHANGELOG entry covering 39 commits since v0.2.2: soundness fixes, sleepable program support, helper/kfunc validation, and the thread-local-globals removal. Co-Authored-By: Claude Opus 4.7 (1M context)... push elazarg github
86.36
26462976981 main Enforce map-function compatibility checks (#1127) Add allowed_map_types bitmask to EbpfHelperPrototype, threaded through CallContract and checked via a new ValidMapType assertion. This encodes the function→map direction of the kernel's check_map_... push web-flow github
86.36
26457482655 main Add sleepable program support and might_sleep helper gating (#1136) Add might_sleep flag to EbpfHelperPrototype and is_sleepable flag to EbpfProgramType. Helpers marked might_sleep are rejected in non-sleepable programs via is_helper_usable. Sle... push web-flow github
86.38
26453198413 main 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_csu... push elazarg github
86.38
26423712581 main Restore callee-saved registers via rename to preserve zone edges When a local call returns, the old restore logic used individual assign+havoc operations to move saved register values back. Each assign could lose zone relationships (via the singl... push elazarg github
86.43
26403522463 main Extract Extrapolator to own the fixpoint iteration policy Introduce an Extrapolator class (src/crab/) that encapsulates the entire fixpoint acceleration strategy: ascending with widening, descending with narrowing, convergence checks, and constan... push elazarg github
86.44
26372764981 main Use COW shared_ptr for per-domain cell registry The per-domain cell registry (introduced in the previous commit) caused a 15-20% regression on heavy programs: every EbpfDomain copy deep-cloned the registry, and every lattice join merged cell maps... push elazarg github
86.46
26368619075 main Untangle test-helper string parsing from the production verifier API (#1115) - Removes the test-helper string layer that had leaked into the production verifier API per #1103. - `AnalysisResult::is_valid_after` (dead) is removed; the remaining ob... push web-flow github
86.66
26218991840 main Thread stack cell registry through AnalysisContext (#1116) The array-domain cell map -- per-DataKind tracking of which stack cells the analysis currently maintains a symbolic variable for -- previously lived in a thread-local LazyAllocator and wa... push web-flow github
86.65
26179926435 main Thread CallBtf::module through kfunc resolution (#1114) * Thread CallBtf::module through kfunc resolution BTF ids are not unique across kernel modules: two modules may legitimately use the same id for different kfuncs. Previously the cfg builder... push web-flow github
86.64
See All Builds (766)

Badge your Repo: prevail

We detected this repo isn’t badged! Grab the embed code to the right, add it to your repo to show off your code coverage, and when the badge is live hit the refresh button to remove this message.
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

Refresh