Files
linux-stable-mirror/include/linux
Paul Chaignon 1cb0f56d96 bpf: WARN_ONCE on verifier bugs
Throughout the verifier's logic, there are multiple checks for
inconsistent states that should never happen and would indicate a
verifier bug. These bugs are typically logged in the verifier logs and
sometimes preceded by a WARN_ONCE.

This patch reworks these checks to consistently emit a verifier log AND
a warning when CONFIG_DEBUG_KERNEL is enabled. The consistent use of
WARN_ONCE should help fuzzers (ex. syzkaller) expose any situation
where they are actually able to reach one of those buggy verifier
states.

Acked-by: Andrii Nakryiko <andrii@kernel.org>
Signed-off-by: Paul Chaignon <paul.chaignon@gmail.com>
Link: https://lore.kernel.org/r/aCs1nYvNNMq8dAWP@mail.gmail.com
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
2025-05-19 08:17:08 -07:00
..
2025-04-03 21:35:32 +02:00
2025-05-19 08:17:08 -07:00
2025-05-19 08:17:08 -07:00
2025-04-02 07:06:59 -06:00
2025-04-15 11:32:34 +02:00
2025-03-27 13:14:46 -05:00
2025-03-25 09:15:07 -07:00
2025-04-18 10:05:49 -04:00