blob: 46dd95755967242133910bd5764e04bac35d5398 [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>
Kumar Kartikeya Dwivedic48e51c2021-10-02 06:47:57 +05305#include <linux/btf.h>
Martin KaFai Lau7bd15902021-03-24 18:52:52 -07006#include <linux/btf_ids.h>
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -07007#include <linux/slab.h>
8#include <linux/vmalloc.h>
9#include <linux/etherdevice.h>
10#include <linux/filter.h>
Yonghong Song87b7b532021-08-09 16:51:51 -070011#include <linux/rcupdate_trace.h>
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -070012#include <linux/sched/signal.h>
Martin KaFai Lau6ac99e82019-04-26 16:39:39 -070013#include <net/bpf_sk_storage.h>
Song Liu2cb494a2018-10-19 09:57:58 -070014#include <net/sock.h>
15#include <net/tcp.h>
Lorenz Bauer7c32e8f2021-03-03 10:18:13 +000016#include <net/net_namespace.h>
KP Singh3d08b6f2020-03-04 20:18:53 +010017#include <linux/error-injection.h>
Song Liu1b4d60e2020-09-25 13:54:29 -070018#include <linux/smp.h>
Lorenz Bauer7c32e8f2021-03-03 10:18:13 +000019#include <linux/sock_diag.h>
Zvi Effron47316f42021-07-07 22:16:55 +000020#include <net/xdp.h>
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -070021
Matt Mullinse950e842019-04-26 11:49:51 -070022#define CREATE_TRACE_POINTS
23#include <trace/events/bpf_test_run.h>
24
Lorenz Bauer607b9cc2021-03-03 10:18:12 +000025struct bpf_test_timer {
26 enum { NO_PREEMPT, NO_MIGRATE } mode;
27 u32 i;
28 u64 time_start, time_spent;
29};
30
31static void bpf_test_timer_enter(struct bpf_test_timer *t)
32 __acquires(rcu)
33{
34 rcu_read_lock();
35 if (t->mode == NO_PREEMPT)
36 preempt_disable();
37 else
38 migrate_disable();
39
40 t->time_start = ktime_get_ns();
41}
42
43static void bpf_test_timer_leave(struct bpf_test_timer *t)
44 __releases(rcu)
45{
46 t->time_start = 0;
47
48 if (t->mode == NO_PREEMPT)
49 preempt_enable();
50 else
51 migrate_enable();
52 rcu_read_unlock();
53}
54
55static bool bpf_test_timer_continue(struct bpf_test_timer *t, u32 repeat, int *err, u32 *duration)
56 __must_hold(rcu)
57{
58 t->i++;
59 if (t->i >= repeat) {
60 /* We're done. */
61 t->time_spent += ktime_get_ns() - t->time_start;
62 do_div(t->time_spent, t->i);
63 *duration = t->time_spent > U32_MAX ? U32_MAX : (u32)t->time_spent;
64 *err = 0;
65 goto reset;
66 }
67
68 if (signal_pending(current)) {
69 /* During iteration: we've been cancelled, abort. */
70 *err = -EINTR;
71 goto reset;
72 }
73
74 if (need_resched()) {
75 /* During iteration: we need to reschedule between runs. */
76 t->time_spent += ktime_get_ns() - t->time_start;
77 bpf_test_timer_leave(t);
78 cond_resched();
79 bpf_test_timer_enter(t);
80 }
81
82 /* Do another round. */
83 return true;
84
85reset:
86 t->i = 0;
87 return false;
88}
89
Stanislav Fomichevdf1a2cb2019-02-12 15:42:38 -080090static int bpf_test_run(struct bpf_prog *prog, void *ctx, u32 repeat,
Björn Töpelf23c4b32019-12-13 18:51:10 +010091 u32 *retval, u32 *time, bool xdp)
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -070092{
Andrii Nakryikoc7603cf2021-07-12 16:06:15 -070093 struct bpf_prog_array_item item = {.prog = prog};
94 struct bpf_run_ctx *old_ctx;
95 struct bpf_cg_run_ctx run_ctx;
Lorenz Bauer607b9cc2021-03-03 10:18:12 +000096 struct bpf_test_timer t = { NO_MIGRATE };
Roman Gushchin8bad74f2018-09-28 14:45:36 +000097 enum bpf_cgroup_storage_type stype;
Lorenz Bauer607b9cc2021-03-03 10:18:12 +000098 int ret;
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -070099
Roman Gushchin8bad74f2018-09-28 14:45:36 +0000100 for_each_cgroup_storage_type(stype) {
Andrii Nakryikoc7603cf2021-07-12 16:06:15 -0700101 item.cgroup_storage[stype] = bpf_cgroup_storage_alloc(prog, stype);
102 if (IS_ERR(item.cgroup_storage[stype])) {
103 item.cgroup_storage[stype] = NULL;
Roman Gushchin8bad74f2018-09-28 14:45:36 +0000104 for_each_cgroup_storage_type(stype)
Andrii Nakryikoc7603cf2021-07-12 16:06:15 -0700105 bpf_cgroup_storage_free(item.cgroup_storage[stype]);
Roman Gushchin8bad74f2018-09-28 14:45:36 +0000106 return -ENOMEM;
107 }
108 }
Roman Gushchinf42ee092018-08-02 14:27:27 -0700109
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700110 if (!repeat)
111 repeat = 1;
Stanislav Fomichevdf1a2cb2019-02-12 15:42:38 -0800112
Lorenz Bauer607b9cc2021-03-03 10:18:12 +0000113 bpf_test_timer_enter(&t);
Andrii Nakryikoc7603cf2021-07-12 16:06:15 -0700114 old_ctx = bpf_set_run_ctx(&run_ctx.run_ctx);
Lorenz Bauer607b9cc2021-03-03 10:18:12 +0000115 do {
Andrii Nakryikoc7603cf2021-07-12 16:06:15 -0700116 run_ctx.prog_item = &item;
Björn Töpelf23c4b32019-12-13 18:51:10 +0100117 if (xdp)
118 *retval = bpf_prog_run_xdp(prog, ctx);
119 else
Andrii Nakryikofb7dd8b2021-08-15 00:05:54 -0700120 *retval = bpf_prog_run(prog, ctx);
Lorenz Bauer607b9cc2021-03-03 10:18:12 +0000121 } while (bpf_test_timer_continue(&t, repeat, &ret, time));
Andrii Nakryikoc7603cf2021-07-12 16:06:15 -0700122 bpf_reset_run_ctx(old_ctx);
Lorenz Bauer607b9cc2021-03-03 10:18:12 +0000123 bpf_test_timer_leave(&t);
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700124
Roman Gushchin8bad74f2018-09-28 14:45:36 +0000125 for_each_cgroup_storage_type(stype)
Andrii Nakryikoc7603cf2021-07-12 16:06:15 -0700126 bpf_cgroup_storage_free(item.cgroup_storage[stype]);
Roman Gushchinf42ee092018-08-02 14:27:27 -0700127
Stanislav Fomichevdf1a2cb2019-02-12 15:42:38 -0800128 return ret;
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700129}
130
David Miller78e52272017-05-02 11:36:33 -0400131static int bpf_test_finish(const union bpf_attr *kattr,
132 union bpf_attr __user *uattr, const void *data,
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700133 u32 size, u32 retval, u32 duration)
134{
David Miller78e52272017-05-02 11:36:33 -0400135 void __user *data_out = u64_to_user_ptr(kattr->test.data_out);
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700136 int err = -EFAULT;
Lorenz Bauerb5a36b12018-12-03 11:31:23 +0000137 u32 copy_size = size;
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700138
Lorenz Bauerb5a36b12018-12-03 11:31:23 +0000139 /* Clamp copy if the user has provided a size hint, but copy the full
140 * buffer if not to retain old behaviour.
141 */
142 if (kattr->test.data_size_out &&
143 copy_size > kattr->test.data_size_out) {
144 copy_size = kattr->test.data_size_out;
145 err = -ENOSPC;
146 }
147
148 if (data_out && copy_to_user(data_out, data, copy_size))
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700149 goto out;
150 if (copy_to_user(&uattr->test.data_size_out, &size, sizeof(size)))
151 goto out;
152 if (copy_to_user(&uattr->test.retval, &retval, sizeof(retval)))
153 goto out;
154 if (copy_to_user(&uattr->test.duration, &duration, sizeof(duration)))
155 goto out;
Lorenz Bauerb5a36b12018-12-03 11:31:23 +0000156 if (err != -ENOSPC)
157 err = 0;
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700158out:
Matt Mullinse950e842019-04-26 11:49:51 -0700159 trace_bpf_test_finish(&err);
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700160 return err;
161}
162
Alexei Starovoitovfaeb2dc2019-11-14 10:57:08 -0800163/* Integer types of various sizes and pointer combinations cover variety of
164 * architecture dependent calling conventions. 7+ can be supported in the
165 * future.
166 */
Jean-Philippe Menile9ff9d52020-03-27 21:47:13 +0100167__diag_push();
168__diag_ignore(GCC, 8, "-Wmissing-prototypes",
169 "Global functions as their definitions will be in vmlinux BTF");
Alexei Starovoitovfaeb2dc2019-11-14 10:57:08 -0800170int noinline bpf_fentry_test1(int a)
171{
172 return a + 1;
173}
174
175int noinline bpf_fentry_test2(int a, u64 b)
176{
177 return a + b;
178}
179
180int noinline bpf_fentry_test3(char a, int b, u64 c)
181{
182 return a + b + c;
183}
184
185int noinline bpf_fentry_test4(void *a, char b, int c, u64 d)
186{
187 return (long)a + b + c + d;
188}
189
190int noinline bpf_fentry_test5(u64 a, void *b, short c, int d, u64 e)
191{
192 return a + (long)b + c + d + e;
193}
194
195int noinline bpf_fentry_test6(u64 a, void *b, short c, int d, void *e, u64 f)
196{
197 return a + (long)b + c + d + (long)e + f;
198}
199
Yonghong Songd9230212020-06-30 10:12:41 -0700200struct bpf_fentry_test_t {
201 struct bpf_fentry_test_t *a;
202};
203
204int noinline bpf_fentry_test7(struct bpf_fentry_test_t *arg)
205{
206 return (long)arg;
207}
208
209int noinline bpf_fentry_test8(struct bpf_fentry_test_t *arg)
210{
211 return (long)arg->a;
212}
213
KP Singh3d08b6f2020-03-04 20:18:53 +0100214int noinline bpf_modify_return_test(int a, int *b)
215{
216 *b += 1;
217 return a + *b;
218}
Martin KaFai Lau7bd15902021-03-24 18:52:52 -0700219
220u64 noinline bpf_kfunc_call_test1(struct sock *sk, u32 a, u64 b, u32 c, u64 d)
221{
222 return a + b + c + d;
223}
224
225int noinline bpf_kfunc_call_test2(struct sock *sk, u32 a, u32 b)
226{
227 return a + b;
228}
229
230struct sock * noinline bpf_kfunc_call_test3(struct sock *sk)
231{
232 return sk;
233}
234
Jean-Philippe Menile9ff9d52020-03-27 21:47:13 +0100235__diag_pop();
KP Singh3d08b6f2020-03-04 20:18:53 +0100236
237ALLOW_ERROR_INJECTION(bpf_modify_return_test, ERRNO);
238
Martin KaFai Lau7bd15902021-03-24 18:52:52 -0700239BTF_SET_START(test_sk_kfunc_ids)
240BTF_ID(func, bpf_kfunc_call_test1)
241BTF_ID(func, bpf_kfunc_call_test2)
242BTF_ID(func, bpf_kfunc_call_test3)
243BTF_SET_END(test_sk_kfunc_ids)
244
Kumar Kartikeya Dwivedi23576722021-10-02 06:47:49 +0530245bool bpf_prog_test_check_kfunc_call(u32 kfunc_id, struct module *owner)
Martin KaFai Lau7bd15902021-03-24 18:52:52 -0700246{
Kumar Kartikeya Dwivedic48e51c2021-10-02 06:47:57 +0530247 if (btf_id_set_contains(&test_sk_kfunc_ids, kfunc_id))
248 return true;
249 return bpf_check_mod_kfunc_call(&prog_test_kfunc_list, kfunc_id, owner);
Martin KaFai Lau7bd15902021-03-24 18:52:52 -0700250}
251
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700252static void *bpf_test_init(const union bpf_attr *kattr, u32 size,
253 u32 headroom, u32 tailroom)
254{
255 void __user *data_in = u64_to_user_ptr(kattr->test.data_in);
Jesper Dangaard Brouerd800bad2020-05-18 15:05:27 +0200256 u32 user_size = kattr->test.data_size_in;
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700257 void *data;
258
259 if (size < ETH_HLEN || size > PAGE_SIZE - headroom - tailroom)
260 return ERR_PTR(-EINVAL);
261
Jesper Dangaard Brouerd800bad2020-05-18 15:05:27 +0200262 if (user_size > size)
263 return ERR_PTR(-EMSGSIZE);
264
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700265 data = kzalloc(size + headroom + tailroom, GFP_USER);
266 if (!data)
267 return ERR_PTR(-ENOMEM);
268
Jesper Dangaard Brouerd800bad2020-05-18 15:05:27 +0200269 if (copy_from_user(data + headroom, data_in, user_size)) {
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700270 kfree(data);
271 return ERR_PTR(-EFAULT);
272 }
KP Singhda00d2f2020-03-04 20:18:52 +0100273
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700274 return data;
275}
276
KP Singhda00d2f2020-03-04 20:18:52 +0100277int bpf_prog_test_run_tracing(struct bpf_prog *prog,
278 const union bpf_attr *kattr,
279 union bpf_attr __user *uattr)
280{
Yonghong Songd9230212020-06-30 10:12:41 -0700281 struct bpf_fentry_test_t arg = {};
KP Singh3d08b6f2020-03-04 20:18:53 +0100282 u16 side_effect = 0, ret = 0;
283 int b = 2, err = -EFAULT;
284 u32 retval = 0;
KP Singhda00d2f2020-03-04 20:18:52 +0100285
Song Liu1b4d60e2020-09-25 13:54:29 -0700286 if (kattr->test.flags || kattr->test.cpu)
287 return -EINVAL;
288
KP Singhda00d2f2020-03-04 20:18:52 +0100289 switch (prog->expected_attach_type) {
290 case BPF_TRACE_FENTRY:
291 case BPF_TRACE_FEXIT:
292 if (bpf_fentry_test1(1) != 2 ||
293 bpf_fentry_test2(2, 3) != 5 ||
294 bpf_fentry_test3(4, 5, 6) != 15 ||
295 bpf_fentry_test4((void *)7, 8, 9, 10) != 34 ||
296 bpf_fentry_test5(11, (void *)12, 13, 14, 15) != 65 ||
Yonghong Songd9230212020-06-30 10:12:41 -0700297 bpf_fentry_test6(16, (void *)17, 18, 19, (void *)20, 21) != 111 ||
298 bpf_fentry_test7((struct bpf_fentry_test_t *)0) != 0 ||
299 bpf_fentry_test8(&arg) != 0)
KP Singhda00d2f2020-03-04 20:18:52 +0100300 goto out;
301 break;
KP Singh3d08b6f2020-03-04 20:18:53 +0100302 case BPF_MODIFY_RETURN:
303 ret = bpf_modify_return_test(1, &b);
304 if (b != 2)
305 side_effect = 1;
306 break;
KP Singhda00d2f2020-03-04 20:18:52 +0100307 default:
308 goto out;
309 }
310
KP Singh3d08b6f2020-03-04 20:18:53 +0100311 retval = ((u32)side_effect << 16) | ret;
312 if (copy_to_user(&uattr->test.retval, &retval, sizeof(retval)))
313 goto out;
314
KP Singhda00d2f2020-03-04 20:18:52 +0100315 err = 0;
316out:
317 trace_bpf_test_finish(&err);
318 return err;
319}
320
Song Liu1b4d60e2020-09-25 13:54:29 -0700321struct bpf_raw_tp_test_run_info {
322 struct bpf_prog *prog;
323 void *ctx;
324 u32 retval;
325};
326
327static void
328__bpf_prog_test_run_raw_tp(void *data)
329{
330 struct bpf_raw_tp_test_run_info *info = data;
331
332 rcu_read_lock();
Andrii Nakryikofb7dd8b2021-08-15 00:05:54 -0700333 info->retval = bpf_prog_run(info->prog, info->ctx);
Song Liu1b4d60e2020-09-25 13:54:29 -0700334 rcu_read_unlock();
335}
336
337int bpf_prog_test_run_raw_tp(struct bpf_prog *prog,
338 const union bpf_attr *kattr,
339 union bpf_attr __user *uattr)
340{
341 void __user *ctx_in = u64_to_user_ptr(kattr->test.ctx_in);
342 __u32 ctx_size_in = kattr->test.ctx_size_in;
343 struct bpf_raw_tp_test_run_info info;
344 int cpu = kattr->test.cpu, err = 0;
Song Liu963ec272020-09-29 15:29:49 -0700345 int current_cpu;
Song Liu1b4d60e2020-09-25 13:54:29 -0700346
347 /* doesn't support data_in/out, ctx_out, duration, or repeat */
348 if (kattr->test.data_in || kattr->test.data_out ||
349 kattr->test.ctx_out || kattr->test.duration ||
350 kattr->test.repeat)
351 return -EINVAL;
352
Song Liu7ac6ad02021-01-12 15:42:54 -0800353 if (ctx_size_in < prog->aux->max_ctx_offset ||
354 ctx_size_in > MAX_BPF_FUNC_ARGS * sizeof(u64))
Song Liu1b4d60e2020-09-25 13:54:29 -0700355 return -EINVAL;
356
357 if ((kattr->test.flags & BPF_F_TEST_RUN_ON_CPU) == 0 && cpu != 0)
358 return -EINVAL;
359
360 if (ctx_size_in) {
Qing Wangdb5b6a42021-10-18 04:30:48 -0700361 info.ctx = memdup_user(ctx_in, ctx_size_in);
362 if (IS_ERR(info.ctx))
363 return PTR_ERR(info.ctx);
Song Liu1b4d60e2020-09-25 13:54:29 -0700364 } 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
Song Liu1b4d60e2020-09-25 13:54:29 -0700391 kfree(info.ctx);
392 return err;
393}
394
Stanislav Fomichevb0b93952019-04-09 11:49:09 -0700395static void *bpf_ctx_init(const union bpf_attr *kattr, u32 max_size)
396{
397 void __user *data_in = u64_to_user_ptr(kattr->test.ctx_in);
398 void __user *data_out = u64_to_user_ptr(kattr->test.ctx_out);
399 u32 size = kattr->test.ctx_size_in;
400 void *data;
401 int err;
402
403 if (!data_in && !data_out)
404 return NULL;
405
406 data = kzalloc(max_size, GFP_USER);
407 if (!data)
408 return ERR_PTR(-ENOMEM);
409
410 if (data_in) {
Alexei Starovoitovaf2ac3e2021-05-13 17:36:05 -0700411 err = bpf_check_uarg_tail_zero(USER_BPFPTR(data_in), max_size, size);
Stanislav Fomichevb0b93952019-04-09 11:49:09 -0700412 if (err) {
413 kfree(data);
414 return ERR_PTR(err);
415 }
416
417 size = min_t(u32, max_size, size);
418 if (copy_from_user(data, data_in, size)) {
419 kfree(data);
420 return ERR_PTR(-EFAULT);
421 }
422 }
423 return data;
424}
425
426static int bpf_ctx_finish(const union bpf_attr *kattr,
427 union bpf_attr __user *uattr, const void *data,
428 u32 size)
429{
430 void __user *data_out = u64_to_user_ptr(kattr->test.ctx_out);
431 int err = -EFAULT;
432 u32 copy_size = size;
433
434 if (!data || !data_out)
435 return 0;
436
437 if (copy_size > kattr->test.ctx_size_out) {
438 copy_size = kattr->test.ctx_size_out;
439 err = -ENOSPC;
440 }
441
442 if (copy_to_user(data_out, data, copy_size))
443 goto out;
444 if (copy_to_user(&uattr->test.ctx_size_out, &size, sizeof(size)))
445 goto out;
446 if (err != -ENOSPC)
447 err = 0;
448out:
449 return err;
450}
451
452/**
453 * range_is_zero - test whether buffer is initialized
454 * @buf: buffer to check
455 * @from: check from this position
456 * @to: check up until (excluding) this position
457 *
458 * This function returns true if the there is a non-zero byte
459 * in the buf in the range [from,to).
460 */
461static inline bool range_is_zero(void *buf, size_t from, size_t to)
462{
463 return !memchr_inv((u8 *)buf + from, 0, to - from);
464}
465
466static int convert___skb_to_skb(struct sk_buff *skb, struct __sk_buff *__skb)
467{
468 struct qdisc_skb_cb *cb = (struct qdisc_skb_cb *)skb->cb;
469
470 if (!__skb)
471 return 0;
472
473 /* make sure the fields we don't use are zeroed */
Nikita V. Shirokov6de6c1f2019-12-18 12:57:47 -0800474 if (!range_is_zero(__skb, 0, offsetof(struct __sk_buff, mark)))
475 return -EINVAL;
476
477 /* mark is allowed */
478
479 if (!range_is_zero(__skb, offsetofend(struct __sk_buff, mark),
480 offsetof(struct __sk_buff, priority)))
Stanislav Fomichevb0b93952019-04-09 11:49:09 -0700481 return -EINVAL;
482
483 /* priority is allowed */
Neil Springb2382902021-08-30 20:33:56 -0700484 /* ingress_ifindex is allowed */
Dmitry Yakunin21594c42020-08-03 12:05:45 +0300485 /* ifindex is allowed */
486
487 if (!range_is_zero(__skb, offsetofend(struct __sk_buff, ifindex),
Stanislav Fomichevb0b93952019-04-09 11:49:09 -0700488 offsetof(struct __sk_buff, cb)))
489 return -EINVAL;
490
491 /* cb is allowed */
492
Stanislav Fomichevb590cb52019-12-10 11:19:33 -0800493 if (!range_is_zero(__skb, offsetofend(struct __sk_buff, cb),
Stanislav Fomichevba940942019-10-15 11:31:24 -0700494 offsetof(struct __sk_buff, tstamp)))
495 return -EINVAL;
496
497 /* tstamp is allowed */
Stanislav Fomichev850a88c2019-12-13 14:30:27 -0800498 /* wire_len is allowed */
499 /* gso_segs is allowed */
Stanislav Fomichevba940942019-10-15 11:31:24 -0700500
Stanislav Fomichev850a88c2019-12-13 14:30:27 -0800501 if (!range_is_zero(__skb, offsetofend(struct __sk_buff, gso_segs),
Willem de Bruijncf620892020-03-03 15:05:01 -0500502 offsetof(struct __sk_buff, gso_size)))
503 return -EINVAL;
504
505 /* gso_size is allowed */
506
507 if (!range_is_zero(__skb, offsetofend(struct __sk_buff, gso_size),
Vadim Fedorenko3384c7c2021-09-10 01:04:09 +0300508 offsetof(struct __sk_buff, hwtstamp)))
509 return -EINVAL;
510
511 /* hwtstamp is allowed */
512
513 if (!range_is_zero(__skb, offsetofend(struct __sk_buff, hwtstamp),
Stanislav Fomichevb0b93952019-04-09 11:49:09 -0700514 sizeof(struct __sk_buff)))
515 return -EINVAL;
516
Nikita V. Shirokov6de6c1f2019-12-18 12:57:47 -0800517 skb->mark = __skb->mark;
Stanislav Fomichevb0b93952019-04-09 11:49:09 -0700518 skb->priority = __skb->priority;
Neil Springb2382902021-08-30 20:33:56 -0700519 skb->skb_iif = __skb->ingress_ifindex;
Stanislav Fomichevba940942019-10-15 11:31:24 -0700520 skb->tstamp = __skb->tstamp;
Stanislav Fomichevb0b93952019-04-09 11:49:09 -0700521 memcpy(&cb->data, __skb->cb, QDISC_CB_PRIV_LEN);
522
Stanislav Fomichev850a88c2019-12-13 14:30:27 -0800523 if (__skb->wire_len == 0) {
524 cb->pkt_len = skb->len;
525 } else {
526 if (__skb->wire_len < skb->len ||
527 __skb->wire_len > GSO_MAX_SIZE)
528 return -EINVAL;
529 cb->pkt_len = __skb->wire_len;
530 }
531
532 if (__skb->gso_segs > GSO_MAX_SEGS)
533 return -EINVAL;
534 skb_shinfo(skb)->gso_segs = __skb->gso_segs;
Willem de Bruijncf620892020-03-03 15:05:01 -0500535 skb_shinfo(skb)->gso_size = __skb->gso_size;
Vadim Fedorenko3384c7c2021-09-10 01:04:09 +0300536 skb_shinfo(skb)->hwtstamps.hwtstamp = __skb->hwtstamp;
Stanislav Fomichev850a88c2019-12-13 14:30:27 -0800537
Stanislav Fomichevb0b93952019-04-09 11:49:09 -0700538 return 0;
539}
540
541static void convert_skb_to___skb(struct sk_buff *skb, struct __sk_buff *__skb)
542{
543 struct qdisc_skb_cb *cb = (struct qdisc_skb_cb *)skb->cb;
544
545 if (!__skb)
546 return;
547
Nikita V. Shirokov6de6c1f2019-12-18 12:57:47 -0800548 __skb->mark = skb->mark;
Stanislav Fomichevb0b93952019-04-09 11:49:09 -0700549 __skb->priority = skb->priority;
Neil Springb2382902021-08-30 20:33:56 -0700550 __skb->ingress_ifindex = skb->skb_iif;
Dmitry Yakunin21594c42020-08-03 12:05:45 +0300551 __skb->ifindex = skb->dev->ifindex;
Stanislav Fomichevba940942019-10-15 11:31:24 -0700552 __skb->tstamp = skb->tstamp;
Stanislav Fomichevb0b93952019-04-09 11:49:09 -0700553 memcpy(__skb->cb, &cb->data, QDISC_CB_PRIV_LEN);
Stanislav Fomichev850a88c2019-12-13 14:30:27 -0800554 __skb->wire_len = cb->pkt_len;
555 __skb->gso_segs = skb_shinfo(skb)->gso_segs;
Vadim Fedorenko3384c7c2021-09-10 01:04:09 +0300556 __skb->hwtstamp = skb_shinfo(skb)->hwtstamps.hwtstamp;
Stanislav Fomichevb0b93952019-04-09 11:49:09 -0700557}
558
Daniel Borkmann435b08e2021-09-27 14:39:21 +0200559static struct proto bpf_dummy_proto = {
560 .name = "bpf_dummy",
561 .owner = THIS_MODULE,
562 .obj_size = sizeof(struct sock),
563};
564
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700565int bpf_prog_test_run_skb(struct bpf_prog *prog, const union bpf_attr *kattr,
566 union bpf_attr __user *uattr)
567{
568 bool is_l2 = false, is_direct_pkt_access = false;
Dmitry Yakunin21594c42020-08-03 12:05:45 +0300569 struct net *net = current->nsproxy->net_ns;
570 struct net_device *dev = net->loopback_dev;
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700571 u32 size = kattr->test.data_size_in;
572 u32 repeat = kattr->test.repeat;
Stanislav Fomichevb0b93952019-04-09 11:49:09 -0700573 struct __sk_buff *ctx = NULL;
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700574 u32 retval, duration;
Daniel Borkmann6e6fddc2018-07-11 15:30:14 +0200575 int hh_len = ETH_HLEN;
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700576 struct sk_buff *skb;
Song Liu2cb494a2018-10-19 09:57:58 -0700577 struct sock *sk;
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700578 void *data;
579 int ret;
580
Song Liu1b4d60e2020-09-25 13:54:29 -0700581 if (kattr->test.flags || kattr->test.cpu)
582 return -EINVAL;
583
David Miller586f8522017-05-02 11:36:45 -0400584 data = bpf_test_init(kattr, size, NET_SKB_PAD + NET_IP_ALIGN,
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700585 SKB_DATA_ALIGN(sizeof(struct skb_shared_info)));
586 if (IS_ERR(data))
587 return PTR_ERR(data);
588
Stanislav Fomichevb0b93952019-04-09 11:49:09 -0700589 ctx = bpf_ctx_init(kattr, sizeof(struct __sk_buff));
590 if (IS_ERR(ctx)) {
591 kfree(data);
592 return PTR_ERR(ctx);
593 }
594
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700595 switch (prog->type) {
596 case BPF_PROG_TYPE_SCHED_CLS:
597 case BPF_PROG_TYPE_SCHED_ACT:
598 is_l2 = true;
Gustavo A. R. Silvadf561f662020-08-23 17:36:59 -0500599 fallthrough;
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700600 case BPF_PROG_TYPE_LWT_IN:
601 case BPF_PROG_TYPE_LWT_OUT:
602 case BPF_PROG_TYPE_LWT_XMIT:
603 is_direct_pkt_access = true;
604 break;
605 default:
606 break;
607 }
608
Daniel Borkmann435b08e2021-09-27 14:39:21 +0200609 sk = sk_alloc(net, AF_UNSPEC, GFP_USER, &bpf_dummy_proto, 1);
Song Liu2cb494a2018-10-19 09:57:58 -0700610 if (!sk) {
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700611 kfree(data);
Stanislav Fomichevb0b93952019-04-09 11:49:09 -0700612 kfree(ctx);
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700613 return -ENOMEM;
614 }
Song Liu2cb494a2018-10-19 09:57:58 -0700615 sock_init_data(NULL, sk);
616
617 skb = build_skb(data, 0);
618 if (!skb) {
619 kfree(data);
Stanislav Fomichevb0b93952019-04-09 11:49:09 -0700620 kfree(ctx);
Daniel Borkmann435b08e2021-09-27 14:39:21 +0200621 sk_free(sk);
Song Liu2cb494a2018-10-19 09:57:58 -0700622 return -ENOMEM;
623 }
624 skb->sk = sk;
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700625
David Miller586f8522017-05-02 11:36:45 -0400626 skb_reserve(skb, NET_SKB_PAD + NET_IP_ALIGN);
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700627 __skb_put(skb, size);
Dmitry Yakunin21594c42020-08-03 12:05:45 +0300628 if (ctx && ctx->ifindex > 1) {
629 dev = dev_get_by_index(net, ctx->ifindex);
630 if (!dev) {
631 ret = -ENODEV;
632 goto out;
633 }
634 }
635 skb->protocol = eth_type_trans(skb, dev);
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700636 skb_reset_network_header(skb);
637
Dmitry Yakuninfa5cb542020-08-03 12:05:44 +0300638 switch (skb->protocol) {
639 case htons(ETH_P_IP):
640 sk->sk_family = AF_INET;
641 if (sizeof(struct iphdr) <= skb_headlen(skb)) {
642 sk->sk_rcv_saddr = ip_hdr(skb)->saddr;
643 sk->sk_daddr = ip_hdr(skb)->daddr;
644 }
645 break;
646#if IS_ENABLED(CONFIG_IPV6)
647 case htons(ETH_P_IPV6):
648 sk->sk_family = AF_INET6;
649 if (sizeof(struct ipv6hdr) <= skb_headlen(skb)) {
650 sk->sk_v6_rcv_saddr = ipv6_hdr(skb)->saddr;
651 sk->sk_v6_daddr = ipv6_hdr(skb)->daddr;
652 }
653 break;
654#endif
655 default:
656 break;
657 }
658
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700659 if (is_l2)
Daniel Borkmann6e6fddc2018-07-11 15:30:14 +0200660 __skb_push(skb, hh_len);
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700661 if (is_direct_pkt_access)
Daniel Borkmann6aaae2b2017-09-25 02:25:50 +0200662 bpf_compute_data_pointers(skb);
Stanislav Fomichevb0b93952019-04-09 11:49:09 -0700663 ret = convert___skb_to_skb(skb, ctx);
664 if (ret)
665 goto out;
Björn Töpelf23c4b32019-12-13 18:51:10 +0100666 ret = bpf_test_run(prog, skb, repeat, &retval, &duration, false);
Stanislav Fomichevb0b93952019-04-09 11:49:09 -0700667 if (ret)
668 goto out;
Daniel Borkmann6e6fddc2018-07-11 15:30:14 +0200669 if (!is_l2) {
670 if (skb_headroom(skb) < hh_len) {
671 int nhead = HH_DATA_ALIGN(hh_len - skb_headroom(skb));
672
673 if (pskb_expand_head(skb, nhead, 0, GFP_USER)) {
Stanislav Fomichevb0b93952019-04-09 11:49:09 -0700674 ret = -ENOMEM;
675 goto out;
Daniel Borkmann6e6fddc2018-07-11 15:30:14 +0200676 }
677 }
678 memset(__skb_push(skb, hh_len), 0, hh_len);
679 }
Stanislav Fomichevb0b93952019-04-09 11:49:09 -0700680 convert_skb_to___skb(skb, ctx);
Daniel Borkmann6e6fddc2018-07-11 15:30:14 +0200681
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700682 size = skb->len;
683 /* bpf program can never convert linear skb to non-linear */
684 if (WARN_ON_ONCE(skb_is_nonlinear(skb)))
685 size = skb_headlen(skb);
David Miller78e52272017-05-02 11:36:33 -0400686 ret = bpf_test_finish(kattr, uattr, skb->data, size, retval, duration);
Stanislav Fomichevb0b93952019-04-09 11:49:09 -0700687 if (!ret)
688 ret = bpf_ctx_finish(kattr, uattr, ctx,
689 sizeof(struct __sk_buff));
690out:
Dmitry Yakunin21594c42020-08-03 12:05:45 +0300691 if (dev && dev != net->loopback_dev)
692 dev_put(dev);
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700693 kfree_skb(skb);
Daniel Borkmann435b08e2021-09-27 14:39:21 +0200694 sk_free(sk);
Stanislav Fomichevb0b93952019-04-09 11:49:09 -0700695 kfree(ctx);
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700696 return ret;
697}
698
Zvi Effron47316f42021-07-07 22:16:55 +0000699static int xdp_convert_md_to_buff(struct xdp_md *xdp_md, struct xdp_buff *xdp)
700{
Zvi Effronec946702021-07-07 22:16:56 +0000701 unsigned int ingress_ifindex, rx_queue_index;
702 struct netdev_rx_queue *rxqueue;
703 struct net_device *device;
704
Zvi Effron47316f42021-07-07 22:16:55 +0000705 if (!xdp_md)
706 return 0;
707
708 if (xdp_md->egress_ifindex != 0)
709 return -EINVAL;
710
Zvi Effronec946702021-07-07 22:16:56 +0000711 ingress_ifindex = xdp_md->ingress_ifindex;
712 rx_queue_index = xdp_md->rx_queue_index;
713
714 if (!ingress_ifindex && rx_queue_index)
Zvi Effron47316f42021-07-07 22:16:55 +0000715 return -EINVAL;
716
Zvi Effronec946702021-07-07 22:16:56 +0000717 if (ingress_ifindex) {
718 device = dev_get_by_index(current->nsproxy->net_ns,
719 ingress_ifindex);
720 if (!device)
721 return -ENODEV;
Zvi Effron47316f42021-07-07 22:16:55 +0000722
Zvi Effronec946702021-07-07 22:16:56 +0000723 if (rx_queue_index >= device->real_num_rx_queues)
724 goto free_dev;
725
726 rxqueue = __netif_get_rx_queue(device, rx_queue_index);
727
728 if (!xdp_rxq_info_is_reg(&rxqueue->xdp_rxq))
729 goto free_dev;
730
731 xdp->rxq = &rxqueue->xdp_rxq;
732 /* The device is now tracked in the xdp->rxq for later
733 * dev_put()
734 */
735 }
736
737 xdp->data = xdp->data_meta + xdp_md->data;
Zvi Effron47316f42021-07-07 22:16:55 +0000738 return 0;
Zvi Effronec946702021-07-07 22:16:56 +0000739
740free_dev:
741 dev_put(device);
742 return -EINVAL;
743}
744
745static void xdp_convert_buff_to_md(struct xdp_buff *xdp, struct xdp_md *xdp_md)
746{
747 if (!xdp_md)
748 return;
749
750 xdp_md->data = xdp->data - xdp->data_meta;
751 xdp_md->data_end = xdp->data_end - xdp->data_meta;
752
753 if (xdp_md->ingress_ifindex)
754 dev_put(xdp->rxq->dev);
Zvi Effron47316f42021-07-07 22:16:55 +0000755}
756
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700757int bpf_prog_test_run_xdp(struct bpf_prog *prog, const union bpf_attr *kattr,
758 union bpf_attr __user *uattr)
759{
Jesper Dangaard Brouerbc56c912020-05-14 12:51:35 +0200760 u32 tailroom = SKB_DATA_ALIGN(sizeof(struct skb_shared_info));
761 u32 headroom = XDP_PACKET_HEADROOM;
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700762 u32 size = kattr->test.data_size_in;
763 u32 repeat = kattr->test.repeat;
Daniel Borkmann65073a62018-01-31 12:58:56 +0100764 struct netdev_rx_queue *rxqueue;
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700765 struct xdp_buff xdp = {};
766 u32 retval, duration;
Zvi Effron47316f42021-07-07 22:16:55 +0000767 struct xdp_md *ctx;
Jesper Dangaard Brouerbc56c912020-05-14 12:51:35 +0200768 u32 max_data_sz;
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700769 void *data;
Zvi Effron47316f42021-07-07 22:16:55 +0000770 int ret = -EINVAL;
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700771
Xuan Zhuo5e21bb42021-07-08 16:04:09 +0800772 if (prog->expected_attach_type == BPF_XDP_DEVMAP ||
773 prog->expected_attach_type == BPF_XDP_CPUMAP)
774 return -EINVAL;
Andrii Nakryiko6d4eb362021-08-04 08:37:50 -0700775
Zvi Effron47316f42021-07-07 22:16:55 +0000776 ctx = bpf_ctx_init(kattr, sizeof(struct xdp_md));
777 if (IS_ERR(ctx))
778 return PTR_ERR(ctx);
779
780 if (ctx) {
781 /* There can't be user provided data before the meta data */
782 if (ctx->data_meta || ctx->data_end != size ||
783 ctx->data > ctx->data_end ||
784 unlikely(xdp_metalen_invalid(ctx->data)))
785 goto free_ctx;
786 /* Meta data is allocated from the headroom */
787 headroom -= ctx->data;
788 }
Stanislav Fomichev947e8b52019-04-11 15:47:07 -0700789
Jesper Dangaard Brouerbc56c912020-05-14 12:51:35 +0200790 /* XDP have extra tailroom as (most) drivers use full page */
791 max_data_sz = 4096 - headroom - tailroom;
Jesper Dangaard Brouerbc56c912020-05-14 12:51:35 +0200792
793 data = bpf_test_init(kattr, max_data_sz, headroom, tailroom);
Zvi Effron47316f42021-07-07 22:16:55 +0000794 if (IS_ERR(data)) {
795 ret = PTR_ERR(data);
796 goto free_ctx;
797 }
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700798
Daniel Borkmann65073a62018-01-31 12:58:56 +0100799 rxqueue = __netif_get_rx_queue(current->nsproxy->net_ns->loopback_dev, 0);
Lorenzo Bianconi43b51692020-12-22 22:09:28 +0100800 xdp_init_buff(&xdp, headroom + max_data_sz + tailroom,
801 &rxqueue->xdp_rxq);
Lorenzo Bianconibe9df4a2020-12-22 22:09:29 +0100802 xdp_prepare_buff(&xdp, data, headroom, size, true);
803
Zvi Effron47316f42021-07-07 22:16:55 +0000804 ret = xdp_convert_md_to_buff(ctx, &xdp);
805 if (ret)
806 goto free_data;
807
Lorenz Bauerde21d8b2021-09-28 10:30:59 +0100808 if (repeat > 1)
809 bpf_prog_change_xdp(NULL, prog);
Björn Töpelf23c4b32019-12-13 18:51:10 +0100810 ret = bpf_test_run(prog, &xdp, repeat, &retval, &duration, true);
Zvi Effronec946702021-07-07 22:16:56 +0000811 /* We convert the xdp_buff back to an xdp_md before checking the return
812 * code so the reference count of any held netdevice will be decremented
813 * even if the test run failed.
814 */
815 xdp_convert_buff_to_md(&xdp, ctx);
Roman Gushchindcb40592018-12-01 10:39:44 -0800816 if (ret)
817 goto out;
Zvi Effron47316f42021-07-07 22:16:55 +0000818
819 if (xdp.data_meta != data + headroom ||
820 xdp.data_end != xdp.data_meta + size)
821 size = xdp.data_end - xdp.data_meta;
822
Zvi Effron47316f42021-07-07 22:16:55 +0000823 ret = bpf_test_finish(kattr, uattr, xdp.data_meta, size, retval,
824 duration);
825 if (!ret)
826 ret = bpf_ctx_finish(kattr, uattr, ctx,
827 sizeof(struct xdp_md));
828
Roman Gushchindcb40592018-12-01 10:39:44 -0800829out:
Lorenz Bauerde21d8b2021-09-28 10:30:59 +0100830 if (repeat > 1)
831 bpf_prog_change_xdp(prog, NULL);
Zvi Effron47316f42021-07-07 22:16:55 +0000832free_data:
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700833 kfree(data);
Zvi Effron47316f42021-07-07 22:16:55 +0000834free_ctx:
835 kfree(ctx);
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700836 return ret;
837}
Stanislav Fomichevb7a18482019-01-28 08:53:54 -0800838
Stanislav Fomichevb2ca4e12019-07-25 15:52:27 -0700839static int verify_user_bpf_flow_keys(struct bpf_flow_keys *ctx)
840{
841 /* make sure the fields we don't use are zeroed */
842 if (!range_is_zero(ctx, 0, offsetof(struct bpf_flow_keys, flags)))
843 return -EINVAL;
844
845 /* flags is allowed */
846
Stanislav Fomichevb590cb52019-12-10 11:19:33 -0800847 if (!range_is_zero(ctx, offsetofend(struct bpf_flow_keys, flags),
Stanislav Fomichevb2ca4e12019-07-25 15:52:27 -0700848 sizeof(struct bpf_flow_keys)))
849 return -EINVAL;
850
851 return 0;
852}
853
Stanislav Fomichevb7a18482019-01-28 08:53:54 -0800854int bpf_prog_test_run_flow_dissector(struct bpf_prog *prog,
855 const union bpf_attr *kattr,
856 union bpf_attr __user *uattr)
857{
Lorenz Bauer607b9cc2021-03-03 10:18:12 +0000858 struct bpf_test_timer t = { NO_PREEMPT };
Stanislav Fomichevb7a18482019-01-28 08:53:54 -0800859 u32 size = kattr->test.data_size_in;
Stanislav Fomichev7b8a1302019-04-22 08:55:45 -0700860 struct bpf_flow_dissector ctx = {};
Stanislav Fomichevb7a18482019-01-28 08:53:54 -0800861 u32 repeat = kattr->test.repeat;
Stanislav Fomichevb2ca4e12019-07-25 15:52:27 -0700862 struct bpf_flow_keys *user_ctx;
Stanislav Fomichevb7a18482019-01-28 08:53:54 -0800863 struct bpf_flow_keys flow_keys;
Stanislav Fomichev7b8a1302019-04-22 08:55:45 -0700864 const struct ethhdr *eth;
Stanislav Fomichevb2ca4e12019-07-25 15:52:27 -0700865 unsigned int flags = 0;
Stanislav Fomichevb7a18482019-01-28 08:53:54 -0800866 u32 retval, duration;
Stanislav Fomichevb7a18482019-01-28 08:53:54 -0800867 void *data;
868 int ret;
Stanislav Fomichevb7a18482019-01-28 08:53:54 -0800869
870 if (prog->type != BPF_PROG_TYPE_FLOW_DISSECTOR)
871 return -EINVAL;
872
Song Liu1b4d60e2020-09-25 13:54:29 -0700873 if (kattr->test.flags || kattr->test.cpu)
874 return -EINVAL;
875
Stanislav Fomichev7b8a1302019-04-22 08:55:45 -0700876 if (size < ETH_HLEN)
877 return -EINVAL;
878
879 data = bpf_test_init(kattr, size, 0, 0);
Stanislav Fomichevb7a18482019-01-28 08:53:54 -0800880 if (IS_ERR(data))
881 return PTR_ERR(data);
882
Stanislav Fomichev7b8a1302019-04-22 08:55:45 -0700883 eth = (struct ethhdr *)data;
Stanislav Fomichevb7a18482019-01-28 08:53:54 -0800884
Stanislav Fomichevb7a18482019-01-28 08:53:54 -0800885 if (!repeat)
886 repeat = 1;
887
Stanislav Fomichevb2ca4e12019-07-25 15:52:27 -0700888 user_ctx = bpf_ctx_init(kattr, sizeof(struct bpf_flow_keys));
889 if (IS_ERR(user_ctx)) {
890 kfree(data);
891 return PTR_ERR(user_ctx);
892 }
893 if (user_ctx) {
894 ret = verify_user_bpf_flow_keys(user_ctx);
895 if (ret)
896 goto out;
897 flags = user_ctx->flags;
898 }
899
Stanislav Fomichev7b8a1302019-04-22 08:55:45 -0700900 ctx.flow_keys = &flow_keys;
901 ctx.data = data;
902 ctx.data_end = (__u8 *)data + size;
903
Lorenz Bauer607b9cc2021-03-03 10:18:12 +0000904 bpf_test_timer_enter(&t);
905 do {
Stanislav Fomichev7b8a1302019-04-22 08:55:45 -0700906 retval = bpf_flow_dissect(prog, &ctx, eth->h_proto, ETH_HLEN,
Stanislav Fomichevb2ca4e12019-07-25 15:52:27 -0700907 size, flags);
Lorenz Bauer607b9cc2021-03-03 10:18:12 +0000908 } while (bpf_test_timer_continue(&t, repeat, &ret, &duration));
909 bpf_test_timer_leave(&t);
Stanislav Fomichev7b8a1302019-04-22 08:55:45 -0700910
Lorenz Bauer607b9cc2021-03-03 10:18:12 +0000911 if (ret < 0)
912 goto out;
Stanislav Fomichevb7a18482019-01-28 08:53:54 -0800913
914 ret = bpf_test_finish(kattr, uattr, &flow_keys, sizeof(flow_keys),
915 retval, duration);
Stanislav Fomichevb2ca4e12019-07-25 15:52:27 -0700916 if (!ret)
917 ret = bpf_ctx_finish(kattr, uattr, user_ctx,
918 sizeof(struct bpf_flow_keys));
Stanislav Fomichevb7a18482019-01-28 08:53:54 -0800919
Stanislav Fomicheva4391842019-02-19 10:54:17 -0800920out:
Stanislav Fomichevb2ca4e12019-07-25 15:52:27 -0700921 kfree(user_ctx);
Stanislav Fomichev7b8a1302019-04-22 08:55:45 -0700922 kfree(data);
Stanislav Fomichevb7a18482019-01-28 08:53:54 -0800923 return ret;
924}
Lorenz Bauer7c32e8f2021-03-03 10:18:13 +0000925
926int bpf_prog_test_run_sk_lookup(struct bpf_prog *prog, const union bpf_attr *kattr,
927 union bpf_attr __user *uattr)
928{
929 struct bpf_test_timer t = { NO_PREEMPT };
930 struct bpf_prog_array *progs = NULL;
931 struct bpf_sk_lookup_kern ctx = {};
932 u32 repeat = kattr->test.repeat;
933 struct bpf_sk_lookup *user_ctx;
934 u32 retval, duration;
935 int ret = -EINVAL;
936
937 if (prog->type != BPF_PROG_TYPE_SK_LOOKUP)
938 return -EINVAL;
939
940 if (kattr->test.flags || kattr->test.cpu)
941 return -EINVAL;
942
943 if (kattr->test.data_in || kattr->test.data_size_in || kattr->test.data_out ||
944 kattr->test.data_size_out)
945 return -EINVAL;
946
947 if (!repeat)
948 repeat = 1;
949
950 user_ctx = bpf_ctx_init(kattr, sizeof(*user_ctx));
951 if (IS_ERR(user_ctx))
952 return PTR_ERR(user_ctx);
953
954 if (!user_ctx)
955 return -EINVAL;
956
957 if (user_ctx->sk)
958 goto out;
959
960 if (!range_is_zero(user_ctx, offsetofend(typeof(*user_ctx), local_port), sizeof(*user_ctx)))
961 goto out;
962
963 if (user_ctx->local_port > U16_MAX || user_ctx->remote_port > U16_MAX) {
964 ret = -ERANGE;
965 goto out;
966 }
967
968 ctx.family = (u16)user_ctx->family;
969 ctx.protocol = (u16)user_ctx->protocol;
970 ctx.dport = (u16)user_ctx->local_port;
971 ctx.sport = (__force __be16)user_ctx->remote_port;
972
973 switch (ctx.family) {
974 case AF_INET:
975 ctx.v4.daddr = (__force __be32)user_ctx->local_ip4;
976 ctx.v4.saddr = (__force __be32)user_ctx->remote_ip4;
977 break;
978
979#if IS_ENABLED(CONFIG_IPV6)
980 case AF_INET6:
981 ctx.v6.daddr = (struct in6_addr *)user_ctx->local_ip6;
982 ctx.v6.saddr = (struct in6_addr *)user_ctx->remote_ip6;
983 break;
984#endif
985
986 default:
987 ret = -EAFNOSUPPORT;
988 goto out;
989 }
990
991 progs = bpf_prog_array_alloc(1, GFP_KERNEL);
992 if (!progs) {
993 ret = -ENOMEM;
994 goto out;
995 }
996
997 progs->items[0].prog = prog;
998
999 bpf_test_timer_enter(&t);
1000 do {
1001 ctx.selected_sk = NULL;
Andrii Nakryikofb7dd8b2021-08-15 00:05:54 -07001002 retval = BPF_PROG_SK_LOOKUP_RUN_ARRAY(progs, ctx, bpf_prog_run);
Lorenz Bauer7c32e8f2021-03-03 10:18:13 +00001003 } while (bpf_test_timer_continue(&t, repeat, &ret, &duration));
1004 bpf_test_timer_leave(&t);
1005
1006 if (ret < 0)
1007 goto out;
1008
1009 user_ctx->cookie = 0;
1010 if (ctx.selected_sk) {
1011 if (ctx.selected_sk->sk_reuseport && !ctx.no_reuseport) {
1012 ret = -EOPNOTSUPP;
1013 goto out;
1014 }
1015
1016 user_ctx->cookie = sock_gen_cookie(ctx.selected_sk);
1017 }
1018
1019 ret = bpf_test_finish(kattr, uattr, NULL, 0, retval, duration);
1020 if (!ret)
1021 ret = bpf_ctx_finish(kattr, uattr, user_ctx, sizeof(*user_ctx));
1022
1023out:
1024 bpf_prog_array_free(progs);
1025 kfree(user_ctx);
1026 return ret;
1027}
Alexei Starovoitov79a7f8b2021-05-13 17:36:03 -07001028
1029int bpf_prog_test_run_syscall(struct bpf_prog *prog,
1030 const union bpf_attr *kattr,
1031 union bpf_attr __user *uattr)
1032{
1033 void __user *ctx_in = u64_to_user_ptr(kattr->test.ctx_in);
1034 __u32 ctx_size_in = kattr->test.ctx_size_in;
1035 void *ctx = NULL;
1036 u32 retval;
1037 int err = 0;
1038
1039 /* doesn't support data_in/out, ctx_out, duration, or repeat or flags */
1040 if (kattr->test.data_in || kattr->test.data_out ||
1041 kattr->test.ctx_out || kattr->test.duration ||
1042 kattr->test.repeat || kattr->test.flags)
1043 return -EINVAL;
1044
1045 if (ctx_size_in < prog->aux->max_ctx_offset ||
1046 ctx_size_in > U16_MAX)
1047 return -EINVAL;
1048
1049 if (ctx_size_in) {
Qing Wangdb5b6a42021-10-18 04:30:48 -07001050 ctx = memdup_user(ctx_in, ctx_size_in);
1051 if (IS_ERR(ctx))
1052 return PTR_ERR(ctx);
Alexei Starovoitov79a7f8b2021-05-13 17:36:03 -07001053 }
Yonghong Song87b7b532021-08-09 16:51:51 -07001054
1055 rcu_read_lock_trace();
Alexei Starovoitov79a7f8b2021-05-13 17:36:03 -07001056 retval = bpf_prog_run_pin_on_cpu(prog, ctx);
Yonghong Song87b7b532021-08-09 16:51:51 -07001057 rcu_read_unlock_trace();
Alexei Starovoitov79a7f8b2021-05-13 17:36:03 -07001058
1059 if (copy_to_user(&uattr->test.retval, &retval, sizeof(u32))) {
1060 err = -EFAULT;
1061 goto out;
1062 }
1063 if (ctx_size_in)
1064 if (copy_to_user(ctx_in, ctx, ctx_size_in))
1065 err = -EFAULT;
1066out:
1067 kfree(ctx);
1068 return err;
1069}