xref: /openbmc/linux/net/bpf/test_run.c (revision d800bad67d4c21aaf11722f04e0f7547fb915ab5)
125763b3cSThomas Gleixner // SPDX-License-Identifier: GPL-2.0-only
21cf1cae9SAlexei Starovoitov /* Copyright (c) 2017 Facebook
31cf1cae9SAlexei Starovoitov  */
41cf1cae9SAlexei Starovoitov #include <linux/bpf.h>
51cf1cae9SAlexei Starovoitov #include <linux/slab.h>
61cf1cae9SAlexei Starovoitov #include <linux/vmalloc.h>
71cf1cae9SAlexei Starovoitov #include <linux/etherdevice.h>
81cf1cae9SAlexei Starovoitov #include <linux/filter.h>
91cf1cae9SAlexei Starovoitov #include <linux/sched/signal.h>
106ac99e8fSMartin KaFai Lau #include <net/bpf_sk_storage.h>
112cb494a3SSong Liu #include <net/sock.h>
122cb494a3SSong Liu #include <net/tcp.h>
133d08b6f2SKP Singh #include <linux/error-injection.h>
141cf1cae9SAlexei Starovoitov 
15e950e843SMatt Mullins #define CREATE_TRACE_POINTS
16e950e843SMatt Mullins #include <trace/events/bpf_test_run.h>
17e950e843SMatt Mullins 
18df1a2cb7SStanislav Fomichev static int bpf_test_run(struct bpf_prog *prog, void *ctx, u32 repeat,
19f23c4b39SBjörn Töpel 			u32 *retval, u32 *time, bool xdp)
201cf1cae9SAlexei Starovoitov {
2171b91a50SBo YU 	struct bpf_cgroup_storage *storage[MAX_BPF_CGROUP_STORAGE_TYPE] = { NULL };
228bad74f9SRoman Gushchin 	enum bpf_cgroup_storage_type stype;
231cf1cae9SAlexei Starovoitov 	u64 time_start, time_spent = 0;
24df1a2cb7SStanislav Fomichev 	int ret = 0;
25dcb40590SRoman Gushchin 	u32 i;
261cf1cae9SAlexei Starovoitov 
278bad74f9SRoman Gushchin 	for_each_cgroup_storage_type(stype) {
288bad74f9SRoman Gushchin 		storage[stype] = bpf_cgroup_storage_alloc(prog, stype);
298bad74f9SRoman Gushchin 		if (IS_ERR(storage[stype])) {
308bad74f9SRoman Gushchin 			storage[stype] = NULL;
318bad74f9SRoman Gushchin 			for_each_cgroup_storage_type(stype)
328bad74f9SRoman Gushchin 				bpf_cgroup_storage_free(storage[stype]);
338bad74f9SRoman Gushchin 			return -ENOMEM;
348bad74f9SRoman Gushchin 		}
358bad74f9SRoman Gushchin 	}
36f42ee093SRoman Gushchin 
371cf1cae9SAlexei Starovoitov 	if (!repeat)
381cf1cae9SAlexei Starovoitov 		repeat = 1;
39df1a2cb7SStanislav Fomichev 
40df1a2cb7SStanislav Fomichev 	rcu_read_lock();
416eac7795SDavid Miller 	migrate_disable();
421cf1cae9SAlexei Starovoitov 	time_start = ktime_get_ns();
431cf1cae9SAlexei Starovoitov 	for (i = 0; i < repeat; i++) {
44df1a2cb7SStanislav Fomichev 		bpf_cgroup_storage_set(storage);
45f23c4b39SBjörn Töpel 
46f23c4b39SBjörn Töpel 		if (xdp)
47f23c4b39SBjörn Töpel 			*retval = bpf_prog_run_xdp(prog, ctx);
48f23c4b39SBjörn Töpel 		else
49df1a2cb7SStanislav Fomichev 			*retval = BPF_PROG_RUN(prog, ctx);
50df1a2cb7SStanislav Fomichev 
51df1a2cb7SStanislav Fomichev 		if (signal_pending(current)) {
52df1a2cb7SStanislav Fomichev 			ret = -EINTR;
531cf1cae9SAlexei Starovoitov 			break;
54df1a2cb7SStanislav Fomichev 		}
55df1a2cb7SStanislav Fomichev 
56df1a2cb7SStanislav Fomichev 		if (need_resched()) {
571cf1cae9SAlexei Starovoitov 			time_spent += ktime_get_ns() - time_start;
586eac7795SDavid Miller 			migrate_enable();
59df1a2cb7SStanislav Fomichev 			rcu_read_unlock();
60df1a2cb7SStanislav Fomichev 
611cf1cae9SAlexei Starovoitov 			cond_resched();
62df1a2cb7SStanislav Fomichev 
63df1a2cb7SStanislav Fomichev 			rcu_read_lock();
646eac7795SDavid Miller 			migrate_disable();
651cf1cae9SAlexei Starovoitov 			time_start = ktime_get_ns();
661cf1cae9SAlexei Starovoitov 		}
671cf1cae9SAlexei Starovoitov 	}
681cf1cae9SAlexei Starovoitov 	time_spent += ktime_get_ns() - time_start;
696eac7795SDavid Miller 	migrate_enable();
70df1a2cb7SStanislav Fomichev 	rcu_read_unlock();
71df1a2cb7SStanislav Fomichev 
721cf1cae9SAlexei Starovoitov 	do_div(time_spent, repeat);
731cf1cae9SAlexei Starovoitov 	*time = time_spent > U32_MAX ? U32_MAX : (u32)time_spent;
741cf1cae9SAlexei Starovoitov 
758bad74f9SRoman Gushchin 	for_each_cgroup_storage_type(stype)
768bad74f9SRoman Gushchin 		bpf_cgroup_storage_free(storage[stype]);
77f42ee093SRoman Gushchin 
78df1a2cb7SStanislav Fomichev 	return ret;
791cf1cae9SAlexei Starovoitov }
801cf1cae9SAlexei Starovoitov 
8178e52272SDavid Miller static int bpf_test_finish(const union bpf_attr *kattr,
8278e52272SDavid Miller 			   union bpf_attr __user *uattr, const void *data,
831cf1cae9SAlexei Starovoitov 			   u32 size, u32 retval, u32 duration)
841cf1cae9SAlexei Starovoitov {
8578e52272SDavid Miller 	void __user *data_out = u64_to_user_ptr(kattr->test.data_out);
861cf1cae9SAlexei Starovoitov 	int err = -EFAULT;
87b5a36b1eSLorenz Bauer 	u32 copy_size = size;
881cf1cae9SAlexei Starovoitov 
89b5a36b1eSLorenz Bauer 	/* Clamp copy if the user has provided a size hint, but copy the full
90b5a36b1eSLorenz Bauer 	 * buffer if not to retain old behaviour.
91b5a36b1eSLorenz Bauer 	 */
92b5a36b1eSLorenz Bauer 	if (kattr->test.data_size_out &&
93b5a36b1eSLorenz Bauer 	    copy_size > kattr->test.data_size_out) {
94b5a36b1eSLorenz Bauer 		copy_size = kattr->test.data_size_out;
95b5a36b1eSLorenz Bauer 		err = -ENOSPC;
96b5a36b1eSLorenz Bauer 	}
97b5a36b1eSLorenz Bauer 
98b5a36b1eSLorenz Bauer 	if (data_out && copy_to_user(data_out, data, copy_size))
991cf1cae9SAlexei Starovoitov 		goto out;
1001cf1cae9SAlexei Starovoitov 	if (copy_to_user(&uattr->test.data_size_out, &size, sizeof(size)))
1011cf1cae9SAlexei Starovoitov 		goto out;
1021cf1cae9SAlexei Starovoitov 	if (copy_to_user(&uattr->test.retval, &retval, sizeof(retval)))
1031cf1cae9SAlexei Starovoitov 		goto out;
1041cf1cae9SAlexei Starovoitov 	if (copy_to_user(&uattr->test.duration, &duration, sizeof(duration)))
1051cf1cae9SAlexei Starovoitov 		goto out;
106b5a36b1eSLorenz Bauer 	if (err != -ENOSPC)
1071cf1cae9SAlexei Starovoitov 		err = 0;
1081cf1cae9SAlexei Starovoitov out:
109e950e843SMatt Mullins 	trace_bpf_test_finish(&err);
1101cf1cae9SAlexei Starovoitov 	return err;
1111cf1cae9SAlexei Starovoitov }
1121cf1cae9SAlexei Starovoitov 
113faeb2dceSAlexei Starovoitov /* Integer types of various sizes and pointer combinations cover variety of
114faeb2dceSAlexei Starovoitov  * architecture dependent calling conventions. 7+ can be supported in the
115faeb2dceSAlexei Starovoitov  * future.
116faeb2dceSAlexei Starovoitov  */
117e9ff9d52SJean-Philippe Menil __diag_push();
118e9ff9d52SJean-Philippe Menil __diag_ignore(GCC, 8, "-Wmissing-prototypes",
119e9ff9d52SJean-Philippe Menil 	      "Global functions as their definitions will be in vmlinux BTF");
120faeb2dceSAlexei Starovoitov int noinline bpf_fentry_test1(int a)
121faeb2dceSAlexei Starovoitov {
122faeb2dceSAlexei Starovoitov 	return a + 1;
123faeb2dceSAlexei Starovoitov }
124faeb2dceSAlexei Starovoitov 
125faeb2dceSAlexei Starovoitov int noinline bpf_fentry_test2(int a, u64 b)
126faeb2dceSAlexei Starovoitov {
127faeb2dceSAlexei Starovoitov 	return a + b;
128faeb2dceSAlexei Starovoitov }
129faeb2dceSAlexei Starovoitov 
130faeb2dceSAlexei Starovoitov int noinline bpf_fentry_test3(char a, int b, u64 c)
131faeb2dceSAlexei Starovoitov {
132faeb2dceSAlexei Starovoitov 	return a + b + c;
133faeb2dceSAlexei Starovoitov }
134faeb2dceSAlexei Starovoitov 
135faeb2dceSAlexei Starovoitov int noinline bpf_fentry_test4(void *a, char b, int c, u64 d)
136faeb2dceSAlexei Starovoitov {
137faeb2dceSAlexei Starovoitov 	return (long)a + b + c + d;
138faeb2dceSAlexei Starovoitov }
139faeb2dceSAlexei Starovoitov 
140faeb2dceSAlexei Starovoitov int noinline bpf_fentry_test5(u64 a, void *b, short c, int d, u64 e)
141faeb2dceSAlexei Starovoitov {
142faeb2dceSAlexei Starovoitov 	return a + (long)b + c + d + e;
143faeb2dceSAlexei Starovoitov }
144faeb2dceSAlexei Starovoitov 
145faeb2dceSAlexei Starovoitov int noinline bpf_fentry_test6(u64 a, void *b, short c, int d, void *e, u64 f)
146faeb2dceSAlexei Starovoitov {
147faeb2dceSAlexei Starovoitov 	return a + (long)b + c + d + (long)e + f;
148faeb2dceSAlexei Starovoitov }
149faeb2dceSAlexei Starovoitov 
1503d08b6f2SKP Singh int noinline bpf_modify_return_test(int a, int *b)
1513d08b6f2SKP Singh {
1523d08b6f2SKP Singh 	*b += 1;
1533d08b6f2SKP Singh 	return a + *b;
1543d08b6f2SKP Singh }
155e9ff9d52SJean-Philippe Menil __diag_pop();
1563d08b6f2SKP Singh 
1573d08b6f2SKP Singh ALLOW_ERROR_INJECTION(bpf_modify_return_test, ERRNO);
1583d08b6f2SKP Singh 
1591cf1cae9SAlexei Starovoitov static void *bpf_test_init(const union bpf_attr *kattr, u32 size,
1601cf1cae9SAlexei Starovoitov 			   u32 headroom, u32 tailroom)
1611cf1cae9SAlexei Starovoitov {
1621cf1cae9SAlexei Starovoitov 	void __user *data_in = u64_to_user_ptr(kattr->test.data_in);
163*d800bad6SJesper Dangaard Brouer 	u32 user_size = kattr->test.data_size_in;
1641cf1cae9SAlexei Starovoitov 	void *data;
1651cf1cae9SAlexei Starovoitov 
1661cf1cae9SAlexei Starovoitov 	if (size < ETH_HLEN || size > PAGE_SIZE - headroom - tailroom)
1671cf1cae9SAlexei Starovoitov 		return ERR_PTR(-EINVAL);
1681cf1cae9SAlexei Starovoitov 
169*d800bad6SJesper Dangaard Brouer 	if (user_size > size)
170*d800bad6SJesper Dangaard Brouer 		return ERR_PTR(-EMSGSIZE);
171*d800bad6SJesper Dangaard Brouer 
1721cf1cae9SAlexei Starovoitov 	data = kzalloc(size + headroom + tailroom, GFP_USER);
1731cf1cae9SAlexei Starovoitov 	if (!data)
1741cf1cae9SAlexei Starovoitov 		return ERR_PTR(-ENOMEM);
1751cf1cae9SAlexei Starovoitov 
176*d800bad6SJesper Dangaard Brouer 	if (copy_from_user(data + headroom, data_in, user_size)) {
1771cf1cae9SAlexei Starovoitov 		kfree(data);
1781cf1cae9SAlexei Starovoitov 		return ERR_PTR(-EFAULT);
1791cf1cae9SAlexei Starovoitov 	}
180da00d2f1SKP Singh 
181da00d2f1SKP Singh 	return data;
182da00d2f1SKP Singh }
183da00d2f1SKP Singh 
184da00d2f1SKP Singh int bpf_prog_test_run_tracing(struct bpf_prog *prog,
185da00d2f1SKP Singh 			      const union bpf_attr *kattr,
186da00d2f1SKP Singh 			      union bpf_attr __user *uattr)
187da00d2f1SKP Singh {
1883d08b6f2SKP Singh 	u16 side_effect = 0, ret = 0;
1893d08b6f2SKP Singh 	int b = 2, err = -EFAULT;
1903d08b6f2SKP Singh 	u32 retval = 0;
191da00d2f1SKP Singh 
192da00d2f1SKP Singh 	switch (prog->expected_attach_type) {
193da00d2f1SKP Singh 	case BPF_TRACE_FENTRY:
194da00d2f1SKP Singh 	case BPF_TRACE_FEXIT:
195faeb2dceSAlexei Starovoitov 		if (bpf_fentry_test1(1) != 2 ||
196faeb2dceSAlexei Starovoitov 		    bpf_fentry_test2(2, 3) != 5 ||
197faeb2dceSAlexei Starovoitov 		    bpf_fentry_test3(4, 5, 6) != 15 ||
198faeb2dceSAlexei Starovoitov 		    bpf_fentry_test4((void *)7, 8, 9, 10) != 34 ||
199faeb2dceSAlexei Starovoitov 		    bpf_fentry_test5(11, (void *)12, 13, 14, 15) != 65 ||
200da00d2f1SKP Singh 		    bpf_fentry_test6(16, (void *)17, 18, 19, (void *)20, 21) != 111)
201da00d2f1SKP Singh 			goto out;
202da00d2f1SKP Singh 		break;
2033d08b6f2SKP Singh 	case BPF_MODIFY_RETURN:
2043d08b6f2SKP Singh 		ret = bpf_modify_return_test(1, &b);
2053d08b6f2SKP Singh 		if (b != 2)
2063d08b6f2SKP Singh 			side_effect = 1;
2073d08b6f2SKP Singh 		break;
208da00d2f1SKP Singh 	default:
209da00d2f1SKP Singh 		goto out;
210a25ecd9dSColin Ian King 	}
211da00d2f1SKP Singh 
2123d08b6f2SKP Singh 	retval = ((u32)side_effect << 16) | ret;
2133d08b6f2SKP Singh 	if (copy_to_user(&uattr->test.retval, &retval, sizeof(retval)))
2143d08b6f2SKP Singh 		goto out;
2153d08b6f2SKP Singh 
216da00d2f1SKP Singh 	err = 0;
217da00d2f1SKP Singh out:
218da00d2f1SKP Singh 	trace_bpf_test_finish(&err);
219da00d2f1SKP Singh 	return err;
2201cf1cae9SAlexei Starovoitov }
2211cf1cae9SAlexei Starovoitov 
222b0b9395dSStanislav Fomichev static void *bpf_ctx_init(const union bpf_attr *kattr, u32 max_size)
223b0b9395dSStanislav Fomichev {
224b0b9395dSStanislav Fomichev 	void __user *data_in = u64_to_user_ptr(kattr->test.ctx_in);
225b0b9395dSStanislav Fomichev 	void __user *data_out = u64_to_user_ptr(kattr->test.ctx_out);
226b0b9395dSStanislav Fomichev 	u32 size = kattr->test.ctx_size_in;
227b0b9395dSStanislav Fomichev 	void *data;
228b0b9395dSStanislav Fomichev 	int err;
229b0b9395dSStanislav Fomichev 
230b0b9395dSStanislav Fomichev 	if (!data_in && !data_out)
231b0b9395dSStanislav Fomichev 		return NULL;
232b0b9395dSStanislav Fomichev 
233b0b9395dSStanislav Fomichev 	data = kzalloc(max_size, GFP_USER);
234b0b9395dSStanislav Fomichev 	if (!data)
235b0b9395dSStanislav Fomichev 		return ERR_PTR(-ENOMEM);
236b0b9395dSStanislav Fomichev 
237b0b9395dSStanislav Fomichev 	if (data_in) {
238b0b9395dSStanislav Fomichev 		err = bpf_check_uarg_tail_zero(data_in, max_size, size);
239b0b9395dSStanislav Fomichev 		if (err) {
240b0b9395dSStanislav Fomichev 			kfree(data);
241b0b9395dSStanislav Fomichev 			return ERR_PTR(err);
242b0b9395dSStanislav Fomichev 		}
243b0b9395dSStanislav Fomichev 
244b0b9395dSStanislav Fomichev 		size = min_t(u32, max_size, size);
245b0b9395dSStanislav Fomichev 		if (copy_from_user(data, data_in, size)) {
246b0b9395dSStanislav Fomichev 			kfree(data);
247b0b9395dSStanislav Fomichev 			return ERR_PTR(-EFAULT);
248b0b9395dSStanislav Fomichev 		}
249b0b9395dSStanislav Fomichev 	}
250b0b9395dSStanislav Fomichev 	return data;
251b0b9395dSStanislav Fomichev }
252b0b9395dSStanislav Fomichev 
253b0b9395dSStanislav Fomichev static int bpf_ctx_finish(const union bpf_attr *kattr,
254b0b9395dSStanislav Fomichev 			  union bpf_attr __user *uattr, const void *data,
255b0b9395dSStanislav Fomichev 			  u32 size)
256b0b9395dSStanislav Fomichev {
257b0b9395dSStanislav Fomichev 	void __user *data_out = u64_to_user_ptr(kattr->test.ctx_out);
258b0b9395dSStanislav Fomichev 	int err = -EFAULT;
259b0b9395dSStanislav Fomichev 	u32 copy_size = size;
260b0b9395dSStanislav Fomichev 
261b0b9395dSStanislav Fomichev 	if (!data || !data_out)
262b0b9395dSStanislav Fomichev 		return 0;
263b0b9395dSStanislav Fomichev 
264b0b9395dSStanislav Fomichev 	if (copy_size > kattr->test.ctx_size_out) {
265b0b9395dSStanislav Fomichev 		copy_size = kattr->test.ctx_size_out;
266b0b9395dSStanislav Fomichev 		err = -ENOSPC;
267b0b9395dSStanislav Fomichev 	}
268b0b9395dSStanislav Fomichev 
269b0b9395dSStanislav Fomichev 	if (copy_to_user(data_out, data, copy_size))
270b0b9395dSStanislav Fomichev 		goto out;
271b0b9395dSStanislav Fomichev 	if (copy_to_user(&uattr->test.ctx_size_out, &size, sizeof(size)))
272b0b9395dSStanislav Fomichev 		goto out;
273b0b9395dSStanislav Fomichev 	if (err != -ENOSPC)
274b0b9395dSStanislav Fomichev 		err = 0;
275b0b9395dSStanislav Fomichev out:
276b0b9395dSStanislav Fomichev 	return err;
277b0b9395dSStanislav Fomichev }
278b0b9395dSStanislav Fomichev 
279b0b9395dSStanislav Fomichev /**
280b0b9395dSStanislav Fomichev  * range_is_zero - test whether buffer is initialized
281b0b9395dSStanislav Fomichev  * @buf: buffer to check
282b0b9395dSStanislav Fomichev  * @from: check from this position
283b0b9395dSStanislav Fomichev  * @to: check up until (excluding) this position
284b0b9395dSStanislav Fomichev  *
285b0b9395dSStanislav Fomichev  * This function returns true if the there is a non-zero byte
286b0b9395dSStanislav Fomichev  * in the buf in the range [from,to).
287b0b9395dSStanislav Fomichev  */
288b0b9395dSStanislav Fomichev static inline bool range_is_zero(void *buf, size_t from, size_t to)
289b0b9395dSStanislav Fomichev {
290b0b9395dSStanislav Fomichev 	return !memchr_inv((u8 *)buf + from, 0, to - from);
291b0b9395dSStanislav Fomichev }
292b0b9395dSStanislav Fomichev 
293b0b9395dSStanislav Fomichev static int convert___skb_to_skb(struct sk_buff *skb, struct __sk_buff *__skb)
294b0b9395dSStanislav Fomichev {
295b0b9395dSStanislav Fomichev 	struct qdisc_skb_cb *cb = (struct qdisc_skb_cb *)skb->cb;
296b0b9395dSStanislav Fomichev 
297b0b9395dSStanislav Fomichev 	if (!__skb)
298b0b9395dSStanislav Fomichev 		return 0;
299b0b9395dSStanislav Fomichev 
300b0b9395dSStanislav Fomichev 	/* make sure the fields we don't use are zeroed */
3016de6c1f8SNikita V. Shirokov 	if (!range_is_zero(__skb, 0, offsetof(struct __sk_buff, mark)))
3026de6c1f8SNikita V. Shirokov 		return -EINVAL;
3036de6c1f8SNikita V. Shirokov 
3046de6c1f8SNikita V. Shirokov 	/* mark is allowed */
3056de6c1f8SNikita V. Shirokov 
3066de6c1f8SNikita V. Shirokov 	if (!range_is_zero(__skb, offsetofend(struct __sk_buff, mark),
3076de6c1f8SNikita V. Shirokov 			   offsetof(struct __sk_buff, priority)))
308b0b9395dSStanislav Fomichev 		return -EINVAL;
309b0b9395dSStanislav Fomichev 
310b0b9395dSStanislav Fomichev 	/* priority is allowed */
311b0b9395dSStanislav Fomichev 
312b590cb5fSStanislav Fomichev 	if (!range_is_zero(__skb, offsetofend(struct __sk_buff, priority),
313b0b9395dSStanislav Fomichev 			   offsetof(struct __sk_buff, cb)))
314b0b9395dSStanislav Fomichev 		return -EINVAL;
315b0b9395dSStanislav Fomichev 
316b0b9395dSStanislav Fomichev 	/* cb is allowed */
317b0b9395dSStanislav Fomichev 
318b590cb5fSStanislav Fomichev 	if (!range_is_zero(__skb, offsetofend(struct __sk_buff, cb),
319ba940948SStanislav Fomichev 			   offsetof(struct __sk_buff, tstamp)))
320ba940948SStanislav Fomichev 		return -EINVAL;
321ba940948SStanislav Fomichev 
322ba940948SStanislav Fomichev 	/* tstamp is allowed */
323850a88ccSStanislav Fomichev 	/* wire_len is allowed */
324850a88ccSStanislav Fomichev 	/* gso_segs is allowed */
325ba940948SStanislav Fomichev 
326850a88ccSStanislav Fomichev 	if (!range_is_zero(__skb, offsetofend(struct __sk_buff, gso_segs),
327cf62089bSWillem de Bruijn 			   offsetof(struct __sk_buff, gso_size)))
328cf62089bSWillem de Bruijn 		return -EINVAL;
329cf62089bSWillem de Bruijn 
330cf62089bSWillem de Bruijn 	/* gso_size is allowed */
331cf62089bSWillem de Bruijn 
332cf62089bSWillem de Bruijn 	if (!range_is_zero(__skb, offsetofend(struct __sk_buff, gso_size),
333b0b9395dSStanislav Fomichev 			   sizeof(struct __sk_buff)))
334b0b9395dSStanislav Fomichev 		return -EINVAL;
335b0b9395dSStanislav Fomichev 
3366de6c1f8SNikita V. Shirokov 	skb->mark = __skb->mark;
337b0b9395dSStanislav Fomichev 	skb->priority = __skb->priority;
338ba940948SStanislav Fomichev 	skb->tstamp = __skb->tstamp;
339b0b9395dSStanislav Fomichev 	memcpy(&cb->data, __skb->cb, QDISC_CB_PRIV_LEN);
340b0b9395dSStanislav Fomichev 
341850a88ccSStanislav Fomichev 	if (__skb->wire_len == 0) {
342850a88ccSStanislav Fomichev 		cb->pkt_len = skb->len;
343850a88ccSStanislav Fomichev 	} else {
344850a88ccSStanislav Fomichev 		if (__skb->wire_len < skb->len ||
345850a88ccSStanislav Fomichev 		    __skb->wire_len > GSO_MAX_SIZE)
346850a88ccSStanislav Fomichev 			return -EINVAL;
347850a88ccSStanislav Fomichev 		cb->pkt_len = __skb->wire_len;
348850a88ccSStanislav Fomichev 	}
349850a88ccSStanislav Fomichev 
350850a88ccSStanislav Fomichev 	if (__skb->gso_segs > GSO_MAX_SEGS)
351850a88ccSStanislav Fomichev 		return -EINVAL;
352850a88ccSStanislav Fomichev 	skb_shinfo(skb)->gso_segs = __skb->gso_segs;
353cf62089bSWillem de Bruijn 	skb_shinfo(skb)->gso_size = __skb->gso_size;
354850a88ccSStanislav Fomichev 
355b0b9395dSStanislav Fomichev 	return 0;
356b0b9395dSStanislav Fomichev }
357b0b9395dSStanislav Fomichev 
358b0b9395dSStanislav Fomichev static void convert_skb_to___skb(struct sk_buff *skb, struct __sk_buff *__skb)
359b0b9395dSStanislav Fomichev {
360b0b9395dSStanislav Fomichev 	struct qdisc_skb_cb *cb = (struct qdisc_skb_cb *)skb->cb;
361b0b9395dSStanislav Fomichev 
362b0b9395dSStanislav Fomichev 	if (!__skb)
363b0b9395dSStanislav Fomichev 		return;
364b0b9395dSStanislav Fomichev 
3656de6c1f8SNikita V. Shirokov 	__skb->mark = skb->mark;
366b0b9395dSStanislav Fomichev 	__skb->priority = skb->priority;
367ba940948SStanislav Fomichev 	__skb->tstamp = skb->tstamp;
368b0b9395dSStanislav Fomichev 	memcpy(__skb->cb, &cb->data, QDISC_CB_PRIV_LEN);
369850a88ccSStanislav Fomichev 	__skb->wire_len = cb->pkt_len;
370850a88ccSStanislav Fomichev 	__skb->gso_segs = skb_shinfo(skb)->gso_segs;
371b0b9395dSStanislav Fomichev }
372b0b9395dSStanislav Fomichev 
3731cf1cae9SAlexei Starovoitov int bpf_prog_test_run_skb(struct bpf_prog *prog, const union bpf_attr *kattr,
3741cf1cae9SAlexei Starovoitov 			  union bpf_attr __user *uattr)
3751cf1cae9SAlexei Starovoitov {
3761cf1cae9SAlexei Starovoitov 	bool is_l2 = false, is_direct_pkt_access = false;
3771cf1cae9SAlexei Starovoitov 	u32 size = kattr->test.data_size_in;
3781cf1cae9SAlexei Starovoitov 	u32 repeat = kattr->test.repeat;
379b0b9395dSStanislav Fomichev 	struct __sk_buff *ctx = NULL;
3801cf1cae9SAlexei Starovoitov 	u32 retval, duration;
3816e6fddc7SDaniel Borkmann 	int hh_len = ETH_HLEN;
3821cf1cae9SAlexei Starovoitov 	struct sk_buff *skb;
3832cb494a3SSong Liu 	struct sock *sk;
3841cf1cae9SAlexei Starovoitov 	void *data;
3851cf1cae9SAlexei Starovoitov 	int ret;
3861cf1cae9SAlexei Starovoitov 
387586f8525SDavid Miller 	data = bpf_test_init(kattr, size, NET_SKB_PAD + NET_IP_ALIGN,
3881cf1cae9SAlexei Starovoitov 			     SKB_DATA_ALIGN(sizeof(struct skb_shared_info)));
3891cf1cae9SAlexei Starovoitov 	if (IS_ERR(data))
3901cf1cae9SAlexei Starovoitov 		return PTR_ERR(data);
3911cf1cae9SAlexei Starovoitov 
392b0b9395dSStanislav Fomichev 	ctx = bpf_ctx_init(kattr, sizeof(struct __sk_buff));
393b0b9395dSStanislav Fomichev 	if (IS_ERR(ctx)) {
394b0b9395dSStanislav Fomichev 		kfree(data);
395b0b9395dSStanislav Fomichev 		return PTR_ERR(ctx);
396b0b9395dSStanislav Fomichev 	}
397b0b9395dSStanislav Fomichev 
3981cf1cae9SAlexei Starovoitov 	switch (prog->type) {
3991cf1cae9SAlexei Starovoitov 	case BPF_PROG_TYPE_SCHED_CLS:
4001cf1cae9SAlexei Starovoitov 	case BPF_PROG_TYPE_SCHED_ACT:
4011cf1cae9SAlexei Starovoitov 		is_l2 = true;
4021cf1cae9SAlexei Starovoitov 		/* fall through */
4031cf1cae9SAlexei Starovoitov 	case BPF_PROG_TYPE_LWT_IN:
4041cf1cae9SAlexei Starovoitov 	case BPF_PROG_TYPE_LWT_OUT:
4051cf1cae9SAlexei Starovoitov 	case BPF_PROG_TYPE_LWT_XMIT:
4061cf1cae9SAlexei Starovoitov 		is_direct_pkt_access = true;
4071cf1cae9SAlexei Starovoitov 		break;
4081cf1cae9SAlexei Starovoitov 	default:
4091cf1cae9SAlexei Starovoitov 		break;
4101cf1cae9SAlexei Starovoitov 	}
4111cf1cae9SAlexei Starovoitov 
4122cb494a3SSong Liu 	sk = kzalloc(sizeof(struct sock), GFP_USER);
4132cb494a3SSong Liu 	if (!sk) {
4141cf1cae9SAlexei Starovoitov 		kfree(data);
415b0b9395dSStanislav Fomichev 		kfree(ctx);
4161cf1cae9SAlexei Starovoitov 		return -ENOMEM;
4171cf1cae9SAlexei Starovoitov 	}
4182cb494a3SSong Liu 	sock_net_set(sk, current->nsproxy->net_ns);
4192cb494a3SSong Liu 	sock_init_data(NULL, sk);
4202cb494a3SSong Liu 
4212cb494a3SSong Liu 	skb = build_skb(data, 0);
4222cb494a3SSong Liu 	if (!skb) {
4232cb494a3SSong Liu 		kfree(data);
424b0b9395dSStanislav Fomichev 		kfree(ctx);
4252cb494a3SSong Liu 		kfree(sk);
4262cb494a3SSong Liu 		return -ENOMEM;
4272cb494a3SSong Liu 	}
4282cb494a3SSong Liu 	skb->sk = sk;
4291cf1cae9SAlexei Starovoitov 
430586f8525SDavid Miller 	skb_reserve(skb, NET_SKB_PAD + NET_IP_ALIGN);
4311cf1cae9SAlexei Starovoitov 	__skb_put(skb, size);
4321cf1cae9SAlexei Starovoitov 	skb->protocol = eth_type_trans(skb, current->nsproxy->net_ns->loopback_dev);
4331cf1cae9SAlexei Starovoitov 	skb_reset_network_header(skb);
4341cf1cae9SAlexei Starovoitov 
4351cf1cae9SAlexei Starovoitov 	if (is_l2)
4366e6fddc7SDaniel Borkmann 		__skb_push(skb, hh_len);
4371cf1cae9SAlexei Starovoitov 	if (is_direct_pkt_access)
4386aaae2b6SDaniel Borkmann 		bpf_compute_data_pointers(skb);
439b0b9395dSStanislav Fomichev 	ret = convert___skb_to_skb(skb, ctx);
440b0b9395dSStanislav Fomichev 	if (ret)
441b0b9395dSStanislav Fomichev 		goto out;
442f23c4b39SBjörn Töpel 	ret = bpf_test_run(prog, skb, repeat, &retval, &duration, false);
443b0b9395dSStanislav Fomichev 	if (ret)
444b0b9395dSStanislav Fomichev 		goto out;
4456e6fddc7SDaniel Borkmann 	if (!is_l2) {
4466e6fddc7SDaniel Borkmann 		if (skb_headroom(skb) < hh_len) {
4476e6fddc7SDaniel Borkmann 			int nhead = HH_DATA_ALIGN(hh_len - skb_headroom(skb));
4486e6fddc7SDaniel Borkmann 
4496e6fddc7SDaniel Borkmann 			if (pskb_expand_head(skb, nhead, 0, GFP_USER)) {
450b0b9395dSStanislav Fomichev 				ret = -ENOMEM;
451b0b9395dSStanislav Fomichev 				goto out;
4526e6fddc7SDaniel Borkmann 			}
4536e6fddc7SDaniel Borkmann 		}
4546e6fddc7SDaniel Borkmann 		memset(__skb_push(skb, hh_len), 0, hh_len);
4556e6fddc7SDaniel Borkmann 	}
456b0b9395dSStanislav Fomichev 	convert_skb_to___skb(skb, ctx);
4576e6fddc7SDaniel Borkmann 
4581cf1cae9SAlexei Starovoitov 	size = skb->len;
4591cf1cae9SAlexei Starovoitov 	/* bpf program can never convert linear skb to non-linear */
4601cf1cae9SAlexei Starovoitov 	if (WARN_ON_ONCE(skb_is_nonlinear(skb)))
4611cf1cae9SAlexei Starovoitov 		size = skb_headlen(skb);
46278e52272SDavid Miller 	ret = bpf_test_finish(kattr, uattr, skb->data, size, retval, duration);
463b0b9395dSStanislav Fomichev 	if (!ret)
464b0b9395dSStanislav Fomichev 		ret = bpf_ctx_finish(kattr, uattr, ctx,
465b0b9395dSStanislav Fomichev 				     sizeof(struct __sk_buff));
466b0b9395dSStanislav Fomichev out:
4671cf1cae9SAlexei Starovoitov 	kfree_skb(skb);
4686ac99e8fSMartin KaFai Lau 	bpf_sk_storage_free(sk);
4692cb494a3SSong Liu 	kfree(sk);
470b0b9395dSStanislav Fomichev 	kfree(ctx);
4711cf1cae9SAlexei Starovoitov 	return ret;
4721cf1cae9SAlexei Starovoitov }
4731cf1cae9SAlexei Starovoitov 
4741cf1cae9SAlexei Starovoitov int bpf_prog_test_run_xdp(struct bpf_prog *prog, const union bpf_attr *kattr,
4751cf1cae9SAlexei Starovoitov 			  union bpf_attr __user *uattr)
4761cf1cae9SAlexei Starovoitov {
477bc56c919SJesper Dangaard Brouer 	u32 tailroom = SKB_DATA_ALIGN(sizeof(struct skb_shared_info));
478bc56c919SJesper Dangaard Brouer 	u32 headroom = XDP_PACKET_HEADROOM;
4791cf1cae9SAlexei Starovoitov 	u32 size = kattr->test.data_size_in;
4801cf1cae9SAlexei Starovoitov 	u32 repeat = kattr->test.repeat;
48165073a67SDaniel Borkmann 	struct netdev_rx_queue *rxqueue;
4821cf1cae9SAlexei Starovoitov 	struct xdp_buff xdp = {};
4831cf1cae9SAlexei Starovoitov 	u32 retval, duration;
484bc56c919SJesper Dangaard Brouer 	u32 max_data_sz;
4851cf1cae9SAlexei Starovoitov 	void *data;
4861cf1cae9SAlexei Starovoitov 	int ret;
4871cf1cae9SAlexei Starovoitov 
488947e8b59SStanislav Fomichev 	if (kattr->test.ctx_in || kattr->test.ctx_out)
489947e8b59SStanislav Fomichev 		return -EINVAL;
490947e8b59SStanislav Fomichev 
491bc56c919SJesper Dangaard Brouer 	/* XDP have extra tailroom as (most) drivers use full page */
492bc56c919SJesper Dangaard Brouer 	max_data_sz = 4096 - headroom - tailroom;
493bc56c919SJesper Dangaard Brouer 
494bc56c919SJesper Dangaard Brouer 	data = bpf_test_init(kattr, max_data_sz, headroom, tailroom);
4951cf1cae9SAlexei Starovoitov 	if (IS_ERR(data))
4961cf1cae9SAlexei Starovoitov 		return PTR_ERR(data);
4971cf1cae9SAlexei Starovoitov 
4981cf1cae9SAlexei Starovoitov 	xdp.data_hard_start = data;
499bc56c919SJesper Dangaard Brouer 	xdp.data = data + headroom;
500de8f3a83SDaniel Borkmann 	xdp.data_meta = xdp.data;
5011cf1cae9SAlexei Starovoitov 	xdp.data_end = xdp.data + size;
502bc56c919SJesper Dangaard Brouer 	xdp.frame_sz = headroom + max_data_sz + tailroom;
5031cf1cae9SAlexei Starovoitov 
50465073a67SDaniel Borkmann 	rxqueue = __netif_get_rx_queue(current->nsproxy->net_ns->loopback_dev, 0);
50565073a67SDaniel Borkmann 	xdp.rxq = &rxqueue->xdp_rxq;
506f23c4b39SBjörn Töpel 	bpf_prog_change_xdp(NULL, prog);
507f23c4b39SBjörn Töpel 	ret = bpf_test_run(prog, &xdp, repeat, &retval, &duration, true);
508dcb40590SRoman Gushchin 	if (ret)
509dcb40590SRoman Gushchin 		goto out;
510bc56c919SJesper Dangaard Brouer 	if (xdp.data != data + headroom || xdp.data_end != xdp.data + size)
5111cf1cae9SAlexei Starovoitov 		size = xdp.data_end - xdp.data;
51278e52272SDavid Miller 	ret = bpf_test_finish(kattr, uattr, xdp.data, size, retval, duration);
513dcb40590SRoman Gushchin out:
514f23c4b39SBjörn Töpel 	bpf_prog_change_xdp(prog, NULL);
5151cf1cae9SAlexei Starovoitov 	kfree(data);
5161cf1cae9SAlexei Starovoitov 	return ret;
5171cf1cae9SAlexei Starovoitov }
518b7a1848eSStanislav Fomichev 
519b2ca4e1cSStanislav Fomichev static int verify_user_bpf_flow_keys(struct bpf_flow_keys *ctx)
520b2ca4e1cSStanislav Fomichev {
521b2ca4e1cSStanislav Fomichev 	/* make sure the fields we don't use are zeroed */
522b2ca4e1cSStanislav Fomichev 	if (!range_is_zero(ctx, 0, offsetof(struct bpf_flow_keys, flags)))
523b2ca4e1cSStanislav Fomichev 		return -EINVAL;
524b2ca4e1cSStanislav Fomichev 
525b2ca4e1cSStanislav Fomichev 	/* flags is allowed */
526b2ca4e1cSStanislav Fomichev 
527b590cb5fSStanislav Fomichev 	if (!range_is_zero(ctx, offsetofend(struct bpf_flow_keys, flags),
528b2ca4e1cSStanislav Fomichev 			   sizeof(struct bpf_flow_keys)))
529b2ca4e1cSStanislav Fomichev 		return -EINVAL;
530b2ca4e1cSStanislav Fomichev 
531b2ca4e1cSStanislav Fomichev 	return 0;
532b2ca4e1cSStanislav Fomichev }
533b2ca4e1cSStanislav Fomichev 
534b7a1848eSStanislav Fomichev int bpf_prog_test_run_flow_dissector(struct bpf_prog *prog,
535b7a1848eSStanislav Fomichev 				     const union bpf_attr *kattr,
536b7a1848eSStanislav Fomichev 				     union bpf_attr __user *uattr)
537b7a1848eSStanislav Fomichev {
538b7a1848eSStanislav Fomichev 	u32 size = kattr->test.data_size_in;
5397b8a1304SStanislav Fomichev 	struct bpf_flow_dissector ctx = {};
540b7a1848eSStanislav Fomichev 	u32 repeat = kattr->test.repeat;
541b2ca4e1cSStanislav Fomichev 	struct bpf_flow_keys *user_ctx;
542b7a1848eSStanislav Fomichev 	struct bpf_flow_keys flow_keys;
543b7a1848eSStanislav Fomichev 	u64 time_start, time_spent = 0;
5447b8a1304SStanislav Fomichev 	const struct ethhdr *eth;
545b2ca4e1cSStanislav Fomichev 	unsigned int flags = 0;
546b7a1848eSStanislav Fomichev 	u32 retval, duration;
547b7a1848eSStanislav Fomichev 	void *data;
548b7a1848eSStanislav Fomichev 	int ret;
549b7a1848eSStanislav Fomichev 	u32 i;
550b7a1848eSStanislav Fomichev 
551b7a1848eSStanislav Fomichev 	if (prog->type != BPF_PROG_TYPE_FLOW_DISSECTOR)
552b7a1848eSStanislav Fomichev 		return -EINVAL;
553b7a1848eSStanislav Fomichev 
5547b8a1304SStanislav Fomichev 	if (size < ETH_HLEN)
5557b8a1304SStanislav Fomichev 		return -EINVAL;
5567b8a1304SStanislav Fomichev 
5577b8a1304SStanislav Fomichev 	data = bpf_test_init(kattr, size, 0, 0);
558b7a1848eSStanislav Fomichev 	if (IS_ERR(data))
559b7a1848eSStanislav Fomichev 		return PTR_ERR(data);
560b7a1848eSStanislav Fomichev 
5617b8a1304SStanislav Fomichev 	eth = (struct ethhdr *)data;
562b7a1848eSStanislav Fomichev 
563b7a1848eSStanislav Fomichev 	if (!repeat)
564b7a1848eSStanislav Fomichev 		repeat = 1;
565b7a1848eSStanislav Fomichev 
566b2ca4e1cSStanislav Fomichev 	user_ctx = bpf_ctx_init(kattr, sizeof(struct bpf_flow_keys));
567b2ca4e1cSStanislav Fomichev 	if (IS_ERR(user_ctx)) {
568b2ca4e1cSStanislav Fomichev 		kfree(data);
569b2ca4e1cSStanislav Fomichev 		return PTR_ERR(user_ctx);
570b2ca4e1cSStanislav Fomichev 	}
571b2ca4e1cSStanislav Fomichev 	if (user_ctx) {
572b2ca4e1cSStanislav Fomichev 		ret = verify_user_bpf_flow_keys(user_ctx);
573b2ca4e1cSStanislav Fomichev 		if (ret)
574b2ca4e1cSStanislav Fomichev 			goto out;
575b2ca4e1cSStanislav Fomichev 		flags = user_ctx->flags;
576b2ca4e1cSStanislav Fomichev 	}
577b2ca4e1cSStanislav Fomichev 
5787b8a1304SStanislav Fomichev 	ctx.flow_keys = &flow_keys;
5797b8a1304SStanislav Fomichev 	ctx.data = data;
5807b8a1304SStanislav Fomichev 	ctx.data_end = (__u8 *)data + size;
5817b8a1304SStanislav Fomichev 
582a439184dSStanislav Fomichev 	rcu_read_lock();
583a439184dSStanislav Fomichev 	preempt_disable();
584b7a1848eSStanislav Fomichev 	time_start = ktime_get_ns();
585b7a1848eSStanislav Fomichev 	for (i = 0; i < repeat; i++) {
5867b8a1304SStanislav Fomichev 		retval = bpf_flow_dissect(prog, &ctx, eth->h_proto, ETH_HLEN,
587b2ca4e1cSStanislav Fomichev 					  size, flags);
5887b8a1304SStanislav Fomichev 
589a439184dSStanislav Fomichev 		if (signal_pending(current)) {
590b7a1848eSStanislav Fomichev 			preempt_enable();
591a439184dSStanislav Fomichev 			rcu_read_unlock();
592a439184dSStanislav Fomichev 
593a439184dSStanislav Fomichev 			ret = -EINTR;
594a439184dSStanislav Fomichev 			goto out;
595a439184dSStanislav Fomichev 		}
596b7a1848eSStanislav Fomichev 
597b7a1848eSStanislav Fomichev 		if (need_resched()) {
598b7a1848eSStanislav Fomichev 			time_spent += ktime_get_ns() - time_start;
599a439184dSStanislav Fomichev 			preempt_enable();
600a439184dSStanislav Fomichev 			rcu_read_unlock();
601a439184dSStanislav Fomichev 
602b7a1848eSStanislav Fomichev 			cond_resched();
603a439184dSStanislav Fomichev 
604a439184dSStanislav Fomichev 			rcu_read_lock();
605a439184dSStanislav Fomichev 			preempt_disable();
606b7a1848eSStanislav Fomichev 			time_start = ktime_get_ns();
607b7a1848eSStanislav Fomichev 		}
608b7a1848eSStanislav Fomichev 	}
609b7a1848eSStanislav Fomichev 	time_spent += ktime_get_ns() - time_start;
610a439184dSStanislav Fomichev 	preempt_enable();
611a439184dSStanislav Fomichev 	rcu_read_unlock();
612a439184dSStanislav Fomichev 
613b7a1848eSStanislav Fomichev 	do_div(time_spent, repeat);
614b7a1848eSStanislav Fomichev 	duration = time_spent > U32_MAX ? U32_MAX : (u32)time_spent;
615b7a1848eSStanislav Fomichev 
616b7a1848eSStanislav Fomichev 	ret = bpf_test_finish(kattr, uattr, &flow_keys, sizeof(flow_keys),
617b7a1848eSStanislav Fomichev 			      retval, duration);
618b2ca4e1cSStanislav Fomichev 	if (!ret)
619b2ca4e1cSStanislav Fomichev 		ret = bpf_ctx_finish(kattr, uattr, user_ctx,
620b2ca4e1cSStanislav Fomichev 				     sizeof(struct bpf_flow_keys));
621b7a1848eSStanislav Fomichev 
622a439184dSStanislav Fomichev out:
623b2ca4e1cSStanislav Fomichev 	kfree(user_ctx);
6247b8a1304SStanislav Fomichev 	kfree(data);
625b7a1848eSStanislav Fomichev 	return ret;
626b7a1848eSStanislav Fomichev }
627