[fragmede]

eBPF:

> The program does not crash or otherwise harm the system.

https://ebpf.io/what-is-ebpf/#verification

[DougN7]

That’s a pretty big claim. If they have software that can guarantee a program will never crash it would be revolutionary, and could probably solve the halting problem.