ebpf-verifier icon indicating copy to clipboard operation
ebpf-verifier copied to clipboard
verified publisher icon vbpf

Global vs static subprogs

Open Maxime-Derri opened this issue 2 months ago • 0 comments

Compared to the Linux verifier, which distinguishes between global functions (verified once) and static functions (verified at each call), PREVAIL verifies all subprograms at every call. This is more precise, but would it make sense to implement a different behavior for global and static functions, in case there are multiple calls to large subprograms?

Maxime-Derri avatar Nov 13 '25 09:11 Maxime-Derri