Commit d3b0856e authored by Alexei Starovoitov's avatar Alexei Starovoitov Committed by Daniel Borkmann
Browse files

selftests/bpf: Add fexit tests for BPF trampoline



Add fexit tests for BPF trampoline that checks kernel functions
with up to 6 arguments of different sizes and their return values.

Signed-off-by: default avatarAlexei Starovoitov <ast@kernel.org>
Signed-off-by: default avatarDaniel Borkmann <daniel@iogearbox.net>
Acked-by: default avatarSong Liu <songliubraving@fb.com>
Link: https://lore.kernel.org/bpf/20191114185720.1641606-11-ast@kernel.org
parent 11d1e2ee
Loading
Loading
Loading
Loading
+64 −0
Original line number Diff line number Diff line
// SPDX-License-Identifier: GPL-2.0
/* Copyright (c) 2019 Facebook */
#include <test_progs.h>

void test_fexit_test(void)
{
	struct bpf_prog_load_attr attr = {
		.file = "./fexit_test.o",
	};

	char prog_name[] = "fexit/bpf_fentry_testX";
	struct bpf_object *obj = NULL, *pkt_obj;
	int err, pkt_fd, kfree_skb_fd, i;
	struct bpf_link *link[6] = {};
	struct bpf_program *prog[6];
	__u32 duration, retval;
	struct bpf_map *data_map;
	const int zero = 0;
	u64 result[6];

	err = bpf_prog_load("./test_pkt_access.o", BPF_PROG_TYPE_SCHED_CLS,
			    &pkt_obj, &pkt_fd);
	if (CHECK(err, "prog_load sched cls", "err %d errno %d\n", err, errno))
		return;
	err = bpf_prog_load_xattr(&attr, &obj, &kfree_skb_fd);
	if (CHECK(err, "prog_load fail", "err %d errno %d\n", err, errno))
		goto close_prog;

	for (i = 0; i < 6; i++) {
		prog_name[sizeof(prog_name) - 2] = '1' + i;
		prog[i] = bpf_object__find_program_by_title(obj, prog_name);
		if (CHECK(!prog[i], "find_prog", "prog %s not found\n", prog_name))
			goto close_prog;
		link[i] = bpf_program__attach_trace(prog[i]);
		if (CHECK(IS_ERR(link[i]), "attach_trace", "failed to link\n"))
			goto close_prog;
	}
	data_map = bpf_object__find_map_by_name(obj, "fexit_te.bss");
	if (CHECK(!data_map, "find_data_map", "data map not found\n"))
		goto close_prog;

	err = bpf_prog_test_run(pkt_fd, 1, &pkt_v6, sizeof(pkt_v6),
				NULL, NULL, &retval, &duration);
	CHECK(err || retval, "ipv6",
	      "err %d errno %d retval %d duration %d\n",
	      err, errno, retval, duration);

	err = bpf_map_lookup_elem(bpf_map__fd(data_map), &zero, &result);
	if (CHECK(err, "get_result",
		  "failed to get output data: %d\n", err))
		goto close_prog;

	for (i = 0; i < 6; i++)
		if (CHECK(result[i] != 1, "result", "bpf_fentry_test%d failed err %ld\n",
			  i + 1, result[i]))
			goto close_prog;

close_prog:
	for (i = 0; i < 6; i++)
		if (!IS_ERR_OR_NULL(link[i]))
			bpf_link__destroy(link[i]);
	bpf_object__close(obj);
	bpf_object__close(pkt_obj);
}
+98 −0
Original line number Diff line number Diff line
// SPDX-License-Identifier: GPL-2.0
/* Copyright (c) 2019 Facebook */
#include <linux/bpf.h>
#include "bpf_helpers.h"

char _license[] SEC("license") = "GPL";

struct test1 {
	ks32 a;
	ks32 ret;
};
static volatile __u64 test1_result;
SEC("fexit/bpf_fentry_test1")
int test1(struct test1 *ctx)
{
	test1_result = ctx->a == 1 && ctx->ret == 2;
	return 0;
}

struct test2 {
	ks32 a;
	ku64 b;
	ks32 ret;
};
static volatile __u64 test2_result;
SEC("fexit/bpf_fentry_test2")
int test2(struct test2 *ctx)
{
	test2_result = ctx->a == 2 && ctx->b == 3 && ctx->ret == 5;
	return 0;
}

struct test3 {
	ks8 a;
	ks32 b;
	ku64 c;
	ks32 ret;
};
static volatile __u64 test3_result;
SEC("fexit/bpf_fentry_test3")
int test3(struct test3 *ctx)
{
	test3_result = ctx->a == 4 && ctx->b == 5 && ctx->c == 6 &&
		ctx->ret == 15;
	return 0;
}

struct test4 {
	void *a;
	ks8 b;
	ks32 c;
	ku64 d;
	ks32 ret;
};
static volatile __u64 test4_result;
SEC("fexit/bpf_fentry_test4")
int test4(struct test4 *ctx)
{
	test4_result = ctx->a == (void *)7 && ctx->b == 8 && ctx->c == 9 &&
		ctx->d == 10 && ctx->ret == 34;
	return 0;
}

struct test5 {
	ku64 a;
	void *b;
	ks16 c;
	ks32 d;
	ku64 e;
	ks32 ret;
};
static volatile __u64 test5_result;
SEC("fexit/bpf_fentry_test5")
int test5(struct test5 *ctx)
{
	test5_result = ctx->a == 11 && ctx->b == (void *)12 && ctx->c == 13 &&
		ctx->d == 14 && ctx->e == 15 && ctx->ret == 65;
	return 0;
}

struct test6 {
	ku64 a;
	void *b;
	ks16 c;
	ks32 d;
	void *e;
	ks64 f;
	ks32 ret;
};
static volatile __u64 test6_result;
SEC("fexit/bpf_fentry_test6")
int test6(struct test6 *ctx)
{
	test6_result = ctx->a == 16 && ctx->b == (void *)17 && ctx->c == 18 &&
		ctx->d == 19 && ctx->e == (void *)20 && ctx->f == 21 &&
		ctx->ret == 111;
	return 0;
}