xref: /openbmc/linux/net/bpf/test_run.c (revision 3d08b6f29cf33aeaf301553d8d3805f0aa609df7)
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>
13*3d08b6f2SKP 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  */
117faeb2dceSAlexei Starovoitov int noinline bpf_fentry_test1(int a)
118faeb2dceSAlexei Starovoitov {
119faeb2dceSAlexei Starovoitov 	return a + 1;
120faeb2dceSAlexei Starovoitov }
121faeb2dceSAlexei Starovoitov 
122faeb2dceSAlexei Starovoitov int noinline bpf_fentry_test2(int a, u64 b)
123faeb2dceSAlexei Starovoitov {
124faeb2dceSAlexei Starovoitov 	return a + b;
125faeb2dceSAlexei Starovoitov }
126faeb2dceSAlexei Starovoitov 
127faeb2dceSAlexei Starovoitov int noinline bpf_fentry_test3(char a, int b, u64 c)
128faeb2dceSAlexei Starovoitov {
129faeb2dceSAlexei Starovoitov 	return a + b + c;
130faeb2dceSAlexei Starovoitov }
131faeb2dceSAlexei Starovoitov 
132faeb2dceSAlexei Starovoitov int noinline bpf_fentry_test4(void *a, char b, int c, u64 d)
133faeb2dceSAlexei Starovoitov {
134faeb2dceSAlexei Starovoitov 	return (long)a + b + c + d;
135faeb2dceSAlexei Starovoitov }
136faeb2dceSAlexei Starovoitov 
137faeb2dceSAlexei Starovoitov int noinline bpf_fentry_test5(u64 a, void *b, short c, int d, u64 e)
138faeb2dceSAlexei Starovoitov {
139faeb2dceSAlexei Starovoitov 	return a + (long)b + c + d + e;
140faeb2dceSAlexei Starovoitov }
141faeb2dceSAlexei Starovoitov 
142faeb2dceSAlexei Starovoitov int noinline bpf_fentry_test6(u64 a, void *b, short c, int d, void *e, u64 f)
143faeb2dceSAlexei Starovoitov {
144faeb2dceSAlexei Starovoitov 	return a + (long)b + c + d + (long)e + f;
145faeb2dceSAlexei Starovoitov }
146faeb2dceSAlexei Starovoitov 
147*3d08b6f2SKP Singh int noinline bpf_modify_return_test(int a, int *b)
148*3d08b6f2SKP Singh {
149*3d08b6f2SKP Singh 	*b += 1;
150*3d08b6f2SKP Singh 	return a + *b;
151*3d08b6f2SKP Singh }
152*3d08b6f2SKP Singh 
153*3d08b6f2SKP Singh ALLOW_ERROR_INJECTION(bpf_modify_return_test, ERRNO);
154*3d08b6f2SKP Singh 
1551cf1cae9SAlexei Starovoitov static void *bpf_test_init(const union bpf_attr *kattr, u32 size,
1561cf1cae9SAlexei Starovoitov 			   u32 headroom, u32 tailroom)
1571cf1cae9SAlexei Starovoitov {
1581cf1cae9SAlexei Starovoitov 	void __user *data_in = u64_to_user_ptr(kattr->test.data_in);
1591cf1cae9SAlexei Starovoitov 	void *data;
1601cf1cae9SAlexei Starovoitov 
1611cf1cae9SAlexei Starovoitov 	if (size < ETH_HLEN || size > PAGE_SIZE - headroom - tailroom)
1621cf1cae9SAlexei Starovoitov 		return ERR_PTR(-EINVAL);
1631cf1cae9SAlexei Starovoitov 
1641cf1cae9SAlexei Starovoitov 	data = kzalloc(size + headroom + tailroom, GFP_USER);
1651cf1cae9SAlexei Starovoitov 	if (!data)
1661cf1cae9SAlexei Starovoitov 		return ERR_PTR(-ENOMEM);
1671cf1cae9SAlexei Starovoitov 
1681cf1cae9SAlexei Starovoitov 	if (copy_from_user(data + headroom, data_in, size)) {
1691cf1cae9SAlexei Starovoitov 		kfree(data);
1701cf1cae9SAlexei Starovoitov 		return ERR_PTR(-EFAULT);
1711cf1cae9SAlexei Starovoitov 	}
172da00d2f1SKP Singh 
173da00d2f1SKP Singh 	return data;
174da00d2f1SKP Singh }
175da00d2f1SKP Singh 
176da00d2f1SKP Singh int bpf_prog_test_run_tracing(struct bpf_prog *prog,
177da00d2f1SKP Singh 			      const union bpf_attr *kattr,
178da00d2f1SKP Singh 			      union bpf_attr __user *uattr)
179da00d2f1SKP Singh {
180*3d08b6f2SKP Singh 	u16 side_effect = 0, ret = 0;
181*3d08b6f2SKP Singh 	int b = 2, err = -EFAULT;
182*3d08b6f2SKP Singh 	u32 retval = 0;
183da00d2f1SKP Singh 
184da00d2f1SKP Singh 	switch (prog->expected_attach_type) {
185da00d2f1SKP Singh 	case BPF_TRACE_FENTRY:
186da00d2f1SKP Singh 	case BPF_TRACE_FEXIT:
187faeb2dceSAlexei Starovoitov 		if (bpf_fentry_test1(1) != 2 ||
188faeb2dceSAlexei Starovoitov 		    bpf_fentry_test2(2, 3) != 5 ||
189faeb2dceSAlexei Starovoitov 		    bpf_fentry_test3(4, 5, 6) != 15 ||
190faeb2dceSAlexei Starovoitov 		    bpf_fentry_test4((void *)7, 8, 9, 10) != 34 ||
191faeb2dceSAlexei Starovoitov 		    bpf_fentry_test5(11, (void *)12, 13, 14, 15) != 65 ||
192da00d2f1SKP Singh 		    bpf_fentry_test6(16, (void *)17, 18, 19, (void *)20, 21) != 111)
193da00d2f1SKP Singh 			goto out;
194da00d2f1SKP Singh 		break;
195*3d08b6f2SKP Singh 	case BPF_MODIFY_RETURN:
196*3d08b6f2SKP Singh 		ret = bpf_modify_return_test(1, &b);
197*3d08b6f2SKP Singh 		if (b != 2)
198*3d08b6f2SKP Singh 			side_effect = 1;
199*3d08b6f2SKP Singh 		break;
200da00d2f1SKP Singh 	default:
201da00d2f1SKP Singh 		goto out;
202a25ecd9dSColin Ian King 	}
203da00d2f1SKP Singh 
204*3d08b6f2SKP Singh 	retval = ((u32)side_effect << 16) | ret;
205*3d08b6f2SKP Singh 	if (copy_to_user(&uattr->test.retval, &retval, sizeof(retval)))
206*3d08b6f2SKP Singh 		goto out;
207*3d08b6f2SKP Singh 
208da00d2f1SKP Singh 	err = 0;
209da00d2f1SKP Singh out:
210da00d2f1SKP Singh 	trace_bpf_test_finish(&err);
211da00d2f1SKP Singh 	return err;
2121cf1cae9SAlexei Starovoitov }
2131cf1cae9SAlexei Starovoitov 
214b0b9395dSStanislav Fomichev static void *bpf_ctx_init(const union bpf_attr *kattr, u32 max_size)
215b0b9395dSStanislav Fomichev {
216b0b9395dSStanislav Fomichev 	void __user *data_in = u64_to_user_ptr(kattr->test.ctx_in);
217b0b9395dSStanislav Fomichev 	void __user *data_out = u64_to_user_ptr(kattr->test.ctx_out);
218b0b9395dSStanislav Fomichev 	u32 size = kattr->test.ctx_size_in;
219b0b9395dSStanislav Fomichev 	void *data;
220b0b9395dSStanislav Fomichev 	int err;
221b0b9395dSStanislav Fomichev 
222b0b9395dSStanislav Fomichev 	if (!data_in && !data_out)
223b0b9395dSStanislav Fomichev 		return NULL;
224b0b9395dSStanislav Fomichev 
225b0b9395dSStanislav Fomichev 	data = kzalloc(max_size, GFP_USER);
226b0b9395dSStanislav Fomichev 	if (!data)
227b0b9395dSStanislav Fomichev 		return ERR_PTR(-ENOMEM);
228b0b9395dSStanislav Fomichev 
229b0b9395dSStanislav Fomichev 	if (data_in) {
230b0b9395dSStanislav Fomichev 		err = bpf_check_uarg_tail_zero(data_in, max_size, size);
231b0b9395dSStanislav Fomichev 		if (err) {
232b0b9395dSStanislav Fomichev 			kfree(data);
233b0b9395dSStanislav Fomichev 			return ERR_PTR(err);
234b0b9395dSStanislav Fomichev 		}
235b0b9395dSStanislav Fomichev 
236b0b9395dSStanislav Fomichev 		size = min_t(u32, max_size, size);
237b0b9395dSStanislav Fomichev 		if (copy_from_user(data, data_in, size)) {
238b0b9395dSStanislav Fomichev 			kfree(data);
239b0b9395dSStanislav Fomichev 			return ERR_PTR(-EFAULT);
240b0b9395dSStanislav Fomichev 		}
241b0b9395dSStanislav Fomichev 	}
242b0b9395dSStanislav Fomichev 	return data;
243b0b9395dSStanislav Fomichev }
244b0b9395dSStanislav Fomichev 
245b0b9395dSStanislav Fomichev static int bpf_ctx_finish(const union bpf_attr *kattr,
246b0b9395dSStanislav Fomichev 			  union bpf_attr __user *uattr, const void *data,
247b0b9395dSStanislav Fomichev 			  u32 size)
248b0b9395dSStanislav Fomichev {
249b0b9395dSStanislav Fomichev 	void __user *data_out = u64_to_user_ptr(kattr->test.ctx_out);
250b0b9395dSStanislav Fomichev 	int err = -EFAULT;
251b0b9395dSStanislav Fomichev 	u32 copy_size = size;
252b0b9395dSStanislav Fomichev 
253b0b9395dSStanislav Fomichev 	if (!data || !data_out)
254b0b9395dSStanislav Fomichev 		return 0;
255b0b9395dSStanislav Fomichev 
256b0b9395dSStanislav Fomichev 	if (copy_size > kattr->test.ctx_size_out) {
257b0b9395dSStanislav Fomichev 		copy_size = kattr->test.ctx_size_out;
258b0b9395dSStanislav Fomichev 		err = -ENOSPC;
259b0b9395dSStanislav Fomichev 	}
260b0b9395dSStanislav Fomichev 
261b0b9395dSStanislav Fomichev 	if (copy_to_user(data_out, data, copy_size))
262b0b9395dSStanislav Fomichev 		goto out;
263b0b9395dSStanislav Fomichev 	if (copy_to_user(&uattr->test.ctx_size_out, &size, sizeof(size)))
264b0b9395dSStanislav Fomichev 		goto out;
265b0b9395dSStanislav Fomichev 	if (err != -ENOSPC)
266b0b9395dSStanislav Fomichev 		err = 0;
267b0b9395dSStanislav Fomichev out:
268b0b9395dSStanislav Fomichev 	return err;
269b0b9395dSStanislav Fomichev }
270b0b9395dSStanislav Fomichev 
271b0b9395dSStanislav Fomichev /**
272b0b9395dSStanislav Fomichev  * range_is_zero - test whether buffer is initialized
273b0b9395dSStanislav Fomichev  * @buf: buffer to check
274b0b9395dSStanislav Fomichev  * @from: check from this position
275b0b9395dSStanislav Fomichev  * @to: check up until (excluding) this position
276b0b9395dSStanislav Fomichev  *
277b0b9395dSStanislav Fomichev  * This function returns true if the there is a non-zero byte
278b0b9395dSStanislav Fomichev  * in the buf in the range [from,to).
279b0b9395dSStanislav Fomichev  */
280b0b9395dSStanislav Fomichev static inline bool range_is_zero(void *buf, size_t from, size_t to)
281b0b9395dSStanislav Fomichev {
282b0b9395dSStanislav Fomichev 	return !memchr_inv((u8 *)buf + from, 0, to - from);
283b0b9395dSStanislav Fomichev }
284b0b9395dSStanislav Fomichev 
285b0b9395dSStanislav Fomichev static int convert___skb_to_skb(struct sk_buff *skb, struct __sk_buff *__skb)
286b0b9395dSStanislav Fomichev {
287b0b9395dSStanislav Fomichev 	struct qdisc_skb_cb *cb = (struct qdisc_skb_cb *)skb->cb;
288b0b9395dSStanislav Fomichev 
289b0b9395dSStanislav Fomichev 	if (!__skb)
290b0b9395dSStanislav Fomichev 		return 0;
291b0b9395dSStanislav Fomichev 
292b0b9395dSStanislav Fomichev 	/* make sure the fields we don't use are zeroed */
2936de6c1f8SNikita V. Shirokov 	if (!range_is_zero(__skb, 0, offsetof(struct __sk_buff, mark)))
2946de6c1f8SNikita V. Shirokov 		return -EINVAL;
2956de6c1f8SNikita V. Shirokov 
2966de6c1f8SNikita V. Shirokov 	/* mark is allowed */
2976de6c1f8SNikita V. Shirokov 
2986de6c1f8SNikita V. Shirokov 	if (!range_is_zero(__skb, offsetofend(struct __sk_buff, mark),
2996de6c1f8SNikita V. Shirokov 			   offsetof(struct __sk_buff, priority)))
300b0b9395dSStanislav Fomichev 		return -EINVAL;
301b0b9395dSStanislav Fomichev 
302b0b9395dSStanislav Fomichev 	/* priority is allowed */
303b0b9395dSStanislav Fomichev 
304b590cb5fSStanislav Fomichev 	if (!range_is_zero(__skb, offsetofend(struct __sk_buff, priority),
305b0b9395dSStanislav Fomichev 			   offsetof(struct __sk_buff, cb)))
306b0b9395dSStanislav Fomichev 		return -EINVAL;
307b0b9395dSStanislav Fomichev 
308b0b9395dSStanislav Fomichev 	/* cb is allowed */
309b0b9395dSStanislav Fomichev 
310b590cb5fSStanislav Fomichev 	if (!range_is_zero(__skb, offsetofend(struct __sk_buff, cb),
311ba940948SStanislav Fomichev 			   offsetof(struct __sk_buff, tstamp)))
312ba940948SStanislav Fomichev 		return -EINVAL;
313ba940948SStanislav Fomichev 
314ba940948SStanislav Fomichev 	/* tstamp is allowed */
315850a88ccSStanislav Fomichev 	/* wire_len is allowed */
316850a88ccSStanislav Fomichev 	/* gso_segs is allowed */
317ba940948SStanislav Fomichev 
318850a88ccSStanislav Fomichev 	if (!range_is_zero(__skb, offsetofend(struct __sk_buff, gso_segs),
319cf62089bSWillem de Bruijn 			   offsetof(struct __sk_buff, gso_size)))
320cf62089bSWillem de Bruijn 		return -EINVAL;
321cf62089bSWillem de Bruijn 
322cf62089bSWillem de Bruijn 	/* gso_size is allowed */
323cf62089bSWillem de Bruijn 
324cf62089bSWillem de Bruijn 	if (!range_is_zero(__skb, offsetofend(struct __sk_buff, gso_size),
325b0b9395dSStanislav Fomichev 			   sizeof(struct __sk_buff)))
326b0b9395dSStanislav Fomichev 		return -EINVAL;
327b0b9395dSStanislav Fomichev 
3286de6c1f8SNikita V. Shirokov 	skb->mark = __skb->mark;
329b0b9395dSStanislav Fomichev 	skb->priority = __skb->priority;
330ba940948SStanislav Fomichev 	skb->tstamp = __skb->tstamp;
331b0b9395dSStanislav Fomichev 	memcpy(&cb->data, __skb->cb, QDISC_CB_PRIV_LEN);
332b0b9395dSStanislav Fomichev 
333850a88ccSStanislav Fomichev 	if (__skb->wire_len == 0) {
334850a88ccSStanislav Fomichev 		cb->pkt_len = skb->len;
335850a88ccSStanislav Fomichev 	} else {
336850a88ccSStanislav Fomichev 		if (__skb->wire_len < skb->len ||
337850a88ccSStanislav Fomichev 		    __skb->wire_len > GSO_MAX_SIZE)
338850a88ccSStanislav Fomichev 			return -EINVAL;
339850a88ccSStanislav Fomichev 		cb->pkt_len = __skb->wire_len;
340850a88ccSStanislav Fomichev 	}
341850a88ccSStanislav Fomichev 
342850a88ccSStanislav Fomichev 	if (__skb->gso_segs > GSO_MAX_SEGS)
343850a88ccSStanislav Fomichev 		return -EINVAL;
344850a88ccSStanislav Fomichev 	skb_shinfo(skb)->gso_segs = __skb->gso_segs;
345cf62089bSWillem de Bruijn 	skb_shinfo(skb)->gso_size = __skb->gso_size;
346850a88ccSStanislav Fomichev 
347b0b9395dSStanislav Fomichev 	return 0;
348b0b9395dSStanislav Fomichev }
349b0b9395dSStanislav Fomichev 
350b0b9395dSStanislav Fomichev static void convert_skb_to___skb(struct sk_buff *skb, struct __sk_buff *__skb)
351b0b9395dSStanislav Fomichev {
352b0b9395dSStanislav Fomichev 	struct qdisc_skb_cb *cb = (struct qdisc_skb_cb *)skb->cb;
353b0b9395dSStanislav Fomichev 
354b0b9395dSStanislav Fomichev 	if (!__skb)
355b0b9395dSStanislav Fomichev 		return;
356b0b9395dSStanislav Fomichev 
3576de6c1f8SNikita V. Shirokov 	__skb->mark = skb->mark;
358b0b9395dSStanislav Fomichev 	__skb->priority = skb->priority;
359ba940948SStanislav Fomichev 	__skb->tstamp = skb->tstamp;
360b0b9395dSStanislav Fomichev 	memcpy(__skb->cb, &cb->data, QDISC_CB_PRIV_LEN);
361850a88ccSStanislav Fomichev 	__skb->wire_len = cb->pkt_len;
362850a88ccSStanislav Fomichev 	__skb->gso_segs = skb_shinfo(skb)->gso_segs;
363b0b9395dSStanislav Fomichev }
364b0b9395dSStanislav Fomichev 
3651cf1cae9SAlexei Starovoitov int bpf_prog_test_run_skb(struct bpf_prog *prog, const union bpf_attr *kattr,
3661cf1cae9SAlexei Starovoitov 			  union bpf_attr __user *uattr)
3671cf1cae9SAlexei Starovoitov {
3681cf1cae9SAlexei Starovoitov 	bool is_l2 = false, is_direct_pkt_access = false;
3691cf1cae9SAlexei Starovoitov 	u32 size = kattr->test.data_size_in;
3701cf1cae9SAlexei Starovoitov 	u32 repeat = kattr->test.repeat;
371b0b9395dSStanislav Fomichev 	struct __sk_buff *ctx = NULL;
3721cf1cae9SAlexei Starovoitov 	u32 retval, duration;
3736e6fddc7SDaniel Borkmann 	int hh_len = ETH_HLEN;
3741cf1cae9SAlexei Starovoitov 	struct sk_buff *skb;
3752cb494a3SSong Liu 	struct sock *sk;
3761cf1cae9SAlexei Starovoitov 	void *data;
3771cf1cae9SAlexei Starovoitov 	int ret;
3781cf1cae9SAlexei Starovoitov 
379586f8525SDavid Miller 	data = bpf_test_init(kattr, size, NET_SKB_PAD + NET_IP_ALIGN,
3801cf1cae9SAlexei Starovoitov 			     SKB_DATA_ALIGN(sizeof(struct skb_shared_info)));
3811cf1cae9SAlexei Starovoitov 	if (IS_ERR(data))
3821cf1cae9SAlexei Starovoitov 		return PTR_ERR(data);
3831cf1cae9SAlexei Starovoitov 
384b0b9395dSStanislav Fomichev 	ctx = bpf_ctx_init(kattr, sizeof(struct __sk_buff));
385b0b9395dSStanislav Fomichev 	if (IS_ERR(ctx)) {
386b0b9395dSStanislav Fomichev 		kfree(data);
387b0b9395dSStanislav Fomichev 		return PTR_ERR(ctx);
388b0b9395dSStanislav Fomichev 	}
389b0b9395dSStanislav Fomichev 
3901cf1cae9SAlexei Starovoitov 	switch (prog->type) {
3911cf1cae9SAlexei Starovoitov 	case BPF_PROG_TYPE_SCHED_CLS:
3921cf1cae9SAlexei Starovoitov 	case BPF_PROG_TYPE_SCHED_ACT:
3931cf1cae9SAlexei Starovoitov 		is_l2 = true;
3941cf1cae9SAlexei Starovoitov 		/* fall through */
3951cf1cae9SAlexei Starovoitov 	case BPF_PROG_TYPE_LWT_IN:
3961cf1cae9SAlexei Starovoitov 	case BPF_PROG_TYPE_LWT_OUT:
3971cf1cae9SAlexei Starovoitov 	case BPF_PROG_TYPE_LWT_XMIT:
3981cf1cae9SAlexei Starovoitov 		is_direct_pkt_access = true;
3991cf1cae9SAlexei Starovoitov 		break;
4001cf1cae9SAlexei Starovoitov 	default:
4011cf1cae9SAlexei Starovoitov 		break;
4021cf1cae9SAlexei Starovoitov 	}
4031cf1cae9SAlexei Starovoitov 
4042cb494a3SSong Liu 	sk = kzalloc(sizeof(struct sock), GFP_USER);
4052cb494a3SSong Liu 	if (!sk) {
4061cf1cae9SAlexei Starovoitov 		kfree(data);
407b0b9395dSStanislav Fomichev 		kfree(ctx);
4081cf1cae9SAlexei Starovoitov 		return -ENOMEM;
4091cf1cae9SAlexei Starovoitov 	}
4102cb494a3SSong Liu 	sock_net_set(sk, current->nsproxy->net_ns);
4112cb494a3SSong Liu 	sock_init_data(NULL, sk);
4122cb494a3SSong Liu 
4132cb494a3SSong Liu 	skb = build_skb(data, 0);
4142cb494a3SSong Liu 	if (!skb) {
4152cb494a3SSong Liu 		kfree(data);
416b0b9395dSStanislav Fomichev 		kfree(ctx);
4172cb494a3SSong Liu 		kfree(sk);
4182cb494a3SSong Liu 		return -ENOMEM;
4192cb494a3SSong Liu 	}
4202cb494a3SSong Liu 	skb->sk = sk;
4211cf1cae9SAlexei Starovoitov 
422586f8525SDavid Miller 	skb_reserve(skb, NET_SKB_PAD + NET_IP_ALIGN);
4231cf1cae9SAlexei Starovoitov 	__skb_put(skb, size);
4241cf1cae9SAlexei Starovoitov 	skb->protocol = eth_type_trans(skb, current->nsproxy->net_ns->loopback_dev);
4251cf1cae9SAlexei Starovoitov 	skb_reset_network_header(skb);
4261cf1cae9SAlexei Starovoitov 
4271cf1cae9SAlexei Starovoitov 	if (is_l2)
4286e6fddc7SDaniel Borkmann 		__skb_push(skb, hh_len);
4291cf1cae9SAlexei Starovoitov 	if (is_direct_pkt_access)
4306aaae2b6SDaniel Borkmann 		bpf_compute_data_pointers(skb);
431b0b9395dSStanislav Fomichev 	ret = convert___skb_to_skb(skb, ctx);
432b0b9395dSStanislav Fomichev 	if (ret)
433b0b9395dSStanislav Fomichev 		goto out;
434f23c4b39SBjörn Töpel 	ret = bpf_test_run(prog, skb, repeat, &retval, &duration, false);
435b0b9395dSStanislav Fomichev 	if (ret)
436b0b9395dSStanislav Fomichev 		goto out;
4376e6fddc7SDaniel Borkmann 	if (!is_l2) {
4386e6fddc7SDaniel Borkmann 		if (skb_headroom(skb) < hh_len) {
4396e6fddc7SDaniel Borkmann 			int nhead = HH_DATA_ALIGN(hh_len - skb_headroom(skb));
4406e6fddc7SDaniel Borkmann 
4416e6fddc7SDaniel Borkmann 			if (pskb_expand_head(skb, nhead, 0, GFP_USER)) {
442b0b9395dSStanislav Fomichev 				ret = -ENOMEM;
443b0b9395dSStanislav Fomichev 				goto out;
4446e6fddc7SDaniel Borkmann 			}
4456e6fddc7SDaniel Borkmann 		}
4466e6fddc7SDaniel Borkmann 		memset(__skb_push(skb, hh_len), 0, hh_len);
4476e6fddc7SDaniel Borkmann 	}
448b0b9395dSStanislav Fomichev 	convert_skb_to___skb(skb, ctx);
4496e6fddc7SDaniel Borkmann 
4501cf1cae9SAlexei Starovoitov 	size = skb->len;
4511cf1cae9SAlexei Starovoitov 	/* bpf program can never convert linear skb to non-linear */
4521cf1cae9SAlexei Starovoitov 	if (WARN_ON_ONCE(skb_is_nonlinear(skb)))
4531cf1cae9SAlexei Starovoitov 		size = skb_headlen(skb);
45478e52272SDavid Miller 	ret = bpf_test_finish(kattr, uattr, skb->data, size, retval, duration);
455b0b9395dSStanislav Fomichev 	if (!ret)
456b0b9395dSStanislav Fomichev 		ret = bpf_ctx_finish(kattr, uattr, ctx,
457b0b9395dSStanislav Fomichev 				     sizeof(struct __sk_buff));
458b0b9395dSStanislav Fomichev out:
4591cf1cae9SAlexei Starovoitov 	kfree_skb(skb);
4606ac99e8fSMartin KaFai Lau 	bpf_sk_storage_free(sk);
4612cb494a3SSong Liu 	kfree(sk);
462b0b9395dSStanislav Fomichev 	kfree(ctx);
4631cf1cae9SAlexei Starovoitov 	return ret;
4641cf1cae9SAlexei Starovoitov }
4651cf1cae9SAlexei Starovoitov 
4661cf1cae9SAlexei Starovoitov int bpf_prog_test_run_xdp(struct bpf_prog *prog, const union bpf_attr *kattr,
4671cf1cae9SAlexei Starovoitov 			  union bpf_attr __user *uattr)
4681cf1cae9SAlexei Starovoitov {
4691cf1cae9SAlexei Starovoitov 	u32 size = kattr->test.data_size_in;
4701cf1cae9SAlexei Starovoitov 	u32 repeat = kattr->test.repeat;
47165073a67SDaniel Borkmann 	struct netdev_rx_queue *rxqueue;
4721cf1cae9SAlexei Starovoitov 	struct xdp_buff xdp = {};
4731cf1cae9SAlexei Starovoitov 	u32 retval, duration;
4741cf1cae9SAlexei Starovoitov 	void *data;
4751cf1cae9SAlexei Starovoitov 	int ret;
4761cf1cae9SAlexei Starovoitov 
477947e8b59SStanislav Fomichev 	if (kattr->test.ctx_in || kattr->test.ctx_out)
478947e8b59SStanislav Fomichev 		return -EINVAL;
479947e8b59SStanislav Fomichev 
480586f8525SDavid Miller 	data = bpf_test_init(kattr, size, XDP_PACKET_HEADROOM + NET_IP_ALIGN, 0);
4811cf1cae9SAlexei Starovoitov 	if (IS_ERR(data))
4821cf1cae9SAlexei Starovoitov 		return PTR_ERR(data);
4831cf1cae9SAlexei Starovoitov 
4841cf1cae9SAlexei Starovoitov 	xdp.data_hard_start = data;
485586f8525SDavid Miller 	xdp.data = data + XDP_PACKET_HEADROOM + NET_IP_ALIGN;
486de8f3a83SDaniel Borkmann 	xdp.data_meta = xdp.data;
4871cf1cae9SAlexei Starovoitov 	xdp.data_end = xdp.data + size;
4881cf1cae9SAlexei Starovoitov 
48965073a67SDaniel Borkmann 	rxqueue = __netif_get_rx_queue(current->nsproxy->net_ns->loopback_dev, 0);
49065073a67SDaniel Borkmann 	xdp.rxq = &rxqueue->xdp_rxq;
491f23c4b39SBjörn Töpel 	bpf_prog_change_xdp(NULL, prog);
492f23c4b39SBjörn Töpel 	ret = bpf_test_run(prog, &xdp, repeat, &retval, &duration, true);
493dcb40590SRoman Gushchin 	if (ret)
494dcb40590SRoman Gushchin 		goto out;
495587b80ccSNikita V. Shirokov 	if (xdp.data != data + XDP_PACKET_HEADROOM + NET_IP_ALIGN ||
496587b80ccSNikita V. Shirokov 	    xdp.data_end != xdp.data + size)
4971cf1cae9SAlexei Starovoitov 		size = xdp.data_end - xdp.data;
49878e52272SDavid Miller 	ret = bpf_test_finish(kattr, uattr, xdp.data, size, retval, duration);
499dcb40590SRoman Gushchin out:
500f23c4b39SBjörn Töpel 	bpf_prog_change_xdp(prog, NULL);
5011cf1cae9SAlexei Starovoitov 	kfree(data);
5021cf1cae9SAlexei Starovoitov 	return ret;
5031cf1cae9SAlexei Starovoitov }
504b7a1848eSStanislav Fomichev 
505b2ca4e1cSStanislav Fomichev static int verify_user_bpf_flow_keys(struct bpf_flow_keys *ctx)
506b2ca4e1cSStanislav Fomichev {
507b2ca4e1cSStanislav Fomichev 	/* make sure the fields we don't use are zeroed */
508b2ca4e1cSStanislav Fomichev 	if (!range_is_zero(ctx, 0, offsetof(struct bpf_flow_keys, flags)))
509b2ca4e1cSStanislav Fomichev 		return -EINVAL;
510b2ca4e1cSStanislav Fomichev 
511b2ca4e1cSStanislav Fomichev 	/* flags is allowed */
512b2ca4e1cSStanislav Fomichev 
513b590cb5fSStanislav Fomichev 	if (!range_is_zero(ctx, offsetofend(struct bpf_flow_keys, flags),
514b2ca4e1cSStanislav Fomichev 			   sizeof(struct bpf_flow_keys)))
515b2ca4e1cSStanislav Fomichev 		return -EINVAL;
516b2ca4e1cSStanislav Fomichev 
517b2ca4e1cSStanislav Fomichev 	return 0;
518b2ca4e1cSStanislav Fomichev }
519b2ca4e1cSStanislav Fomichev 
520b7a1848eSStanislav Fomichev int bpf_prog_test_run_flow_dissector(struct bpf_prog *prog,
521b7a1848eSStanislav Fomichev 				     const union bpf_attr *kattr,
522b7a1848eSStanislav Fomichev 				     union bpf_attr __user *uattr)
523b7a1848eSStanislav Fomichev {
524b7a1848eSStanislav Fomichev 	u32 size = kattr->test.data_size_in;
5257b8a1304SStanislav Fomichev 	struct bpf_flow_dissector ctx = {};
526b7a1848eSStanislav Fomichev 	u32 repeat = kattr->test.repeat;
527b2ca4e1cSStanislav Fomichev 	struct bpf_flow_keys *user_ctx;
528b7a1848eSStanislav Fomichev 	struct bpf_flow_keys flow_keys;
529b7a1848eSStanislav Fomichev 	u64 time_start, time_spent = 0;
5307b8a1304SStanislav Fomichev 	const struct ethhdr *eth;
531b2ca4e1cSStanislav Fomichev 	unsigned int flags = 0;
532b7a1848eSStanislav Fomichev 	u32 retval, duration;
533b7a1848eSStanislav Fomichev 	void *data;
534b7a1848eSStanislav Fomichev 	int ret;
535b7a1848eSStanislav Fomichev 	u32 i;
536b7a1848eSStanislav Fomichev 
537b7a1848eSStanislav Fomichev 	if (prog->type != BPF_PROG_TYPE_FLOW_DISSECTOR)
538b7a1848eSStanislav Fomichev 		return -EINVAL;
539b7a1848eSStanislav Fomichev 
5407b8a1304SStanislav Fomichev 	if (size < ETH_HLEN)
5417b8a1304SStanislav Fomichev 		return -EINVAL;
5427b8a1304SStanislav Fomichev 
5437b8a1304SStanislav Fomichev 	data = bpf_test_init(kattr, size, 0, 0);
544b7a1848eSStanislav Fomichev 	if (IS_ERR(data))
545b7a1848eSStanislav Fomichev 		return PTR_ERR(data);
546b7a1848eSStanislav Fomichev 
5477b8a1304SStanislav Fomichev 	eth = (struct ethhdr *)data;
548b7a1848eSStanislav Fomichev 
549b7a1848eSStanislav Fomichev 	if (!repeat)
550b7a1848eSStanislav Fomichev 		repeat = 1;
551b7a1848eSStanislav Fomichev 
552b2ca4e1cSStanislav Fomichev 	user_ctx = bpf_ctx_init(kattr, sizeof(struct bpf_flow_keys));
553b2ca4e1cSStanislav Fomichev 	if (IS_ERR(user_ctx)) {
554b2ca4e1cSStanislav Fomichev 		kfree(data);
555b2ca4e1cSStanislav Fomichev 		return PTR_ERR(user_ctx);
556b2ca4e1cSStanislav Fomichev 	}
557b2ca4e1cSStanislav Fomichev 	if (user_ctx) {
558b2ca4e1cSStanislav Fomichev 		ret = verify_user_bpf_flow_keys(user_ctx);
559b2ca4e1cSStanislav Fomichev 		if (ret)
560b2ca4e1cSStanislav Fomichev 			goto out;
561b2ca4e1cSStanislav Fomichev 		flags = user_ctx->flags;
562b2ca4e1cSStanislav Fomichev 	}
563b2ca4e1cSStanislav Fomichev 
5647b8a1304SStanislav Fomichev 	ctx.flow_keys = &flow_keys;
5657b8a1304SStanislav Fomichev 	ctx.data = data;
5667b8a1304SStanislav Fomichev 	ctx.data_end = (__u8 *)data + size;
5677b8a1304SStanislav Fomichev 
568a439184dSStanislav Fomichev 	rcu_read_lock();
569a439184dSStanislav Fomichev 	preempt_disable();
570b7a1848eSStanislav Fomichev 	time_start = ktime_get_ns();
571b7a1848eSStanislav Fomichev 	for (i = 0; i < repeat; i++) {
5727b8a1304SStanislav Fomichev 		retval = bpf_flow_dissect(prog, &ctx, eth->h_proto, ETH_HLEN,
573b2ca4e1cSStanislav Fomichev 					  size, flags);
5747b8a1304SStanislav Fomichev 
575a439184dSStanislav Fomichev 		if (signal_pending(current)) {
576b7a1848eSStanislav Fomichev 			preempt_enable();
577a439184dSStanislav Fomichev 			rcu_read_unlock();
578a439184dSStanislav Fomichev 
579a439184dSStanislav Fomichev 			ret = -EINTR;
580a439184dSStanislav Fomichev 			goto out;
581a439184dSStanislav Fomichev 		}
582b7a1848eSStanislav Fomichev 
583b7a1848eSStanislav Fomichev 		if (need_resched()) {
584b7a1848eSStanislav Fomichev 			time_spent += ktime_get_ns() - time_start;
585a439184dSStanislav Fomichev 			preempt_enable();
586a439184dSStanislav Fomichev 			rcu_read_unlock();
587a439184dSStanislav Fomichev 
588b7a1848eSStanislav Fomichev 			cond_resched();
589a439184dSStanislav Fomichev 
590a439184dSStanislav Fomichev 			rcu_read_lock();
591a439184dSStanislav Fomichev 			preempt_disable();
592b7a1848eSStanislav Fomichev 			time_start = ktime_get_ns();
593b7a1848eSStanislav Fomichev 		}
594b7a1848eSStanislav Fomichev 	}
595b7a1848eSStanislav Fomichev 	time_spent += ktime_get_ns() - time_start;
596a439184dSStanislav Fomichev 	preempt_enable();
597a439184dSStanislav Fomichev 	rcu_read_unlock();
598a439184dSStanislav Fomichev 
599b7a1848eSStanislav Fomichev 	do_div(time_spent, repeat);
600b7a1848eSStanislav Fomichev 	duration = time_spent > U32_MAX ? U32_MAX : (u32)time_spent;
601b7a1848eSStanislav Fomichev 
602b7a1848eSStanislav Fomichev 	ret = bpf_test_finish(kattr, uattr, &flow_keys, sizeof(flow_keys),
603b7a1848eSStanislav Fomichev 			      retval, duration);
604b2ca4e1cSStanislav Fomichev 	if (!ret)
605b2ca4e1cSStanislav Fomichev 		ret = bpf_ctx_finish(kattr, uattr, user_ctx,
606b2ca4e1cSStanislav Fomichev 				     sizeof(struct bpf_flow_keys));
607b7a1848eSStanislav Fomichev 
608a439184dSStanislav Fomichev out:
609b2ca4e1cSStanislav Fomichev 	kfree(user_ctx);
6107b8a1304SStanislav Fomichev 	kfree(data);
611b7a1848eSStanislav Fomichev 	return ret;
612b7a1848eSStanislav Fomichev }
613