xref: /linux/tools/testing/selftests/bpf/progs/netif_receive_skb.c (revision 36ec807b627b4c0a0a382f0ae48eac7187d14b2b)
1076a95f5SAlan Maguire // SPDX-License-Identifier: GPL-2.0
2076a95f5SAlan Maguire /* Copyright (c) 2020, Oracle and/or its affiliates. */
3076a95f5SAlan Maguire 
4cfe77683SAlan Maguire #include "btf_ptr.h"
5076a95f5SAlan Maguire #include <bpf/bpf_helpers.h>
6076a95f5SAlan Maguire #include <bpf/bpf_tracing.h>
7076a95f5SAlan Maguire #include <bpf/bpf_core_read.h>
8*a1297871SJiri Olsa #include "bpf_misc.h"
9076a95f5SAlan Maguire 
10076a95f5SAlan Maguire #include <errno.h>
11076a95f5SAlan Maguire 
12076a95f5SAlan Maguire long ret = 0;
13076a95f5SAlan Maguire int num_subtests = 0;
14076a95f5SAlan Maguire int ran_subtests = 0;
15076a95f5SAlan Maguire bool skip = false;
16076a95f5SAlan Maguire 
17076a95f5SAlan Maguire #define STRSIZE			2048
18076a95f5SAlan Maguire #define EXPECTED_STRSIZE	256
19076a95f5SAlan Maguire 
2042a382a4SIlya Leoshkevich #if defined(bpf_target_s390)
2142a382a4SIlya Leoshkevich /* NULL points to a readable struct lowcore on s390, so take the last page */
2242a382a4SIlya Leoshkevich #define BADPTR			((void *)0xFFFFFFFFFFFFF000ULL)
2342a382a4SIlya Leoshkevich #else
2442a382a4SIlya Leoshkevich #define BADPTR			0
2542a382a4SIlya Leoshkevich #endif
2642a382a4SIlya Leoshkevich 
27076a95f5SAlan Maguire struct {
28076a95f5SAlan Maguire 	__uint(type, BPF_MAP_TYPE_PERCPU_ARRAY);
29076a95f5SAlan Maguire 	__uint(max_entries, 1);
30076a95f5SAlan Maguire 	__type(key, __u32);
31076a95f5SAlan Maguire 	__type(value, char[STRSIZE]);
32076a95f5SAlan Maguire } strdata SEC(".maps");
33076a95f5SAlan Maguire 
__strncmp(const void * m1,const void * m2,size_t len)34076a95f5SAlan Maguire static int __strncmp(const void *m1, const void *m2, size_t len)
35076a95f5SAlan Maguire {
36076a95f5SAlan Maguire 	const unsigned char *s1 = m1;
37076a95f5SAlan Maguire 	const unsigned char *s2 = m2;
38076a95f5SAlan Maguire 	int i, delta = 0;
39076a95f5SAlan Maguire 
40076a95f5SAlan Maguire 	for (i = 0; i < len; i++) {
41076a95f5SAlan Maguire 		delta = s1[i] - s2[i];
42076a95f5SAlan Maguire 		if (delta || s1[i] == 0 || s2[i] == 0)
43076a95f5SAlan Maguire 			break;
44076a95f5SAlan Maguire 	}
45076a95f5SAlan Maguire 	return delta;
46076a95f5SAlan Maguire }
47076a95f5SAlan Maguire 
48076a95f5SAlan Maguire #if __has_builtin(__builtin_btf_type_id)
49076a95f5SAlan Maguire #define	TEST_BTF(_str, _type, _flags, _expected, ...)			\
50076a95f5SAlan Maguire 	do {								\
51076a95f5SAlan Maguire 		static const char _expectedval[EXPECTED_STRSIZE] =	\
52076a95f5SAlan Maguire 							_expected;	\
53076a95f5SAlan Maguire 		__u64 _hflags = _flags | BTF_F_COMPACT;			\
54076a95f5SAlan Maguire 		static _type _ptrdata = __VA_ARGS__;			\
55076a95f5SAlan Maguire 		static struct btf_ptr _ptr = { };			\
56076a95f5SAlan Maguire 		int _cmp;						\
57076a95f5SAlan Maguire 									\
58076a95f5SAlan Maguire 		++num_subtests;						\
59076a95f5SAlan Maguire 		if (ret < 0)						\
60076a95f5SAlan Maguire 			break;						\
61076a95f5SAlan Maguire 		++ran_subtests;						\
62076a95f5SAlan Maguire 		_ptr.ptr = &_ptrdata;					\
63076a95f5SAlan Maguire 		_ptr.type_id = bpf_core_type_id_kernel(_type);		\
64076a95f5SAlan Maguire 		if (_ptr.type_id <= 0) {				\
65076a95f5SAlan Maguire 			ret = -EINVAL;					\
66076a95f5SAlan Maguire 			break;						\
67076a95f5SAlan Maguire 		}							\
68076a95f5SAlan Maguire 		ret = bpf_snprintf_btf(_str, STRSIZE,			\
69076a95f5SAlan Maguire 				       &_ptr, sizeof(_ptr), _hflags);	\
70076a95f5SAlan Maguire 		if (ret)						\
71076a95f5SAlan Maguire 			break;						\
72076a95f5SAlan Maguire 		_cmp = __strncmp(_str, _expectedval, EXPECTED_STRSIZE);	\
73076a95f5SAlan Maguire 		if (_cmp != 0) {					\
74076a95f5SAlan Maguire 			bpf_printk("(%d) got %s", _cmp, _str);		\
75076a95f5SAlan Maguire 			bpf_printk("(%d) expected %s", _cmp,		\
76076a95f5SAlan Maguire 				   _expectedval);			\
77076a95f5SAlan Maguire 			ret = -EBADMSG;					\
78076a95f5SAlan Maguire 			break;						\
79076a95f5SAlan Maguire 		}							\
80076a95f5SAlan Maguire 	} while (0)
81076a95f5SAlan Maguire #endif
82076a95f5SAlan Maguire 
83076a95f5SAlan Maguire /* Use where expected data string matches its stringified declaration */
84076a95f5SAlan Maguire #define TEST_BTF_C(_str, _type, _flags, ...)				\
85076a95f5SAlan Maguire 	TEST_BTF(_str, _type, _flags, "(" #_type ")" #__VA_ARGS__,	\
86076a95f5SAlan Maguire 		 __VA_ARGS__)
87076a95f5SAlan Maguire 
88076a95f5SAlan Maguire /* TRACE_EVENT(netif_receive_skb,
89076a95f5SAlan Maguire  *	TP_PROTO(struct sk_buff *skb),
90076a95f5SAlan Maguire  */
91076a95f5SAlan Maguire SEC("tp_btf/netif_receive_skb")
BPF_PROG(trace_netif_receive_skb,struct sk_buff * skb)92076a95f5SAlan Maguire int BPF_PROG(trace_netif_receive_skb, struct sk_buff *skb)
93076a95f5SAlan Maguire {
94076a95f5SAlan Maguire 	static __u64 flags[] = { 0, BTF_F_COMPACT, BTF_F_ZERO, BTF_F_PTR_RAW,
95076a95f5SAlan Maguire 				 BTF_F_NONAME, BTF_F_COMPACT | BTF_F_ZERO |
96076a95f5SAlan Maguire 				 BTF_F_PTR_RAW | BTF_F_NONAME };
97076a95f5SAlan Maguire 	static struct btf_ptr p = { };
98076a95f5SAlan Maguire 	__u32 key = 0;
99076a95f5SAlan Maguire 	int i, __ret;
100076a95f5SAlan Maguire 	char *str;
101076a95f5SAlan Maguire 
102076a95f5SAlan Maguire #if __has_builtin(__builtin_btf_type_id)
103076a95f5SAlan Maguire 	str = bpf_map_lookup_elem(&strdata, &key);
104076a95f5SAlan Maguire 	if (!str)
105076a95f5SAlan Maguire 		return 0;
106076a95f5SAlan Maguire 
107076a95f5SAlan Maguire 	/* Ensure we can write skb string representation */
108076a95f5SAlan Maguire 	p.type_id = bpf_core_type_id_kernel(struct sk_buff);
109076a95f5SAlan Maguire 	p.ptr = skb;
110076a95f5SAlan Maguire 	for (i = 0; i < ARRAY_SIZE(flags); i++) {
111076a95f5SAlan Maguire 		++num_subtests;
112076a95f5SAlan Maguire 		ret = bpf_snprintf_btf(str, STRSIZE, &p, sizeof(p), 0);
113076a95f5SAlan Maguire 		if (ret < 0)
114076a95f5SAlan Maguire 			bpf_printk("returned %d when writing skb", ret);
115076a95f5SAlan Maguire 		++ran_subtests;
116076a95f5SAlan Maguire 	}
117076a95f5SAlan Maguire 
118076a95f5SAlan Maguire 	/* Check invalid ptr value */
11942a382a4SIlya Leoshkevich 	p.ptr = BADPTR;
120076a95f5SAlan Maguire 	__ret = bpf_snprintf_btf(str, STRSIZE, &p, sizeof(p), 0);
121076a95f5SAlan Maguire 	if (__ret >= 0) {
12242a382a4SIlya Leoshkevich 		bpf_printk("printing %llx should generate error, got (%d)",
12342a382a4SIlya Leoshkevich 			   (unsigned long long)BADPTR, __ret);
124076a95f5SAlan Maguire 		ret = -ERANGE;
125076a95f5SAlan Maguire 	}
126076a95f5SAlan Maguire 
127076a95f5SAlan Maguire 	/* Verify type display for various types. */
128076a95f5SAlan Maguire 
129076a95f5SAlan Maguire 	/* simple int */
130076a95f5SAlan Maguire 	TEST_BTF_C(str, int, 0, 1234);
131076a95f5SAlan Maguire 	TEST_BTF(str, int, BTF_F_NONAME, "1234", 1234);
132076a95f5SAlan Maguire 	/* zero value should be printed at toplevel */
133076a95f5SAlan Maguire 	TEST_BTF(str, int, 0, "(int)0", 0);
134076a95f5SAlan Maguire 	TEST_BTF(str, int, BTF_F_NONAME, "0", 0);
135076a95f5SAlan Maguire 	TEST_BTF(str, int, BTF_F_ZERO, "(int)0", 0);
136076a95f5SAlan Maguire 	TEST_BTF(str, int, BTF_F_NONAME | BTF_F_ZERO, "0", 0);
137076a95f5SAlan Maguire 	TEST_BTF_C(str, int, 0, -4567);
138076a95f5SAlan Maguire 	TEST_BTF(str, int, BTF_F_NONAME, "-4567", -4567);
139076a95f5SAlan Maguire 
140076a95f5SAlan Maguire 	/* simple char */
141076a95f5SAlan Maguire 	TEST_BTF_C(str, char, 0, 100);
142076a95f5SAlan Maguire 	TEST_BTF(str, char, BTF_F_NONAME, "100", 100);
143076a95f5SAlan Maguire 	/* zero value should be printed at toplevel */
144076a95f5SAlan Maguire 	TEST_BTF(str, char, 0, "(char)0", 0);
145076a95f5SAlan Maguire 	TEST_BTF(str, char, BTF_F_NONAME, "0", 0);
146076a95f5SAlan Maguire 	TEST_BTF(str, char, BTF_F_ZERO, "(char)0", 0);
147076a95f5SAlan Maguire 	TEST_BTF(str, char, BTF_F_NONAME | BTF_F_ZERO, "0", 0);
148076a95f5SAlan Maguire 
149076a95f5SAlan Maguire 	/* simple typedef */
150076a95f5SAlan Maguire 	TEST_BTF_C(str, uint64_t, 0, 100);
151076a95f5SAlan Maguire 	TEST_BTF(str, u64, BTF_F_NONAME, "1", 1);
152076a95f5SAlan Maguire 	/* zero value should be printed at toplevel */
153076a95f5SAlan Maguire 	TEST_BTF(str, u64, 0, "(u64)0", 0);
154076a95f5SAlan Maguire 	TEST_BTF(str, u64, BTF_F_NONAME, "0", 0);
155076a95f5SAlan Maguire 	TEST_BTF(str, u64, BTF_F_ZERO, "(u64)0", 0);
156076a95f5SAlan Maguire 	TEST_BTF(str, u64, BTF_F_NONAME|BTF_F_ZERO, "0", 0);
157076a95f5SAlan Maguire 
158076a95f5SAlan Maguire 	/* typedef struct */
159076a95f5SAlan Maguire 	TEST_BTF_C(str, atomic_t, 0, {.counter = (int)1,});
160076a95f5SAlan Maguire 	TEST_BTF(str, atomic_t, BTF_F_NONAME, "{1,}", {.counter = 1,});
161076a95f5SAlan Maguire 	/* typedef with 0 value should be printed at toplevel */
162076a95f5SAlan Maguire 	TEST_BTF(str, atomic_t, 0, "(atomic_t){}", {.counter = 0,});
163076a95f5SAlan Maguire 	TEST_BTF(str, atomic_t, BTF_F_NONAME, "{}", {.counter = 0,});
164076a95f5SAlan Maguire 	TEST_BTF(str, atomic_t, BTF_F_ZERO, "(atomic_t){.counter = (int)0,}",
165076a95f5SAlan Maguire 		 {.counter = 0,});
166076a95f5SAlan Maguire 	TEST_BTF(str, atomic_t, BTF_F_NONAME|BTF_F_ZERO,
167076a95f5SAlan Maguire 		 "{0,}", {.counter = 0,});
168076a95f5SAlan Maguire 
169076a95f5SAlan Maguire 	/* enum where enum value does (and does not) exist */
170076a95f5SAlan Maguire 	TEST_BTF_C(str, enum bpf_cmd, 0, BPF_MAP_CREATE);
171076a95f5SAlan Maguire 	TEST_BTF(str, enum bpf_cmd, 0, "(enum bpf_cmd)BPF_MAP_CREATE", 0);
172076a95f5SAlan Maguire 	TEST_BTF(str, enum bpf_cmd, BTF_F_NONAME, "BPF_MAP_CREATE",
173076a95f5SAlan Maguire 		 BPF_MAP_CREATE);
174076a95f5SAlan Maguire 	TEST_BTF(str, enum bpf_cmd, BTF_F_NONAME|BTF_F_ZERO,
175076a95f5SAlan Maguire 		 "BPF_MAP_CREATE", 0);
176076a95f5SAlan Maguire 
177076a95f5SAlan Maguire 	TEST_BTF(str, enum bpf_cmd, BTF_F_ZERO, "(enum bpf_cmd)BPF_MAP_CREATE",
178076a95f5SAlan Maguire 		 BPF_MAP_CREATE);
179076a95f5SAlan Maguire 	TEST_BTF(str, enum bpf_cmd, BTF_F_NONAME|BTF_F_ZERO,
180076a95f5SAlan Maguire 		 "BPF_MAP_CREATE", BPF_MAP_CREATE);
181076a95f5SAlan Maguire 	TEST_BTF_C(str, enum bpf_cmd, 0, 2000);
182076a95f5SAlan Maguire 	TEST_BTF(str, enum bpf_cmd, BTF_F_NONAME, "2000", 2000);
183076a95f5SAlan Maguire 
184076a95f5SAlan Maguire 	/* simple struct */
185076a95f5SAlan Maguire 	TEST_BTF_C(str, struct btf_enum, 0,
186076a95f5SAlan Maguire 		   {.name_off = (__u32)3,.val = (__s32)-1,});
187076a95f5SAlan Maguire 	TEST_BTF(str, struct btf_enum, BTF_F_NONAME, "{3,-1,}",
188076a95f5SAlan Maguire 		 { .name_off = 3, .val = -1,});
189076a95f5SAlan Maguire 	TEST_BTF(str, struct btf_enum, BTF_F_NONAME, "{-1,}",
190076a95f5SAlan Maguire 		 { .name_off = 0, .val = -1,});
191076a95f5SAlan Maguire 	TEST_BTF(str, struct btf_enum, BTF_F_NONAME|BTF_F_ZERO, "{0,-1,}",
192076a95f5SAlan Maguire 		 { .name_off = 0, .val = -1,});
193076a95f5SAlan Maguire 	/* empty struct should be printed */
194076a95f5SAlan Maguire 	TEST_BTF(str, struct btf_enum, 0, "(struct btf_enum){}",
195076a95f5SAlan Maguire 		 { .name_off = 0, .val = 0,});
196076a95f5SAlan Maguire 	TEST_BTF(str, struct btf_enum, BTF_F_NONAME, "{}",
197076a95f5SAlan Maguire 		 { .name_off = 0, .val = 0,});
198076a95f5SAlan Maguire 	TEST_BTF(str, struct btf_enum, BTF_F_ZERO,
199076a95f5SAlan Maguire 		 "(struct btf_enum){.name_off = (__u32)0,.val = (__s32)0,}",
200076a95f5SAlan Maguire 		 { .name_off = 0, .val = 0,});
201076a95f5SAlan Maguire 
202076a95f5SAlan Maguire 	/* struct with pointers */
203076a95f5SAlan Maguire 	TEST_BTF(str, struct list_head, BTF_F_PTR_RAW,
204076a95f5SAlan Maguire 		 "(struct list_head){.next = (struct list_head *)0x0000000000000001,}",
205076a95f5SAlan Maguire 		 { .next = (struct list_head *)1 });
206076a95f5SAlan Maguire 	/* NULL pointer should not be displayed */
207076a95f5SAlan Maguire 	TEST_BTF(str, struct list_head, BTF_F_PTR_RAW,
208076a95f5SAlan Maguire 		 "(struct list_head){}",
209076a95f5SAlan Maguire 		 { .next = (struct list_head *)0 });
210076a95f5SAlan Maguire 
211076a95f5SAlan Maguire 	/* struct with char array */
212076a95f5SAlan Maguire 	TEST_BTF(str, struct bpf_prog_info, 0,
213076a95f5SAlan Maguire 		 "(struct bpf_prog_info){.name = (char[])['f','o','o',],}",
214076a95f5SAlan Maguire 		 { .name = "foo",});
215076a95f5SAlan Maguire 	TEST_BTF(str, struct bpf_prog_info, BTF_F_NONAME,
216076a95f5SAlan Maguire 		 "{['f','o','o',],}",
217076a95f5SAlan Maguire 		 {.name = "foo",});
218076a95f5SAlan Maguire 	/* leading null char means do not display string */
219076a95f5SAlan Maguire 	TEST_BTF(str, struct bpf_prog_info, 0,
220076a95f5SAlan Maguire 		 "(struct bpf_prog_info){}",
221076a95f5SAlan Maguire 		 {.name = {'\0', 'f', 'o', 'o'}});
222076a95f5SAlan Maguire 	/* handle non-printable characters */
223076a95f5SAlan Maguire 	TEST_BTF(str, struct bpf_prog_info, 0,
224076a95f5SAlan Maguire 		 "(struct bpf_prog_info){.name = (char[])[1,2,3,],}",
225076a95f5SAlan Maguire 		 { .name = {1, 2, 3, 0}});
226076a95f5SAlan Maguire 
227076a95f5SAlan Maguire 	/* struct with non-char array */
228076a95f5SAlan Maguire 	TEST_BTF(str, struct __sk_buff, 0,
229076a95f5SAlan Maguire 		 "(struct __sk_buff){.cb = (__u32[])[1,2,3,4,5,],}",
230076a95f5SAlan Maguire 		 { .cb = {1, 2, 3, 4, 5,},});
231076a95f5SAlan Maguire 	TEST_BTF(str, struct __sk_buff, BTF_F_NONAME,
232076a95f5SAlan Maguire 		 "{[1,2,3,4,5,],}",
233076a95f5SAlan Maguire 		 { .cb = { 1, 2, 3, 4, 5},});
234076a95f5SAlan Maguire 	/* For non-char, arrays, show non-zero values only */
235076a95f5SAlan Maguire 	TEST_BTF(str, struct __sk_buff, 0,
236076a95f5SAlan Maguire 		 "(struct __sk_buff){.cb = (__u32[])[1,],}",
237076a95f5SAlan Maguire 		 { .cb = { 0, 0, 1, 0, 0},});
238076a95f5SAlan Maguire 
239076a95f5SAlan Maguire 	/* struct with bitfields */
240076a95f5SAlan Maguire 	TEST_BTF_C(str, struct bpf_insn, 0,
241076a95f5SAlan Maguire 		   {.code = (__u8)1,.dst_reg = (__u8)0x2,.src_reg = (__u8)0x3,.off = (__s16)4,.imm = (__s32)5,});
242076a95f5SAlan Maguire 	TEST_BTF(str, struct bpf_insn, BTF_F_NONAME, "{1,0x2,0x3,4,5,}",
243076a95f5SAlan Maguire 		 {.code = 1, .dst_reg = 0x2, .src_reg = 0x3, .off = 4,
244076a95f5SAlan Maguire 		  .imm = 5,});
245076a95f5SAlan Maguire #else
246076a95f5SAlan Maguire 	skip = true;
247076a95f5SAlan Maguire #endif
248076a95f5SAlan Maguire 
249076a95f5SAlan Maguire 	return 0;
250076a95f5SAlan Maguire }
251076a95f5SAlan Maguire 
252076a95f5SAlan Maguire char _license[] SEC("license") = "GPL";
253