Files
Eduard Zingerman 16698b1ef2 bpf: abort verification if env->cur_state->loop_entry != NULL
[ Upstream commit f3c2d243a3 ]

In addition to warning abort verification with -EFAULT.
If env->cur_state->loop_entry != NULL something is irrecoverably
buggy.

Fixes: bbbc02b744 ("bpf: copy_verifier_state() should copy 'loop_entry' field")
Suggested-by: Andrii Nakryiko <andrii.nakryiko@gmail.com>
Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Acked-by: Andrii Nakryiko <andrii@kernel.org>
Link: https://lore.kernel.org/r/20250225003838.135319-1-eddyz87@gmail.com
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Signed-off-by: Sasha Levin <sashal@kernel.org>
2025-05-29 11:13:48 +02:00
..
2024-08-30 08:55:26 -07:00
2024-08-30 08:55:26 -07:00
2024-12-12 18:22:52 -08:00
2022-05-10 11:20:45 -07:00
2024-08-30 08:55:26 -07:00
2024-08-30 08:57:47 -07:00
2023-10-23 15:01:53 -07:00