vbpf / prevail
88%

DEFAULT BRANCH: main
Repo Added
Token ENVZUPw7kXSVTNwI0SnEWS5mIrwoBd6UH regen
Build 565 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.004%. Remained the same
Relevant lines Covered
13355 RELEVANT LINES 11753 COVERED LINES
3252944.17 HITS PER LINE
Source Files on main

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
22262417988 main docs: sync documentation with current code - Fix file references: asm_unmarshal.cpp -> unmarshal.cpp - Add missing Instruction variant types: Undefined, LoadPseudo, CallBtf - Update TypeEncoding from 8 to 12 types (add T_SOCKET, T_BTF_ID, T_ALL... push elazarg github
88.0
22261639137 main Bump actions/checkout from 4 to 6 Bumps [actions/checkout](https://github.com/actions/checkout) from 4 to 6. - [Release notes](https://github.com/actions/checkout/releases) - [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md)... push elazarg github
88.0
22261606104 main Fix two verifier soundness bugs found by pentest (#1028) * Fix two verifier soundness bugs found by pentest 1. Stale shared_region_size after map_lookup fallthrough: when the map type/fd is ambiguous, the fallthrough path set T_SHARED without... push web-flow github
88.0
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
See All Builds (546)

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