blob: 8d46e2962786ac3ba261ce6d8e3f760947f65a92 [file] [log] [blame]
Thomas Gleixner25763b32019-05-28 10:10:09 -07001// SPDX-License-Identifier: GPL-2.0-only
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -07002/* Copyright (c) 2017 Facebook
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -07003 */
4#include <linux/bpf.h>
Martin KaFai Lau7bd15902021-03-24 18:52:52 -07005#include <linux/btf_ids.h>
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -07006#include <linux/slab.h>
7#include <linux/vmalloc.h>
8#include <linux/etherdevice.h>
9#include <linux/filter.h>
10#include <linux/sched/signal.h>
Martin KaFai Lau6ac99e82019-04-26 16:39:39 -070011#include <net/bpf_sk_storage.h>
Song Liu2cb494a2018-10-19 09:57:58 -070012#include <net/sock.h>
13#include <net/tcp.h>
Lorenz Bauer7c32e8f2021-03-03 10:18:13 +000014#include <net/net_namespace.h>
KP Singh3d08b6f2020-03-04 20:18:53 +010015#include <linux/error-injection.h>
Song Liu1b4d60e2020-09-25 13:54:29 -070016#include <linux/smp.h>
Lorenz Bauer7c32e8f2021-03-03 10:18:13 +000017#include <linux/sock_diag.h>
Zvi Effron47316f42021-07-07 22:16:55 +000018#include <net/xdp.h>
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -070019
Matt Mullinse950e842019-04-26 11:49:51 -070020#define CREATE_TRACE_POINTS
21#include <trace/events/bpf_test_run.h>
22
Lorenz Bauer607b9cc2021-03-03 10:18:12 +000023struct bpf_test_timer {
24 enum { NO_PREEMPT, NO_MIGRATE } mode;
25 u32 i;
26 u64 time_start, time_spent;
27};
28
29static void bpf_test_timer_enter(struct bpf_test_timer *t)
30 __acquires(rcu)
31{
32 rcu_read_lock();
33 if (t->mode == NO_PREEMPT)
34 preempt_disable();
35 else
36 migrate_disable();
37
38 t->time_start = ktime_get_ns();
39}
40
41static void bpf_test_timer_leave(struct bpf_test_timer *t)
42 __releases(rcu)
43{
44 t->time_start = 0;
45
46 if (t->mode == NO_PREEMPT)
47 preempt_enable();
48 else
49 migrate_enable();
50 rcu_read_unlock();
51}
52
53static bool bpf_test_timer_continue(struct bpf_test_timer *t, u32 repeat, int *err, u32 *duration)
54 __must_hold(rcu)
55{
56 t->i++;
57 if (t->i >= repeat) {
58 /* We're done. */
59 t->time_spent += ktime_get_ns() - t->time_start;
60 do_div(t->time_spent, t->i);
61 *duration = t->time_spent > U32_MAX ? U32_MAX : (u32)t->time_spent;
62 *err = 0;
63 goto reset;
64 }
65
66 if (signal_pending(current)) {
67 /* During iteration: we've been cancelled, abort. */
68 *err = -EINTR;
69 goto reset;
70 }
71
72 if (need_resched()) {
73 /* During iteration: we need to reschedule between runs. */
74 t->time_spent += ktime_get_ns() - t->time_start;
75 bpf_test_timer_leave(t);
76 cond_resched();
77 bpf_test_timer_enter(t);
78 }
79
80 /* Do another round. */
81 return true;
82
83reset:
84 t->i = 0;
85 return false;
86}
87
Stanislav Fomichevdf1a2cb2019-02-12 15:42:38 -080088static int bpf_test_run(struct bpf_prog *prog, void *ctx, u32 repeat,
Björn Töpelf23c4b32019-12-13 18:51:10 +010089 u32 *retval, u32 *time, bool xdp)
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -070090{
Andrii Nakryikoc7603cf2021-07-12 16:06:15 -070091 struct bpf_prog_array_item item = {.prog = prog};
92 struct bpf_run_ctx *old_ctx;
93 struct bpf_cg_run_ctx run_ctx;
Lorenz Bauer607b9cc2021-03-03 10:18:12 +000094 struct bpf_test_timer t = { NO_MIGRATE };
Roman Gushchin8bad74f2018-09-28 14:45:36 +000095 enum bpf_cgroup_storage_type stype;
Lorenz Bauer607b9cc2021-03-03 10:18:12 +000096 int ret;
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -070097
Roman Gushchin8bad74f2018-09-28 14:45:36 +000098 for_each_cgroup_storage_type(stype) {
Andrii Nakryikoc7603cf2021-07-12 16:06:15 -070099 item.cgroup_storage[stype] = bpf_cgroup_storage_alloc(prog, stype);
100 if (IS_ERR(item.cgroup_storage[stype])) {
101 item.cgroup_storage[stype] = NULL;
Roman Gushchin8bad74f2018-09-28 14:45:36 +0000102 for_each_cgroup_storage_type(stype)
Andrii Nakryikoc7603cf2021-07-12 16:06:15 -0700103 bpf_cgroup_storage_free(item.cgroup_storage[stype]);
Roman Gushchin8bad74f2018-09-28 14:45:36 +0000104 return -ENOMEM;
105 }
106 }
Roman Gushchinf42ee092018-08-02 14:27:27 -0700107
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700108 if (!repeat)
109 repeat = 1;
Stanislav Fomichevdf1a2cb2019-02-12 15:42:38 -0800110
Lorenz Bauer607b9cc2021-03-03 10:18:12 +0000111 bpf_test_timer_enter(&t);
Andrii Nakryikoc7603cf2021-07-12 16:06:15 -0700112 old_ctx = bpf_set_run_ctx(&run_ctx.run_ctx);
Lorenz Bauer607b9cc2021-03-03 10:18:12 +0000113 do {
Andrii Nakryikoc7603cf2021-07-12 16:06:15 -0700114 run_ctx.prog_item = &item;
Björn Töpelf23c4b32019-12-13 18:51:10 +0100115 if (xdp)
116 *retval = bpf_prog_run_xdp(prog, ctx);
117 else
118 *retval = BPF_PROG_RUN(prog, ctx);
Lorenz Bauer607b9cc2021-03-03 10:18:12 +0000119 } while (bpf_test_timer_continue(&t, repeat, &ret, time));
Andrii Nakryikoc7603cf2021-07-12 16:06:15 -0700120 bpf_reset_run_ctx(old_ctx);
Lorenz Bauer607b9cc2021-03-03 10:18:12 +0000121 bpf_test_timer_leave(&t);
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700122
Roman Gushchin8bad74f2018-09-28 14:45:36 +0000123 for_each_cgroup_storage_type(stype)
Andrii Nakryikoc7603cf2021-07-12 16:06:15 -0700124 bpf_cgroup_storage_free(item.cgroup_storage[stype]);
Roman Gushchinf42ee092018-08-02 14:27:27 -0700125
Stanislav Fomichevdf1a2cb2019-02-12 15:42:38 -0800126 return ret;
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700127}
128
David Miller78e52272017-05-02 11:36:33 -0400129static int bpf_test_finish(const union bpf_attr *kattr,
130 union bpf_attr __user *uattr, const void *data,
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700131 u32 size, u32 retval, u32 duration)
132{
David Miller78e52272017-05-02 11:36:33 -0400133 void __user *data_out = u64_to_user_ptr(kattr->test.data_out);
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700134 int err = -EFAULT;
Lorenz Bauerb5a36b12018-12-03 11:31:23 +0000135 u32 copy_size = size;
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700136
Lorenz Bauerb5a36b12018-12-03 11:31:23 +0000137 /* Clamp copy if the user has provided a size hint, but copy the full
138 * buffer if not to retain old behaviour.
139 */
140 if (kattr->test.data_size_out &&
141 copy_size > kattr->test.data_size_out) {
142 copy_size = kattr->test.data_size_out;
143 err = -ENOSPC;
144 }
145
146 if (data_out && copy_to_user(data_out, data, copy_size))
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700147 goto out;
148 if (copy_to_user(&uattr->test.data_size_out, &size, sizeof(size)))
149 goto out;
150 if (copy_to_user(&uattr->test.retval, &retval, sizeof(retval)))
151 goto out;
152 if (copy_to_user(&uattr->test.duration, &duration, sizeof(duration)))
153 goto out;
Lorenz Bauerb5a36b12018-12-03 11:31:23 +0000154 if (err != -ENOSPC)
155 err = 0;
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700156out:
Matt Mullinse950e842019-04-26 11:49:51 -0700157 trace_bpf_test_finish(&err);
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700158 return err;
159}
160
Alexei Starovoitovfaeb2dc2019-11-14 10:57:08 -0800161/* Integer types of various sizes and pointer combinations cover variety of
162 * architecture dependent calling conventions. 7+ can be supported in the
163 * future.
164 */
Jean-Philippe Menile9ff9d52020-03-27 21:47:13 +0100165__diag_push();
166__diag_ignore(GCC, 8, "-Wmissing-prototypes",
167 "Global functions as their definitions will be in vmlinux BTF");
Alexei Starovoitovfaeb2dc2019-11-14 10:57:08 -0800168int noinline bpf_fentry_test1(int a)
169{
170 return a + 1;
171}
172
173int noinline bpf_fentry_test2(int a, u64 b)
174{
175 return a + b;
176}
177
178int noinline bpf_fentry_test3(char a, int b, u64 c)
179{
180 return a + b + c;
181}
182
183int noinline bpf_fentry_test4(void *a, char b, int c, u64 d)
184{
185 return (long)a + b + c + d;
186}
187
188int noinline bpf_fentry_test5(u64 a, void *b, short c, int d, u64 e)
189{
190 return a + (long)b + c + d + e;
191}
192
193int noinline bpf_fentry_test6(u64 a, void *b, short c, int d, void *e, u64 f)
194{
195 return a + (long)b + c + d + (long)e + f;
196}
197
Yonghong Songd9230212020-06-30 10:12:41 -0700198struct bpf_fentry_test_t {
199 struct bpf_fentry_test_t *a;
200};
201
202int noinline bpf_fentry_test7(struct bpf_fentry_test_t *arg)
203{
204 return (long)arg;
205}
206
207int noinline bpf_fentry_test8(struct bpf_fentry_test_t *arg)
208{
209 return (long)arg->a;
210}
211
KP Singh3d08b6f2020-03-04 20:18:53 +0100212int noinline bpf_modify_return_test(int a, int *b)
213{
214 *b += 1;
215 return a + *b;
216}
Martin KaFai Lau7bd15902021-03-24 18:52:52 -0700217
218u64 noinline bpf_kfunc_call_test1(struct sock *sk, u32 a, u64 b, u32 c, u64 d)
219{
220 return a + b + c + d;
221}
222
223int noinline bpf_kfunc_call_test2(struct sock *sk, u32 a, u32 b)
224{
225 return a + b;
226}
227
228struct sock * noinline bpf_kfunc_call_test3(struct sock *sk)
229{
230 return sk;
231}
232
Jean-Philippe Menile9ff9d52020-03-27 21:47:13 +0100233__diag_pop();
KP Singh3d08b6f2020-03-04 20:18:53 +0100234
235ALLOW_ERROR_INJECTION(bpf_modify_return_test, ERRNO);
236
Martin KaFai Lau7bd15902021-03-24 18:52:52 -0700237BTF_SET_START(test_sk_kfunc_ids)
238BTF_ID(func, bpf_kfunc_call_test1)
239BTF_ID(func, bpf_kfunc_call_test2)
240BTF_ID(func, bpf_kfunc_call_test3)
241BTF_SET_END(test_sk_kfunc_ids)
242
243bool bpf_prog_test_check_kfunc_call(u32 kfunc_id)
244{
245 return btf_id_set_contains(&test_sk_kfunc_ids, kfunc_id);
246}
247
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700248static void *bpf_test_init(const union bpf_attr *kattr, u32 size,
249 u32 headroom, u32 tailroom)
250{
251 void __user *data_in = u64_to_user_ptr(kattr->test.data_in);
Jesper Dangaard Brouerd800bad2020-05-18 15:05:27 +0200252 u32 user_size = kattr->test.data_size_in;
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700253 void *data;
254
255 if (size < ETH_HLEN || size > PAGE_SIZE - headroom - tailroom)
256 return ERR_PTR(-EINVAL);
257
Jesper Dangaard Brouerd800bad2020-05-18 15:05:27 +0200258 if (user_size > size)
259 return ERR_PTR(-EMSGSIZE);
260
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700261 data = kzalloc(size + headroom + tailroom, GFP_USER);
262 if (!data)
263 return ERR_PTR(-ENOMEM);
264
Jesper Dangaard Brouerd800bad2020-05-18 15:05:27 +0200265 if (copy_from_user(data + headroom, data_in, user_size)) {
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700266 kfree(data);
267 return ERR_PTR(-EFAULT);
268 }
KP Singhda00d2f2020-03-04 20:18:52 +0100269
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700270 return data;
271}
272
KP Singhda00d2f2020-03-04 20:18:52 +0100273int bpf_prog_test_run_tracing(struct bpf_prog *prog,
274 const union bpf_attr *kattr,
275 union bpf_attr __user *uattr)
276{
Yonghong Songd9230212020-06-30 10:12:41 -0700277 struct bpf_fentry_test_t arg = {};
KP Singh3d08b6f2020-03-04 20:18:53 +0100278 u16 side_effect = 0, ret = 0;
279 int b = 2, err = -EFAULT;
280 u32 retval = 0;
KP Singhda00d2f2020-03-04 20:18:52 +0100281
Song Liu1b4d60e2020-09-25 13:54:29 -0700282 if (kattr->test.flags || kattr->test.cpu)
283 return -EINVAL;
284
KP Singhda00d2f2020-03-04 20:18:52 +0100285 switch (prog->expected_attach_type) {
286 case BPF_TRACE_FENTRY:
287 case BPF_TRACE_FEXIT:
288 if (bpf_fentry_test1(1) != 2 ||
289 bpf_fentry_test2(2, 3) != 5 ||
290 bpf_fentry_test3(4, 5, 6) != 15 ||
291 bpf_fentry_test4((void *)7, 8, 9, 10) != 34 ||
292 bpf_fentry_test5(11, (void *)12, 13, 14, 15) != 65 ||
Yonghong Songd9230212020-06-30 10:12:41 -0700293 bpf_fentry_test6(16, (void *)17, 18, 19, (void *)20, 21) != 111 ||
294 bpf_fentry_test7((struct bpf_fentry_test_t *)0) != 0 ||
295 bpf_fentry_test8(&arg) != 0)
KP Singhda00d2f2020-03-04 20:18:52 +0100296 goto out;
297 break;
KP Singh3d08b6f2020-03-04 20:18:53 +0100298 case BPF_MODIFY_RETURN:
299 ret = bpf_modify_return_test(1, &b);
300 if (b != 2)
301 side_effect = 1;
302 break;
KP Singhda00d2f2020-03-04 20:18:52 +0100303 default:
304 goto out;
305 }
306
KP Singh3d08b6f2020-03-04 20:18:53 +0100307 retval = ((u32)side_effect << 16) | ret;
308 if (copy_to_user(&uattr->test.retval, &retval, sizeof(retval)))
309 goto out;
310
KP Singhda00d2f2020-03-04 20:18:52 +0100311 err = 0;
312out:
313 trace_bpf_test_finish(&err);
314 return err;
315}
316
Song Liu1b4d60e2020-09-25 13:54:29 -0700317struct bpf_raw_tp_test_run_info {
318 struct bpf_prog *prog;
319 void *ctx;
320 u32 retval;
321};
322
323static void
324__bpf_prog_test_run_raw_tp(void *data)
325{
326 struct bpf_raw_tp_test_run_info *info = data;
327
328 rcu_read_lock();
Song Liu1b4d60e2020-09-25 13:54:29 -0700329 info->retval = BPF_PROG_RUN(info->prog, info->ctx);
Song Liu1b4d60e2020-09-25 13:54:29 -0700330 rcu_read_unlock();
331}
332
333int bpf_prog_test_run_raw_tp(struct bpf_prog *prog,
334 const union bpf_attr *kattr,
335 union bpf_attr __user *uattr)
336{
337 void __user *ctx_in = u64_to_user_ptr(kattr->test.ctx_in);
338 __u32 ctx_size_in = kattr->test.ctx_size_in;
339 struct bpf_raw_tp_test_run_info info;
340 int cpu = kattr->test.cpu, err = 0;
Song Liu963ec272020-09-29 15:29:49 -0700341 int current_cpu;
Song Liu1b4d60e2020-09-25 13:54:29 -0700342
343 /* doesn't support data_in/out, ctx_out, duration, or repeat */
344 if (kattr->test.data_in || kattr->test.data_out ||
345 kattr->test.ctx_out || kattr->test.duration ||
346 kattr->test.repeat)
347 return -EINVAL;
348
Song Liu7ac6ad02021-01-12 15:42:54 -0800349 if (ctx_size_in < prog->aux->max_ctx_offset ||
350 ctx_size_in > MAX_BPF_FUNC_ARGS * sizeof(u64))
Song Liu1b4d60e2020-09-25 13:54:29 -0700351 return -EINVAL;
352
353 if ((kattr->test.flags & BPF_F_TEST_RUN_ON_CPU) == 0 && cpu != 0)
354 return -EINVAL;
355
356 if (ctx_size_in) {
357 info.ctx = kzalloc(ctx_size_in, GFP_USER);
358 if (!info.ctx)
359 return -ENOMEM;
360 if (copy_from_user(info.ctx, ctx_in, ctx_size_in)) {
361 err = -EFAULT;
362 goto out;
363 }
364 } else {
365 info.ctx = NULL;
366 }
367
368 info.prog = prog;
369
Song Liu963ec272020-09-29 15:29:49 -0700370 current_cpu = get_cpu();
Song Liu1b4d60e2020-09-25 13:54:29 -0700371 if ((kattr->test.flags & BPF_F_TEST_RUN_ON_CPU) == 0 ||
Song Liu963ec272020-09-29 15:29:49 -0700372 cpu == current_cpu) {
Song Liu1b4d60e2020-09-25 13:54:29 -0700373 __bpf_prog_test_run_raw_tp(&info);
Song Liu963ec272020-09-29 15:29:49 -0700374 } else if (cpu >= nr_cpu_ids || !cpu_online(cpu)) {
Song Liu1b4d60e2020-09-25 13:54:29 -0700375 /* smp_call_function_single() also checks cpu_online()
376 * after csd_lock(). However, since cpu is from user
377 * space, let's do an extra quick check to filter out
378 * invalid value before smp_call_function_single().
379 */
Song Liu963ec272020-09-29 15:29:49 -0700380 err = -ENXIO;
381 } else {
Song Liu1b4d60e2020-09-25 13:54:29 -0700382 err = smp_call_function_single(cpu, __bpf_prog_test_run_raw_tp,
383 &info, 1);
Song Liu1b4d60e2020-09-25 13:54:29 -0700384 }
Song Liu963ec272020-09-29 15:29:49 -0700385 put_cpu();
Song Liu1b4d60e2020-09-25 13:54:29 -0700386
Song Liu963ec272020-09-29 15:29:49 -0700387 if (!err &&
388 copy_to_user(&uattr->test.retval, &info.retval, sizeof(u32)))
Song Liu1b4d60e2020-09-25 13:54:29 -0700389 err = -EFAULT;
390
391out:
392 kfree(info.ctx);
393 return err;
394}
395
Stanislav Fomichevb0b93952019-04-09 11:49:09 -0700396static void *bpf_ctx_init(const union bpf_attr *kattr, u32 max_size)
397{
398 void __user *data_in = u64_to_user_ptr(kattr->test.ctx_in);
399 void __user *data_out = u64_to_user_ptr(kattr->test.ctx_out);
400 u32 size = kattr->test.ctx_size_in;
401 void *data;
402 int err;
403
404 if (!data_in && !data_out)
405 return NULL;
406
407 data = kzalloc(max_size, GFP_USER);
408 if (!data)
409 return ERR_PTR(-ENOMEM);
410
411 if (data_in) {
Alexei Starovoitovaf2ac3e2021-05-13 17:36:05 -0700412 err = bpf_check_uarg_tail_zero(USER_BPFPTR(data_in), max_size, size);
Stanislav Fomichevb0b93952019-04-09 11:49:09 -0700413 if (err) {
414 kfree(data);
415 return ERR_PTR(err);
416 }
417
418 size = min_t(u32, max_size, size);
419 if (copy_from_user(data, data_in, size)) {
420 kfree(data);
421 return ERR_PTR(-EFAULT);
422 }
423 }
424 return data;
425}
426
427static int bpf_ctx_finish(const union bpf_attr *kattr,
428 union bpf_attr __user *uattr, const void *data,
429 u32 size)
430{
431 void __user *data_out = u64_to_user_ptr(kattr->test.ctx_out);
432 int err = -EFAULT;
433 u32 copy_size = size;
434
435 if (!data || !data_out)
436 return 0;
437
438 if (copy_size > kattr->test.ctx_size_out) {
439 copy_size = kattr->test.ctx_size_out;
440 err = -ENOSPC;
441 }
442
443 if (copy_to_user(data_out, data, copy_size))
444 goto out;
445 if (copy_to_user(&uattr->test.ctx_size_out, &size, sizeof(size)))
446 goto out;
447 if (err != -ENOSPC)
448 err = 0;
449out:
450 return err;
451}
452
453/**
454 * range_is_zero - test whether buffer is initialized
455 * @buf: buffer to check
456 * @from: check from this position
457 * @to: check up until (excluding) this position
458 *
459 * This function returns true if the there is a non-zero byte
460 * in the buf in the range [from,to).
461 */
462static inline bool range_is_zero(void *buf, size_t from, size_t to)
463{
464 return !memchr_inv((u8 *)buf + from, 0, to - from);
465}
466
467static int convert___skb_to_skb(struct sk_buff *skb, struct __sk_buff *__skb)
468{
469 struct qdisc_skb_cb *cb = (struct qdisc_skb_cb *)skb->cb;
470
471 if (!__skb)
472 return 0;
473
474 /* make sure the fields we don't use are zeroed */
Nikita V. Shirokov6de6c1f2019-12-18 12:57:47 -0800475 if (!range_is_zero(__skb, 0, offsetof(struct __sk_buff, mark)))
476 return -EINVAL;
477
478 /* mark is allowed */
479
480 if (!range_is_zero(__skb, offsetofend(struct __sk_buff, mark),
481 offsetof(struct __sk_buff, priority)))
Stanislav Fomichevb0b93952019-04-09 11:49:09 -0700482 return -EINVAL;
483
484 /* priority is allowed */
485
Stanislav Fomichevb590cb52019-12-10 11:19:33 -0800486 if (!range_is_zero(__skb, offsetofend(struct __sk_buff, priority),
Dmitry Yakunin21594c42020-08-03 12:05:45 +0300487 offsetof(struct __sk_buff, ifindex)))
488 return -EINVAL;
489
490 /* ifindex is allowed */
491
492 if (!range_is_zero(__skb, offsetofend(struct __sk_buff, ifindex),
Stanislav Fomichevb0b93952019-04-09 11:49:09 -0700493 offsetof(struct __sk_buff, cb)))
494 return -EINVAL;
495
496 /* cb is allowed */
497
Stanislav Fomichevb590cb52019-12-10 11:19:33 -0800498 if (!range_is_zero(__skb, offsetofend(struct __sk_buff, cb),
Stanislav Fomichevba940942019-10-15 11:31:24 -0700499 offsetof(struct __sk_buff, tstamp)))
500 return -EINVAL;
501
502 /* tstamp is allowed */
Stanislav Fomichev850a88c2019-12-13 14:30:27 -0800503 /* wire_len is allowed */
504 /* gso_segs is allowed */
Stanislav Fomichevba940942019-10-15 11:31:24 -0700505
Stanislav Fomichev850a88c2019-12-13 14:30:27 -0800506 if (!range_is_zero(__skb, offsetofend(struct __sk_buff, gso_segs),
Willem de Bruijncf620892020-03-03 15:05:01 -0500507 offsetof(struct __sk_buff, gso_size)))
508 return -EINVAL;
509
510 /* gso_size is allowed */
511
512 if (!range_is_zero(__skb, offsetofend(struct __sk_buff, gso_size),
Stanislav Fomichevb0b93952019-04-09 11:49:09 -0700513 sizeof(struct __sk_buff)))
514 return -EINVAL;
515
Nikita V. Shirokov6de6c1f2019-12-18 12:57:47 -0800516 skb->mark = __skb->mark;
Stanislav Fomichevb0b93952019-04-09 11:49:09 -0700517 skb->priority = __skb->priority;
Stanislav Fomichevba940942019-10-15 11:31:24 -0700518 skb->tstamp = __skb->tstamp;
Stanislav Fomichevb0b93952019-04-09 11:49:09 -0700519 memcpy(&cb->data, __skb->cb, QDISC_CB_PRIV_LEN);
520
Stanislav Fomichev850a88c2019-12-13 14:30:27 -0800521 if (__skb->wire_len == 0) {
522 cb->pkt_len = skb->len;
523 } else {
524 if (__skb->wire_len < skb->len ||
525 __skb->wire_len > GSO_MAX_SIZE)
526 return -EINVAL;
527 cb->pkt_len = __skb->wire_len;
528 }
529
530 if (__skb->gso_segs > GSO_MAX_SEGS)
531 return -EINVAL;
532 skb_shinfo(skb)->gso_segs = __skb->gso_segs;
Willem de Bruijncf620892020-03-03 15:05:01 -0500533 skb_shinfo(skb)->gso_size = __skb->gso_size;
Stanislav Fomichev850a88c2019-12-13 14:30:27 -0800534
Stanislav Fomichevb0b93952019-04-09 11:49:09 -0700535 return 0;
536}
537
538static void convert_skb_to___skb(struct sk_buff *skb, struct __sk_buff *__skb)
539{
540 struct qdisc_skb_cb *cb = (struct qdisc_skb_cb *)skb->cb;
541
542 if (!__skb)
543 return;
544
Nikita V. Shirokov6de6c1f2019-12-18 12:57:47 -0800545 __skb->mark = skb->mark;
Stanislav Fomichevb0b93952019-04-09 11:49:09 -0700546 __skb->priority = skb->priority;
Dmitry Yakunin21594c42020-08-03 12:05:45 +0300547 __skb->ifindex = skb->dev->ifindex;
Stanislav Fomichevba940942019-10-15 11:31:24 -0700548 __skb->tstamp = skb->tstamp;
Stanislav Fomichevb0b93952019-04-09 11:49:09 -0700549 memcpy(__skb->cb, &cb->data, QDISC_CB_PRIV_LEN);
Stanislav Fomichev850a88c2019-12-13 14:30:27 -0800550 __skb->wire_len = cb->pkt_len;
551 __skb->gso_segs = skb_shinfo(skb)->gso_segs;
Stanislav Fomichevb0b93952019-04-09 11:49:09 -0700552}
553
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700554int bpf_prog_test_run_skb(struct bpf_prog *prog, const union bpf_attr *kattr,
555 union bpf_attr __user *uattr)
556{
557 bool is_l2 = false, is_direct_pkt_access = false;
Dmitry Yakunin21594c42020-08-03 12:05:45 +0300558 struct net *net = current->nsproxy->net_ns;
559 struct net_device *dev = net->loopback_dev;
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700560 u32 size = kattr->test.data_size_in;
561 u32 repeat = kattr->test.repeat;
Stanislav Fomichevb0b93952019-04-09 11:49:09 -0700562 struct __sk_buff *ctx = NULL;
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700563 u32 retval, duration;
Daniel Borkmann6e6fddc2018-07-11 15:30:14 +0200564 int hh_len = ETH_HLEN;
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700565 struct sk_buff *skb;
Song Liu2cb494a2018-10-19 09:57:58 -0700566 struct sock *sk;
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700567 void *data;
568 int ret;
569
Song Liu1b4d60e2020-09-25 13:54:29 -0700570 if (kattr->test.flags || kattr->test.cpu)
571 return -EINVAL;
572
David Miller586f8522017-05-02 11:36:45 -0400573 data = bpf_test_init(kattr, size, NET_SKB_PAD + NET_IP_ALIGN,
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700574 SKB_DATA_ALIGN(sizeof(struct skb_shared_info)));
575 if (IS_ERR(data))
576 return PTR_ERR(data);
577
Stanislav Fomichevb0b93952019-04-09 11:49:09 -0700578 ctx = bpf_ctx_init(kattr, sizeof(struct __sk_buff));
579 if (IS_ERR(ctx)) {
580 kfree(data);
581 return PTR_ERR(ctx);
582 }
583
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700584 switch (prog->type) {
585 case BPF_PROG_TYPE_SCHED_CLS:
586 case BPF_PROG_TYPE_SCHED_ACT:
587 is_l2 = true;
Gustavo A. R. Silvadf561f662020-08-23 17:36:59 -0500588 fallthrough;
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700589 case BPF_PROG_TYPE_LWT_IN:
590 case BPF_PROG_TYPE_LWT_OUT:
591 case BPF_PROG_TYPE_LWT_XMIT:
592 is_direct_pkt_access = true;
593 break;
594 default:
595 break;
596 }
597
Song Liu2cb494a2018-10-19 09:57:58 -0700598 sk = kzalloc(sizeof(struct sock), GFP_USER);
599 if (!sk) {
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700600 kfree(data);
Stanislav Fomichevb0b93952019-04-09 11:49:09 -0700601 kfree(ctx);
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700602 return -ENOMEM;
603 }
Dmitry Yakunin21594c42020-08-03 12:05:45 +0300604 sock_net_set(sk, net);
Song Liu2cb494a2018-10-19 09:57:58 -0700605 sock_init_data(NULL, sk);
606
607 skb = build_skb(data, 0);
608 if (!skb) {
609 kfree(data);
Stanislav Fomichevb0b93952019-04-09 11:49:09 -0700610 kfree(ctx);
Song Liu2cb494a2018-10-19 09:57:58 -0700611 kfree(sk);
612 return -ENOMEM;
613 }
614 skb->sk = sk;
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700615
David Miller586f8522017-05-02 11:36:45 -0400616 skb_reserve(skb, NET_SKB_PAD + NET_IP_ALIGN);
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700617 __skb_put(skb, size);
Dmitry Yakunin21594c42020-08-03 12:05:45 +0300618 if (ctx && ctx->ifindex > 1) {
619 dev = dev_get_by_index(net, ctx->ifindex);
620 if (!dev) {
621 ret = -ENODEV;
622 goto out;
623 }
624 }
625 skb->protocol = eth_type_trans(skb, dev);
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700626 skb_reset_network_header(skb);
627
Dmitry Yakuninfa5cb542020-08-03 12:05:44 +0300628 switch (skb->protocol) {
629 case htons(ETH_P_IP):
630 sk->sk_family = AF_INET;
631 if (sizeof(struct iphdr) <= skb_headlen(skb)) {
632 sk->sk_rcv_saddr = ip_hdr(skb)->saddr;
633 sk->sk_daddr = ip_hdr(skb)->daddr;
634 }
635 break;
636#if IS_ENABLED(CONFIG_IPV6)
637 case htons(ETH_P_IPV6):
638 sk->sk_family = AF_INET6;
639 if (sizeof(struct ipv6hdr) <= skb_headlen(skb)) {
640 sk->sk_v6_rcv_saddr = ipv6_hdr(skb)->saddr;
641 sk->sk_v6_daddr = ipv6_hdr(skb)->daddr;
642 }
643 break;
644#endif
645 default:
646 break;
647 }
648
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700649 if (is_l2)
Daniel Borkmann6e6fddc2018-07-11 15:30:14 +0200650 __skb_push(skb, hh_len);
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700651 if (is_direct_pkt_access)
Daniel Borkmann6aaae2b2017-09-25 02:25:50 +0200652 bpf_compute_data_pointers(skb);
Stanislav Fomichevb0b93952019-04-09 11:49:09 -0700653 ret = convert___skb_to_skb(skb, ctx);
654 if (ret)
655 goto out;
Björn Töpelf23c4b32019-12-13 18:51:10 +0100656 ret = bpf_test_run(prog, skb, repeat, &retval, &duration, false);
Stanislav Fomichevb0b93952019-04-09 11:49:09 -0700657 if (ret)
658 goto out;
Daniel Borkmann6e6fddc2018-07-11 15:30:14 +0200659 if (!is_l2) {
660 if (skb_headroom(skb) < hh_len) {
661 int nhead = HH_DATA_ALIGN(hh_len - skb_headroom(skb));
662
663 if (pskb_expand_head(skb, nhead, 0, GFP_USER)) {
Stanislav Fomichevb0b93952019-04-09 11:49:09 -0700664 ret = -ENOMEM;
665 goto out;
Daniel Borkmann6e6fddc2018-07-11 15:30:14 +0200666 }
667 }
668 memset(__skb_push(skb, hh_len), 0, hh_len);
669 }
Stanislav Fomichevb0b93952019-04-09 11:49:09 -0700670 convert_skb_to___skb(skb, ctx);
Daniel Borkmann6e6fddc2018-07-11 15:30:14 +0200671
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700672 size = skb->len;
673 /* bpf program can never convert linear skb to non-linear */
674 if (WARN_ON_ONCE(skb_is_nonlinear(skb)))
675 size = skb_headlen(skb);
David Miller78e52272017-05-02 11:36:33 -0400676 ret = bpf_test_finish(kattr, uattr, skb->data, size, retval, duration);
Stanislav Fomichevb0b93952019-04-09 11:49:09 -0700677 if (!ret)
678 ret = bpf_ctx_finish(kattr, uattr, ctx,
679 sizeof(struct __sk_buff));
680out:
Dmitry Yakunin21594c42020-08-03 12:05:45 +0300681 if (dev && dev != net->loopback_dev)
682 dev_put(dev);
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700683 kfree_skb(skb);
Martin KaFai Lau6ac99e82019-04-26 16:39:39 -0700684 bpf_sk_storage_free(sk);
Song Liu2cb494a2018-10-19 09:57:58 -0700685 kfree(sk);
Stanislav Fomichevb0b93952019-04-09 11:49:09 -0700686 kfree(ctx);
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700687 return ret;
688}
689
Zvi Effron47316f42021-07-07 22:16:55 +0000690static int xdp_convert_md_to_buff(struct xdp_md *xdp_md, struct xdp_buff *xdp)
691{
Zvi Effronec946702021-07-07 22:16:56 +0000692 unsigned int ingress_ifindex, rx_queue_index;
693 struct netdev_rx_queue *rxqueue;
694 struct net_device *device;
695
Zvi Effron47316f42021-07-07 22:16:55 +0000696 if (!xdp_md)
697 return 0;
698
699 if (xdp_md->egress_ifindex != 0)
700 return -EINVAL;
701
Zvi Effronec946702021-07-07 22:16:56 +0000702 ingress_ifindex = xdp_md->ingress_ifindex;
703 rx_queue_index = xdp_md->rx_queue_index;
704
705 if (!ingress_ifindex && rx_queue_index)
Zvi Effron47316f42021-07-07 22:16:55 +0000706 return -EINVAL;
707
Zvi Effronec946702021-07-07 22:16:56 +0000708 if (ingress_ifindex) {
709 device = dev_get_by_index(current->nsproxy->net_ns,
710 ingress_ifindex);
711 if (!device)
712 return -ENODEV;
Zvi Effron47316f42021-07-07 22:16:55 +0000713
Zvi Effronec946702021-07-07 22:16:56 +0000714 if (rx_queue_index >= device->real_num_rx_queues)
715 goto free_dev;
716
717 rxqueue = __netif_get_rx_queue(device, rx_queue_index);
718
719 if (!xdp_rxq_info_is_reg(&rxqueue->xdp_rxq))
720 goto free_dev;
721
722 xdp->rxq = &rxqueue->xdp_rxq;
723 /* The device is now tracked in the xdp->rxq for later
724 * dev_put()
725 */
726 }
727
728 xdp->data = xdp->data_meta + xdp_md->data;
Zvi Effron47316f42021-07-07 22:16:55 +0000729 return 0;
Zvi Effronec946702021-07-07 22:16:56 +0000730
731free_dev:
732 dev_put(device);
733 return -EINVAL;
734}
735
736static void xdp_convert_buff_to_md(struct xdp_buff *xdp, struct xdp_md *xdp_md)
737{
738 if (!xdp_md)
739 return;
740
741 xdp_md->data = xdp->data - xdp->data_meta;
742 xdp_md->data_end = xdp->data_end - xdp->data_meta;
743
744 if (xdp_md->ingress_ifindex)
745 dev_put(xdp->rxq->dev);
Zvi Effron47316f42021-07-07 22:16:55 +0000746}
747
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700748int bpf_prog_test_run_xdp(struct bpf_prog *prog, const union bpf_attr *kattr,
749 union bpf_attr __user *uattr)
750{
Jesper Dangaard Brouerbc56c912020-05-14 12:51:35 +0200751 u32 tailroom = SKB_DATA_ALIGN(sizeof(struct skb_shared_info));
752 u32 headroom = XDP_PACKET_HEADROOM;
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700753 u32 size = kattr->test.data_size_in;
754 u32 repeat = kattr->test.repeat;
Daniel Borkmann65073a62018-01-31 12:58:56 +0100755 struct netdev_rx_queue *rxqueue;
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700756 struct xdp_buff xdp = {};
757 u32 retval, duration;
Zvi Effron47316f42021-07-07 22:16:55 +0000758 struct xdp_md *ctx;
Jesper Dangaard Brouerbc56c912020-05-14 12:51:35 +0200759 u32 max_data_sz;
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700760 void *data;
Zvi Effron47316f42021-07-07 22:16:55 +0000761 int ret = -EINVAL;
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700762
Zvi Effron47316f42021-07-07 22:16:55 +0000763 ctx = bpf_ctx_init(kattr, sizeof(struct xdp_md));
764 if (IS_ERR(ctx))
765 return PTR_ERR(ctx);
766
767 if (ctx) {
768 /* There can't be user provided data before the meta data */
769 if (ctx->data_meta || ctx->data_end != size ||
770 ctx->data > ctx->data_end ||
771 unlikely(xdp_metalen_invalid(ctx->data)))
772 goto free_ctx;
773 /* Meta data is allocated from the headroom */
774 headroom -= ctx->data;
775 }
Stanislav Fomichev947e8b52019-04-11 15:47:07 -0700776
Jesper Dangaard Brouerbc56c912020-05-14 12:51:35 +0200777 /* XDP have extra tailroom as (most) drivers use full page */
778 max_data_sz = 4096 - headroom - tailroom;
Jesper Dangaard Brouerbc56c912020-05-14 12:51:35 +0200779
780 data = bpf_test_init(kattr, max_data_sz, headroom, tailroom);
Zvi Effron47316f42021-07-07 22:16:55 +0000781 if (IS_ERR(data)) {
782 ret = PTR_ERR(data);
783 goto free_ctx;
784 }
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700785
Daniel Borkmann65073a62018-01-31 12:58:56 +0100786 rxqueue = __netif_get_rx_queue(current->nsproxy->net_ns->loopback_dev, 0);
Lorenzo Bianconi43b51692020-12-22 22:09:28 +0100787 xdp_init_buff(&xdp, headroom + max_data_sz + tailroom,
788 &rxqueue->xdp_rxq);
Lorenzo Bianconibe9df4a2020-12-22 22:09:29 +0100789 xdp_prepare_buff(&xdp, data, headroom, size, true);
790
Zvi Effron47316f42021-07-07 22:16:55 +0000791 ret = xdp_convert_md_to_buff(ctx, &xdp);
792 if (ret)
793 goto free_data;
794
Björn Töpelf23c4b32019-12-13 18:51:10 +0100795 bpf_prog_change_xdp(NULL, prog);
796 ret = bpf_test_run(prog, &xdp, repeat, &retval, &duration, true);
Zvi Effronec946702021-07-07 22:16:56 +0000797 /* We convert the xdp_buff back to an xdp_md before checking the return
798 * code so the reference count of any held netdevice will be decremented
799 * even if the test run failed.
800 */
801 xdp_convert_buff_to_md(&xdp, ctx);
Roman Gushchindcb40592018-12-01 10:39:44 -0800802 if (ret)
803 goto out;
Zvi Effron47316f42021-07-07 22:16:55 +0000804
805 if (xdp.data_meta != data + headroom ||
806 xdp.data_end != xdp.data_meta + size)
807 size = xdp.data_end - xdp.data_meta;
808
Zvi Effron47316f42021-07-07 22:16:55 +0000809 ret = bpf_test_finish(kattr, uattr, xdp.data_meta, size, retval,
810 duration);
811 if (!ret)
812 ret = bpf_ctx_finish(kattr, uattr, ctx,
813 sizeof(struct xdp_md));
814
Roman Gushchindcb40592018-12-01 10:39:44 -0800815out:
Björn Töpelf23c4b32019-12-13 18:51:10 +0100816 bpf_prog_change_xdp(prog, NULL);
Zvi Effron47316f42021-07-07 22:16:55 +0000817free_data:
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700818 kfree(data);
Zvi Effron47316f42021-07-07 22:16:55 +0000819free_ctx:
820 kfree(ctx);
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700821 return ret;
822}
Stanislav Fomichevb7a18482019-01-28 08:53:54 -0800823
Stanislav Fomichevb2ca4e12019-07-25 15:52:27 -0700824static int verify_user_bpf_flow_keys(struct bpf_flow_keys *ctx)
825{
826 /* make sure the fields we don't use are zeroed */
827 if (!range_is_zero(ctx, 0, offsetof(struct bpf_flow_keys, flags)))
828 return -EINVAL;
829
830 /* flags is allowed */
831
Stanislav Fomichevb590cb52019-12-10 11:19:33 -0800832 if (!range_is_zero(ctx, offsetofend(struct bpf_flow_keys, flags),
Stanislav Fomichevb2ca4e12019-07-25 15:52:27 -0700833 sizeof(struct bpf_flow_keys)))
834 return -EINVAL;
835
836 return 0;
837}
838
Stanislav Fomichevb7a18482019-01-28 08:53:54 -0800839int bpf_prog_test_run_flow_dissector(struct bpf_prog *prog,
840 const union bpf_attr *kattr,
841 union bpf_attr __user *uattr)
842{
Lorenz Bauer607b9cc2021-03-03 10:18:12 +0000843 struct bpf_test_timer t = { NO_PREEMPT };
Stanislav Fomichevb7a18482019-01-28 08:53:54 -0800844 u32 size = kattr->test.data_size_in;
Stanislav Fomichev7b8a1302019-04-22 08:55:45 -0700845 struct bpf_flow_dissector ctx = {};
Stanislav Fomichevb7a18482019-01-28 08:53:54 -0800846 u32 repeat = kattr->test.repeat;
Stanislav Fomichevb2ca4e12019-07-25 15:52:27 -0700847 struct bpf_flow_keys *user_ctx;
Stanislav Fomichevb7a18482019-01-28 08:53:54 -0800848 struct bpf_flow_keys flow_keys;
Stanislav Fomichev7b8a1302019-04-22 08:55:45 -0700849 const struct ethhdr *eth;
Stanislav Fomichevb2ca4e12019-07-25 15:52:27 -0700850 unsigned int flags = 0;
Stanislav Fomichevb7a18482019-01-28 08:53:54 -0800851 u32 retval, duration;
Stanislav Fomichevb7a18482019-01-28 08:53:54 -0800852 void *data;
853 int ret;
Stanislav Fomichevb7a18482019-01-28 08:53:54 -0800854
855 if (prog->type != BPF_PROG_TYPE_FLOW_DISSECTOR)
856 return -EINVAL;
857
Song Liu1b4d60e2020-09-25 13:54:29 -0700858 if (kattr->test.flags || kattr->test.cpu)
859 return -EINVAL;
860
Stanislav Fomichev7b8a1302019-04-22 08:55:45 -0700861 if (size < ETH_HLEN)
862 return -EINVAL;
863
864 data = bpf_test_init(kattr, size, 0, 0);
Stanislav Fomichevb7a18482019-01-28 08:53:54 -0800865 if (IS_ERR(data))
866 return PTR_ERR(data);
867
Stanislav Fomichev7b8a1302019-04-22 08:55:45 -0700868 eth = (struct ethhdr *)data;
Stanislav Fomichevb7a18482019-01-28 08:53:54 -0800869
Stanislav Fomichevb7a18482019-01-28 08:53:54 -0800870 if (!repeat)
871 repeat = 1;
872
Stanislav Fomichevb2ca4e12019-07-25 15:52:27 -0700873 user_ctx = bpf_ctx_init(kattr, sizeof(struct bpf_flow_keys));
874 if (IS_ERR(user_ctx)) {
875 kfree(data);
876 return PTR_ERR(user_ctx);
877 }
878 if (user_ctx) {
879 ret = verify_user_bpf_flow_keys(user_ctx);
880 if (ret)
881 goto out;
882 flags = user_ctx->flags;
883 }
884
Stanislav Fomichev7b8a1302019-04-22 08:55:45 -0700885 ctx.flow_keys = &flow_keys;
886 ctx.data = data;
887 ctx.data_end = (__u8 *)data + size;
888
Lorenz Bauer607b9cc2021-03-03 10:18:12 +0000889 bpf_test_timer_enter(&t);
890 do {
Stanislav Fomichev7b8a1302019-04-22 08:55:45 -0700891 retval = bpf_flow_dissect(prog, &ctx, eth->h_proto, ETH_HLEN,
Stanislav Fomichevb2ca4e12019-07-25 15:52:27 -0700892 size, flags);
Lorenz Bauer607b9cc2021-03-03 10:18:12 +0000893 } while (bpf_test_timer_continue(&t, repeat, &ret, &duration));
894 bpf_test_timer_leave(&t);
Stanislav Fomichev7b8a1302019-04-22 08:55:45 -0700895
Lorenz Bauer607b9cc2021-03-03 10:18:12 +0000896 if (ret < 0)
897 goto out;
Stanislav Fomichevb7a18482019-01-28 08:53:54 -0800898
899 ret = bpf_test_finish(kattr, uattr, &flow_keys, sizeof(flow_keys),
900 retval, duration);
Stanislav Fomichevb2ca4e12019-07-25 15:52:27 -0700901 if (!ret)
902 ret = bpf_ctx_finish(kattr, uattr, user_ctx,
903 sizeof(struct bpf_flow_keys));
Stanislav Fomichevb7a18482019-01-28 08:53:54 -0800904
Stanislav Fomicheva4391842019-02-19 10:54:17 -0800905out:
Stanislav Fomichevb2ca4e12019-07-25 15:52:27 -0700906 kfree(user_ctx);
Stanislav Fomichev7b8a1302019-04-22 08:55:45 -0700907 kfree(data);
Stanislav Fomichevb7a18482019-01-28 08:53:54 -0800908 return ret;
909}
Lorenz Bauer7c32e8f2021-03-03 10:18:13 +0000910
911int bpf_prog_test_run_sk_lookup(struct bpf_prog *prog, const union bpf_attr *kattr,
912 union bpf_attr __user *uattr)
913{
914 struct bpf_test_timer t = { NO_PREEMPT };
915 struct bpf_prog_array *progs = NULL;
916 struct bpf_sk_lookup_kern ctx = {};
917 u32 repeat = kattr->test.repeat;
918 struct bpf_sk_lookup *user_ctx;
919 u32 retval, duration;
920 int ret = -EINVAL;
921
922 if (prog->type != BPF_PROG_TYPE_SK_LOOKUP)
923 return -EINVAL;
924
925 if (kattr->test.flags || kattr->test.cpu)
926 return -EINVAL;
927
928 if (kattr->test.data_in || kattr->test.data_size_in || kattr->test.data_out ||
929 kattr->test.data_size_out)
930 return -EINVAL;
931
932 if (!repeat)
933 repeat = 1;
934
935 user_ctx = bpf_ctx_init(kattr, sizeof(*user_ctx));
936 if (IS_ERR(user_ctx))
937 return PTR_ERR(user_ctx);
938
939 if (!user_ctx)
940 return -EINVAL;
941
942 if (user_ctx->sk)
943 goto out;
944
945 if (!range_is_zero(user_ctx, offsetofend(typeof(*user_ctx), local_port), sizeof(*user_ctx)))
946 goto out;
947
948 if (user_ctx->local_port > U16_MAX || user_ctx->remote_port > U16_MAX) {
949 ret = -ERANGE;
950 goto out;
951 }
952
953 ctx.family = (u16)user_ctx->family;
954 ctx.protocol = (u16)user_ctx->protocol;
955 ctx.dport = (u16)user_ctx->local_port;
956 ctx.sport = (__force __be16)user_ctx->remote_port;
957
958 switch (ctx.family) {
959 case AF_INET:
960 ctx.v4.daddr = (__force __be32)user_ctx->local_ip4;
961 ctx.v4.saddr = (__force __be32)user_ctx->remote_ip4;
962 break;
963
964#if IS_ENABLED(CONFIG_IPV6)
965 case AF_INET6:
966 ctx.v6.daddr = (struct in6_addr *)user_ctx->local_ip6;
967 ctx.v6.saddr = (struct in6_addr *)user_ctx->remote_ip6;
968 break;
969#endif
970
971 default:
972 ret = -EAFNOSUPPORT;
973 goto out;
974 }
975
976 progs = bpf_prog_array_alloc(1, GFP_KERNEL);
977 if (!progs) {
978 ret = -ENOMEM;
979 goto out;
980 }
981
982 progs->items[0].prog = prog;
983
984 bpf_test_timer_enter(&t);
985 do {
986 ctx.selected_sk = NULL;
987 retval = BPF_PROG_SK_LOOKUP_RUN_ARRAY(progs, ctx, BPF_PROG_RUN);
988 } while (bpf_test_timer_continue(&t, repeat, &ret, &duration));
989 bpf_test_timer_leave(&t);
990
991 if (ret < 0)
992 goto out;
993
994 user_ctx->cookie = 0;
995 if (ctx.selected_sk) {
996 if (ctx.selected_sk->sk_reuseport && !ctx.no_reuseport) {
997 ret = -EOPNOTSUPP;
998 goto out;
999 }
1000
1001 user_ctx->cookie = sock_gen_cookie(ctx.selected_sk);
1002 }
1003
1004 ret = bpf_test_finish(kattr, uattr, NULL, 0, retval, duration);
1005 if (!ret)
1006 ret = bpf_ctx_finish(kattr, uattr, user_ctx, sizeof(*user_ctx));
1007
1008out:
1009 bpf_prog_array_free(progs);
1010 kfree(user_ctx);
1011 return ret;
1012}
Alexei Starovoitov79a7f8b2021-05-13 17:36:03 -07001013
1014int bpf_prog_test_run_syscall(struct bpf_prog *prog,
1015 const union bpf_attr *kattr,
1016 union bpf_attr __user *uattr)
1017{
1018 void __user *ctx_in = u64_to_user_ptr(kattr->test.ctx_in);
1019 __u32 ctx_size_in = kattr->test.ctx_size_in;
1020 void *ctx = NULL;
1021 u32 retval;
1022 int err = 0;
1023
1024 /* doesn't support data_in/out, ctx_out, duration, or repeat or flags */
1025 if (kattr->test.data_in || kattr->test.data_out ||
1026 kattr->test.ctx_out || kattr->test.duration ||
1027 kattr->test.repeat || kattr->test.flags)
1028 return -EINVAL;
1029
1030 if (ctx_size_in < prog->aux->max_ctx_offset ||
1031 ctx_size_in > U16_MAX)
1032 return -EINVAL;
1033
1034 if (ctx_size_in) {
1035 ctx = kzalloc(ctx_size_in, GFP_USER);
1036 if (!ctx)
1037 return -ENOMEM;
1038 if (copy_from_user(ctx, ctx_in, ctx_size_in)) {
1039 err = -EFAULT;
1040 goto out;
1041 }
1042 }
1043 retval = bpf_prog_run_pin_on_cpu(prog, ctx);
1044
1045 if (copy_to_user(&uattr->test.retval, &retval, sizeof(u32))) {
1046 err = -EFAULT;
1047 goto out;
1048 }
1049 if (ctx_size_in)
1050 if (copy_to_user(ctx_in, ctx, ctx_size_in))
1051 err = -EFAULT;
1052out:
1053 kfree(ctx);
1054 return err;
1055}