Follow-up fix to 979d63d50c0c ("bpf: prevent out of bounds speculation
on pointer arithmetic") in order to reject a corner case for sanitation
when ptr / scalars are mixed in the same alu op.Thanks! Daniel Borkmann (2): bpf: fix sanitation of alu op with pointer / scalar type from different paths bpf: add various test cases for alu op on mixed dst register types include/linux/bpf_verifier.h | 1 + kernel/bpf/verifier.c | 61 +++++++++++--- tools/testing/selftests/bpf/test_verifier.c | 120 ++++++++++++++++++++++++++++ 3 files changed, 169 insertions(+), 13 deletions(-) -- 2.9.5
