1// SPDX-License-Identifier: GPL-2.0
2/* Copyright (c) 2023 Meta Platforms, Inc. and affiliates. */
3
4#include <test_progs.h>
5#include <bpf/btf.h>
6
7#include "test_log_buf.skel.h"
8
9
10static bool check_prog_load(int prog_fd, bool expect_err, const char *tag)
11{
12 if (expect_err) {
13 if (!ASSERT_LT(prog_fd, 0, tag)) {
14 close(prog_fd);
15 return false;
16 }
17 } else /* !expect_err */ {
18 if (!ASSERT_GT(prog_fd, 0, tag))
19 return false;
20 }
21 if (prog_fd >= 0)
22 close(prog_fd);
23 return true;
24}
25
26static struct {
27 /* strategically placed before others to avoid accidental modification by kernel */
28 char filler[1024];
29 char buf[1024];
30 /* strategically placed after buf[] to catch more accidental corruptions */
31 char reference[1024];
32} logs;
33static const struct bpf_insn *insns;
34static size_t insn_cnt;
35
36static int load_prog(struct bpf_prog_load_opts *opts, bool expect_load_error)
37{
38 int prog_fd;
39
40 prog_fd = bpf_prog_load(BPF_PROG_TYPE_RAW_TRACEPOINT, "log_prog",
41 "GPL", insns, insn_cnt, opts);
42 check_prog_load(prog_fd, expect_load_error, "prog_load");
43
44 return prog_fd;
45}
46
47static void verif_log_subtest(const char *name, bool expect_load_error, int log_level)
48{
49 LIBBPF_OPTS(bpf_prog_load_opts, opts);
50 char *exp_log, prog_name[16], op_name[32];
51 struct test_log_buf *skel;
52 struct bpf_program *prog;
53 size_t fixed_log_sz;
54 __u32 log_true_sz_fixed, log_true_sz_rolling;
55 int i, mode, err, prog_fd, res;
56
57 skel = test_log_buf__open();
58 if (!ASSERT_OK_PTR(skel, "skel_open"))
59 return;
60
61 bpf_object__for_each_program(prog, skel->obj) {
62 if (strcmp(bpf_program__name(prog), name) == 0)
63 bpf_program__set_autoload(prog, true);
64 else
65 bpf_program__set_autoload(prog, false);
66 }
67
68 err = test_log_buf__load(skel);
69 if (!expect_load_error && !ASSERT_OK(err, "unexpected_load_failure"))
70 goto cleanup;
71 if (expect_load_error && !ASSERT_ERR(err, "unexpected_load_success"))
72 goto cleanup;
73
74 insns = bpf_program__insns(skel->progs.good_prog);
75 insn_cnt = bpf_program__insn_cnt(skel->progs.good_prog);
76
77 opts.log_buf = logs.reference;
78 opts.log_size = sizeof(logs.reference);
79 opts.log_level = log_level | 8 /* BPF_LOG_FIXED */;
80 load_prog(&opts, expect_load_error);
81
82 fixed_log_sz = strlen(logs.reference) + 1;
83 if (!ASSERT_GT(fixed_log_sz, 50, "fixed_log_sz"))
84 goto cleanup;
85 memset(logs.reference + fixed_log_sz, 0, sizeof(logs.reference) - fixed_log_sz);
86
87 /* validate BPF_LOG_FIXED works as verifier log used to work, that is:
88 * we get -ENOSPC and beginning of the full verifier log. This only
89 * works for log_level 2 and log_level 1 + failed program. For log
90 * level 2 we don't reset log at all. For log_level 1 + failed program
91 * we don't get to verification stats output. With log level 1
92 * for successful program final result will be just verifier stats.
93 * But if provided too short log buf, kernel will NULL-out log->ubuf
94 * and will stop emitting further log. This means we'll never see
95 * predictable verifier stats.
96 * Long story short, we do the following -ENOSPC test only for
97 * predictable combinations.
98 */
99 if (log_level >= 2 || expect_load_error) {
100 opts.log_buf = logs.buf;
101 opts.log_level = log_level | 8; /* fixed-length log */
102 opts.log_size = 25;
103
104 prog_fd = bpf_prog_load(BPF_PROG_TYPE_RAW_TRACEPOINT, "log_fixed25",
105 "GPL", insns, insn_cnt, &opts);
106 if (!ASSERT_EQ(prog_fd, -ENOSPC, "unexpected_log_fixed_prog_load_result")) {
107 if (prog_fd >= 0)
108 close(prog_fd);
109 goto cleanup;
110 }
111 if (!ASSERT_EQ(strlen(logs.buf), 24, "log_fixed_25"))
112 goto cleanup;
113 if (!ASSERT_STRNEQ(logs.buf, logs.reference, 24, "log_fixed_contents_25"))
114 goto cleanup;
115 }
116
117 /* validate rolling verifier log logic: try all variations of log buf
118 * length to force various truncation scenarios
119 */
120 opts.log_buf = logs.buf;
121
122 /* rotating mode, then fixed mode */
123 for (mode = 1; mode >= 0; mode--) {
124 /* prefill logs.buf with 'A's to detect any write beyond allowed length */
125 memset(logs.filler, 'A', sizeof(logs.filler));
126 logs.filler[sizeof(logs.filler) - 1] = '\0';
127 memset(logs.buf, 'A', sizeof(logs.buf));
128 logs.buf[sizeof(logs.buf) - 1] = '\0';
129
130 for (i = 1; i < fixed_log_sz; i++) {
131 opts.log_size = i;
132 opts.log_level = log_level | (mode ? 0 : 8 /* BPF_LOG_FIXED */);
133
134 snprintf(prog_name, sizeof(prog_name),
135 "log_%s_%d", mode ? "roll" : "fixed", i);
136 prog_fd = bpf_prog_load(BPF_PROG_TYPE_RAW_TRACEPOINT, prog_name,
137 "GPL", insns, insn_cnt, &opts);
138
139 snprintf(op_name, sizeof(op_name),
140 "log_%s_prog_load_%d", mode ? "roll" : "fixed", i);
141 if (!ASSERT_EQ(prog_fd, -ENOSPC, op_name)) {
142 if (prog_fd >= 0)
143 close(prog_fd);
144 goto cleanup;
145 }
146
147 snprintf(op_name, sizeof(op_name),
148 "log_%s_strlen_%d", mode ? "roll" : "fixed", i);
149 ASSERT_EQ(strlen(logs.buf), i - 1, op_name);
150
151 if (mode)
152 exp_log = logs.reference + fixed_log_sz - i;
153 else
154 exp_log = logs.reference;
155
156 snprintf(op_name, sizeof(op_name),
157 "log_%s_contents_%d", mode ? "roll" : "fixed", i);
158 if (!ASSERT_STRNEQ(logs.buf, exp_log, i - 1, op_name)) {
159 printf("CMP:%d\nS1:'%s'\nS2:'%s'\n",
160 strncmp(logs.buf, exp_log, i - 1),
161 logs.buf, exp_log);
162 goto cleanup;
163 }
164
165 /* check that unused portions of logs.buf is not overwritten */
166 snprintf(op_name, sizeof(op_name),
167 "log_%s_unused_%d", mode ? "roll" : "fixed", i);
168 if (!ASSERT_STREQ(logs.buf + i, logs.filler + i, op_name)) {
169 printf("CMP:%d\nS1:'%s'\nS2:'%s'\n",
170 strcmp(logs.buf + i, logs.filler + i),
171 logs.buf + i, logs.filler + i);
172 goto cleanup;
173 }
174 }
175 }
176
177 /* (FIXED) get actual log size */
178 opts.log_buf = logs.buf;
179 opts.log_level = log_level | 8; /* BPF_LOG_FIXED */
180 opts.log_size = sizeof(logs.buf);
181 opts.log_true_size = 0;
182 res = load_prog(&opts, expect_load_error);
183 ASSERT_NEQ(res, -ENOSPC, "prog_load_res_fixed");
184
185 log_true_sz_fixed = opts.log_true_size;
186 ASSERT_GT(log_true_sz_fixed, 0, "log_true_sz_fixed");
187
188 /* (FIXED, NULL) get actual log size */
189 opts.log_buf = NULL;
190 opts.log_level = log_level | 8; /* BPF_LOG_FIXED */
191 opts.log_size = 0;
192 opts.log_true_size = 0;
193 res = load_prog(&opts, expect_load_error);
194 ASSERT_NEQ(res, -ENOSPC, "prog_load_res_fixed_null");
195 ASSERT_EQ(opts.log_true_size, log_true_sz_fixed, "log_sz_fixed_null_eq");
196
197 /* (ROLLING) get actual log size */
198 opts.log_buf = logs.buf;
199 opts.log_level = log_level;
200 opts.log_size = sizeof(logs.buf);
201 opts.log_true_size = 0;
202 res = load_prog(&opts, expect_load_error);
203 ASSERT_NEQ(res, -ENOSPC, "prog_load_res_rolling");
204
205 log_true_sz_rolling = opts.log_true_size;
206 ASSERT_EQ(log_true_sz_rolling, log_true_sz_fixed, "log_true_sz_eq");
207
208 /* (ROLLING, NULL) get actual log size */
209 opts.log_buf = NULL;
210 opts.log_level = log_level;
211 opts.log_size = 0;
212 opts.log_true_size = 0;
213 res = load_prog(&opts, expect_load_error);
214 ASSERT_NEQ(res, -ENOSPC, "prog_load_res_rolling_null");
215 ASSERT_EQ(opts.log_true_size, log_true_sz_rolling, "log_true_sz_null_eq");
216
217 /* (FIXED) expect -ENOSPC for one byte short log */
218 opts.log_buf = logs.buf;
219 opts.log_level = log_level | 8; /* BPF_LOG_FIXED */
220 opts.log_size = log_true_sz_fixed - 1;
221 opts.log_true_size = 0;
222 res = load_prog(&opts, true /* should fail */);
223 ASSERT_EQ(res, -ENOSPC, "prog_load_res_too_short_fixed");
224
225 /* (FIXED) expect *not* -ENOSPC with exact log_true_size buffer */
226 opts.log_buf = logs.buf;
227 opts.log_level = log_level | 8; /* BPF_LOG_FIXED */
228 opts.log_size = log_true_sz_fixed;
229 opts.log_true_size = 0;
230 res = load_prog(&opts, expect_load_error);
231 ASSERT_NEQ(res, -ENOSPC, "prog_load_res_just_right_fixed");
232
233 /* (ROLLING) expect -ENOSPC for one byte short log */
234 opts.log_buf = logs.buf;
235 opts.log_level = log_level;
236 opts.log_size = log_true_sz_rolling - 1;
237 res = load_prog(&opts, true /* should fail */);
238 ASSERT_EQ(res, -ENOSPC, "prog_load_res_too_short_rolling");
239
240 /* (ROLLING) expect *not* -ENOSPC with exact log_true_size buffer */
241 opts.log_buf = logs.buf;
242 opts.log_level = log_level;
243 opts.log_size = log_true_sz_rolling;
244 opts.log_true_size = 0;
245 res = load_prog(&opts, expect_load_error);
246 ASSERT_NEQ(res, -ENOSPC, "prog_load_res_just_right_rolling");
247
248cleanup:
249 test_log_buf__destroy(skel);
250}
251
252static const void *btf_data;
253static u32 btf_data_sz;
254
255static int load_btf(struct bpf_btf_load_opts *opts, bool expect_err)
256{
257 int fd;
258
259 fd = bpf_btf_load(btf_data, btf_data_sz, opts);
260 if (fd >= 0)
261 close(fd);
262 if (expect_err)
263 ASSERT_LT(fd, 0, "btf_load_failure");
264 else /* !expect_err */
265 ASSERT_GT(fd, 0, "btf_load_success");
266 return fd;
267}
268
269static void verif_btf_log_subtest(bool bad_btf)
270{
271 LIBBPF_OPTS(bpf_btf_load_opts, opts);
272 struct btf *btf;
273 struct btf_type *t;
274 char *exp_log, op_name[32];
275 size_t fixed_log_sz;
276 __u32 log_true_sz_fixed, log_true_sz_rolling;
277 int i, res;
278
279 /* prepare simple BTF contents */
280 btf = btf__new_empty();
281 if (!ASSERT_OK_PTR(btf, "btf_new_empty"))
282 return;
283 res = btf__add_int(btf, "whatever", 4, 0);
284 if (!ASSERT_GT(res, 0, "btf_add_int_id"))
285 goto cleanup;
286 if (bad_btf) {
287 /* btf__add_int() doesn't allow bad value of size, so we'll just
288 * force-cast btf_type pointer and manually override size to invalid
289 * 3 if we need to simulate failure
290 */
291 t = (void *)btf__type_by_id(btf, res);
292 if (!ASSERT_OK_PTR(t, "int_btf_type"))
293 goto cleanup;
294 t->size = 3;
295 }
296
297 btf_data = btf__raw_data(btf, &btf_data_sz);
298 if (!ASSERT_OK_PTR(btf_data, "btf_data"))
299 goto cleanup;
300
301 load_btf(&opts, bad_btf);
302
303 opts.log_buf = logs.reference;
304 opts.log_size = sizeof(logs.reference);
305 opts.log_level = 1 | 8 /* BPF_LOG_FIXED */;
306 load_btf(&opts, bad_btf);
307
308 fixed_log_sz = strlen(logs.reference) + 1;
309 if (!ASSERT_GT(fixed_log_sz, 50, "fixed_log_sz"))
310 goto cleanup;
311 memset(logs.reference + fixed_log_sz, 0, sizeof(logs.reference) - fixed_log_sz);
312
313 /* validate BPF_LOG_FIXED truncation works as verifier log used to work */
314 opts.log_buf = logs.buf;
315 opts.log_level = 1 | 8; /* fixed-length log */
316 opts.log_size = 25;
317 res = load_btf(&opts, true);
318 ASSERT_EQ(res, -ENOSPC, "half_log_fd");
319 ASSERT_EQ(strlen(logs.buf), 24, "log_fixed_25");
320 ASSERT_STRNEQ(logs.buf, logs.reference, 24, op_name);
321
322 /* validate rolling verifier log logic: try all variations of log buf
323 * length to force various truncation scenarios
324 */
325 opts.log_buf = logs.buf;
326 opts.log_level = 1; /* rolling log */
327
328 /* prefill logs.buf with 'A's to detect any write beyond allowed length */
329 memset(logs.filler, 'A', sizeof(logs.filler));
330 logs.filler[sizeof(logs.filler) - 1] = '\0';
331 memset(logs.buf, 'A', sizeof(logs.buf));
332 logs.buf[sizeof(logs.buf) - 1] = '\0';
333
334 for (i = 1; i < fixed_log_sz; i++) {
335 opts.log_size = i;
336
337 snprintf(op_name, sizeof(op_name), "log_roll_btf_load_%d", i);
338 res = load_btf(&opts, true);
339 if (!ASSERT_EQ(res, -ENOSPC, op_name))
340 goto cleanup;
341
342 exp_log = logs.reference + fixed_log_sz - i;
343 snprintf(op_name, sizeof(op_name), "log_roll_contents_%d", i);
344 if (!ASSERT_STREQ(logs.buf, exp_log, op_name)) {
345 printf("CMP:%d\nS1:'%s'\nS2:'%s'\n",
346 strcmp(logs.buf, exp_log),
347 logs.buf, exp_log);
348 goto cleanup;
349 }
350
351 /* check that unused portions of logs.buf are not overwritten */
352 snprintf(op_name, sizeof(op_name), "log_roll_unused_tail_%d", i);
353 if (!ASSERT_STREQ(logs.buf + i, logs.filler + i, op_name)) {
354 printf("CMP:%d\nS1:'%s'\nS2:'%s'\n",
355 strcmp(logs.buf + i, logs.filler + i),
356 logs.buf + i, logs.filler + i);
357 goto cleanup;
358 }
359 }
360
361 /* (FIXED) get actual log size */
362 opts.log_buf = logs.buf;
363 opts.log_level = 1 | 8; /* BPF_LOG_FIXED */
364 opts.log_size = sizeof(logs.buf);
365 opts.log_true_size = 0;
366 res = load_btf(&opts, bad_btf);
367 ASSERT_NEQ(res, -ENOSPC, "btf_load_res_fixed");
368
369 log_true_sz_fixed = opts.log_true_size;
370 ASSERT_GT(log_true_sz_fixed, 0, "log_true_sz_fixed");
371
372 /* (FIXED, NULL) get actual log size */
373 opts.log_buf = NULL;
374 opts.log_level = 1 | 8; /* BPF_LOG_FIXED */
375 opts.log_size = 0;
376 opts.log_true_size = 0;
377 res = load_btf(&opts, bad_btf);
378 ASSERT_NEQ(res, -ENOSPC, "btf_load_res_fixed_null");
379 ASSERT_EQ(opts.log_true_size, log_true_sz_fixed, "log_sz_fixed_null_eq");
380
381 /* (ROLLING) get actual log size */
382 opts.log_buf = logs.buf;
383 opts.log_level = 1;
384 opts.log_size = sizeof(logs.buf);
385 opts.log_true_size = 0;
386 res = load_btf(&opts, bad_btf);
387 ASSERT_NEQ(res, -ENOSPC, "btf_load_res_rolling");
388
389 log_true_sz_rolling = opts.log_true_size;
390 ASSERT_EQ(log_true_sz_rolling, log_true_sz_fixed, "log_true_sz_eq");
391
392 /* (ROLLING, NULL) get actual log size */
393 opts.log_buf = NULL;
394 opts.log_level = 1;
395 opts.log_size = 0;
396 opts.log_true_size = 0;
397 res = load_btf(&opts, bad_btf);
398 ASSERT_NEQ(res, -ENOSPC, "btf_load_res_rolling_null");
399 ASSERT_EQ(opts.log_true_size, log_true_sz_rolling, "log_true_sz_null_eq");
400
401 /* (FIXED) expect -ENOSPC for one byte short log */
402 opts.log_buf = logs.buf;
403 opts.log_level = 1 | 8; /* BPF_LOG_FIXED */
404 opts.log_size = log_true_sz_fixed - 1;
405 opts.log_true_size = 0;
406 res = load_btf(&opts, true);
407 ASSERT_EQ(res, -ENOSPC, "btf_load_res_too_short_fixed");
408
409 /* (FIXED) expect *not* -ENOSPC with exact log_true_size buffer */
410 opts.log_buf = logs.buf;
411 opts.log_level = 1 | 8; /* BPF_LOG_FIXED */
412 opts.log_size = log_true_sz_fixed;
413 opts.log_true_size = 0;
414 res = load_btf(&opts, bad_btf);
415 ASSERT_NEQ(res, -ENOSPC, "btf_load_res_just_right_fixed");
416
417 /* (ROLLING) expect -ENOSPC for one byte short log */
418 opts.log_buf = logs.buf;
419 opts.log_level = 1;
420 opts.log_size = log_true_sz_rolling - 1;
421 res = load_btf(&opts, true);
422 ASSERT_EQ(res, -ENOSPC, "btf_load_res_too_short_rolling");
423
424 /* (ROLLING) expect *not* -ENOSPC with exact log_true_size buffer */
425 opts.log_buf = logs.buf;
426 opts.log_level = 1;
427 opts.log_size = log_true_sz_rolling;
428 opts.log_true_size = 0;
429 res = load_btf(&opts, bad_btf);
430 ASSERT_NEQ(res, -ENOSPC, "btf_load_res_just_right_rolling");
431
432cleanup:
433 btf__free(btf);
434}
435
436void test_verifier_log(void)
437{
438 if (test__start_subtest("good_prog-level1"))
439 verif_log_subtest("good_prog", false, 1);
440 if (test__start_subtest("good_prog-level2"))
441 verif_log_subtest("good_prog", false, 2);
442 if (test__start_subtest("bad_prog-level1"))
443 verif_log_subtest("bad_prog", true, 1);
444 if (test__start_subtest("bad_prog-level2"))
445 verif_log_subtest("bad_prog", true, 2);
446 if (test__start_subtest("bad_btf"))
447 verif_btf_log_subtest(true /* bad btf */);
448 if (test__start_subtest("good_btf"))
449 verif_btf_log_subtest(false /* !bad btf */);
450}
451

source code of linux/tools/testing/selftests/bpf/prog_tests/verifier_log.c