News for hackers. Stuff that matters.

A comment on eBPF on Windows. Parent comment

Re:eBPF on Windows by dthaler on Monday May 10, 2021 @07:48PM (#27112411)
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
[ Parent | on HN ]
Re:eBPF on Windows by tptacek on Monday May 10, 2021 @08:46PM (#27112830)
This 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.
[ Parent | on HN ]
Re:eBPF on Windows by pctammela on Monday May 10, 2021 @08:15PM (#27112606)
the 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.

[ Parent | on HN ]