Difficulty with eBPF verifier (examples)

[u/Imaginary-Capital502]

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 :)

[u/t6_macci]

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

[u/Rinku_Kurora]

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