vbpf / prevail / 22272168528

89%

Build Type

push

github

Committed by elazarg

Commit Message

Safety parity: propagate alloc_mem_size and decompose kfunc flags

- ringbuf_reserve now propagates allocation size into alloc_mem_offset=0
  and alloc_mem_size from the size argument register, enabling proper
  bounds checking on allocated memory (was havoc'd to unknown).
- Kfunc flag handling decomposed: accept acquire, destructive,
  trusted_args, sleepable (type-level safety covered); reject release
  (requires unimplemented lifecycle state machine).
- Parity docs updated: accurate implemented/unimplemented tracking for
  pointer type classes, helper families, kfunc flags, and lifetime gaps.
  Resource-tracking gaps clearly documented as intentionally deferred.

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

Run Details

23 of 23 new or added lines in 4 files covered. (100.0%)

1 existing line in 1 file now uncovered.

13141 of 14842 relevant lines covered (88.54%)

4610601.97 hits per line