1d6f39601SAlexei Starovoitov // SPDX-License-Identifier: GPL-2.0
2d6f39601SAlexei Starovoitov /* Copyright (c) 2019 Facebook */
3d6f39601SAlexei Starovoitov #include <test_progs.h>
4488a23b8SStanislav Fomichev #include <network_helpers.h>
5f6429476SToke Høiland-Jørgensen #include <bpf/btf.h>
6f6429476SToke Høiland-Jørgensen 
7f6429476SToke Høiland-Jørgensen typedef int (*test_cb)(struct bpf_object *obj);
8f6429476SToke Høiland-Jørgensen 
9f6429476SToke Høiland-Jørgensen static int check_data_map(struct bpf_object *obj, int prog_cnt, bool reset)
10f6429476SToke Høiland-Jørgensen {
11f6429476SToke Høiland-Jørgensen 	struct bpf_map *data_map = NULL, *map;
12f6429476SToke Høiland-Jørgensen 	__u64 *result = NULL;
13f6429476SToke Høiland-Jørgensen 	const int zero = 0;
14f6429476SToke Høiland-Jørgensen 	__u32 duration = 0;
15f6429476SToke Høiland-Jørgensen 	int ret = -1, i;
16f6429476SToke Høiland-Jørgensen 
17f6429476SToke Høiland-Jørgensen 	result = malloc((prog_cnt + 32 /* spare */) * sizeof(__u64));
18f6429476SToke Høiland-Jørgensen 	if (CHECK(!result, "alloc_memory", "failed to alloc memory"))
19f6429476SToke Høiland-Jørgensen 		return -ENOMEM;
20f6429476SToke Høiland-Jørgensen 
21f6429476SToke Høiland-Jørgensen 	bpf_object__for_each_map(map, obj)
22f6429476SToke Høiland-Jørgensen 		if (bpf_map__is_internal(map)) {
23f6429476SToke Høiland-Jørgensen 			data_map = map;
24f6429476SToke Høiland-Jørgensen 			break;
25f6429476SToke Høiland-Jørgensen 		}
26f6429476SToke Høiland-Jørgensen 	if (CHECK(!data_map, "find_data_map", "data map not found\n"))
27f6429476SToke Høiland-Jørgensen 		goto out;
28f6429476SToke Høiland-Jørgensen 
29f6429476SToke Høiland-Jørgensen 	ret = bpf_map_lookup_elem(bpf_map__fd(data_map), &zero, result);
30f6429476SToke Høiland-Jørgensen 	if (CHECK(ret, "get_result",
31f6429476SToke Høiland-Jørgensen 		  "failed to get output data: %d\n", ret))
32f6429476SToke Høiland-Jørgensen 		goto out;
33f6429476SToke Høiland-Jørgensen 
34f6429476SToke Høiland-Jørgensen 	for (i = 0; i < prog_cnt; i++) {
35f6429476SToke Høiland-Jørgensen 		if (CHECK(result[i] != 1, "result",
36f6429476SToke Høiland-Jørgensen 			  "fexit_bpf2bpf result[%d] failed err %llu\n",
37f6429476SToke Høiland-Jørgensen 			  i, result[i]))
38f6429476SToke Høiland-Jørgensen 			goto out;
39f6429476SToke Høiland-Jørgensen 		result[i] = 0;
40f6429476SToke Høiland-Jørgensen 	}
41f6429476SToke Høiland-Jørgensen 	if (reset) {
42f6429476SToke Høiland-Jørgensen 		ret = bpf_map_update_elem(bpf_map__fd(data_map), &zero, result, 0);
43f6429476SToke Høiland-Jørgensen 		if (CHECK(ret, "reset_result", "failed to reset result\n"))
44f6429476SToke Høiland-Jørgensen 			goto out;
45f6429476SToke Høiland-Jørgensen 	}
46f6429476SToke Høiland-Jørgensen 
47f6429476SToke Høiland-Jørgensen 	ret = 0;
48f6429476SToke Høiland-Jørgensen out:
49f6429476SToke Høiland-Jørgensen 	free(result);
50f6429476SToke Høiland-Jørgensen 	return ret;
51f6429476SToke Høiland-Jørgensen }
52d6f39601SAlexei Starovoitov 
538f9081c9SYonghong Song static void test_fexit_bpf2bpf_common(const char *obj_file,
548f9081c9SYonghong Song 				      const char *target_obj_file,
558f9081c9SYonghong Song 				      int prog_cnt,
561d8a0af5SToke Høiland-Jørgensen 				      const char **prog_name,
57f6429476SToke Høiland-Jørgensen 				      bool run_prog,
58f6429476SToke Høiland-Jørgensen 				      test_cb cb)
59d6f39601SAlexei Starovoitov {
60f6429476SToke Høiland-Jørgensen 	struct bpf_object *obj = NULL, *tgt_obj;
61*04fcb5f9SDelyan Kratunov 	__u32 tgt_prog_id, info_len;
62463c2149SToke Høiland-Jørgensen 	struct bpf_prog_info prog_info = {};
6360aed220SAndrii Nakryiko 	struct bpf_program **prog = NULL, *p;
64f6429476SToke Høiland-Jørgensen 	struct bpf_link **link = NULL;
65f6429476SToke Høiland-Jørgensen 	int err, tgt_fd, i;
66463c2149SToke Høiland-Jørgensen 	struct btf *btf;
67*04fcb5f9SDelyan Kratunov 	LIBBPF_OPTS(bpf_test_run_opts, topts,
68*04fcb5f9SDelyan Kratunov 		.data_in = &pkt_v6,
69*04fcb5f9SDelyan Kratunov 		.data_size_in = sizeof(pkt_v6),
70*04fcb5f9SDelyan Kratunov 		.repeat = 1,
71*04fcb5f9SDelyan Kratunov 	);
72d6f39601SAlexei Starovoitov 
73cbdb1461SAndrii Nakryiko 	err = bpf_prog_test_load(target_obj_file, BPF_PROG_TYPE_UNSPEC,
74f6429476SToke Høiland-Jørgensen 			    &tgt_obj, &tgt_fd);
75463c2149SToke Høiland-Jørgensen 	if (!ASSERT_OK(err, "tgt_prog_load"))
76d6f39601SAlexei Starovoitov 		return;
77d6f39601SAlexei Starovoitov 
78463c2149SToke Høiland-Jørgensen 	info_len = sizeof(prog_info);
79463c2149SToke Høiland-Jørgensen 	err = bpf_obj_get_info_by_fd(tgt_fd, &prog_info, &info_len);
80463c2149SToke Høiland-Jørgensen 	if (!ASSERT_OK(err, "tgt_fd_get_info"))
81463c2149SToke Høiland-Jørgensen 		goto close_prog;
82463c2149SToke Høiland-Jørgensen 
83463c2149SToke Høiland-Jørgensen 	tgt_prog_id = prog_info.id;
84463c2149SToke Høiland-Jørgensen 	btf = bpf_object__btf(tgt_obj);
85463c2149SToke Høiland-Jørgensen 
868f9081c9SYonghong Song 	link = calloc(sizeof(struct bpf_link *), prog_cnt);
87463c2149SToke Høiland-Jørgensen 	if (!ASSERT_OK_PTR(link, "link_ptr"))
88463c2149SToke Høiland-Jørgensen 		goto close_prog;
89463c2149SToke Høiland-Jørgensen 
908f9081c9SYonghong Song 	prog = calloc(sizeof(struct bpf_program *), prog_cnt);
91463c2149SToke Høiland-Jørgensen 	if (!ASSERT_OK_PTR(prog, "prog_ptr"))
928f9081c9SYonghong Song 		goto close_prog;
938f9081c9SYonghong Song 
9460aed220SAndrii Nakryiko 	obj = bpf_object__open_file(obj_file, NULL);
95463c2149SToke Høiland-Jørgensen 	if (!ASSERT_OK_PTR(obj, "obj_open"))
96d6f39601SAlexei Starovoitov 		goto close_prog;
97d6f39601SAlexei Starovoitov 
9860aed220SAndrii Nakryiko 	bpf_object__for_each_program(p, obj) {
9960aed220SAndrii Nakryiko 		err = bpf_program__set_attach_target(p, tgt_fd, NULL);
10060aed220SAndrii Nakryiko 		ASSERT_OK(err, "set_attach_target");
10160aed220SAndrii Nakryiko 	}
10260aed220SAndrii Nakryiko 
103d6f39601SAlexei Starovoitov 	err = bpf_object__load(obj);
104463c2149SToke Høiland-Jørgensen 	if (!ASSERT_OK(err, "obj_load"))
105d6f39601SAlexei Starovoitov 		goto close_prog;
106d6f39601SAlexei Starovoitov 
1078f9081c9SYonghong Song 	for (i = 0; i < prog_cnt; i++) {
108463c2149SToke Høiland-Jørgensen 		struct bpf_link_info link_info;
109a393ea80SKui-Feng Lee 		struct bpf_program *pos;
110a393ea80SKui-Feng Lee 		const char *pos_sec_name;
111463c2149SToke Høiland-Jørgensen 		char *tgt_name;
112463c2149SToke Høiland-Jørgensen 		__s32 btf_id;
113463c2149SToke Høiland-Jørgensen 
114463c2149SToke Høiland-Jørgensen 		tgt_name = strstr(prog_name[i], "/");
115463c2149SToke Høiland-Jørgensen 		if (!ASSERT_OK_PTR(tgt_name, "tgt_name"))
116463c2149SToke Høiland-Jørgensen 			goto close_prog;
117463c2149SToke Høiland-Jørgensen 		btf_id = btf__find_by_name_kind(btf, tgt_name + 1, BTF_KIND_FUNC);
118463c2149SToke Høiland-Jørgensen 
119a393ea80SKui-Feng Lee 		prog[i] = NULL;
120a393ea80SKui-Feng Lee 		bpf_object__for_each_program(pos, obj) {
121a393ea80SKui-Feng Lee 			pos_sec_name = bpf_program__section_name(pos);
122a393ea80SKui-Feng Lee 			if (pos_sec_name && !strcmp(pos_sec_name, prog_name[i])) {
123a393ea80SKui-Feng Lee 				prog[i] = pos;
124a393ea80SKui-Feng Lee 				break;
125a393ea80SKui-Feng Lee 			}
126a393ea80SKui-Feng Lee 		}
127463c2149SToke Høiland-Jørgensen 		if (!ASSERT_OK_PTR(prog[i], prog_name[i]))
128d6f39601SAlexei Starovoitov 			goto close_prog;
129463c2149SToke Høiland-Jørgensen 
130d6f39601SAlexei Starovoitov 		link[i] = bpf_program__attach_trace(prog[i]);
131463c2149SToke Høiland-Jørgensen 		if (!ASSERT_OK_PTR(link[i], "attach_trace"))
132d6f39601SAlexei Starovoitov 			goto close_prog;
133463c2149SToke Høiland-Jørgensen 
134463c2149SToke Høiland-Jørgensen 		info_len = sizeof(link_info);
135463c2149SToke Høiland-Jørgensen 		memset(&link_info, 0, sizeof(link_info));
136463c2149SToke Høiland-Jørgensen 		err = bpf_obj_get_info_by_fd(bpf_link__fd(link[i]),
137463c2149SToke Høiland-Jørgensen 					     &link_info, &info_len);
138463c2149SToke Høiland-Jørgensen 		ASSERT_OK(err, "link_fd_get_info");
139463c2149SToke Høiland-Jørgensen 		ASSERT_EQ(link_info.tracing.attach_type,
140379d19ecSAndrii Nakryiko 			  bpf_program__expected_attach_type(prog[i]),
141463c2149SToke Høiland-Jørgensen 			  "link_attach_type");
142463c2149SToke Høiland-Jørgensen 		ASSERT_EQ(link_info.tracing.target_obj_id, tgt_prog_id, "link_tgt_obj_id");
143463c2149SToke Høiland-Jørgensen 		ASSERT_EQ(link_info.tracing.target_btf_id, btf_id, "link_tgt_btf_id");
144d6f39601SAlexei Starovoitov 	}
1451d8a0af5SToke Høiland-Jørgensen 
146f6429476SToke Høiland-Jørgensen 	if (cb) {
147f6429476SToke Høiland-Jørgensen 		err = cb(obj);
148f6429476SToke Høiland-Jørgensen 		if (err)
149f6429476SToke Høiland-Jørgensen 			goto close_prog;
150f6429476SToke Høiland-Jørgensen 	}
151f6429476SToke Høiland-Jørgensen 
1521d8a0af5SToke Høiland-Jørgensen 	if (!run_prog)
1531d8a0af5SToke Høiland-Jørgensen 		goto close_prog;
1541d8a0af5SToke Høiland-Jørgensen 
155*04fcb5f9SDelyan Kratunov 	err = bpf_prog_test_run_opts(tgt_fd, &topts);
156463c2149SToke Høiland-Jørgensen 	ASSERT_OK(err, "prog_run");
157*04fcb5f9SDelyan Kratunov 	ASSERT_EQ(topts.retval, 0, "prog_run_ret");
158d6f39601SAlexei Starovoitov 
159f6429476SToke Høiland-Jørgensen 	if (check_data_map(obj, prog_cnt, false))
160d6f39601SAlexei Starovoitov 		goto close_prog;
161d6f39601SAlexei Starovoitov 
162d6f39601SAlexei Starovoitov close_prog:
1638f9081c9SYonghong Song 	for (i = 0; i < prog_cnt; i++)
164d6f39601SAlexei Starovoitov 		bpf_link__destroy(link[i]);
165d6f39601SAlexei Starovoitov 	bpf_object__close(obj);
166f6429476SToke Høiland-Jørgensen 	bpf_object__close(tgt_obj);
1678f9081c9SYonghong Song 	free(link);
1688f9081c9SYonghong Song 	free(prog);
1698f9081c9SYonghong Song }
1708f9081c9SYonghong Song 
1718f9081c9SYonghong Song static void test_target_no_callees(void)
1728f9081c9SYonghong Song {
1738f9081c9SYonghong Song 	const char *prog_name[] = {
1748f9081c9SYonghong Song 		"fexit/test_pkt_md_access",
1758f9081c9SYonghong Song 	};
1768f9081c9SYonghong Song 	test_fexit_bpf2bpf_common("./fexit_bpf2bpf_simple.o",
1778f9081c9SYonghong Song 				  "./test_pkt_md_access.o",
1788f9081c9SYonghong Song 				  ARRAY_SIZE(prog_name),
179f6429476SToke Høiland-Jørgensen 				  prog_name, true, NULL);
1808f9081c9SYonghong Song }
1818f9081c9SYonghong Song 
1828f9081c9SYonghong Song static void test_target_yes_callees(void)
1838f9081c9SYonghong Song {
1848f9081c9SYonghong Song 	const char *prog_name[] = {
1858f9081c9SYonghong Song 		"fexit/test_pkt_access",
1868f9081c9SYonghong Song 		"fexit/test_pkt_access_subprog1",
1878f9081c9SYonghong Song 		"fexit/test_pkt_access_subprog2",
1887608e4dbSAlexei Starovoitov 		"fexit/test_pkt_access_subprog3",
1898f9081c9SYonghong Song 	};
1908f9081c9SYonghong Song 	test_fexit_bpf2bpf_common("./fexit_bpf2bpf.o",
1918f9081c9SYonghong Song 				  "./test_pkt_access.o",
1928f9081c9SYonghong Song 				  ARRAY_SIZE(prog_name),
193f6429476SToke Høiland-Jørgensen 				  prog_name, true, NULL);
1948f9081c9SYonghong Song }
1958f9081c9SYonghong Song 
1967805fe84SAlexei Starovoitov static void test_func_replace(void)
1977805fe84SAlexei Starovoitov {
1987805fe84SAlexei Starovoitov 	const char *prog_name[] = {
1997805fe84SAlexei Starovoitov 		"fexit/test_pkt_access",
2007805fe84SAlexei Starovoitov 		"fexit/test_pkt_access_subprog1",
2017805fe84SAlexei Starovoitov 		"fexit/test_pkt_access_subprog2",
2027805fe84SAlexei Starovoitov 		"fexit/test_pkt_access_subprog3",
2037805fe84SAlexei Starovoitov 		"freplace/get_skb_len",
2047805fe84SAlexei Starovoitov 		"freplace/get_skb_ifindex",
2057805fe84SAlexei Starovoitov 		"freplace/get_constant",
2066dc03dc7SUdip Pant 		"freplace/test_pkt_write_access_subprog",
2077805fe84SAlexei Starovoitov 	};
2087805fe84SAlexei Starovoitov 	test_fexit_bpf2bpf_common("./fexit_bpf2bpf.o",
2097805fe84SAlexei Starovoitov 				  "./test_pkt_access.o",
2107805fe84SAlexei Starovoitov 				  ARRAY_SIZE(prog_name),
211f6429476SToke Høiland-Jørgensen 				  prog_name, true, NULL);
2121d8a0af5SToke Høiland-Jørgensen }
2131d8a0af5SToke Høiland-Jørgensen 
2141d8a0af5SToke Høiland-Jørgensen static void test_func_replace_verify(void)
2151d8a0af5SToke Høiland-Jørgensen {
2161d8a0af5SToke Høiland-Jørgensen 	const char *prog_name[] = {
2171d8a0af5SToke Høiland-Jørgensen 		"freplace/do_bind",
2181d8a0af5SToke Høiland-Jørgensen 	};
2191d8a0af5SToke Høiland-Jørgensen 	test_fexit_bpf2bpf_common("./freplace_connect4.o",
2201d8a0af5SToke Høiland-Jørgensen 				  "./connect4_prog.o",
2211d8a0af5SToke Høiland-Jørgensen 				  ARRAY_SIZE(prog_name),
222f6429476SToke Høiland-Jørgensen 				  prog_name, false, NULL);
223f6429476SToke Høiland-Jørgensen }
224f6429476SToke Høiland-Jørgensen 
225f6429476SToke Høiland-Jørgensen static int test_second_attach(struct bpf_object *obj)
226f6429476SToke Høiland-Jørgensen {
227a393ea80SKui-Feng Lee 	const char *prog_name = "security_new_get_constant";
228a393ea80SKui-Feng Lee 	const char *tgt_name = "get_constant";
229f6429476SToke Høiland-Jørgensen 	const char *tgt_obj_file = "./test_pkt_access.o";
230f6429476SToke Høiland-Jørgensen 	struct bpf_program *prog = NULL;
231f6429476SToke Høiland-Jørgensen 	struct bpf_object *tgt_obj;
232f6429476SToke Høiland-Jørgensen 	struct bpf_link *link;
233f6429476SToke Høiland-Jørgensen 	int err = 0, tgt_fd;
234*04fcb5f9SDelyan Kratunov 	LIBBPF_OPTS(bpf_test_run_opts, topts,
235*04fcb5f9SDelyan Kratunov 		.data_in = &pkt_v6,
236*04fcb5f9SDelyan Kratunov 		.data_size_in = sizeof(pkt_v6),
237*04fcb5f9SDelyan Kratunov 		.repeat = 1,
238*04fcb5f9SDelyan Kratunov 	);
239f6429476SToke Høiland-Jørgensen 
240a393ea80SKui-Feng Lee 	prog = bpf_object__find_program_by_name(obj, prog_name);
241*04fcb5f9SDelyan Kratunov 	if (!ASSERT_OK_PTR(prog, "find_prog"))
242f6429476SToke Høiland-Jørgensen 		return -ENOENT;
243f6429476SToke Høiland-Jørgensen 
244cbdb1461SAndrii Nakryiko 	err = bpf_prog_test_load(tgt_obj_file, BPF_PROG_TYPE_UNSPEC,
245f6429476SToke Høiland-Jørgensen 			    &tgt_obj, &tgt_fd);
246*04fcb5f9SDelyan Kratunov 	if (!ASSERT_OK(err, "second_prog_load"))
247f6429476SToke Høiland-Jørgensen 		return err;
248f6429476SToke Høiland-Jørgensen 
249f6429476SToke Høiland-Jørgensen 	link = bpf_program__attach_freplace(prog, tgt_fd, tgt_name);
250bad2e478SAndrii Nakryiko 	if (!ASSERT_OK_PTR(link, "second_link"))
251f6429476SToke Høiland-Jørgensen 		goto out;
252f6429476SToke Høiland-Jørgensen 
253*04fcb5f9SDelyan Kratunov 	err = bpf_prog_test_run_opts(tgt_fd, &topts);
254*04fcb5f9SDelyan Kratunov 	if (!ASSERT_OK(err, "ipv6 test_run"))
255*04fcb5f9SDelyan Kratunov 		goto out;
256*04fcb5f9SDelyan Kratunov 	if (!ASSERT_OK(topts.retval, "ipv6 retval"))
257f6429476SToke Høiland-Jørgensen 		goto out;
258f6429476SToke Høiland-Jørgensen 
259f6429476SToke Høiland-Jørgensen 	err = check_data_map(obj, 1, true);
260f6429476SToke Høiland-Jørgensen 	if (err)
261f6429476SToke Høiland-Jørgensen 		goto out;
262f6429476SToke Høiland-Jørgensen 
263f6429476SToke Høiland-Jørgensen out:
264f6429476SToke Høiland-Jørgensen 	bpf_link__destroy(link);
265f6429476SToke Høiland-Jørgensen 	bpf_object__close(tgt_obj);
266f6429476SToke Høiland-Jørgensen 	return err;
267f6429476SToke Høiland-Jørgensen }
268f6429476SToke Høiland-Jørgensen 
269f6429476SToke Høiland-Jørgensen static void test_func_replace_multi(void)
270f6429476SToke Høiland-Jørgensen {
271f6429476SToke Høiland-Jørgensen 	const char *prog_name[] = {
272f6429476SToke Høiland-Jørgensen 		"freplace/get_constant",
273f6429476SToke Høiland-Jørgensen 	};
274f6429476SToke Høiland-Jørgensen 	test_fexit_bpf2bpf_common("./freplace_get_constant.o",
275f6429476SToke Høiland-Jørgensen 				  "./test_pkt_access.o",
276f6429476SToke Høiland-Jørgensen 				  ARRAY_SIZE(prog_name),
277f6429476SToke Høiland-Jørgensen 				  prog_name, true, test_second_attach);
2787805fe84SAlexei Starovoitov }
2797805fe84SAlexei Starovoitov 
280bee4b7e6SToke Høiland-Jørgensen static void test_fmod_ret_freplace(void)
281bee4b7e6SToke Høiland-Jørgensen {
282bee4b7e6SToke Høiland-Jørgensen 	struct bpf_object *freplace_obj = NULL, *pkt_obj, *fmod_obj = NULL;
283bee4b7e6SToke Høiland-Jørgensen 	const char *freplace_name = "./freplace_get_constant.o";
284bee4b7e6SToke Høiland-Jørgensen 	const char *fmod_ret_name = "./fmod_ret_freplace.o";
285bee4b7e6SToke Høiland-Jørgensen 	DECLARE_LIBBPF_OPTS(bpf_object_open_opts, opts);
286bee4b7e6SToke Høiland-Jørgensen 	const char *tgt_name = "./test_pkt_access.o";
287bee4b7e6SToke Høiland-Jørgensen 	struct bpf_link *freplace_link = NULL;
288bee4b7e6SToke Høiland-Jørgensen 	struct bpf_program *prog;
289bee4b7e6SToke Høiland-Jørgensen 	__u32 duration = 0;
29060aed220SAndrii Nakryiko 	int err, pkt_fd, attach_prog_fd;
291bee4b7e6SToke Høiland-Jørgensen 
292cbdb1461SAndrii Nakryiko 	err = bpf_prog_test_load(tgt_name, BPF_PROG_TYPE_UNSPEC,
293bee4b7e6SToke Høiland-Jørgensen 			    &pkt_obj, &pkt_fd);
294bee4b7e6SToke Høiland-Jørgensen 	/* the target prog should load fine */
295bee4b7e6SToke Høiland-Jørgensen 	if (CHECK(err, "tgt_prog_load", "file %s err %d errno %d\n",
296bee4b7e6SToke Høiland-Jørgensen 		  tgt_name, err, errno))
297bee4b7e6SToke Høiland-Jørgensen 		return;
298bee4b7e6SToke Høiland-Jørgensen 
29960aed220SAndrii Nakryiko 	freplace_obj = bpf_object__open_file(freplace_name, NULL);
300bad2e478SAndrii Nakryiko 	if (!ASSERT_OK_PTR(freplace_obj, "freplace_obj_open"))
301bee4b7e6SToke Høiland-Jørgensen 		goto out;
302bee4b7e6SToke Høiland-Jørgensen 
3036f2b219bSHengqi Chen 	prog = bpf_object__next_program(freplace_obj, NULL);
30460aed220SAndrii Nakryiko 	err = bpf_program__set_attach_target(prog, pkt_fd, NULL);
30560aed220SAndrii Nakryiko 	ASSERT_OK(err, "freplace__set_attach_target");
30660aed220SAndrii Nakryiko 
307bee4b7e6SToke Høiland-Jørgensen 	err = bpf_object__load(freplace_obj);
308bee4b7e6SToke Høiland-Jørgensen 	if (CHECK(err, "freplace_obj_load", "err %d\n", err))
309bee4b7e6SToke Høiland-Jørgensen 		goto out;
310bee4b7e6SToke Høiland-Jørgensen 
311bee4b7e6SToke Høiland-Jørgensen 	freplace_link = bpf_program__attach_trace(prog);
312bad2e478SAndrii Nakryiko 	if (!ASSERT_OK_PTR(freplace_link, "freplace_attach_trace"))
313bee4b7e6SToke Høiland-Jørgensen 		goto out;
314bee4b7e6SToke Høiland-Jørgensen 
31560aed220SAndrii Nakryiko 	fmod_obj = bpf_object__open_file(fmod_ret_name, NULL);
316bad2e478SAndrii Nakryiko 	if (!ASSERT_OK_PTR(fmod_obj, "fmod_obj_open"))
317bee4b7e6SToke Høiland-Jørgensen 		goto out;
318bee4b7e6SToke Høiland-Jørgensen 
31960aed220SAndrii Nakryiko 	attach_prog_fd = bpf_program__fd(prog);
3206f2b219bSHengqi Chen 	prog = bpf_object__next_program(fmod_obj, NULL);
32160aed220SAndrii Nakryiko 	err = bpf_program__set_attach_target(prog, attach_prog_fd, NULL);
32260aed220SAndrii Nakryiko 	ASSERT_OK(err, "fmod_ret_set_attach_target");
32360aed220SAndrii Nakryiko 
324bee4b7e6SToke Høiland-Jørgensen 	err = bpf_object__load(fmod_obj);
325bee4b7e6SToke Høiland-Jørgensen 	if (CHECK(!err, "fmod_obj_load", "loading fmod_ret should fail\n"))
326bee4b7e6SToke Høiland-Jørgensen 		goto out;
327bee4b7e6SToke Høiland-Jørgensen 
328bee4b7e6SToke Høiland-Jørgensen out:
329bee4b7e6SToke Høiland-Jørgensen 	bpf_link__destroy(freplace_link);
330bee4b7e6SToke Høiland-Jørgensen 	bpf_object__close(freplace_obj);
331bee4b7e6SToke Høiland-Jørgensen 	bpf_object__close(fmod_obj);
332bee4b7e6SToke Høiland-Jørgensen 	bpf_object__close(pkt_obj);
333bee4b7e6SToke Høiland-Jørgensen }
334bee4b7e6SToke Høiland-Jørgensen 
335bee4b7e6SToke Høiland-Jørgensen 
3361410620cSUdip Pant static void test_func_sockmap_update(void)
3371410620cSUdip Pant {
3381410620cSUdip Pant 	const char *prog_name[] = {
3391410620cSUdip Pant 		"freplace/cls_redirect",
3401410620cSUdip Pant 	};
3411410620cSUdip Pant 	test_fexit_bpf2bpf_common("./freplace_cls_redirect.o",
3421410620cSUdip Pant 				  "./test_cls_redirect.o",
3431410620cSUdip Pant 				  ARRAY_SIZE(prog_name),
344f6429476SToke Høiland-Jørgensen 				  prog_name, false, NULL);
3451410620cSUdip Pant }
3461410620cSUdip Pant 
3471410620cSUdip Pant static void test_obj_load_failure_common(const char *obj_file,
3481410620cSUdip Pant 					 const char *target_obj_file)
34950d19736SUdip Pant {
35050d19736SUdip Pant 	/*
35150d19736SUdip Pant 	 * standalone test that asserts failure to load freplace prog
35250d19736SUdip Pant 	 * because of invalid return code.
35350d19736SUdip Pant 	 */
35450d19736SUdip Pant 	struct bpf_object *obj = NULL, *pkt_obj;
35560aed220SAndrii Nakryiko 	struct bpf_program *prog;
35650d19736SUdip Pant 	int err, pkt_fd;
35750d19736SUdip Pant 	__u32 duration = 0;
35850d19736SUdip Pant 
359cbdb1461SAndrii Nakryiko 	err = bpf_prog_test_load(target_obj_file, BPF_PROG_TYPE_UNSPEC,
36050d19736SUdip Pant 			    &pkt_obj, &pkt_fd);
36150d19736SUdip Pant 	/* the target prog should load fine */
36250d19736SUdip Pant 	if (CHECK(err, "tgt_prog_load", "file %s err %d errno %d\n",
36350d19736SUdip Pant 		  target_obj_file, err, errno))
36450d19736SUdip Pant 		return;
36550d19736SUdip Pant 
36660aed220SAndrii Nakryiko 	obj = bpf_object__open_file(obj_file, NULL);
367bad2e478SAndrii Nakryiko 	if (!ASSERT_OK_PTR(obj, "obj_open"))
36850d19736SUdip Pant 		goto close_prog;
36950d19736SUdip Pant 
3706f2b219bSHengqi Chen 	prog = bpf_object__next_program(obj, NULL);
37160aed220SAndrii Nakryiko 	err = bpf_program__set_attach_target(prog, pkt_fd, NULL);
37260aed220SAndrii Nakryiko 	ASSERT_OK(err, "set_attach_target");
37360aed220SAndrii Nakryiko 
37450d19736SUdip Pant 	/* It should fail to load the program */
37550d19736SUdip Pant 	err = bpf_object__load(obj);
37650d19736SUdip Pant 	if (CHECK(!err, "bpf_obj_load should fail", "err %d\n", err))
37750d19736SUdip Pant 		goto close_prog;
37850d19736SUdip Pant 
37950d19736SUdip Pant close_prog:
38050d19736SUdip Pant 	bpf_object__close(obj);
38150d19736SUdip Pant 	bpf_object__close(pkt_obj);
38250d19736SUdip Pant }
38350d19736SUdip Pant 
3841410620cSUdip Pant static void test_func_replace_return_code(void)
3851410620cSUdip Pant {
3861410620cSUdip Pant 	/* test invalid return code in the replaced program */
3871410620cSUdip Pant 	test_obj_load_failure_common("./freplace_connect_v4_prog.o",
3881410620cSUdip Pant 				     "./connect4_prog.o");
3891410620cSUdip Pant }
3901410620cSUdip Pant 
3911410620cSUdip Pant static void test_func_map_prog_compatibility(void)
3921410620cSUdip Pant {
3931410620cSUdip Pant 	/* test with spin lock map value in the replaced program */
3941410620cSUdip Pant 	test_obj_load_failure_common("./freplace_attach_probe.o",
3951410620cSUdip Pant 				     "./test_attach_probe.o");
3961410620cSUdip Pant }
3971410620cSUdip Pant 
398d3f7b166SYucong Sun /* NOTE: affect other tests, must run in serial mode */
399d3f7b166SYucong Sun void serial_test_fexit_bpf2bpf(void)
4008f9081c9SYonghong Song {
401d86687aeSAndrii Nakryiko 	if (test__start_subtest("target_no_callees"))
4028f9081c9SYonghong Song 		test_target_no_callees();
403d86687aeSAndrii Nakryiko 	if (test__start_subtest("target_yes_callees"))
4048f9081c9SYonghong Song 		test_target_yes_callees();
405d86687aeSAndrii Nakryiko 	if (test__start_subtest("func_replace"))
4067805fe84SAlexei Starovoitov 		test_func_replace();
407d86687aeSAndrii Nakryiko 	if (test__start_subtest("func_replace_verify"))
4081d8a0af5SToke Høiland-Jørgensen 		test_func_replace_verify();
409d86687aeSAndrii Nakryiko 	if (test__start_subtest("func_sockmap_update"))
4101410620cSUdip Pant 		test_func_sockmap_update();
411d86687aeSAndrii Nakryiko 	if (test__start_subtest("func_replace_return_code"))
41250d19736SUdip Pant 		test_func_replace_return_code();
413d86687aeSAndrii Nakryiko 	if (test__start_subtest("func_map_prog_compatibility"))
4141410620cSUdip Pant 		test_func_map_prog_compatibility();
415f6429476SToke Høiland-Jørgensen 	if (test__start_subtest("func_replace_multi"))
416f6429476SToke Høiland-Jørgensen 		test_func_replace_multi();
417bee4b7e6SToke Høiland-Jørgensen 	if (test__start_subtest("fmod_ret_freplace"))
418bee4b7e6SToke Høiland-Jørgensen 		test_fmod_ret_freplace();
419d6f39601SAlexei Starovoitov }
420