> in particular not having loops Well, almost. > The main object of this patch series is to support verification of eBPF programs with bounded loops. Only bo

> in particular not having loops Well, almost. > The main object of this patch series is to support verification of eBPF programs with bounded loops. Only bounds derived from JLT (unsigned <) with the taken branch in the loop are supported, but it should be clear how others could be added. https://lwn.net/Articles/748032/ https://lwn.net/Articles/748032/