ebpf-verifier (prevail) is out of date

[anita-tenjarla]

Describe the bug
The ebpf-verifier submodule used in jbpf is >2 years of out date (last commit is December 2022). Since then, ebpf-verifier (now named prevail) has made several important bug fixes that impact verification correctness. It's also added more useful errors upon verification failure and line numbers where verification failed.

To Reproduce
Steps to reproduce the behavior:

1. Run jbpf-verifier-cli against a bpf program
2. Receive verification errors that no longer exist in upstream prevail, or errors that are tough to debug without error context and line numbers

Expected behavior
Update ebpf-verifier in jbpf. I spent some time trying this out, but ran into a lot of issues especially with the whole project rename scheme (ebpf-verifier => prevail).

[xfoukas]

Thanks for raising this issue @anita-tenjarla. This is something that we already looked into a couple of months ago. One problem we faced is that the version of the verifier we tried does not provide termination guarantees for codelets with loops, which is an issue for some of the domains where jbpf is being applied. I am going to revisit this issue with the latest version of the verifier to see if there have been any updates.

[xfoukas]

@anita-tenjarla, I have created a new branch, where I have updated the prevail verifier to the latest version. We are still testing this version internally to explore whether it satisfies all the use cases that we need to cover, but I thought you might find this branch useful in the meantime.

[anita-tenjarla]

Thank you I appreciate it!