OSDN Git Service

bpf: Small BPF verifier log improvements
authorMykola Lysenko <mykolal@fb.com>
Tue, 1 Mar 2022 22:27:45 +0000 (14:27 -0800)
committerDaniel Borkmann <daniel@iogearbox.net>
Thu, 3 Mar 2022 15:54:10 +0000 (16:54 +0100)
commit7df5072cc05fd1aab5823bbc465d033cd292fca8
tree96a84bb9fd2aa5849f1721816118bc89e2220cb4
parent41332d6e3a430adc91e0af115b4261b0d2f116ec
bpf: Small BPF verifier log improvements

In particular these include:

  1) Remove output of inv for scalars in print_verifier_state
  2) Replace inv with scalar in verifier error messages
  3) Remove _value suffixes for umin/umax/s32_min/etc (except map_value)
  4) Remove output of id=0
  5) Remove output of ref_obj_id=0

Signed-off-by: Mykola Lysenko <mykolal@fb.com>
Signed-off-by: Daniel Borkmann <daniel@iogearbox.net>
Acked-by: Andrii Nakryiko <andrii@kernel.org>
Link: https://lore.kernel.org/bpf/20220301222745.1667206-1-mykolal@fb.com
20 files changed:
kernel/bpf/verifier.c
tools/testing/selftests/bpf/prog_tests/align.c
tools/testing/selftests/bpf/prog_tests/log_buf.c
tools/testing/selftests/bpf/verifier/atomic_invalid.c
tools/testing/selftests/bpf/verifier/bounds.c
tools/testing/selftests/bpf/verifier/calls.c
tools/testing/selftests/bpf/verifier/ctx.c
tools/testing/selftests/bpf/verifier/direct_packet_access.c
tools/testing/selftests/bpf/verifier/helper_access_var_len.c
tools/testing/selftests/bpf/verifier/jmp32.c
tools/testing/selftests/bpf/verifier/precise.c
tools/testing/selftests/bpf/verifier/raw_stack.c
tools/testing/selftests/bpf/verifier/ref_tracking.c
tools/testing/selftests/bpf/verifier/search_pruning.c
tools/testing/selftests/bpf/verifier/sock.c
tools/testing/selftests/bpf/verifier/spill_fill.c
tools/testing/selftests/bpf/verifier/unpriv.c
tools/testing/selftests/bpf/verifier/value_illegal_alu.c
tools/testing/selftests/bpf/verifier/value_ptr_arith.c
tools/testing/selftests/bpf/verifier/var_off.c