projects / linux.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 64870fe) | patch
bpf: print full verifier states on infinite loop detection
authorEduard Zingerman <eddyz87@gmail.com>
Tue, 24 Oct 2023 00:09:17 +0000 (03:09 +0300)
committerAlexei Starovoitov <ast@kernel.org>
Tue, 24 Oct 2023 04:49:32 +0000 (21:49 -0700)
commitb4d8239534fddc036abe4a0fdbf474d9894d4641
tree3dc1fcf7ed24072d47e2cab602fda5476f7171b7tree | snapshot
parent64870feebecb7130291a55caf0ce839a87405a70commit | diff
bpf: print full verifier states on infinite loop detection

Additional logging in is_state_visited(): if infinite loop is detected
print full verifier state for both current and equivalent states.

Acked-by: Andrii Nakryiko <andrii@kernel.org>
Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20231024000917.12153-8-eddyz87@gmail.com
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
kernel/bpf/verifier.c diff | blob | history
ep93xx device tree rework repo: git://git.maquefel.me/linux.git