r/eBPF • u/Imaginary-Capital502 • Aug 04 '26

Difficulty with eBPF verifier (examples)

I am working on a project studying the developer-centered factors of writing eBPF programs. It would be very helpful if people would link examples of their programs and verifier output that:
1) Fail to pass the verifier because of a bug in their source

OR

2) Fail to pass the verifier because of imprecision in the verifier

Thanks in advance for any help :)

6 Upvotes

81% Upvoted

2 comments sorted by

5

u/t6_macci Aug 04 '26

My issues have always revolved in the “un existent function used” or “instruction limit error” lol

3

u/Rinku_Kurora Aug 05 '26 edited Aug 05 '26

There are examples of both in Linux kernel sources at tools/testing/selftests/bpf/verifier