blob: a5d72c48fb66246264f1abd337b4b9c4c06b7dcb [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>
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -070018
Matt Mullinse950e842019-04-26 11:49:51 -070019#define CREATE_TRACE_POINTS
20#include <trace/events/bpf_test_run.h>
21
Lorenz Bauer607b9cc2021-03-03 10:18:12 +000022struct bpf_test_timer {
23 enum { NO_PREEMPT, NO_MIGRATE } mode;
24 u32 i;
25 u64 time_start, time_spent;
26};
27
28static void bpf_test_timer_enter(struct bpf_test_timer *t)
29 __acquires(rcu)
30{
31 rcu_read_lock();
32 if (t->mode == NO_PREEMPT)
33 preempt_disable();
34 else
35 migrate_disable();
36
37 t->time_start = ktime_get_ns();
38}
39
40static void bpf_test_timer_leave(struct bpf_test_timer *t)
41 __releases(rcu)
42{
43 t->time_start = 0;
44
45 if (t->mode == NO_PREEMPT)
46 preempt_enable();
47 else
48 migrate_enable();
49 rcu_read_unlock();
50}
51
52static bool bpf_test_timer_continue(struct bpf_test_timer *t, u32 repeat, int *err, u32 *duration)
53 __must_hold(rcu)
54{
55 t->i++;
56 if (t->i >= repeat) {
57 /* We're done. */
58 t->time_spent += ktime_get_ns() - t->time_start;
59 do_div(t->time_spent, t->i);
60 *duration = t->time_spent > U32_MAX ? U32_MAX : (u32)t->time_spent;
61 *err = 0;
62 goto reset;
63 }
64
65 if (signal_pending(current)) {
66 /* During iteration: we've been cancelled, abort. */
67 *err = -EINTR;
68 goto reset;
69 }
70
71 if (need_resched()) {
72 /* During iteration: we need to reschedule between runs. */
73 t->time_spent += ktime_get_ns() - t->time_start;
74 bpf_test_timer_leave(t);
75 cond_resched();
76 bpf_test_timer_enter(t);
77 }
78
79 /* Do another round. */
80 return true;
81
82reset:
83 t->i = 0;
84 return false;
85}
86
Stanislav Fomichevdf1a2cb2019-02-12 15:42:38 -080087static int bpf_test_run(struct bpf_prog *prog, void *ctx, u32 repeat,
Björn Töpelf23c4b32019-12-13 18:51:10 +010088 u32 *retval, u32 *time, bool xdp)
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -070089{
Bo YU71b91a52019-03-08 01:45:51 -050090 struct bpf_cgroup_storage *storage[MAX_BPF_CGROUP_STORAGE_TYPE] = { NULL };
Lorenz Bauer607b9cc2021-03-03 10:18:12 +000091 struct bpf_test_timer t = { NO_MIGRATE };
Roman Gushchin8bad74f2018-09-28 14:45:36 +000092 enum bpf_cgroup_storage_type stype;
Lorenz Bauer607b9cc2021-03-03 10:18:12 +000093 int ret;
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -070094
Roman Gushchin8bad74f2018-09-28 14:45:36 +000095 for_each_cgroup_storage_type(stype) {
96 storage[stype] = bpf_cgroup_storage_alloc(prog, stype);
97 if (IS_ERR(storage[stype])) {
98 storage[stype] = NULL;
99 for_each_cgroup_storage_type(stype)
100 bpf_cgroup_storage_free(storage[stype]);
101 return -ENOMEM;
102 }
103 }
Roman Gushchinf42ee092018-08-02 14:27:27 -0700104
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700105 if (!repeat)
106 repeat = 1;
Stanislav Fomichevdf1a2cb2019-02-12 15:42:38 -0800107
Lorenz Bauer607b9cc2021-03-03 10:18:12 +0000108 bpf_test_timer_enter(&t);
109 do {
Yonghong Songb910eaa2021-03-22 22:51:46 -0700110 ret = bpf_cgroup_storage_set(storage);
111 if (ret)
112 break;
Björn Töpelf23c4b32019-12-13 18:51:10 +0100113
114 if (xdp)
115 *retval = bpf_prog_run_xdp(prog, ctx);
116 else
117 *retval = BPF_PROG_RUN(prog, ctx);
Yonghong Songb910eaa2021-03-22 22:51:46 -0700118
119 bpf_cgroup_storage_unset();
Lorenz Bauer607b9cc2021-03-03 10:18:12 +0000120 } while (bpf_test_timer_continue(&t, repeat, &ret, time));
121 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)
124 bpf_cgroup_storage_free(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) {
412 err = bpf_check_uarg_tail_zero(data_in, max_size, size);
413 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
690int bpf_prog_test_run_xdp(struct bpf_prog *prog, const union bpf_attr *kattr,
691 union bpf_attr __user *uattr)
692{
Jesper Dangaard Brouerbc56c912020-05-14 12:51:35 +0200693 u32 tailroom = SKB_DATA_ALIGN(sizeof(struct skb_shared_info));
694 u32 headroom = XDP_PACKET_HEADROOM;
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700695 u32 size = kattr->test.data_size_in;
696 u32 repeat = kattr->test.repeat;
Daniel Borkmann65073a62018-01-31 12:58:56 +0100697 struct netdev_rx_queue *rxqueue;
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700698 struct xdp_buff xdp = {};
699 u32 retval, duration;
Jesper Dangaard Brouerbc56c912020-05-14 12:51:35 +0200700 u32 max_data_sz;
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700701 void *data;
702 int ret;
703
Stanislav Fomichev947e8b52019-04-11 15:47:07 -0700704 if (kattr->test.ctx_in || kattr->test.ctx_out)
705 return -EINVAL;
706
Jesper Dangaard Brouerbc56c912020-05-14 12:51:35 +0200707 /* XDP have extra tailroom as (most) drivers use full page */
708 max_data_sz = 4096 - headroom - tailroom;
Jesper Dangaard Brouerbc56c912020-05-14 12:51:35 +0200709
710 data = bpf_test_init(kattr, max_data_sz, headroom, tailroom);
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700711 if (IS_ERR(data))
712 return PTR_ERR(data);
713
Daniel Borkmann65073a62018-01-31 12:58:56 +0100714 rxqueue = __netif_get_rx_queue(current->nsproxy->net_ns->loopback_dev, 0);
Lorenzo Bianconi43b51692020-12-22 22:09:28 +0100715 xdp_init_buff(&xdp, headroom + max_data_sz + tailroom,
716 &rxqueue->xdp_rxq);
Lorenzo Bianconibe9df4a2020-12-22 22:09:29 +0100717 xdp_prepare_buff(&xdp, data, headroom, size, true);
718
Björn Töpelf23c4b32019-12-13 18:51:10 +0100719 bpf_prog_change_xdp(NULL, prog);
720 ret = bpf_test_run(prog, &xdp, repeat, &retval, &duration, true);
Roman Gushchindcb40592018-12-01 10:39:44 -0800721 if (ret)
722 goto out;
Jesper Dangaard Brouerbc56c912020-05-14 12:51:35 +0200723 if (xdp.data != data + headroom || xdp.data_end != xdp.data + size)
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700724 size = xdp.data_end - xdp.data;
David Miller78e52272017-05-02 11:36:33 -0400725 ret = bpf_test_finish(kattr, uattr, xdp.data, size, retval, duration);
Roman Gushchindcb40592018-12-01 10:39:44 -0800726out:
Björn Töpelf23c4b32019-12-13 18:51:10 +0100727 bpf_prog_change_xdp(prog, NULL);
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700728 kfree(data);
729 return ret;
730}
Stanislav Fomichevb7a18482019-01-28 08:53:54 -0800731
Stanislav Fomichevb2ca4e12019-07-25 15:52:27 -0700732static int verify_user_bpf_flow_keys(struct bpf_flow_keys *ctx)
733{
734 /* make sure the fields we don't use are zeroed */
735 if (!range_is_zero(ctx, 0, offsetof(struct bpf_flow_keys, flags)))
736 return -EINVAL;
737
738 /* flags is allowed */
739
Stanislav Fomichevb590cb52019-12-10 11:19:33 -0800740 if (!range_is_zero(ctx, offsetofend(struct bpf_flow_keys, flags),
Stanislav Fomichevb2ca4e12019-07-25 15:52:27 -0700741 sizeof(struct bpf_flow_keys)))
742 return -EINVAL;
743
744 return 0;
745}
746
Stanislav Fomichevb7a18482019-01-28 08:53:54 -0800747int bpf_prog_test_run_flow_dissector(struct bpf_prog *prog,
748 const union bpf_attr *kattr,
749 union bpf_attr __user *uattr)
750{
Lorenz Bauer607b9cc2021-03-03 10:18:12 +0000751 struct bpf_test_timer t = { NO_PREEMPT };
Stanislav Fomichevb7a18482019-01-28 08:53:54 -0800752 u32 size = kattr->test.data_size_in;
Stanislav Fomichev7b8a1302019-04-22 08:55:45 -0700753 struct bpf_flow_dissector ctx = {};
Stanislav Fomichevb7a18482019-01-28 08:53:54 -0800754 u32 repeat = kattr->test.repeat;
Stanislav Fomichevb2ca4e12019-07-25 15:52:27 -0700755 struct bpf_flow_keys *user_ctx;
Stanislav Fomichevb7a18482019-01-28 08:53:54 -0800756 struct bpf_flow_keys flow_keys;
Stanislav Fomichev7b8a1302019-04-22 08:55:45 -0700757 const struct ethhdr *eth;
Stanislav Fomichevb2ca4e12019-07-25 15:52:27 -0700758 unsigned int flags = 0;
Stanislav Fomichevb7a18482019-01-28 08:53:54 -0800759 u32 retval, duration;
Stanislav Fomichevb7a18482019-01-28 08:53:54 -0800760 void *data;
761 int ret;
Stanislav Fomichevb7a18482019-01-28 08:53:54 -0800762
763 if (prog->type != BPF_PROG_TYPE_FLOW_DISSECTOR)
764 return -EINVAL;
765
Song Liu1b4d60e2020-09-25 13:54:29 -0700766 if (kattr->test.flags || kattr->test.cpu)
767 return -EINVAL;
768
Stanislav Fomichev7b8a1302019-04-22 08:55:45 -0700769 if (size < ETH_HLEN)
770 return -EINVAL;
771
772 data = bpf_test_init(kattr, size, 0, 0);
Stanislav Fomichevb7a18482019-01-28 08:53:54 -0800773 if (IS_ERR(data))
774 return PTR_ERR(data);
775
Stanislav Fomichev7b8a1302019-04-22 08:55:45 -0700776 eth = (struct ethhdr *)data;
Stanislav Fomichevb7a18482019-01-28 08:53:54 -0800777
Stanislav Fomichevb7a18482019-01-28 08:53:54 -0800778 if (!repeat)
779 repeat = 1;
780
Stanislav Fomichevb2ca4e12019-07-25 15:52:27 -0700781 user_ctx = bpf_ctx_init(kattr, sizeof(struct bpf_flow_keys));
782 if (IS_ERR(user_ctx)) {
783 kfree(data);
784 return PTR_ERR(user_ctx);
785 }
786 if (user_ctx) {
787 ret = verify_user_bpf_flow_keys(user_ctx);
788 if (ret)
789 goto out;
790 flags = user_ctx->flags;
791 }
792
Stanislav Fomichev7b8a1302019-04-22 08:55:45 -0700793 ctx.flow_keys = &flow_keys;
794 ctx.data = data;
795 ctx.data_end = (__u8 *)data + size;
796
Lorenz Bauer607b9cc2021-03-03 10:18:12 +0000797 bpf_test_timer_enter(&t);
798 do {
Stanislav Fomichev7b8a1302019-04-22 08:55:45 -0700799 retval = bpf_flow_dissect(prog, &ctx, eth->h_proto, ETH_HLEN,
Stanislav Fomichevb2ca4e12019-07-25 15:52:27 -0700800 size, flags);
Lorenz Bauer607b9cc2021-03-03 10:18:12 +0000801 } while (bpf_test_timer_continue(&t, repeat, &ret, &duration));
802 bpf_test_timer_leave(&t);
Stanislav Fomichev7b8a1302019-04-22 08:55:45 -0700803
Lorenz Bauer607b9cc2021-03-03 10:18:12 +0000804 if (ret < 0)
805 goto out;
Stanislav Fomichevb7a18482019-01-28 08:53:54 -0800806
807 ret = bpf_test_finish(kattr, uattr, &flow_keys, sizeof(flow_keys),
808 retval, duration);
Stanislav Fomichevb2ca4e12019-07-25 15:52:27 -0700809 if (!ret)
810 ret = bpf_ctx_finish(kattr, uattr, user_ctx,
811 sizeof(struct bpf_flow_keys));
Stanislav Fomichevb7a18482019-01-28 08:53:54 -0800812
Stanislav Fomicheva4391842019-02-19 10:54:17 -0800813out:
Stanislav Fomichevb2ca4e12019-07-25 15:52:27 -0700814 kfree(user_ctx);
Stanislav Fomichev7b8a1302019-04-22 08:55:45 -0700815 kfree(data);
Stanislav Fomichevb7a18482019-01-28 08:53:54 -0800816 return ret;
817}
Lorenz Bauer7c32e8f2021-03-03 10:18:13 +0000818
819int bpf_prog_test_run_sk_lookup(struct bpf_prog *prog, const union bpf_attr *kattr,
820 union bpf_attr __user *uattr)
821{
822 struct bpf_test_timer t = { NO_PREEMPT };
823 struct bpf_prog_array *progs = NULL;
824 struct bpf_sk_lookup_kern ctx = {};
825 u32 repeat = kattr->test.repeat;
826 struct bpf_sk_lookup *user_ctx;
827 u32 retval, duration;
828 int ret = -EINVAL;
829
830 if (prog->type != BPF_PROG_TYPE_SK_LOOKUP)
831 return -EINVAL;
832
833 if (kattr->test.flags || kattr->test.cpu)
834 return -EINVAL;
835
836 if (kattr->test.data_in || kattr->test.data_size_in || kattr->test.data_out ||
837 kattr->test.data_size_out)
838 return -EINVAL;
839
840 if (!repeat)
841 repeat = 1;
842
843 user_ctx = bpf_ctx_init(kattr, sizeof(*user_ctx));
844 if (IS_ERR(user_ctx))
845 return PTR_ERR(user_ctx);
846
847 if (!user_ctx)
848 return -EINVAL;
849
850 if (user_ctx->sk)
851 goto out;
852
853 if (!range_is_zero(user_ctx, offsetofend(typeof(*user_ctx), local_port), sizeof(*user_ctx)))
854 goto out;
855
856 if (user_ctx->local_port > U16_MAX || user_ctx->remote_port > U16_MAX) {
857 ret = -ERANGE;
858 goto out;
859 }
860
861 ctx.family = (u16)user_ctx->family;
862 ctx.protocol = (u16)user_ctx->protocol;
863 ctx.dport = (u16)user_ctx->local_port;
864 ctx.sport = (__force __be16)user_ctx->remote_port;
865
866 switch (ctx.family) {
867 case AF_INET:
868 ctx.v4.daddr = (__force __be32)user_ctx->local_ip4;
869 ctx.v4.saddr = (__force __be32)user_ctx->remote_ip4;
870 break;
871
872#if IS_ENABLED(CONFIG_IPV6)
873 case AF_INET6:
874 ctx.v6.daddr = (struct in6_addr *)user_ctx->local_ip6;
875 ctx.v6.saddr = (struct in6_addr *)user_ctx->remote_ip6;
876 break;
877#endif
878
879 default:
880 ret = -EAFNOSUPPORT;
881 goto out;
882 }
883
884 progs = bpf_prog_array_alloc(1, GFP_KERNEL);
885 if (!progs) {
886 ret = -ENOMEM;
887 goto out;
888 }
889
890 progs->items[0].prog = prog;
891
892 bpf_test_timer_enter(&t);
893 do {
894 ctx.selected_sk = NULL;
895 retval = BPF_PROG_SK_LOOKUP_RUN_ARRAY(progs, ctx, BPF_PROG_RUN);
896 } while (bpf_test_timer_continue(&t, repeat, &ret, &duration));
897 bpf_test_timer_leave(&t);
898
899 if (ret < 0)
900 goto out;
901
902 user_ctx->cookie = 0;
903 if (ctx.selected_sk) {
904 if (ctx.selected_sk->sk_reuseport && !ctx.no_reuseport) {
905 ret = -EOPNOTSUPP;
906 goto out;
907 }
908
909 user_ctx->cookie = sock_gen_cookie(ctx.selected_sk);
910 }
911
912 ret = bpf_test_finish(kattr, uattr, NULL, 0, retval, duration);
913 if (!ret)
914 ret = bpf_ctx_finish(kattr, uattr, user_ctx, sizeof(*user_ctx));
915
916out:
917 bpf_prog_array_free(progs);
918 kfree(user_ctx);
919 return ret;
920}