]>
git.proxmox.com Git - mirror_ubuntu-jammy-kernel.git/blob - tools/testing/selftests/bpf/prog_tests/fexit_bpf2bpf.c
1 // SPDX-License-Identifier: GPL-2.0
2 /* Copyright (c) 2019 Facebook */
3 #include <test_progs.h>
4 #include <network_helpers.h>
7 typedef int (*test_cb
)(struct bpf_object
*obj
);
9 static int check_data_map(struct bpf_object
*obj
, int prog_cnt
, bool reset
)
11 struct bpf_map
*data_map
= NULL
, *map
;
17 result
= malloc((prog_cnt
+ 32 /* spare */) * sizeof(__u64
));
18 if (CHECK(!result
, "alloc_memory", "failed to alloc memory"))
21 bpf_object__for_each_map(map
, obj
)
22 if (bpf_map__is_internal(map
)) {
26 if (CHECK(!data_map
, "find_data_map", "data map not found\n"))
29 ret
= bpf_map_lookup_elem(bpf_map__fd(data_map
), &zero
, result
);
30 if (CHECK(ret
, "get_result",
31 "failed to get output data: %d\n", ret
))
34 for (i
= 0; i
< prog_cnt
; i
++) {
35 if (CHECK(result
[i
] != 1, "result",
36 "fexit_bpf2bpf result[%d] failed err %llu\n",
42 ret
= bpf_map_update_elem(bpf_map__fd(data_map
), &zero
, result
, 0);
43 if (CHECK(ret
, "reset_result", "failed to reset result\n"))
53 static void test_fexit_bpf2bpf_common(const char *obj_file
,
54 const char *target_obj_file
,
56 const char **prog_name
,
60 struct bpf_object
*obj
= NULL
, *tgt_obj
;
61 __u32 retval
, tgt_prog_id
, info_len
;
62 struct bpf_prog_info prog_info
= {};
63 struct bpf_program
**prog
= NULL
;
64 struct bpf_link
**link
= NULL
;
68 err
= bpf_prog_load(target_obj_file
, BPF_PROG_TYPE_UNSPEC
,
70 if (!ASSERT_OK(err
, "tgt_prog_load"))
72 DECLARE_LIBBPF_OPTS(bpf_object_open_opts
, opts
,
73 .attach_prog_fd
= tgt_fd
,
76 info_len
= sizeof(prog_info
);
77 err
= bpf_obj_get_info_by_fd(tgt_fd
, &prog_info
, &info_len
);
78 if (!ASSERT_OK(err
, "tgt_fd_get_info"))
81 tgt_prog_id
= prog_info
.id
;
82 btf
= bpf_object__btf(tgt_obj
);
84 link
= calloc(sizeof(struct bpf_link
*), prog_cnt
);
85 if (!ASSERT_OK_PTR(link
, "link_ptr"))
88 prog
= calloc(sizeof(struct bpf_program
*), prog_cnt
);
89 if (!ASSERT_OK_PTR(prog
, "prog_ptr"))
92 obj
= bpf_object__open_file(obj_file
, &opts
);
93 if (!ASSERT_OK_PTR(obj
, "obj_open"))
96 err
= bpf_object__load(obj
);
97 if (!ASSERT_OK(err
, "obj_load"))
100 for (i
= 0; i
< prog_cnt
; i
++) {
101 struct bpf_link_info link_info
;
105 tgt_name
= strstr(prog_name
[i
], "/");
106 if (!ASSERT_OK_PTR(tgt_name
, "tgt_name"))
108 btf_id
= btf__find_by_name_kind(btf
, tgt_name
+ 1, BTF_KIND_FUNC
);
110 prog
[i
] = bpf_object__find_program_by_title(obj
, prog_name
[i
]);
111 if (!ASSERT_OK_PTR(prog
[i
], prog_name
[i
]))
114 link
[i
] = bpf_program__attach_trace(prog
[i
]);
115 if (!ASSERT_OK_PTR(link
[i
], "attach_trace"))
118 info_len
= sizeof(link_info
);
119 memset(&link_info
, 0, sizeof(link_info
));
120 err
= bpf_obj_get_info_by_fd(bpf_link__fd(link
[i
]),
121 &link_info
, &info_len
);
122 ASSERT_OK(err
, "link_fd_get_info");
123 ASSERT_EQ(link_info
.tracing
.attach_type
,
124 bpf_program__get_expected_attach_type(prog
[i
]),
126 ASSERT_EQ(link_info
.tracing
.target_obj_id
, tgt_prog_id
, "link_tgt_obj_id");
127 ASSERT_EQ(link_info
.tracing
.target_btf_id
, btf_id
, "link_tgt_btf_id");
139 err
= bpf_prog_test_run(tgt_fd
, 1, &pkt_v6
, sizeof(pkt_v6
),
140 NULL
, NULL
, &retval
, NULL
);
141 ASSERT_OK(err
, "prog_run");
142 ASSERT_EQ(retval
, 0, "prog_run_ret");
144 if (check_data_map(obj
, prog_cnt
, false))
148 for (i
= 0; i
< prog_cnt
; i
++)
149 if (!IS_ERR_OR_NULL(link
[i
]))
150 bpf_link__destroy(link
[i
]);
151 if (!IS_ERR_OR_NULL(obj
))
152 bpf_object__close(obj
);
153 bpf_object__close(tgt_obj
);
158 static void test_target_no_callees(void)
160 const char *prog_name
[] = {
161 "fexit/test_pkt_md_access",
163 test_fexit_bpf2bpf_common("./fexit_bpf2bpf_simple.o",
164 "./test_pkt_md_access.o",
165 ARRAY_SIZE(prog_name
),
166 prog_name
, true, NULL
);
169 static void test_target_yes_callees(void)
171 const char *prog_name
[] = {
172 "fexit/test_pkt_access",
173 "fexit/test_pkt_access_subprog1",
174 "fexit/test_pkt_access_subprog2",
175 "fexit/test_pkt_access_subprog3",
177 test_fexit_bpf2bpf_common("./fexit_bpf2bpf.o",
178 "./test_pkt_access.o",
179 ARRAY_SIZE(prog_name
),
180 prog_name
, true, NULL
);
183 static void test_func_replace(void)
185 const char *prog_name
[] = {
186 "fexit/test_pkt_access",
187 "fexit/test_pkt_access_subprog1",
188 "fexit/test_pkt_access_subprog2",
189 "fexit/test_pkt_access_subprog3",
190 "freplace/get_skb_len",
191 "freplace/get_skb_ifindex",
192 "freplace/get_constant",
193 "freplace/test_pkt_write_access_subprog",
195 test_fexit_bpf2bpf_common("./fexit_bpf2bpf.o",
196 "./test_pkt_access.o",
197 ARRAY_SIZE(prog_name
),
198 prog_name
, true, NULL
);
201 static void test_func_replace_verify(void)
203 const char *prog_name
[] = {
206 test_fexit_bpf2bpf_common("./freplace_connect4.o",
208 ARRAY_SIZE(prog_name
),
209 prog_name
, false, NULL
);
212 static int test_second_attach(struct bpf_object
*obj
)
214 const char *prog_name
= "freplace/get_constant";
215 const char *tgt_name
= prog_name
+ 9; /* cut off freplace/ */
216 const char *tgt_obj_file
= "./test_pkt_access.o";
217 struct bpf_program
*prog
= NULL
;
218 struct bpf_object
*tgt_obj
;
219 __u32 duration
= 0, retval
;
220 struct bpf_link
*link
;
223 prog
= bpf_object__find_program_by_title(obj
, prog_name
);
224 if (CHECK(!prog
, "find_prog", "prog %s not found\n", prog_name
))
227 err
= bpf_prog_load(tgt_obj_file
, BPF_PROG_TYPE_UNSPEC
,
229 if (CHECK(err
, "second_prog_load", "file %s err %d errno %d\n",
230 tgt_obj_file
, err
, errno
))
233 link
= bpf_program__attach_freplace(prog
, tgt_fd
, tgt_name
);
234 if (CHECK(IS_ERR(link
), "second_link", "failed to attach second link prog_fd %d tgt_fd %d\n", bpf_program__fd(prog
), tgt_fd
))
237 err
= bpf_prog_test_run(tgt_fd
, 1, &pkt_v6
, sizeof(pkt_v6
),
238 NULL
, NULL
, &retval
, &duration
);
239 if (CHECK(err
|| retval
, "ipv6",
240 "err %d errno %d retval %d duration %d\n",
241 err
, errno
, retval
, duration
))
244 err
= check_data_map(obj
, 1, true);
249 bpf_link__destroy(link
);
250 bpf_object__close(tgt_obj
);
254 static void test_func_replace_multi(void)
256 const char *prog_name
[] = {
257 "freplace/get_constant",
259 test_fexit_bpf2bpf_common("./freplace_get_constant.o",
260 "./test_pkt_access.o",
261 ARRAY_SIZE(prog_name
),
262 prog_name
, true, test_second_attach
);
265 static void test_fmod_ret_freplace(void)
267 struct bpf_object
*freplace_obj
= NULL
, *pkt_obj
, *fmod_obj
= NULL
;
268 const char *freplace_name
= "./freplace_get_constant.o";
269 const char *fmod_ret_name
= "./fmod_ret_freplace.o";
270 DECLARE_LIBBPF_OPTS(bpf_object_open_opts
, opts
);
271 const char *tgt_name
= "./test_pkt_access.o";
272 struct bpf_link
*freplace_link
= NULL
;
273 struct bpf_program
*prog
;
277 err
= bpf_prog_load(tgt_name
, BPF_PROG_TYPE_UNSPEC
,
279 /* the target prog should load fine */
280 if (CHECK(err
, "tgt_prog_load", "file %s err %d errno %d\n",
281 tgt_name
, err
, errno
))
283 opts
.attach_prog_fd
= pkt_fd
;
285 freplace_obj
= bpf_object__open_file(freplace_name
, &opts
);
286 if (CHECK(IS_ERR_OR_NULL(freplace_obj
), "freplace_obj_open",
287 "failed to open %s: %ld\n", freplace_name
,
288 PTR_ERR(freplace_obj
)))
291 err
= bpf_object__load(freplace_obj
);
292 if (CHECK(err
, "freplace_obj_load", "err %d\n", err
))
295 prog
= bpf_program__next(NULL
, freplace_obj
);
296 freplace_link
= bpf_program__attach_trace(prog
);
297 if (CHECK(IS_ERR(freplace_link
), "freplace_attach_trace", "failed to link\n"))
300 opts
.attach_prog_fd
= bpf_program__fd(prog
);
301 fmod_obj
= bpf_object__open_file(fmod_ret_name
, &opts
);
302 if (CHECK(IS_ERR_OR_NULL(fmod_obj
), "fmod_obj_open",
303 "failed to open %s: %ld\n", fmod_ret_name
,
307 err
= bpf_object__load(fmod_obj
);
308 if (CHECK(!err
, "fmod_obj_load", "loading fmod_ret should fail\n"))
312 bpf_link__destroy(freplace_link
);
313 bpf_object__close(freplace_obj
);
314 bpf_object__close(fmod_obj
);
315 bpf_object__close(pkt_obj
);
319 static void test_func_sockmap_update(void)
321 const char *prog_name
[] = {
322 "freplace/cls_redirect",
324 test_fexit_bpf2bpf_common("./freplace_cls_redirect.o",
325 "./test_cls_redirect.o",
326 ARRAY_SIZE(prog_name
),
327 prog_name
, false, NULL
);
330 static void test_obj_load_failure_common(const char *obj_file
,
331 const char *target_obj_file
)
335 * standalone test that asserts failure to load freplace prog
336 * because of invalid return code.
338 struct bpf_object
*obj
= NULL
, *pkt_obj
;
342 err
= bpf_prog_load(target_obj_file
, BPF_PROG_TYPE_UNSPEC
,
344 /* the target prog should load fine */
345 if (CHECK(err
, "tgt_prog_load", "file %s err %d errno %d\n",
346 target_obj_file
, err
, errno
))
348 DECLARE_LIBBPF_OPTS(bpf_object_open_opts
, opts
,
349 .attach_prog_fd
= pkt_fd
,
352 obj
= bpf_object__open_file(obj_file
, &opts
);
353 if (CHECK(IS_ERR_OR_NULL(obj
), "obj_open",
354 "failed to open %s: %ld\n", obj_file
,
358 /* It should fail to load the program */
359 err
= bpf_object__load(obj
);
360 if (CHECK(!err
, "bpf_obj_load should fail", "err %d\n", err
))
364 if (!IS_ERR_OR_NULL(obj
))
365 bpf_object__close(obj
);
366 bpf_object__close(pkt_obj
);
369 static void test_func_replace_return_code(void)
371 /* test invalid return code in the replaced program */
372 test_obj_load_failure_common("./freplace_connect_v4_prog.o",
373 "./connect4_prog.o");
376 static void test_func_map_prog_compatibility(void)
378 /* test with spin lock map value in the replaced program */
379 test_obj_load_failure_common("./freplace_attach_probe.o",
380 "./test_attach_probe.o");
383 void test_fexit_bpf2bpf(void)
385 if (test__start_subtest("target_no_callees"))
386 test_target_no_callees();
387 if (test__start_subtest("target_yes_callees"))
388 test_target_yes_callees();
389 if (test__start_subtest("func_replace"))
391 if (test__start_subtest("func_replace_verify"))
392 test_func_replace_verify();
393 if (test__start_subtest("func_sockmap_update"))
394 test_func_sockmap_update();
395 if (test__start_subtest("func_replace_return_code"))
396 test_func_replace_return_code();
397 if (test__start_subtest("func_map_prog_compatibility"))
398 test_func_map_prog_compatibility();
399 if (test__start_subtest("func_replace_multi"))
400 test_func_replace_multi();
401 if (test__start_subtest("fmod_ret_freplace"))
402 test_fmod_ret_freplace();