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)
committerGreg Kroah-Hartman <gregkh@linuxfoundation.org>
Thu, 1 Feb 2024 00:18:59 +0000 (16:18 -0800)
commitae5e9c3ced95aafc8a3fed56eac9553ffc64f007
treea3af9b1f6ac2bfd8cce71a8b01d1726c5d055d9f
parent00808be797c105d3fb9e19011de6cc166a8009e3
bpf: print full verifier states on infinite loop detection

commit b4d8239534fddc036abe4a0fdbf474d9894d4641 upstream.

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>
Signed-off-by: Greg Kroah-Hartman <gregkh@linuxfoundation.org>
kernel/bpf/verifier.c