Re: [PATCH 4.14 0/3] bpf: fix CVE-2021-4159

[Greg KH <gregkh@linuxfoundation.org>]

On Tue, Sep 06, 2022 at 06:38:52PM +0300, Ovidiu Panait wrote:
> All test_verifier/test_align selftests pass in qemu for x86-64 with this
> series applied:
> root@intel-x86-64:~# ./test_verifier
> ...
> #433/p xadd/w check unaligned pkt OK
> #434/p pass unmodified ctx pointer to helper OK
> #435/p pass modified ctx pointer to helper, 1 OK
> #436/u pass modified ctx pointer to helper, 2 OK
> #436/p pass modified ctx pointer to helper, 2 OK
> #437/p pass modified ctx pointer to helper, 3 OK
> Summary: 667 PASSED, 0 FAILED
> 
> root@intel-x86-64:~# ./test_align
> Test   0: mov ... PASS
> Test   1: shift ... PASS
> Test   2: addsub ... PASS
> Test   3: mul ... PASS
> Test   4: unknown shift ... PASS
> Test   5: unknown mul ... PASS
> Test   6: packet const offset ... PASS
> Test   7: packet variable offset ... PASS
> Test   8: packet variable offset 2 ... PASS
> Test   9: dubious pointer arithmetic ... PASS
> Test  10: variable subtraction ... PASS
> Test  11: pointer variable subtraction ... PASS
> Results: 12 pass 0 fail
> 
> 
> John Fastabend (1):
>   bpf: Verifer, adjust_scalar_min_max_vals to always call
>     update_reg_bounds()
> 
> Maxim Mikityanskiy (1):
>   bpf: Fix the off-by-two error in range markings
> 
> Stanislav Fomichev (1):
>   selftests/bpf: Fix test_align verifier log patterns
> 
>  kernel/bpf/verifier.c                       |  1 +
>  tools/testing/selftests/bpf/test_align.c    | 27 +++++++++++----------
>  tools/testing/selftests/bpf/test_verifier.c | 16 ++++++------
>  3 files changed, 23 insertions(+), 21 deletions(-)
> 
> -- 
> 2.37.2
> 

All now queued up, thanks.

greg k-h