2
86%
main: 86%

Ran 25 Apr 2026 06:21PM UTC

Files 111

Run time 3s

Badge

Embed ▾

Committed 25 Apr 2026 05:26PM UTC coverage: 88.428% (-0.03%) from 88.455%

Job # 24936469119.2

Build Type

push

github

Committed by

web-flow

Commit Message

make Call composition explicit; centralize region semantics (#1097)

Addresses two areas from #1086 in 6 conservative, behavior-preserving commits:
1. **`CallContract`** — Move helper argument requirements, return contract, and side-effects out of `Call` into `Call::contract`. Identity stays on `Call::target` (a new `CallTarget`).
2. **`region_semantics` module** — New `src/crab/region_semantics.{hpp,cpp}` owns `is_region_access_type`, `primary_kind_variable_for_type`, and `region_bounds`. Replaces the four per-region `check_access_*` helpers in `EbpfChecker` with one driver, collapses the parallel switches in `ValidAccess` and `ValidMapKeyValue`, and groups the type cases in the transformer's `do_load`.

---------

Signed-off-by: Elazar Gershuni <elazarg@gmail.com>
Co-authored-by: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

Coverage Stats

13311 of 15053 relevant lines covered (88.43%)

2197224.92 hits per line

vbpf / prevail / 24936469119 / 2
86%
main: 86%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job run-Release - 24936469119.2

vbpf / prevail / 24936469119 / 2 86% main: 86%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job run-Release - 24936469119.2

vbpf / prevail / 24936469119 / 2
86%
main: 86%

README BADGES
x