diff options
| author | Andrii Nakryiko <[email protected]> | 2023-12-15 01:13:29 +0000 |
|---|---|---|
| committer | Alexei Starovoitov <[email protected]> | 2023-12-20 02:06:46 +0000 |
| commit | f18c3d88deedf0defc3e4800341cc7bcaaabcdf9 (patch) | |
| tree | d57714bbf760073e1542452360d88ebc854d443b /tools/lib/bpf/bpf_helpers.h | |
| parent | bpf: move subprog call logic back to verifier.c (diff) | |
| download | kernel-f18c3d88deedf0defc3e4800341cc7bcaaabcdf9.tar.gz kernel-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 <[email protected]>
Signed-off-by: Andrii Nakryiko <[email protected]>
Link: https://lore.kernel.org/r/[email protected]
Signed-off-by: Alexei Starovoitov <[email protected]>
Diffstat (limited to 'tools/lib/bpf/bpf_helpers.h')
0 files changed, 0 insertions, 0 deletions
