diff options
author | 2023-12-14 17:13:29 -0800 | |
---|---|---|
committer | 2023-12-19 18:06:46 -0800 | |
commit | f18c3d88deedf0defc3e4800341cc7bcaaabcdf9 (patch) | |
tree | d57714bbf760073e1542452360d88ebc854d443b /tools/lib/bpf/bpf_helpers.h | |
parent | bpf: move subprog call logic back to verifier.c (diff) | |
download | wireguard-linux-f18c3d88deedf0defc3e4800341cc7bcaaabcdf9.tar.xz wireguard-linux-f18c3d88deedf0defc3e4800341cc7bcaaabcdf9.zip |
bpf: reuse subprog argument parsing logic for subprog call checks
Remove duplicated BTF parsing logic when it comes to subprog call check.
Instead, use (potentially cached) results of btf_prepare_func_args() to
abstract away expectations of each subprog argument in generic terms
(e.g., "this is pointer to context", or "this is a pointer to memory of
size X"), and then use those simple high-level argument type
expectations to validate actual register states to check if they match
expectations.
Acked-by: Eduard Zingerman <eddyz87@gmail.com>
Signed-off-by: Andrii Nakryiko <andrii@kernel.org>
Link: https://lore.kernel.org/r/20231215011334.2307144-6-andrii@kernel.org
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Diffstat (limited to 'tools/lib/bpf/bpf_helpers.h')
0 files changed, 0 insertions, 0 deletions