3 ms·
The ebpf-for-windows maintainers have been working with the PREVAIL verifier maintainers for some time now on improving the implementation for everyone, since w
by dthaler 5y ago
The ebpf-for-windows maintainers have been working with the PREVAIL verifier maintainers for some time now on improving the implementation for everyone, since we agree that addressing such limitations is critical. For example, the PREVAIL maintainers added program termination verification back in January 2021. Check it out at https://github.com/vbpf/ebpf-verifier https://github.com/vbpf/ebpf-verifier
- pctammela 5y agothe PREVAIL implementation seems to be more robust then Linux's verifier, are there any plans to port it to Linux? From the counter examples directory, this implementation seems very promising.
- tptacek 5y agoThis is all super exciting. A weird aside: one thing that'd be really nice to have is a userland verifier that we could build into our CI system; testing verifiability involves a lot of really contrived steps in our current process.