This series adds a new verifier argument type called ARG_PTR_TO_RAW_STACK and converts related helpers to make use of it. Basic idea is that we can save init of stack memory when the helper function is guaranteed to fully fill out the passed buffer in every path. Series also adds test cases and converts samples. For more details, please see individual patches.
Thanks! Daniel Borkmann (5): bpf, verifier: add bpf_call_arg_meta for passing meta data bpf, verifier: add ARG_PTR_TO_RAW_STACK type bpf: convert relevant helper args to ARG_PTR_TO_RAW_STACK bpf, samples: don't zero data when not needed bpf, samples: add test cases for raw stack include/linux/bpf.h | 5 + kernel/bpf/helpers.c | 17 ++- kernel/bpf/verifier.c | 97 +++++++++++---- kernel/trace/bpf_trace.c | 10 +- net/core/filter.c | 57 ++++++--- samples/bpf/offwaketime_kern.c | 10 +- samples/bpf/test_verifier.c | 268 +++++++++++++++++++++++++++++++++++++++++ samples/bpf/tracex1_kern.c | 4 +- samples/bpf/tracex2_kern.c | 4 +- samples/bpf/tracex5_kern.c | 6 +- 10 files changed, 421 insertions(+), 57 deletions(-) -- 1.9.3
