• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

vbpf / prevail / 22261606104
88%

Build:
DEFAULT BRANCH: main
Ran 21 Feb 2026 06:09PM UTC
Jobs 2
Files 81
Run time 1min
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

21 Feb 2026 06:02PM UTC coverage: 88.004% (+0.002%) from 88.002%
22261606104

push

github

web-flow
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
   havocing shared_region_size, letting a stale value from a prior
   lookup persist. This allowed OOB reads on map values. Fix:
   Extract assign_shared_map_value to deduplicate the 4-line shared
   pointer setup (assign_valid_ptr, shared_offset, shared_region_size,
   assign_type). Flatten the nested if-pyramid in resolve_map_lookup
   into early returns. 

2. Stale r1-r5 after BPF-to-BPF call return: the Exit handler for
   subprogram returns restored callee-saved registers (r6-r9) and r10
   but never scratched caller-saved registers (r1-r5). A caller could
   then use stale pointer values in r1-r5 that the callee may have
   invalidated. Fix: call scratch_caller_saved_registers() in Exit.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
Signed-off-by: Elazar Gershuni <elazarg@gmail.com>

---------

Signed-off-by: Elazar Gershuni <elazarg@gmail.com>
Co-authored-by: Claude Opus 4.6 <noreply@anthropic.com>

22 of 23 new or added lines in 1 file covered. (95.65%)

11753 of 13355 relevant lines covered (88.0%)

3252928.86 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
91.39
-0.01% src/crab/ebpf_transformer.cpp
Jobs
ID Job ID Ran Files Coverage
1 run-Debug - 22261606104.1 21 Feb 2026 06:36PM UTC 81
85.95
GitHub Action Run
2 run-Release - 22261606104.2 21 Feb 2026 06:09PM UTC 81
87.18
GitHub Action Run
Source Files on build 22261606104
  • Tree
  • List 81
  • Changed 1
  • Source Changed 0
  • Coverage Changed 1
Coverage ∆ File Lines Relevant Covered Missed Hits/Line
  • Back to Repo
  • dfd26a57 on github
  • Prev Build on main (#22208528709)
  • Next Build on main (#22261639137)
  • Delete
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc