On Tue, Sep 07, 2021 at 04:16:57PM +0300, Ovidiu Panait wrote: > With this patchseries all bpf verifier selftests pass (tested in qemu for x86_64): > root@intel-x86-64:~# ./test_verifier > ... > #1057/p XDP pkt read, pkt_meta' <= pkt_data, bad access 1 OK > #1058/p XDP pkt read, pkt_meta' <= pkt_data, bad access 2 OK > #1059/p XDP pkt read, pkt_data <= pkt_meta', good access OK > #1060/p XDP pkt read, pkt_data <= pkt_meta', bad access 1 OK > #1061/p XDP pkt read, pkt_data <= pkt_meta', bad access 2 OK > Summary: 1571 PASSED, 0 SKIPPED, 0 FAILED > > Daniel Borkmann (3): > bpf: Introduce BPF nospec instruction for mitigating Spectre v4 > bpf: Fix leakage due to insufficient speculative store bypass > mitigation > bpf: Fix pointer arithmetic mask tightening under state pruning > > Lorenz Bauer (1): > bpf: verifier: Allocate idmap scratch in verifier env Thanks for these, now queued up. greg k-h
