Alexei Starovoitov 588a25e924 bpf: Fix extable address check.
The verifier checks that PTR_TO_BTF_ID pointer is either valid or NULL,
but it cannot distinguish IS_ERR pointer from valid one.

When offset is added to IS_ERR pointer it may become small positive
value which is a user address that is not handled by extable logic
and has to be checked for at the runtime.

Tighten BPF_PROBE_MEM pointer check code to prevent this case.

Fixes: 4c5de127598e ("bpf: Emit explicit NULL pointer checks for PROBE_LDX instructions.")
Reported-by: Lorenzo Fontana <lorenzo.fontana@elastic.co>
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Acked-by: Daniel Borkmann <daniel@iogearbox.net>
Signed-off-by: Daniel Borkmann <daniel@iogearbox.net>
2021-12-16 21:41:04 +01:00
..
2021-11-25 14:26:12 +01:00
2021-11-17 10:36:15 -05:00
2021-11-25 10:31:37 -08:00
2021-12-03 10:50:14 -08:00
2021-11-10 11:22:03 -08:00
2021-11-08 09:15:45 -08:00
2021-11-20 10:35:54 -08:00
2021-11-25 14:26:12 +01:00
2021-11-25 10:41:28 -08:00
2021-11-17 10:36:15 -05:00
2021-11-17 10:36:15 -05:00
2021-11-27 10:06:15 -08:00
2021-12-02 19:29:44 +01:00
2021-11-25 10:41:28 -08:00
2021-11-25 10:41:28 -08:00
2021-12-16 21:41:04 +01:00
2021-11-25 10:41:28 -08:00