bpf, verifier: add bpf_call_arg_meta for passing meta data
authorDaniel Borkmann <daniel@iogearbox.net>
Tue, 12 Apr 2016 22:10:50 +0000 (00:10 +0200)
committerDavid S. Miller <davem@davemloft.net>
Fri, 15 Apr 2016 01:40:41 +0000 (21:40 -0400)
commit33ff9823c569f3aceb071071914919177a6bed6a
treea3c97e9315376067884a7a65320336b7b6fa6c07
parent486bdee0134cf21c3714ded809d5933d2b8dfb81
bpf, verifier: add bpf_call_arg_meta for passing meta data

Currently, when the verifier checks calls in check_call() function, we
call check_func_arg() for all 5 arguments e.g. to make sure expected types
are correct. In some cases, we collect meta data (here: map pointer) to
perform additional checks such as checking stack boundary on key/value
sizes for subsequent arguments. As we're going to extend the meta data,
add a generic struct bpf_call_arg_meta that we can use for passing into
check_func_arg().

Signed-off-by: Daniel Borkmann <daniel@iogearbox.net>
Acked-by: Alexei Starovoitov <ast@kernel.org>
Signed-off-by: David S. Miller <davem@davemloft.net>
kernel/bpf/verifier.c