diff options
| author | Paul Chaignon <paul.chaignon@gmail.com> | 2025-05-19 15:43:57 +0200 |
|---|---|---|
| committer | Alexei Starovoitov <ast@kernel.org> | 2025-05-19 08:17:08 -0700 |
| commit | 1cb0f56d96185cb20e63e191fc291191823e6f52 (patch) | |
| tree | 21b5443858a01d4ad954fcfab323972d96a9a52c /tools/perf/scripts/python | |
| parent | Merge branch 's390-bpf-remove-the-orig_call-null-check' (diff) | |
| download | linux-1cb0f56d96185cb20e63e191fc291191823e6f52.tar.gz linux-1cb0f56d96185cb20e63e191fc291191823e6f52.zip | |
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>
Diffstat (limited to 'tools/perf/scripts/python')
0 files changed, 0 insertions, 0 deletions