bpf/prog_tests/verifier_log.c

36 static int load_prog(struct bpf_prog_load_opts *opts, bool expect_load_error)
41 				"GPL", insns, insn_cnt, opts);
49 	LIBBPF_OPTS(bpf_prog_load_opts, opts);
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);
100 		opts.log_buf = logs.buf;
101 		opts.log_level = log_level | 8; /* fixed-length log */
102 		opts.log_size = 25;
105 					"GPL", insns, insn_cnt, &opts);
120 	opts.log_buf = logs.buf;
131 			opts.log_size = i;
132 			opts.log_level = log_level | (mode ? 0 : 8 /* BPF_LOG_FIXED */);
137 						"GPL", insns, insn_cnt, &opts);
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);
185 	log_true_sz_fixed = opts.log_true_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);
195 	ASSERT_EQ(opts.log_true_size, log_true_sz_fixed, "log_sz_fixed_null_eq");
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);
205 	log_true_sz_rolling = opts.log_true_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);
215 	ASSERT_EQ(opts.log_true_size, log_true_sz_rolling, "log_true_sz_null_eq");
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 */);
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);
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 */);
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);
255 static int load_btf(struct bpf_btf_load_opts *opts, bool expect_err)
259 	fd = bpf_btf_load(btf_data, btf_data_sz, opts);
271 	LIBBPF_OPTS(bpf_btf_load_opts, opts);
301 	load_btf(&opts, bad_btf);
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);
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);
325 	opts.log_buf = logs.buf;
326 	opts.log_level = 1; /* rolling log */
335 		opts.log_size = i;
338 		res = load_btf(&opts, true);
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);
369 	log_true_sz_fixed = opts.log_true_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);
379 	ASSERT_EQ(opts.log_true_size, log_true_sz_fixed, "log_sz_fixed_null_eq");
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);
389 	log_true_sz_rolling = opts.log_true_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);
399 	ASSERT_EQ(opts.log_true_size, log_true_sz_rolling, "log_true_sz_null_eq");
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);
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);
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);
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);