Commit 61bd5218 authored Oct 09, 2017 by Jakub Kicinski Committed by David S. Miller Oct 10, 2017

bpf: move global verifier log into verifier environment



The biggest piece of global state protected by the verifier lock
is the verifier_log.  Move that log to struct bpf_verifier_env.
struct bpf_verifier_env has to be passed now to all invocations
of verbose().

Signed-off-by: Jakub Kicinski <jakub.kicinski@netronome.com>
Reviewed-by: Simon Horman <simon.horman@netronome.com>
Acked-by: Alexei Starovoitov <ast@kernel.org>
Acked-by: Daniel Borkmann <daniel@iogearbox.net>
Signed-off-by: David S. Miller <davem@davemloft.net>

parent e7bf8249

include/linux/bpf_verifier.h

+2 −0

Original line number	Diff line number	Diff line
		@@ -152,6 +152,8 @@ struct bpf_verifier_env {
		bool allow_ptr_leaks;
		bool seen_direct_write;
		struct bpf_insn_aux_data insn_aux_data; / array of per-insn state */

		struct bpf_verifer_log log;
		};

		int bpf_analyzer(struct bpf_prog prog, const struct bpf_ext_analyzer_ops ops,

kernel/bpf/verifier.c

+259 −232

File changed.

Preview size limit exceeded, changes collapsed.