vbpf / prevail / 24936469119

push

github

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>

370 of 428 new or added lines in 18 files covered. (86.45%)

13714 of 15377 relevant lines covered (89.19%)

4393280.35 hits per line