vbpf / prevail / 22198361536

88%

Build Type

push

github

Committed by web-flow

Commit Message

Add table-driven kfunc CALL src=2 resolution and validation (#1023)

* Add table-driven kfunc CALL src=2 resolution and validation
* Reject flagged kfunc entries until KF semantics are modeled
* Enforce kfunc program-type and privilege availability gating
* Allow map-value-or-null kfunc returns in table-driven subset
* Harden kfunc ValidCall handling and extend arg-pair coverage
* Harden kfunc arg-kind mapping and remove redundant static
* Add writable-memory kfunc arg-pair contract coverage
* Disambiguate helper and kfunc calls in ValidCall checks
* move linux prototype mapping out of ir
The `args.size() - i < 2` check was always false because the args
array has a DONTCARE sentinel at index 6, ensuring args[i+1] is
always in bounds for any i in the loop range [1, 5].
* cfg: only treat helper calls as tail-call helpers
* docs: point kfunc support matrix to linux/kfunc implementation
* platform: route kfunc resolution through platform interface
* kfunc: cache validated call resolution in cfg lowering

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

Run Details

266 of 314 new or added lines in 6 files covered. (84.71%)

2 existing lines in 1 file now uncovered.

11252 of 12754 relevant lines covered (88.22%)

869080.15 hits per line