vbpf / prevail
86%
main: 86%

LAST BUILD BRANCH: dependabot/submodules/ebpf-samples-c504fda
DEFAULT BRANCH: main
Repo Added
Token ENVZUPw7kXSVTNwI0SnEWS5mIrwoBd6UH regen
Build 864 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 dependabot/submodules/ebpf-samples-c504fda
branch: SELECT
CHANGE BRANCH
x
Sync Branches

coverage: 86.475%. Remained the same
28713100865

Pull #1175

github

web-flow 
Merge 2625258a3 into 22516b551
Pull Request #1175: Bump ebpf-samples from `6a81f8e` to `c504fda`

9143 of 10573 relevant lines covered (86.47%)

6472377.56 hits per line

Relevant lines Covered
10573 RELEVANT LINES 9143 COVERED LINES
6472377.56 HITS PER LINE
Source Files on main

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
28713100865 dependabot/submodules/ebpf-samples-c504fda Merge 2625258a3 into 22516b551 Pull #1175 web-flow github
86.47
28621240250 main Fix width argument in weak type-store havoc ArrayDomain::store_type's weak (non-constant index) update called num_bytes.havoc(lb, ub), but BitsetDomain::havoc's second parameter is a width, not an upper bound. It therefore marked bytes [lb, lb+ub... push elazarg github
86.47
28621100060 main Fix unsound signed-division interval abstraction (#1158) * Fix unsound signed-division interval abstraction Interval::sdiv and operator/ adjusted the dividend by +1-divisor (or +divisor+1) before dividing corners, in the branch where neither ope... push web-flow github
86.47
28610675672 fix/signed-division-soundness Merge ebc0776d4 into 865b701e7 Pull #1158 web-flow github
86.47
28593511951 fix/elf-subprogram-reloc-identity Merge 445199908 into 865b701e7 Pull #1161 web-flow github
86.41
28573093488 fix/array-domain-weak-havoc-width Merge 8469c2c08 into 865b701e7 Pull #1160 web-flow github
86.41
28573005211 fix/store-immediate-sign-extension Merge f3cbc562a into 865b701e7 Pull #1159 web-flow github
86.41
28572914645 fix/signed-division-soundness Merge 421c4130f into 865b701e7 Pull #1158 web-flow github
86.47
28337547559 fix/socket-direct-access Merge 2821f22fe into 865b701e7 Pull #1156 web-flow github
86.45
28334832877 fix/socket-direct-access Merge a8b288df4 into 865b701e7 Pull #1156 web-flow github
86.46
See All Builds (842)

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