vbpf / prevail
88%
main: 88%

DEFAULT BRANCH: main
Repo Added
Token ENVZUPw7kXSVTNwI0SnEWS5mIrwoBd6UH regen
Build 555 Last
Files 81
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: 88.002% (+0.2%) from 87.848%
22208528709

push

github

web-flow 
Handle Call builtins: fix handling of Falco tests  (#1025)

* falco: fix raw_tracepoint privilege and group expected failures

Mark raw_tracepoint/raw_tracepoint_writable as privileged program types so Falco raw-tracepoint sections are not treated as unprivileged argument checks.

Update Falco sample matrix to move now-passing sections out of TEST_SECTION_FAIL and group the remaining expected failures by root-cause class (offset lower-bound loss vs size lower-bound loss at correlated joins).

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

* elf/unmarshal: gate builtin relocations via platform call model

Add platform hooks to resolve builtin symbols and provide builtin call contracts, thread relocation-gated builtin call offsets through ProgramInfo, and only treat static helper IDs as builtins at gated call sites.

Also extend platform-table, marshal, and YAML-platform tests to cover builtin resolver wiring and call unmarshal behavior.
* crab: canonicalize unsigned intervals in bitwise_and
When uvalue intervals temporarily carry signed lower bounds (e.g. after joins), Interval::bitwise_and asserted in debug builds. Canonicalize both operands via zero_extend(64) before unsigned bitwise reasoning, preserving soundness and avoiding debug aborts.

Validated by reproducing SIGABRT on reverted code in [falco][verify] and confirming the patched build completes with expected 73 pass / 20 failed-as-expected.

* Fix unsound bitwise_and case for non-singleton all-ones rhs

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

239 of 252 new or added lines in 9 files covered. (94.84%)

1 existing line in 1 file now uncovered.

11743 of 13344 relevant lines covered (88.0%)

3262621.05 hits per line

Relevant lines Covered
13344 RELEVANT LINES 11743 COVERED LINES
3262621.05 HITS PER LINE
Source Files on main

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
22208528709 main Handle Call builtins: fix handling of Falco tests (#1025) * falco: fix raw_tracepoint privilege and group expected failures Mark raw_tracepoint/raw_tracepoint_writable as privileged program types so Falco raw-tracepoint sections are not treated... push web-flow github
88.0
22203230537 main 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 pr... push web-flow github
87.85
22199430037 main callbacks (#1022) * Expand Linux platform tables and unalias helper ABI type classes * Implement PTR_TO_FUNC callback validation and LDDW code_addr typing * callbacks: keep code_addr pseudo assertions aligned with tests Signed-off-by: Elazar Ger... push web-flow github
88.26
22198361536 main Add table-driven kfunc CALL src=2 resolution and validation (#1023) * Add table-driven kfunc CALL src=2 resolution and validation * Reject flagged kfunc entries until KF semantics are modeled * Enforce kfunc program-type and privilege availabilit... push web-flow github
88.22
22195653973 main Support LDDW pseudo addr lowering and tail-call parity checks (#1019) Support LDDW pseudo lowering and WTO tail-call parity checks Signed-off-by: Elazar Gershuni <elazarg@gmail.com> push web-flow github
88.34
22195609959 main Expand Linux platform tables and unalias helper ABI type classes (#1021) * Add platform table parity tests and tighten sock_addr mapping * Constrain socket cookie helper availability by program type Related to #959 Signed-off-by: Elazar Gershun... push web-flow github
88.15
22195228979 main Add T_SOCKET, T_BTF_ID, T_ALLOC_MEM, T_FUNC type encodings (#1020) Expand the type system with 4 new pointer types needed for Linux verifier parity (wave 2 streams D/E/F). Changes: - TypeEncoding: 4 new values (8..11), bitset widened to 12 - Dat... push web-flow github
87.99
22180564207 main docs: track parity with Linux 6.18 Signed-off-by: Elazar Gershuni <elazarg@gmail.com> push elazarg github
88.16
22177454098 main Modernize splitdbm graphs (#1017) Signed-off-by: Elazar Gershuni <elazarg@gmail.com> Co-authored-by: Claude Opus 4.6 <noreply@anthropic.com> push web-flow github
88.16
22177351067 main Add MSVC debug assert handler (#1018) * Route MSVC debug assertions to stderr so CI fails clearly On MSVC Debug builds, CRT assertions (e.g. STL iterator checks) pop up a dialog box. In headless CI this hangs the job forever. Add a Catch2 list... push web-flow github
88.26
See All Builds (536)

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