| lists.openwall.net | lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening linux-cve-announce PHC | |
|
Open Source and information security mailing list archives
| ||
|
Date: Mon, 8 Jun 2020 09:58:46 -0700
From: Yonghong Song <yhs@...com>
To: Eelco Chaudron <echaudro@...hat.com>, <bpf@...r.kernel.org>
CC: <netdev@...r.kernel.org>, <ast@...nel.org>, <daniel@...earbox.net>,
<kafai@...com>, <songliubraving@...com>, <andriin@...com>,
<toke@...hat.com>
Subject: Re: fentry/fexit attach to EXT type XDP program does not work
On 6/8/20 7:11 AM, Eelco Chaudron wrote:
> I'm trying for a while to do a fentry/fexit trace an EXT program
> attached to an XDP program. To make it easier to explain I've
> created a test case (see patch below) to show the issue.
>
> Without the changes to test_xdp_bpf2bpf.c I'll get the following error:
>
> libbpf: -- BEGIN DUMP LOG ---
> libbpf:
> arg#0 type is not a struct
> Unrecognized arg#0 type PTR
> ; int BPF_PROG(trace_on_entry, struct xdp_buff *xdp)
> 0: (79) r6 = *(u64 *)(r1 +0)
> invalid bpf_context access off=0 size=8
> processed 1 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0
>
> libbpf: -- END LOG --
> libbpf: failed to load program 'fentry/FUNC'
> libbpf: failed to load object 'test_xdp_bpf2bpf'
> libbpf: failed to load BPF skeleton 'test_xdp_bpf2bpf': -4007
> test_xdp_fentry_ext:FAIL:__load ftrace skeleton failed
> #91 xdp_fentry_ext:FAIL
> Summary: 0/0 PASSED, 0 SKIPPED, 1 FAILED
>
> With the change I get the following (but I do feel this change
> should not be needed):
>
> libbpf: -- BEGIN DUMP LOG ---
> libbpf:
> Unrecognized arg#0 type PTR
> ; int trace_on_entry(struct xdp_buff *xdp)
> 0: (bf) r6 = r1
> ; void *data = (void *)(long)xdp->data;
> 1: (79) r1 = *(u64 *)(r6 +0)
> invalid bpf_context access off=0 size=8
> processed 2 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0
>
> libbpf: -- END LOG --
> libbpf: failed to load program 'fentry/FUNC'
> libbpf: failed to load object 'test_xdp_bpf2bpf'
> libbpf: failed to load BPF skeleton 'test_xdp_bpf2bpf': -4007
> test_xdp_fentry_ext:FAIL:__load ftrace skeleton failed
> #91 xdp_fentry_ext:FAIL
> Summary: 0/0 PASSED, 0 SKIPPED, 1 FAILED
>
> Any idea what could be the case here? The same fentry/fexit attach
> code works fine in the xdp_bpf2bpf.c tests case.
>
>
> Cheers,
>
>
> Eelco
> ---
> .../selftests/bpf/prog_tests/xdp_fentry_ext.c | 95 ++++++++++++++++++++
> 1 file changed, 95 insertions(+)
> create mode 100644 tools/testing/selftests/bpf/prog_tests/xdp_fentry_ext.c
>
> diff --git a/tools/testing/selftests/bpf/prog_tests/xdp_fentry_ext.c b/tools/testing/selftests/bpf/prog_tests/xdp_fentry_ext.c
> new file mode 100644
> index 000000000000..68cd83fad632
> --- /dev/null
> +++ b/tools/testing/selftests/bpf/prog_tests/xdp_fentry_ext.c
> @@ -0,0 +1,95 @@
> +// SPDX-License-Identifier: GPL-2.0
> +
> +#include <test_progs.h>
> +#include <network_helpers.h>
> +
> +#include "test_xdp_ext.skel.h"
> +#include "test_xdp_bpf2bpf.skel.h"
> +#include "xdp_dummy.skel.h"
> +
> +void test_xdp_fentry_ext(void)
> +{
> + /* Using the skeleton framework does not work, as it does not like
> + * like the prog_replace() function to be noinline
> + */
> +
> + __u32 duration = 0, retval, size;
> + const char *file = "./test_xdp_ext.o";
> + const char *ext_file = "./xdp_dummy.o";
> + struct bpf_program *prog;
> + struct bpf_program *ext_prog;
> + struct bpf_object *xdp_obj, *ext_obj = NULL;
> + struct test_xdp_bpf2bpf *ftrace_skel = NULL;
> + int err, xdp_fd, ext_fd;
> + char buf[128];
> +
> + err = bpf_prog_load(file, BPF_PROG_TYPE_XDP, &xdp_obj, &xdp_fd);
> + if (CHECK_FAIL(err))
> + return;
> +
> + /* Load the EXT program to attach to replace existing function */
> + ext_obj = bpf_object__open_file(ext_file, NULL);
> + if (CHECK(IS_ERR_OR_NULL(ext_obj), "obj_open",
> + "failed to open %s: %ld\n",
> + ext_file, PTR_ERR(ext_obj)))
> + goto out;
> +
> + ext_prog = bpf_object__find_program_by_title(ext_obj, "xdp_dummy");
> + if (CHECK(!ext_prog, "find_prog", "xdp_dummy_prog not found\n"))
> + goto out;
> +
> + err = bpf_program__set_attach_target(ext_prog, xdp_fd, "prog_replace");
> + if (CHECK(err, "set_attach", "err %d, errno %d\n", err, errno))
> + goto out;
> +
> + bpf_program__set_type(ext_prog, BPF_PROG_TYPE_EXT);
> +
> + err = bpf_object__load(ext_obj);
> + if (CHECK(err, "obj_load", "err %d\n", err))
> + goto out;
> +
> + bpf_program__attach_trace(ext_prog);
> +
> + ext_fd = bpf_program__fd(ext_prog);
> +
> + /* Now try to attach an fentry trace to the EXT program above */
> +
> + ftrace_skel = test_xdp_bpf2bpf__open();
> + if (CHECK(!ftrace_skel, "__open", "ftrace skeleton failed\n"))
> + goto out;
I think this is not supported now. That is, you cannot attach a fentry trace
to the EXT program. The current implementation for fentry program simply
trying to find and match the signature of freplace program which by default
is a pointer to void.
It is doable in that in kernel we could recognize to-be-attached program is
a freplace and further trace down to find the real signature. The related
kernel function is btf_get_prog_ctx_type(). You can try to implement by
yourself
or I can have a patch for this once bpf-next opens.
> +
> + prog = ftrace_skel->progs.trace_on_entry;
> + bpf_program__set_expected_attach_type(prog, BPF_TRACE_FENTRY);
> + bpf_program__set_attach_target(prog, ext_fd, "xdp_dummy_prog");
> +
> + prog = ftrace_skel->progs.trace_on_exit;
> + bpf_program__set_expected_attach_type(prog, BPF_TRACE_FEXIT);
> + bpf_program__set_attach_target(prog, ext_fd, "xdp_dummy_prog");
> +
> + err = test_xdp_bpf2bpf__load(ftrace_skel);
> + if (CHECK(err, "__load", "ftrace skeleton failed\n"))
> + goto out;
> +
> + err = test_xdp_bpf2bpf__attach(ftrace_skel);
> + if (CHECK(err, "ftrace_attach", "ftrace attach failed: %d\n", err))
> + goto out;
> +
> +
> + /* Execute the xdp program by sending a dummy packet */
> + err = bpf_prog_test_run(xdp_fd, 1, &pkt_v4, sizeof(pkt_v4),
> + buf, &size, &retval, &duration);
> +
> + if (CHECK(err || retval != XDP_PASS , "packet",
> + "err %d, errno %d, retval %d %c= %d\n",
> + err, errno, retval, retval != XDP_PASS ? '!' : '=', XDP_PASS))
> + goto out;
> +
> +out:
> + bpf_object__close(xdp_obj);
> + if (ext_obj)
> + bpf_object__close(ext_obj);
> + if (ftrace_skel)
> + test_xdp_bpf2bpf__destroy(ftrace_skel);
> +
> +}
> +
> diff --git a/tools/testing/selftests/bpf/progs/test_xdp_bpf2bpf.c b/tools/testing/selftests/bpf/progs/test_xdp_bpf2bpf.c
> index a038e827f850..41b2a103c7ca 100644
> --- a/tools/testing/selftests/bpf/progs/test_xdp_bpf2bpf.c
> +++ b/tools/testing/selftests/bpf/progs/test_xdp_bpf2bpf.c
> @@ -42,7 +42,8 @@ struct {
>
> __u64 test_result_fentry = 0;
> SEC("fentry/FUNC")
> -int BPF_PROG(trace_on_entry, struct xdp_buff *xdp)
> +//int BPF_PROG(trace_on_entry, struct xdp_buff *xdp)
> +int trace_on_entry(struct xdp_buff *xdp)
> {
> struct meta meta;
> void *data_end = (void *)(long)xdp->data_end;
> @@ -61,7 +62,8 @@ int BPF_PROG(trace_on_entry, struct xdp_buff *xdp)
>
> __u64 test_result_fexit = 0;
> SEC("fexit/FUNC")
> -int BPF_PROG(trace_on_exit, struct xdp_buff *xdp, int ret)
> +//int BPF_PROG(trace_on_exit, struct xdp_buff *xdp, int ret)
> +int trace_on_exit(struct xdp_buff *xdp, int ret)
> {
> test_result_fexit = ret;
> return 0;
> diff --git a/tools/testing/selftests/bpf/progs/test_xdp_ext.c b/tools/testing/selftests/bpf/progs/test_xdp_ext.c
> new file mode 100644
> index 000000000000..37bd16c95b36
> --- /dev/null
> +++ b/tools/testing/selftests/bpf/progs/test_xdp_ext.c
> @@ -0,0 +1,21 @@
> +// SPDX-License-Identifier: GPL-2.0
> +#include <linux/bpf.h>
> +#include <bpf/bpf_helpers.h>
> +
> +__u64 xdp_ext_called = 0;
> +
> +__attribute__ ((noinline))
> +int prog_replace(struct xdp_md *ctx) {
> + volatile int ret = XDP_ABORTED;
> +
> + return ret;
> +}
> +
> +SEC("xdp_ext_call")
> +int xdp_ext_call_func(struct xdp_md *ctx)
> +{
> +
> + return prog_replace(ctx);
> +}
> +
> +char _license[] SEC("license") = "GPL";
>
Powered by blists - more mailing lists