1 // SPDX-License-Identifier: (GPL-2.0-only OR BSD-2-Clause)
2 /* Copyright (c) 2022 Meta Platforms, Inc. and affiliates. */
3 #define _GNU_SOURCE
4 #include <argp.h>
5 #include <string.h>
6 #include <stdlib.h>
7 #include <sched.h>
8 #include <pthread.h>
9 #include <dirent.h>
10 #include <signal.h>
11 #include <fcntl.h>
12 #include <unistd.h>
13 #include <sys/time.h>
14 #include <sys/sysinfo.h>
15 #include <sys/stat.h>
16 #include <bpf/libbpf.h>
17 #include <bpf/btf.h>
18 #include <libelf.h>
19 #include <gelf.h>
20 #include <float.h>
21 
22 #ifndef ARRAY_SIZE
23 #define ARRAY_SIZE(arr) (sizeof(arr) / sizeof((arr)[0]))
24 #endif
25 
26 enum stat_id {
27 	VERDICT,
28 	DURATION,
29 	TOTAL_INSNS,
30 	TOTAL_STATES,
31 	PEAK_STATES,
32 	MAX_STATES_PER_INSN,
33 	MARK_READ_MAX_LEN,
34 
35 	FILE_NAME,
36 	PROG_NAME,
37 
38 	ALL_STATS_CNT,
39 	NUM_STATS_CNT = FILE_NAME - VERDICT,
40 };
41 
42 /* In comparison mode each stat can specify up to four different values:
43  *   - A side value;
44  *   - B side value;
45  *   - absolute diff value;
46  *   - relative (percentage) diff value.
47  *
48  * When specifying stat specs in comparison mode, user can use one of the
49  * following variant suffixes to specify which exact variant should be used for
50  * ordering or filtering:
51  *   - `_a` for A side value;
52  *   - `_b` for B side value;
53  *   - `_diff` for absolute diff value;
54  *   - `_pct` for relative (percentage) diff value.
55  *
56  * If no variant suffix is provided, then `_b` (control data) is assumed.
57  *
58  * As an example, let's say instructions stat has the following output:
59  *
60  * Insns (A)  Insns (B)  Insns   (DIFF)
61  * ---------  ---------  --------------
62  * 21547      20920       -627 (-2.91%)
63  *
64  * Then:
65  *   - 21547 is A side value (insns_a);
66  *   - 20920 is B side value (insns_b);
67  *   - -627 is absolute diff value (insns_diff);
68  *   - -2.91% is relative diff value (insns_pct).
69  *
70  * For verdict there is no verdict_pct variant.
71  * For file and program name, _a and _b variants are equivalent and there are
72  * no _diff or _pct variants.
73  */
74 enum stat_variant {
75 	VARIANT_A,
76 	VARIANT_B,
77 	VARIANT_DIFF,
78 	VARIANT_PCT,
79 };
80 
81 struct verif_stats {
82 	char *file_name;
83 	char *prog_name;
84 
85 	long stats[NUM_STATS_CNT];
86 };
87 
88 /* joined comparison mode stats */
89 struct verif_stats_join {
90 	char *file_name;
91 	char *prog_name;
92 
93 	const struct verif_stats *stats_a;
94 	const struct verif_stats *stats_b;
95 };
96 
97 struct stat_specs {
98 	int spec_cnt;
99 	enum stat_id ids[ALL_STATS_CNT];
100 	enum stat_variant variants[ALL_STATS_CNT];
101 	bool asc[ALL_STATS_CNT];
102 	int lens[ALL_STATS_CNT * 3]; /* 3x for comparison mode */
103 };
104 
105 enum resfmt {
106 	RESFMT_TABLE,
107 	RESFMT_TABLE_CALCLEN, /* fake format to pre-calculate table's column widths */
108 	RESFMT_CSV,
109 };
110 
111 enum filter_kind {
112 	FILTER_NAME,
113 	FILTER_STAT,
114 };
115 
116 enum operator_kind {
117 	OP_EQ,		/* == or = */
118 	OP_NEQ,		/* != or <> */
119 	OP_LT,		/* < */
120 	OP_LE,		/* <= */
121 	OP_GT,		/* > */
122 	OP_GE,		/* >= */
123 };
124 
125 struct filter {
126 	enum filter_kind kind;
127 	/* FILTER_NAME */
128 	char *any_glob;
129 	char *file_glob;
130 	char *prog_glob;
131 	/* FILTER_STAT */
132 	enum operator_kind op;
133 	int stat_id;
134 	enum stat_variant stat_var;
135 	long value;
136 };
137 
138 static struct env {
139 	char **filenames;
140 	int filename_cnt;
141 	bool verbose;
142 	bool debug;
143 	bool quiet;
144 	bool force_checkpoints;
145 	enum resfmt out_fmt;
146 	bool show_version;
147 	bool comparison_mode;
148 	bool replay_mode;
149 
150 	int log_level;
151 	int log_size;
152 	bool log_fixed;
153 
154 	struct verif_stats *prog_stats;
155 	int prog_stat_cnt;
156 
157 	/* baseline_stats is allocated and used only in comparison mode */
158 	struct verif_stats *baseline_stats;
159 	int baseline_stat_cnt;
160 
161 	struct verif_stats_join *join_stats;
162 	int join_stat_cnt;
163 
164 	struct stat_specs output_spec;
165 	struct stat_specs sort_spec;
166 
167 	struct filter *allow_filters;
168 	struct filter *deny_filters;
169 	int allow_filter_cnt;
170 	int deny_filter_cnt;
171 
172 	int files_processed;
173 	int files_skipped;
174 	int progs_processed;
175 	int progs_skipped;
176 } env;
177 
178 static int libbpf_print_fn(enum libbpf_print_level level, const char *format, va_list args)
179 {
180 	if (!env.verbose)
181 		return 0;
182 	if (level == LIBBPF_DEBUG  && !env.debug)
183 		return 0;
184 	return vfprintf(stderr, format, args);
185 }
186 
187 #ifndef VERISTAT_VERSION
188 #define VERISTAT_VERSION "<kernel>"
189 #endif
190 
191 const char *argp_program_version = "veristat v" VERISTAT_VERSION;
192 const char *argp_program_bug_address = "<bpf@vger.kernel.org>";
193 const char argp_program_doc[] =
194 "veristat    BPF verifier stats collection and comparison tool.\n"
195 "\n"
196 "USAGE: veristat <obj-file> [<obj-file>...]\n"
197 "   OR: veristat -C <baseline.csv> <comparison.csv>\n"
198 "   OR: veristat -R <results.csv>\n";
199 
200 enum {
201 	OPT_LOG_FIXED = 1000,
202 	OPT_LOG_SIZE = 1001,
203 };
204 
205 static const struct argp_option opts[] = {
206 	{ NULL, 'h', NULL, OPTION_HIDDEN, "Show the full help" },
207 	{ "version", 'V', NULL, 0, "Print version" },
208 	{ "verbose", 'v', NULL, 0, "Verbose mode" },
209 	{ "debug", 'd', NULL, 0, "Debug mode (turns on libbpf debug logging)" },
210 	{ "log-level", 'l', "LEVEL", 0, "Verifier log level (default 0 for normal mode, 1 for verbose mode)" },
211 	{ "log-fixed", OPT_LOG_FIXED, NULL, 0, "Disable verifier log rotation" },
212 	{ "log-size", OPT_LOG_SIZE, "BYTES", 0, "Customize verifier log size (default to 16MB)" },
213 	{ "test-states", 't', NULL, 0,
214 	  "Force frequent BPF verifier state checkpointing (set BPF_F_TEST_STATE_FREQ program flag)" },
215 	{ "quiet", 'q', NULL, 0, "Quiet mode" },
216 	{ "emit", 'e', "SPEC", 0, "Specify stats to be emitted" },
217 	{ "sort", 's', "SPEC", 0, "Specify sort order" },
218 	{ "output-format", 'o', "FMT", 0, "Result output format (table, csv), default is table." },
219 	{ "compare", 'C', NULL, 0, "Comparison mode" },
220 	{ "replay", 'R', NULL, 0, "Replay mode" },
221 	{ "filter", 'f', "FILTER", 0, "Filter expressions (or @filename for file with expressions)." },
222 	{},
223 };
224 
225 static int parse_stats(const char *stats_str, struct stat_specs *specs);
226 static int append_filter(struct filter **filters, int *cnt, const char *str);
227 static int append_filter_file(const char *path);
228 
229 static error_t parse_arg(int key, char *arg, struct argp_state *state)
230 {
231 	void *tmp;
232 	int err;
233 
234 	switch (key) {
235 	case 'h':
236 		argp_state_help(state, stderr, ARGP_HELP_STD_HELP);
237 		break;
238 	case 'V':
239 		env.show_version = true;
240 		break;
241 	case 'v':
242 		env.verbose = true;
243 		break;
244 	case 'd':
245 		env.debug = true;
246 		env.verbose = true;
247 		break;
248 	case 'q':
249 		env.quiet = true;
250 		break;
251 	case 'e':
252 		err = parse_stats(arg, &env.output_spec);
253 		if (err)
254 			return err;
255 		break;
256 	case 's':
257 		err = parse_stats(arg, &env.sort_spec);
258 		if (err)
259 			return err;
260 		break;
261 	case 'o':
262 		if (strcmp(arg, "table") == 0) {
263 			env.out_fmt = RESFMT_TABLE;
264 		} else if (strcmp(arg, "csv") == 0) {
265 			env.out_fmt = RESFMT_CSV;
266 		} else {
267 			fprintf(stderr, "Unrecognized output format '%s'\n", arg);
268 			return -EINVAL;
269 		}
270 		break;
271 	case 'l':
272 		errno = 0;
273 		env.log_level = strtol(arg, NULL, 10);
274 		if (errno) {
275 			fprintf(stderr, "invalid log level: %s\n", arg);
276 			argp_usage(state);
277 		}
278 		break;
279 	case OPT_LOG_FIXED:
280 		env.log_fixed = true;
281 		break;
282 	case OPT_LOG_SIZE:
283 		errno = 0;
284 		env.log_size = strtol(arg, NULL, 10);
285 		if (errno) {
286 			fprintf(stderr, "invalid log size: %s\n", arg);
287 			argp_usage(state);
288 		}
289 		break;
290 	case 't':
291 		env.force_checkpoints = true;
292 		break;
293 	case 'C':
294 		env.comparison_mode = true;
295 		break;
296 	case 'R':
297 		env.replay_mode = true;
298 		break;
299 	case 'f':
300 		if (arg[0] == '@')
301 			err = append_filter_file(arg + 1);
302 		else if (arg[0] == '!')
303 			err = append_filter(&env.deny_filters, &env.deny_filter_cnt, arg + 1);
304 		else
305 			err = append_filter(&env.allow_filters, &env.allow_filter_cnt, arg);
306 		if (err) {
307 			fprintf(stderr, "Failed to collect program filter expressions: %d\n", err);
308 			return err;
309 		}
310 		break;
311 	case ARGP_KEY_ARG:
312 		tmp = realloc(env.filenames, (env.filename_cnt + 1) * sizeof(*env.filenames));
313 		if (!tmp)
314 			return -ENOMEM;
315 		env.filenames = tmp;
316 		env.filenames[env.filename_cnt] = strdup(arg);
317 		if (!env.filenames[env.filename_cnt])
318 			return -ENOMEM;
319 		env.filename_cnt++;
320 		break;
321 	default:
322 		return ARGP_ERR_UNKNOWN;
323 	}
324 	return 0;
325 }
326 
327 static const struct argp argp = {
328 	.options = opts,
329 	.parser = parse_arg,
330 	.doc = argp_program_doc,
331 };
332 
333 
334 /* Adapted from perf/util/string.c */
335 static bool glob_matches(const char *str, const char *pat)
336 {
337 	while (*str && *pat && *pat != '*') {
338 		if (*str != *pat)
339 			return false;
340 		str++;
341 		pat++;
342 	}
343 	/* Check wild card */
344 	if (*pat == '*') {
345 		while (*pat == '*')
346 			pat++;
347 		if (!*pat) /* Tail wild card matches all */
348 			return true;
349 		while (*str)
350 			if (glob_matches(str++, pat))
351 				return true;
352 	}
353 	return !*str && !*pat;
354 }
355 
356 static bool is_bpf_obj_file(const char *path) {
357 	Elf64_Ehdr *ehdr;
358 	int fd, err = -EINVAL;
359 	Elf *elf = NULL;
360 
361 	fd = open(path, O_RDONLY | O_CLOEXEC);
362 	if (fd < 0)
363 		return true; /* we'll fail later and propagate error */
364 
365 	/* ensure libelf is initialized */
366 	(void)elf_version(EV_CURRENT);
367 
368 	elf = elf_begin(fd, ELF_C_READ, NULL);
369 	if (!elf)
370 		goto cleanup;
371 
372 	if (elf_kind(elf) != ELF_K_ELF || gelf_getclass(elf) != ELFCLASS64)
373 		goto cleanup;
374 
375 	ehdr = elf64_getehdr(elf);
376 	/* Old LLVM set e_machine to EM_NONE */
377 	if (!ehdr || ehdr->e_type != ET_REL || (ehdr->e_machine && ehdr->e_machine != EM_BPF))
378 		goto cleanup;
379 
380 	err = 0;
381 cleanup:
382 	if (elf)
383 		elf_end(elf);
384 	close(fd);
385 	return err == 0;
386 }
387 
388 static bool should_process_file_prog(const char *filename, const char *prog_name)
389 {
390 	struct filter *f;
391 	int i, allow_cnt = 0;
392 
393 	for (i = 0; i < env.deny_filter_cnt; i++) {
394 		f = &env.deny_filters[i];
395 		if (f->kind != FILTER_NAME)
396 			continue;
397 
398 		if (f->any_glob && glob_matches(filename, f->any_glob))
399 			return false;
400 		if (f->any_glob && prog_name && glob_matches(prog_name, f->any_glob))
401 			return false;
402 		if (f->file_glob && glob_matches(filename, f->file_glob))
403 			return false;
404 		if (f->prog_glob && prog_name && glob_matches(prog_name, f->prog_glob))
405 			return false;
406 	}
407 
408 	for (i = 0; i < env.allow_filter_cnt; i++) {
409 		f = &env.allow_filters[i];
410 		if (f->kind != FILTER_NAME)
411 			continue;
412 
413 		allow_cnt++;
414 		if (f->any_glob) {
415 			if (glob_matches(filename, f->any_glob))
416 				return true;
417 			/* If we don't know program name yet, any_glob filter
418 			 * has to assume that current BPF object file might be
419 			 * relevant; we'll check again later on after opening
420 			 * BPF object file, at which point program name will
421 			 * be known finally.
422 			 */
423 			if (!prog_name || glob_matches(prog_name, f->any_glob))
424 				return true;
425 		} else {
426 			if (f->file_glob && !glob_matches(filename, f->file_glob))
427 				continue;
428 			if (f->prog_glob && prog_name && !glob_matches(prog_name, f->prog_glob))
429 				continue;
430 			return true;
431 		}
432 	}
433 
434 	/* if there are no file/prog name allow filters, allow all progs,
435 	 * unless they are denied earlier explicitly
436 	 */
437 	return allow_cnt == 0;
438 }
439 
440 static struct {
441 	enum operator_kind op_kind;
442 	const char *op_str;
443 } operators[] = {
444 	/* Order of these definitions matter to avoid situations like '<'
445 	 * matching part of what is actually a '<>' operator. That is,
446 	 * substrings should go last.
447 	 */
448 	{ OP_EQ, "==" },
449 	{ OP_NEQ, "!=" },
450 	{ OP_NEQ, "<>" },
451 	{ OP_LE, "<=" },
452 	{ OP_LT, "<" },
453 	{ OP_GE, ">=" },
454 	{ OP_GT, ">" },
455 	{ OP_EQ, "=" },
456 };
457 
458 static bool parse_stat_id_var(const char *name, size_t len, int *id, enum stat_variant *var);
459 
460 static int append_filter(struct filter **filters, int *cnt, const char *str)
461 {
462 	struct filter *f;
463 	void *tmp;
464 	const char *p;
465 	int i;
466 
467 	tmp = realloc(*filters, (*cnt + 1) * sizeof(**filters));
468 	if (!tmp)
469 		return -ENOMEM;
470 	*filters = tmp;
471 
472 	f = &(*filters)[*cnt];
473 	memset(f, 0, sizeof(*f));
474 
475 	/* First, let's check if it's a stats filter of the following form:
476 	 * <stat><op><value, where:
477 	 *   - <stat> is one of supported numerical stats (verdict is also
478 	 *     considered numerical, failure == 0, success == 1);
479 	 *   - <op> is comparison operator (see `operators` definitions);
480 	 *   - <value> is an integer (or failure/success, or false/true as
481 	 *     special aliases for 0 and 1, respectively).
482 	 * If the form doesn't match what user provided, we assume file/prog
483 	 * glob filter.
484 	 */
485 	for (i = 0; i < ARRAY_SIZE(operators); i++) {
486 		enum stat_variant var;
487 		int id;
488 		long val;
489 		const char *end = str;
490 		const char *op_str;
491 
492 		op_str = operators[i].op_str;
493 		p = strstr(str, op_str);
494 		if (!p)
495 			continue;
496 
497 		if (!parse_stat_id_var(str, p - str, &id, &var)) {
498 			fprintf(stderr, "Unrecognized stat name in '%s'!\n", str);
499 			return -EINVAL;
500 		}
501 		if (id >= FILE_NAME) {
502 			fprintf(stderr, "Non-integer stat is specified in '%s'!\n", str);
503 			return -EINVAL;
504 		}
505 
506 		p += strlen(op_str);
507 
508 		if (strcasecmp(p, "true") == 0 ||
509 		    strcasecmp(p, "t") == 0 ||
510 		    strcasecmp(p, "success") == 0 ||
511 		    strcasecmp(p, "succ") == 0 ||
512 		    strcasecmp(p, "s") == 0 ||
513 		    strcasecmp(p, "match") == 0 ||
514 		    strcasecmp(p, "m") == 0) {
515 			val = 1;
516 		} else if (strcasecmp(p, "false") == 0 ||
517 			   strcasecmp(p, "f") == 0 ||
518 			   strcasecmp(p, "failure") == 0 ||
519 			   strcasecmp(p, "fail") == 0 ||
520 			   strcasecmp(p, "mismatch") == 0 ||
521 			   strcasecmp(p, "mis") == 0) {
522 			val = 0;
523 		} else {
524 			errno = 0;
525 			val = strtol(p, (char **)&end, 10);
526 			if (errno || end == p || *end != '\0' ) {
527 				fprintf(stderr, "Invalid integer value in '%s'!\n", str);
528 				return -EINVAL;
529 			}
530 		}
531 
532 		f->kind = FILTER_STAT;
533 		f->stat_id = id;
534 		f->stat_var = var;
535 		f->op = operators[i].op_kind;
536 		f->value = val;
537 
538 		*cnt += 1;
539 		return 0;
540 	}
541 
542 	/* File/prog filter can be specified either as '<glob>' or
543 	 * '<file-glob>/<prog-glob>'. In the former case <glob> is applied to
544 	 * both file and program names. This seems to be way more useful in
545 	 * practice. If user needs full control, they can use '/<prog-glob>'
546 	 * form to glob just program name, or '<file-glob>/' to glob only file
547 	 * name. But usually common <glob> seems to be the most useful and
548 	 * ergonomic way.
549 	 */
550 	f->kind = FILTER_NAME;
551 	p = strchr(str, '/');
552 	if (!p) {
553 		f->any_glob = strdup(str);
554 		if (!f->any_glob)
555 			return -ENOMEM;
556 	} else {
557 		if (str != p) {
558 			/* non-empty file glob */
559 			f->file_glob = strndup(str, p - str);
560 			if (!f->file_glob)
561 				return -ENOMEM;
562 		}
563 		if (strlen(p + 1) > 0) {
564 			/* non-empty prog glob */
565 			f->prog_glob = strdup(p + 1);
566 			if (!f->prog_glob) {
567 				free(f->file_glob);
568 				f->file_glob = NULL;
569 				return -ENOMEM;
570 			}
571 		}
572 	}
573 
574 	*cnt += 1;
575 	return 0;
576 }
577 
578 static int append_filter_file(const char *path)
579 {
580 	char buf[1024];
581 	FILE *f;
582 	int err = 0;
583 
584 	f = fopen(path, "r");
585 	if (!f) {
586 		err = -errno;
587 		fprintf(stderr, "Failed to open filters in '%s': %d\n", path, err);
588 		return err;
589 	}
590 
591 	while (fscanf(f, " %1023[^\n]\n", buf) == 1) {
592 		/* lines starting with # are comments, skip them */
593 		if (buf[0] == '\0' || buf[0] == '#')
594 			continue;
595 		/* lines starting with ! are negative match filters */
596 		if (buf[0] == '!')
597 			err = append_filter(&env.deny_filters, &env.deny_filter_cnt, buf + 1);
598 		else
599 			err = append_filter(&env.allow_filters, &env.allow_filter_cnt, buf);
600 		if (err)
601 			goto cleanup;
602 	}
603 
604 cleanup:
605 	fclose(f);
606 	return err;
607 }
608 
609 static const struct stat_specs default_output_spec = {
610 	.spec_cnt = 7,
611 	.ids = {
612 		FILE_NAME, PROG_NAME, VERDICT, DURATION,
613 		TOTAL_INSNS, TOTAL_STATES, PEAK_STATES,
614 	},
615 };
616 
617 static const struct stat_specs default_csv_output_spec = {
618 	.spec_cnt = 9,
619 	.ids = {
620 		FILE_NAME, PROG_NAME, VERDICT, DURATION,
621 		TOTAL_INSNS, TOTAL_STATES, PEAK_STATES,
622 		MAX_STATES_PER_INSN, MARK_READ_MAX_LEN,
623 	},
624 };
625 
626 static const struct stat_specs default_sort_spec = {
627 	.spec_cnt = 2,
628 	.ids = {
629 		FILE_NAME, PROG_NAME,
630 	},
631 	.asc = { true, true, },
632 };
633 
634 /* sorting for comparison mode to join two data sets */
635 static const struct stat_specs join_sort_spec = {
636 	.spec_cnt = 2,
637 	.ids = {
638 		FILE_NAME, PROG_NAME,
639 	},
640 	.asc = { true, true, },
641 };
642 
643 static struct stat_def {
644 	const char *header;
645 	const char *names[4];
646 	bool asc_by_default;
647 	bool left_aligned;
648 } stat_defs[] = {
649 	[FILE_NAME] = { "File", {"file_name", "filename", "file"}, true /* asc */, true /* left */ },
650 	[PROG_NAME] = { "Program", {"prog_name", "progname", "prog"}, true /* asc */, true /* left */ },
651 	[VERDICT] = { "Verdict", {"verdict"}, true /* asc: failure, success */, true /* left */ },
652 	[DURATION] = { "Duration (us)", {"duration", "dur"}, },
653 	[TOTAL_INSNS] = { "Insns", {"total_insns", "insns"}, },
654 	[TOTAL_STATES] = { "States", {"total_states", "states"}, },
655 	[PEAK_STATES] = { "Peak states", {"peak_states"}, },
656 	[MAX_STATES_PER_INSN] = { "Max states per insn", {"max_states_per_insn"}, },
657 	[MARK_READ_MAX_LEN] = { "Max mark read length", {"max_mark_read_len", "mark_read"}, },
658 };
659 
660 static bool parse_stat_id_var(const char *name, size_t len, int *id, enum stat_variant *var)
661 {
662 	static const char *var_sfxs[] = {
663 		[VARIANT_A] = "_a",
664 		[VARIANT_B] = "_b",
665 		[VARIANT_DIFF] = "_diff",
666 		[VARIANT_PCT] = "_pct",
667 	};
668 	int i, j, k;
669 
670 	for (i = 0; i < ARRAY_SIZE(stat_defs); i++) {
671 		struct stat_def *def = &stat_defs[i];
672 		size_t alias_len, sfx_len;
673 		const char *alias;
674 
675 		for (j = 0; j < ARRAY_SIZE(stat_defs[i].names); j++) {
676 			alias = def->names[j];
677 			if (!alias)
678 				continue;
679 
680 			alias_len = strlen(alias);
681 			if (strncmp(name, alias, alias_len) != 0)
682 				continue;
683 
684 			if (alias_len == len) {
685 				/* If no variant suffix is specified, we
686 				 * assume control group (just in case we are
687 				 * in comparison mode. Variant is ignored in
688 				 * non-comparison mode.
689 				 */
690 				*var = VARIANT_B;
691 				*id = i;
692 				return true;
693 			}
694 
695 			for (k = 0; k < ARRAY_SIZE(var_sfxs); k++) {
696 				sfx_len = strlen(var_sfxs[k]);
697 				if (alias_len + sfx_len != len)
698 					continue;
699 
700 				if (strncmp(name + alias_len, var_sfxs[k], sfx_len) == 0) {
701 					*var = (enum stat_variant)k;
702 					*id = i;
703 					return true;
704 				}
705 			}
706 		}
707 	}
708 
709 	return false;
710 }
711 
712 static bool is_asc_sym(char c)
713 {
714 	return c == '^';
715 }
716 
717 static bool is_desc_sym(char c)
718 {
719 	return c == 'v' || c == 'V' || c == '.' || c == '!' || c == '_';
720 }
721 
722 static int parse_stat(const char *stat_name, struct stat_specs *specs)
723 {
724 	int id;
725 	bool has_order = false, is_asc = false;
726 	size_t len = strlen(stat_name);
727 	enum stat_variant var;
728 
729 	if (specs->spec_cnt >= ARRAY_SIZE(specs->ids)) {
730 		fprintf(stderr, "Can't specify more than %zd stats\n", ARRAY_SIZE(specs->ids));
731 		return -E2BIG;
732 	}
733 
734 	if (len > 1 && (is_asc_sym(stat_name[len - 1]) || is_desc_sym(stat_name[len - 1]))) {
735 		has_order = true;
736 		is_asc = is_asc_sym(stat_name[len - 1]);
737 		len -= 1;
738 	}
739 
740 	if (!parse_stat_id_var(stat_name, len, &id, &var)) {
741 		fprintf(stderr, "Unrecognized stat name '%s'\n", stat_name);
742 		return -ESRCH;
743 	}
744 
745 	specs->ids[specs->spec_cnt] = id;
746 	specs->variants[specs->spec_cnt] = var;
747 	specs->asc[specs->spec_cnt] = has_order ? is_asc : stat_defs[id].asc_by_default;
748 	specs->spec_cnt++;
749 
750 	return 0;
751 }
752 
753 static int parse_stats(const char *stats_str, struct stat_specs *specs)
754 {
755 	char *input, *state = NULL, *next;
756 	int err;
757 
758 	input = strdup(stats_str);
759 	if (!input)
760 		return -ENOMEM;
761 
762 	while ((next = strtok_r(state ? NULL : input, ",", &state))) {
763 		err = parse_stat(next, specs);
764 		if (err)
765 			return err;
766 	}
767 
768 	return 0;
769 }
770 
771 static void free_verif_stats(struct verif_stats *stats, size_t stat_cnt)
772 {
773 	int i;
774 
775 	if (!stats)
776 		return;
777 
778 	for (i = 0; i < stat_cnt; i++) {
779 		free(stats[i].file_name);
780 		free(stats[i].prog_name);
781 	}
782 	free(stats);
783 }
784 
785 static char verif_log_buf[64 * 1024];
786 
787 #define MAX_PARSED_LOG_LINES 100
788 
789 static int parse_verif_log(char * const buf, size_t buf_sz, struct verif_stats *s)
790 {
791 	const char *cur;
792 	int pos, lines;
793 
794 	buf[buf_sz - 1] = '\0';
795 
796 	for (pos = strlen(buf) - 1, lines = 0; pos >= 0 && lines < MAX_PARSED_LOG_LINES; lines++) {
797 		/* find previous endline or otherwise take the start of log buf */
798 		for (cur = &buf[pos]; cur > buf && cur[0] != '\n'; cur--, pos--) {
799 		}
800 		/* next time start from end of previous line (or pos goes to <0) */
801 		pos--;
802 		/* if we found endline, point right after endline symbol;
803 		 * otherwise, stay at the beginning of log buf
804 		 */
805 		if (cur[0] == '\n')
806 			cur++;
807 
808 		if (1 == sscanf(cur, "verification time %ld usec\n", &s->stats[DURATION]))
809 			continue;
810 		if (6 == sscanf(cur, "processed %ld insns (limit %*d) max_states_per_insn %ld total_states %ld peak_states %ld mark_read %ld",
811 				&s->stats[TOTAL_INSNS],
812 				&s->stats[MAX_STATES_PER_INSN],
813 				&s->stats[TOTAL_STATES],
814 				&s->stats[PEAK_STATES],
815 				&s->stats[MARK_READ_MAX_LEN]))
816 			continue;
817 	}
818 
819 	return 0;
820 }
821 
822 static int guess_prog_type_by_ctx_name(const char *ctx_name,
823 				       enum bpf_prog_type *prog_type,
824 				       enum bpf_attach_type *attach_type)
825 {
826 	/* We need to guess program type based on its declared context type.
827 	 * This guess can't be perfect as many different program types might
828 	 * share the same context type.  So we can only hope to reasonably
829 	 * well guess this and get lucky.
830 	 *
831 	 * Just in case, we support both UAPI-side type names and
832 	 * kernel-internal names.
833 	 */
834 	static struct {
835 		const char *uapi_name;
836 		const char *kern_name;
837 		enum bpf_prog_type prog_type;
838 		enum bpf_attach_type attach_type;
839 	} ctx_map[] = {
840 		/* __sk_buff is most ambiguous, we assume TC program */
841 		{ "__sk_buff", "sk_buff", BPF_PROG_TYPE_SCHED_CLS },
842 		{ "bpf_sock", "sock", BPF_PROG_TYPE_CGROUP_SOCK, BPF_CGROUP_INET4_POST_BIND },
843 		{ "bpf_sock_addr", "bpf_sock_addr_kern",  BPF_PROG_TYPE_CGROUP_SOCK_ADDR, BPF_CGROUP_INET4_BIND },
844 		{ "bpf_sock_ops", "bpf_sock_ops_kern", BPF_PROG_TYPE_SOCK_OPS, BPF_CGROUP_SOCK_OPS },
845 		{ "sk_msg_md", "sk_msg", BPF_PROG_TYPE_SK_MSG, BPF_SK_MSG_VERDICT },
846 		{ "bpf_cgroup_dev_ctx", "bpf_cgroup_dev_ctx", BPF_PROG_TYPE_CGROUP_DEVICE, BPF_CGROUP_DEVICE },
847 		{ "bpf_sysctl", "bpf_sysctl_kern", BPF_PROG_TYPE_CGROUP_SYSCTL, BPF_CGROUP_SYSCTL },
848 		{ "bpf_sockopt", "bpf_sockopt_kern", BPF_PROG_TYPE_CGROUP_SOCKOPT, BPF_CGROUP_SETSOCKOPT },
849 		{ "sk_reuseport_md", "sk_reuseport_kern", BPF_PROG_TYPE_SK_REUSEPORT, BPF_SK_REUSEPORT_SELECT_OR_MIGRATE },
850 		{ "bpf_sk_lookup", "bpf_sk_lookup_kern", BPF_PROG_TYPE_SK_LOOKUP, BPF_SK_LOOKUP },
851 		{ "xdp_md", "xdp_buff", BPF_PROG_TYPE_XDP, BPF_XDP },
852 		/* tracing types with no expected attach type */
853 		{ "bpf_user_pt_regs_t", "pt_regs", BPF_PROG_TYPE_KPROBE },
854 		{ "bpf_perf_event_data", "bpf_perf_event_data_kern", BPF_PROG_TYPE_PERF_EVENT },
855 		/* raw_tp programs use u64[] from kernel side, we don't want
856 		 * to match on that, probably; so NULL for kern-side type
857 		 */
858 		{ "bpf_raw_tracepoint_args", NULL, BPF_PROG_TYPE_RAW_TRACEPOINT },
859 	};
860 	int i;
861 
862 	if (!ctx_name)
863 		return -EINVAL;
864 
865 	for (i = 0; i < ARRAY_SIZE(ctx_map); i++) {
866 		if (strcmp(ctx_map[i].uapi_name, ctx_name) == 0 ||
867 		    (ctx_map[i].kern_name && strcmp(ctx_map[i].kern_name, ctx_name) == 0)) {
868 			*prog_type = ctx_map[i].prog_type;
869 			*attach_type = ctx_map[i].attach_type;
870 			return 0;
871 		}
872 	}
873 
874 	return -ESRCH;
875 }
876 
877 static void fixup_obj(struct bpf_object *obj, struct bpf_program *prog, const char *filename)
878 {
879 	struct bpf_map *map;
880 
881 	bpf_object__for_each_map(map, obj) {
882 		/* disable pinning */
883 		bpf_map__set_pin_path(map, NULL);
884 
885 		/* fix up map size, if necessary */
886 		switch (bpf_map__type(map)) {
887 		case BPF_MAP_TYPE_SK_STORAGE:
888 		case BPF_MAP_TYPE_TASK_STORAGE:
889 		case BPF_MAP_TYPE_INODE_STORAGE:
890 		case BPF_MAP_TYPE_CGROUP_STORAGE:
891 			break;
892 		default:
893 			if (bpf_map__max_entries(map) == 0)
894 				bpf_map__set_max_entries(map, 1);
895 		}
896 	}
897 
898 	/* SEC(freplace) programs can't be loaded with veristat as is,
899 	 * but we can try guessing their target program's expected type by
900 	 * looking at the type of program's first argument and substituting
901 	 * corresponding program type
902 	 */
903 	if (bpf_program__type(prog) == BPF_PROG_TYPE_EXT) {
904 		const struct btf *btf = bpf_object__btf(obj);
905 		const char *prog_name = bpf_program__name(prog);
906 		enum bpf_prog_type prog_type;
907 		enum bpf_attach_type attach_type;
908 		const struct btf_type *t;
909 		const char *ctx_name;
910 		int id;
911 
912 		if (!btf)
913 			goto skip_freplace_fixup;
914 
915 		id = btf__find_by_name_kind(btf, prog_name, BTF_KIND_FUNC);
916 		t = btf__type_by_id(btf, id);
917 		t = btf__type_by_id(btf, t->type);
918 		if (!btf_is_func_proto(t) || btf_vlen(t) != 1)
919 			goto skip_freplace_fixup;
920 
921 		/* context argument is a pointer to a struct/typedef */
922 		t = btf__type_by_id(btf, btf_params(t)[0].type);
923 		while (t && btf_is_mod(t))
924 			t = btf__type_by_id(btf, t->type);
925 		if (!t || !btf_is_ptr(t))
926 			goto skip_freplace_fixup;
927 		t = btf__type_by_id(btf, t->type);
928 		while (t && btf_is_mod(t))
929 			t = btf__type_by_id(btf, t->type);
930 		if (!t)
931 			goto skip_freplace_fixup;
932 
933 		ctx_name = btf__name_by_offset(btf, t->name_off);
934 
935 		if (guess_prog_type_by_ctx_name(ctx_name, &prog_type, &attach_type) == 0) {
936 			bpf_program__set_type(prog, prog_type);
937 			bpf_program__set_expected_attach_type(prog, attach_type);
938 
939 			if (!env.quiet) {
940 				printf("Using guessed program type '%s' for %s/%s...\n",
941 					libbpf_bpf_prog_type_str(prog_type),
942 					filename, prog_name);
943 			}
944 		} else {
945 			if (!env.quiet) {
946 				printf("Failed to guess program type for freplace program with context type name '%s' for %s/%s. Consider using canonical type names to help veristat...\n",
947 					ctx_name, filename, prog_name);
948 			}
949 		}
950 	}
951 skip_freplace_fixup:
952 	return;
953 }
954 
955 static int process_prog(const char *filename, struct bpf_object *obj, struct bpf_program *prog)
956 {
957 	const char *prog_name = bpf_program__name(prog);
958 	const char *base_filename = basename(filename);
959 	char *buf;
960 	int buf_sz, log_level;
961 	struct verif_stats *stats;
962 	int err = 0;
963 	void *tmp;
964 
965 	if (!should_process_file_prog(base_filename, bpf_program__name(prog))) {
966 		env.progs_skipped++;
967 		return 0;
968 	}
969 
970 	tmp = realloc(env.prog_stats, (env.prog_stat_cnt + 1) * sizeof(*env.prog_stats));
971 	if (!tmp)
972 		return -ENOMEM;
973 	env.prog_stats = tmp;
974 	stats = &env.prog_stats[env.prog_stat_cnt++];
975 	memset(stats, 0, sizeof(*stats));
976 
977 	if (env.verbose) {
978 		buf_sz = env.log_size ? env.log_size : 16 * 1024 * 1024;
979 		buf = malloc(buf_sz);
980 		if (!buf)
981 			return -ENOMEM;
982 		/* ensure we always request stats */
983 		log_level = env.log_level | 4 | (env.log_fixed ? 8 : 0);
984 	} else {
985 		buf = verif_log_buf;
986 		buf_sz = sizeof(verif_log_buf);
987 		/* request only verifier stats */
988 		log_level = 4 | (env.log_fixed ? 8 : 0);
989 	}
990 	verif_log_buf[0] = '\0';
991 
992 	bpf_program__set_log_buf(prog, buf, buf_sz);
993 	bpf_program__set_log_level(prog, log_level);
994 
995 	/* increase chances of successful BPF object loading */
996 	fixup_obj(obj, prog, base_filename);
997 
998 	if (env.force_checkpoints)
999 		bpf_program__set_flags(prog, bpf_program__flags(prog) | BPF_F_TEST_STATE_FREQ);
1000 
1001 	err = bpf_object__load(obj);
1002 	env.progs_processed++;
1003 
1004 	stats->file_name = strdup(base_filename);
1005 	stats->prog_name = strdup(bpf_program__name(prog));
1006 	stats->stats[VERDICT] = err == 0; /* 1 - success, 0 - failure */
1007 	parse_verif_log(buf, buf_sz, stats);
1008 
1009 	if (env.verbose) {
1010 		printf("PROCESSING %s/%s, DURATION US: %ld, VERDICT: %s, VERIFIER LOG:\n%s\n",
1011 		       filename, prog_name, stats->stats[DURATION],
1012 		       err ? "failure" : "success", buf);
1013 	}
1014 
1015 	if (verif_log_buf != buf)
1016 		free(buf);
1017 
1018 	return 0;
1019 };
1020 
1021 static int process_obj(const char *filename)
1022 {
1023 	struct bpf_object *obj = NULL, *tobj;
1024 	struct bpf_program *prog, *tprog, *lprog;
1025 	libbpf_print_fn_t old_libbpf_print_fn;
1026 	LIBBPF_OPTS(bpf_object_open_opts, opts);
1027 	int err = 0, prog_cnt = 0;
1028 
1029 	if (!should_process_file_prog(basename(filename), NULL)) {
1030 		if (env.verbose)
1031 			printf("Skipping '%s' due to filters...\n", filename);
1032 		env.files_skipped++;
1033 		return 0;
1034 	}
1035 	if (!is_bpf_obj_file(filename)) {
1036 		if (env.verbose)
1037 			printf("Skipping '%s' as it's not a BPF object file...\n", filename);
1038 		env.files_skipped++;
1039 		return 0;
1040 	}
1041 
1042 	if (!env.quiet && env.out_fmt == RESFMT_TABLE)
1043 		printf("Processing '%s'...\n", basename(filename));
1044 
1045 	old_libbpf_print_fn = libbpf_set_print(libbpf_print_fn);
1046 	obj = bpf_object__open_file(filename, &opts);
1047 	if (!obj) {
1048 		/* if libbpf can't open BPF object file, it could be because
1049 		 * that BPF object file is incomplete and has to be statically
1050 		 * linked into a final BPF object file; instead of bailing
1051 		 * out, report it into stderr, mark it as skipped, and
1052 		 * proceed
1053 		 */
1054 		fprintf(stderr, "Failed to open '%s': %d\n", filename, -errno);
1055 		env.files_skipped++;
1056 		err = 0;
1057 		goto cleanup;
1058 	}
1059 
1060 	env.files_processed++;
1061 
1062 	bpf_object__for_each_program(prog, obj) {
1063 		prog_cnt++;
1064 	}
1065 
1066 	if (prog_cnt == 1) {
1067 		prog = bpf_object__next_program(obj, NULL);
1068 		bpf_program__set_autoload(prog, true);
1069 		process_prog(filename, obj, prog);
1070 		goto cleanup;
1071 	}
1072 
1073 	bpf_object__for_each_program(prog, obj) {
1074 		const char *prog_name = bpf_program__name(prog);
1075 
1076 		tobj = bpf_object__open_file(filename, &opts);
1077 		if (!tobj) {
1078 			err = -errno;
1079 			fprintf(stderr, "Failed to open '%s': %d\n", filename, err);
1080 			goto cleanup;
1081 		}
1082 
1083 		lprog = NULL;
1084 		bpf_object__for_each_program(tprog, tobj) {
1085 			const char *tprog_name = bpf_program__name(tprog);
1086 
1087 			if (strcmp(prog_name, tprog_name) == 0) {
1088 				bpf_program__set_autoload(tprog, true);
1089 				lprog = tprog;
1090 			} else {
1091 				bpf_program__set_autoload(tprog, false);
1092 			}
1093 		}
1094 
1095 		process_prog(filename, tobj, lprog);
1096 		bpf_object__close(tobj);
1097 	}
1098 
1099 cleanup:
1100 	bpf_object__close(obj);
1101 	libbpf_set_print(old_libbpf_print_fn);
1102 	return err;
1103 }
1104 
1105 static int cmp_stat(const struct verif_stats *s1, const struct verif_stats *s2,
1106 		    enum stat_id id, bool asc)
1107 {
1108 	int cmp = 0;
1109 
1110 	switch (id) {
1111 	case FILE_NAME:
1112 		cmp = strcmp(s1->file_name, s2->file_name);
1113 		break;
1114 	case PROG_NAME:
1115 		cmp = strcmp(s1->prog_name, s2->prog_name);
1116 		break;
1117 	case VERDICT:
1118 	case DURATION:
1119 	case TOTAL_INSNS:
1120 	case TOTAL_STATES:
1121 	case PEAK_STATES:
1122 	case MAX_STATES_PER_INSN:
1123 	case MARK_READ_MAX_LEN: {
1124 		long v1 = s1->stats[id];
1125 		long v2 = s2->stats[id];
1126 
1127 		if (v1 != v2)
1128 			cmp = v1 < v2 ? -1 : 1;
1129 		break;
1130 	}
1131 	default:
1132 		fprintf(stderr, "Unrecognized stat #%d\n", id);
1133 		exit(1);
1134 	}
1135 
1136 	return asc ? cmp : -cmp;
1137 }
1138 
1139 static int cmp_prog_stats(const void *v1, const void *v2)
1140 {
1141 	const struct verif_stats *s1 = v1, *s2 = v2;
1142 	int i, cmp;
1143 
1144 	for (i = 0; i < env.sort_spec.spec_cnt; i++) {
1145 		cmp = cmp_stat(s1, s2, env.sort_spec.ids[i], env.sort_spec.asc[i]);
1146 		if (cmp != 0)
1147 			return cmp;
1148 	}
1149 
1150 	/* always disambiguate with file+prog, which are unique */
1151 	cmp = strcmp(s1->file_name, s2->file_name);
1152 	if (cmp != 0)
1153 		return cmp;
1154 	return strcmp(s1->prog_name, s2->prog_name);
1155 }
1156 
1157 static void fetch_join_stat_value(const struct verif_stats_join *s,
1158 				  enum stat_id id, enum stat_variant var,
1159 				  const char **str_val,
1160 				  double *num_val)
1161 {
1162 	long v1, v2;
1163 
1164 	if (id == FILE_NAME) {
1165 		*str_val = s->file_name;
1166 		return;
1167 	}
1168 	if (id == PROG_NAME) {
1169 		*str_val = s->prog_name;
1170 		return;
1171 	}
1172 
1173 	v1 = s->stats_a ? s->stats_a->stats[id] : 0;
1174 	v2 = s->stats_b ? s->stats_b->stats[id] : 0;
1175 
1176 	switch (var) {
1177 	case VARIANT_A:
1178 		if (!s->stats_a)
1179 			*num_val = -DBL_MAX;
1180 		else
1181 			*num_val = s->stats_a->stats[id];
1182 		return;
1183 	case VARIANT_B:
1184 		if (!s->stats_b)
1185 			*num_val = -DBL_MAX;
1186 		else
1187 			*num_val = s->stats_b->stats[id];
1188 		return;
1189 	case VARIANT_DIFF:
1190 		if (!s->stats_a || !s->stats_b)
1191 			*num_val = -DBL_MAX;
1192 		else if (id == VERDICT)
1193 			*num_val = v1 == v2 ? 1.0 /* MATCH */ : 0.0 /* MISMATCH */;
1194 		else
1195 			*num_val = (double)(v2 - v1);
1196 		return;
1197 	case VARIANT_PCT:
1198 		if (!s->stats_a || !s->stats_b) {
1199 			*num_val = -DBL_MAX;
1200 		} else if (v1 == 0) {
1201 			if (v1 == v2)
1202 				*num_val = 0.0;
1203 			else
1204 				*num_val = v2 < v1 ? -100.0 : 100.0;
1205 		} else {
1206 			 *num_val = (v2 - v1) * 100.0 / v1;
1207 		}
1208 		return;
1209 	}
1210 }
1211 
1212 static int cmp_join_stat(const struct verif_stats_join *s1,
1213 			 const struct verif_stats_join *s2,
1214 			 enum stat_id id, enum stat_variant var, bool asc)
1215 {
1216 	const char *str1 = NULL, *str2 = NULL;
1217 	double v1, v2;
1218 	int cmp = 0;
1219 
1220 	fetch_join_stat_value(s1, id, var, &str1, &v1);
1221 	fetch_join_stat_value(s2, id, var, &str2, &v2);
1222 
1223 	if (str1)
1224 		cmp = strcmp(str1, str2);
1225 	else if (v1 != v2)
1226 		cmp = v1 < v2 ? -1 : 1;
1227 
1228 	return asc ? cmp : -cmp;
1229 }
1230 
1231 static int cmp_join_stats(const void *v1, const void *v2)
1232 {
1233 	const struct verif_stats_join *s1 = v1, *s2 = v2;
1234 	int i, cmp;
1235 
1236 	for (i = 0; i < env.sort_spec.spec_cnt; i++) {
1237 		cmp = cmp_join_stat(s1, s2,
1238 				    env.sort_spec.ids[i],
1239 				    env.sort_spec.variants[i],
1240 				    env.sort_spec.asc[i]);
1241 		if (cmp != 0)
1242 			return cmp;
1243 	}
1244 
1245 	/* always disambiguate with file+prog, which are unique */
1246 	cmp = strcmp(s1->file_name, s2->file_name);
1247 	if (cmp != 0)
1248 		return cmp;
1249 	return strcmp(s1->prog_name, s2->prog_name);
1250 }
1251 
1252 #define HEADER_CHAR '-'
1253 #define COLUMN_SEP "  "
1254 
1255 static void output_header_underlines(void)
1256 {
1257 	int i, j, len;
1258 
1259 	for (i = 0; i < env.output_spec.spec_cnt; i++) {
1260 		len = env.output_spec.lens[i];
1261 
1262 		printf("%s", i == 0 ? "" : COLUMN_SEP);
1263 		for (j = 0; j < len; j++)
1264 			printf("%c", HEADER_CHAR);
1265 	}
1266 	printf("\n");
1267 }
1268 
1269 static void output_headers(enum resfmt fmt)
1270 {
1271 	const char *fmt_str;
1272 	int i, len;
1273 
1274 	for (i = 0; i < env.output_spec.spec_cnt; i++) {
1275 		int id = env.output_spec.ids[i];
1276 		int *max_len = &env.output_spec.lens[i];
1277 
1278 		switch (fmt) {
1279 		case RESFMT_TABLE_CALCLEN:
1280 			len = snprintf(NULL, 0, "%s", stat_defs[id].header);
1281 			if (len > *max_len)
1282 				*max_len = len;
1283 			break;
1284 		case RESFMT_TABLE:
1285 			fmt_str = stat_defs[id].left_aligned ? "%s%-*s" : "%s%*s";
1286 			printf(fmt_str, i == 0 ? "" : COLUMN_SEP,  *max_len, stat_defs[id].header);
1287 			if (i == env.output_spec.spec_cnt - 1)
1288 				printf("\n");
1289 			break;
1290 		case RESFMT_CSV:
1291 			printf("%s%s", i == 0 ? "" : ",", stat_defs[id].names[0]);
1292 			if (i == env.output_spec.spec_cnt - 1)
1293 				printf("\n");
1294 			break;
1295 		}
1296 	}
1297 
1298 	if (fmt == RESFMT_TABLE)
1299 		output_header_underlines();
1300 }
1301 
1302 static void prepare_value(const struct verif_stats *s, enum stat_id id,
1303 			  const char **str, long *val)
1304 {
1305 	switch (id) {
1306 	case FILE_NAME:
1307 		*str = s ? s->file_name : "N/A";
1308 		break;
1309 	case PROG_NAME:
1310 		*str = s ? s->prog_name : "N/A";
1311 		break;
1312 	case VERDICT:
1313 		if (!s)
1314 			*str = "N/A";
1315 		else
1316 			*str = s->stats[VERDICT] ? "success" : "failure";
1317 		break;
1318 	case DURATION:
1319 	case TOTAL_INSNS:
1320 	case TOTAL_STATES:
1321 	case PEAK_STATES:
1322 	case MAX_STATES_PER_INSN:
1323 	case MARK_READ_MAX_LEN:
1324 		*val = s ? s->stats[id] : 0;
1325 		break;
1326 	default:
1327 		fprintf(stderr, "Unrecognized stat #%d\n", id);
1328 		exit(1);
1329 	}
1330 }
1331 
1332 static void output_stats(const struct verif_stats *s, enum resfmt fmt, bool last)
1333 {
1334 	int i;
1335 
1336 	for (i = 0; i < env.output_spec.spec_cnt; i++) {
1337 		int id = env.output_spec.ids[i];
1338 		int *max_len = &env.output_spec.lens[i], len;
1339 		const char *str = NULL;
1340 		long val = 0;
1341 
1342 		prepare_value(s, id, &str, &val);
1343 
1344 		switch (fmt) {
1345 		case RESFMT_TABLE_CALCLEN:
1346 			if (str)
1347 				len = snprintf(NULL, 0, "%s", str);
1348 			else
1349 				len = snprintf(NULL, 0, "%ld", val);
1350 			if (len > *max_len)
1351 				*max_len = len;
1352 			break;
1353 		case RESFMT_TABLE:
1354 			if (str)
1355 				printf("%s%-*s", i == 0 ? "" : COLUMN_SEP, *max_len, str);
1356 			else
1357 				printf("%s%*ld", i == 0 ? "" : COLUMN_SEP,  *max_len, val);
1358 			if (i == env.output_spec.spec_cnt - 1)
1359 				printf("\n");
1360 			break;
1361 		case RESFMT_CSV:
1362 			if (str)
1363 				printf("%s%s", i == 0 ? "" : ",", str);
1364 			else
1365 				printf("%s%ld", i == 0 ? "" : ",", val);
1366 			if (i == env.output_spec.spec_cnt - 1)
1367 				printf("\n");
1368 			break;
1369 		}
1370 	}
1371 
1372 	if (last && fmt == RESFMT_TABLE) {
1373 		output_header_underlines();
1374 		printf("Done. Processed %d files, %d programs. Skipped %d files, %d programs.\n",
1375 		       env.files_processed, env.files_skipped, env.progs_processed, env.progs_skipped);
1376 	}
1377 }
1378 
1379 static int parse_stat_value(const char *str, enum stat_id id, struct verif_stats *st)
1380 {
1381 	switch (id) {
1382 	case FILE_NAME:
1383 		st->file_name = strdup(str);
1384 		if (!st->file_name)
1385 			return -ENOMEM;
1386 		break;
1387 	case PROG_NAME:
1388 		st->prog_name = strdup(str);
1389 		if (!st->prog_name)
1390 			return -ENOMEM;
1391 		break;
1392 	case VERDICT:
1393 		if (strcmp(str, "success") == 0) {
1394 			st->stats[VERDICT] = true;
1395 		} else if (strcmp(str, "failure") == 0) {
1396 			st->stats[VERDICT] = false;
1397 		} else {
1398 			fprintf(stderr, "Unrecognized verification verdict '%s'\n", str);
1399 			return -EINVAL;
1400 		}
1401 		break;
1402 	case DURATION:
1403 	case TOTAL_INSNS:
1404 	case TOTAL_STATES:
1405 	case PEAK_STATES:
1406 	case MAX_STATES_PER_INSN:
1407 	case MARK_READ_MAX_LEN: {
1408 		long val;
1409 		int err, n;
1410 
1411 		if (sscanf(str, "%ld %n", &val, &n) != 1 || n != strlen(str)) {
1412 			err = -errno;
1413 			fprintf(stderr, "Failed to parse '%s' as integer\n", str);
1414 			return err;
1415 		}
1416 
1417 		st->stats[id] = val;
1418 		break;
1419 	}
1420 	default:
1421 		fprintf(stderr, "Unrecognized stat #%d\n", id);
1422 		return -EINVAL;
1423 	}
1424 	return 0;
1425 }
1426 
1427 static int parse_stats_csv(const char *filename, struct stat_specs *specs,
1428 			   struct verif_stats **statsp, int *stat_cntp)
1429 {
1430 	char line[4096];
1431 	FILE *f;
1432 	int err = 0;
1433 	bool header = true;
1434 
1435 	f = fopen(filename, "r");
1436 	if (!f) {
1437 		err = -errno;
1438 		fprintf(stderr, "Failed to open '%s': %d\n", filename, err);
1439 		return err;
1440 	}
1441 
1442 	*stat_cntp = 0;
1443 
1444 	while (fgets(line, sizeof(line), f)) {
1445 		char *input = line, *state = NULL, *next;
1446 		struct verif_stats *st = NULL;
1447 		int col = 0;
1448 
1449 		if (!header) {
1450 			void *tmp;
1451 
1452 			tmp = realloc(*statsp, (*stat_cntp + 1) * sizeof(**statsp));
1453 			if (!tmp) {
1454 				err = -ENOMEM;
1455 				goto cleanup;
1456 			}
1457 			*statsp = tmp;
1458 
1459 			st = &(*statsp)[*stat_cntp];
1460 			memset(st, 0, sizeof(*st));
1461 
1462 			*stat_cntp += 1;
1463 		}
1464 
1465 		while ((next = strtok_r(state ? NULL : input, ",\n", &state))) {
1466 			if (header) {
1467 				/* for the first line, set up spec stats */
1468 				err = parse_stat(next, specs);
1469 				if (err)
1470 					goto cleanup;
1471 				continue;
1472 			}
1473 
1474 			/* for all other lines, parse values based on spec */
1475 			if (col >= specs->spec_cnt) {
1476 				fprintf(stderr, "Found extraneous column #%d in row #%d of '%s'\n",
1477 					col, *stat_cntp, filename);
1478 				err = -EINVAL;
1479 				goto cleanup;
1480 			}
1481 			err = parse_stat_value(next, specs->ids[col], st);
1482 			if (err)
1483 				goto cleanup;
1484 			col++;
1485 		}
1486 
1487 		if (header) {
1488 			header = false;
1489 			continue;
1490 		}
1491 
1492 		if (col < specs->spec_cnt) {
1493 			fprintf(stderr, "Not enough columns in row #%d in '%s'\n",
1494 				*stat_cntp, filename);
1495 			err = -EINVAL;
1496 			goto cleanup;
1497 		}
1498 
1499 		if (!st->file_name || !st->prog_name) {
1500 			fprintf(stderr, "Row #%d in '%s' is missing file and/or program name\n",
1501 				*stat_cntp, filename);
1502 			err = -EINVAL;
1503 			goto cleanup;
1504 		}
1505 
1506 		/* in comparison mode we can only check filters after we
1507 		 * parsed entire line; if row should be ignored we pretend we
1508 		 * never parsed it
1509 		 */
1510 		if (!should_process_file_prog(st->file_name, st->prog_name)) {
1511 			free(st->file_name);
1512 			free(st->prog_name);
1513 			*stat_cntp -= 1;
1514 		}
1515 	}
1516 
1517 	if (!feof(f)) {
1518 		err = -errno;
1519 		fprintf(stderr, "Failed I/O for '%s': %d\n", filename, err);
1520 	}
1521 
1522 cleanup:
1523 	fclose(f);
1524 	return err;
1525 }
1526 
1527 /* empty/zero stats for mismatched rows */
1528 static const struct verif_stats fallback_stats = { .file_name = "", .prog_name = "" };
1529 
1530 static bool is_key_stat(enum stat_id id)
1531 {
1532 	return id == FILE_NAME || id == PROG_NAME;
1533 }
1534 
1535 static void output_comp_header_underlines(void)
1536 {
1537 	int i, j, k;
1538 
1539 	for (i = 0; i < env.output_spec.spec_cnt; i++) {
1540 		int id = env.output_spec.ids[i];
1541 		int max_j = is_key_stat(id) ? 1 : 3;
1542 
1543 		for (j = 0; j < max_j; j++) {
1544 			int len = env.output_spec.lens[3 * i + j];
1545 
1546 			printf("%s", i + j == 0 ? "" : COLUMN_SEP);
1547 
1548 			for (k = 0; k < len; k++)
1549 				printf("%c", HEADER_CHAR);
1550 		}
1551 	}
1552 	printf("\n");
1553 }
1554 
1555 static void output_comp_headers(enum resfmt fmt)
1556 {
1557 	static const char *table_sfxs[3] = {" (A)", " (B)", " (DIFF)"};
1558 	static const char *name_sfxs[3] = {"_base", "_comp", "_diff"};
1559 	int i, j, len;
1560 
1561 	for (i = 0; i < env.output_spec.spec_cnt; i++) {
1562 		int id = env.output_spec.ids[i];
1563 		/* key stats don't have A/B/DIFF columns, they are common for both data sets */
1564 		int max_j = is_key_stat(id) ? 1 : 3;
1565 
1566 		for (j = 0; j < max_j; j++) {
1567 			int *max_len = &env.output_spec.lens[3 * i + j];
1568 			bool last = (i == env.output_spec.spec_cnt - 1) && (j == max_j - 1);
1569 			const char *sfx;
1570 
1571 			switch (fmt) {
1572 			case RESFMT_TABLE_CALCLEN:
1573 				sfx = is_key_stat(id) ? "" : table_sfxs[j];
1574 				len = snprintf(NULL, 0, "%s%s", stat_defs[id].header, sfx);
1575 				if (len > *max_len)
1576 					*max_len = len;
1577 				break;
1578 			case RESFMT_TABLE:
1579 				sfx = is_key_stat(id) ? "" : table_sfxs[j];
1580 				printf("%s%-*s%s", i + j == 0 ? "" : COLUMN_SEP,
1581 				       *max_len - (int)strlen(sfx), stat_defs[id].header, sfx);
1582 				if (last)
1583 					printf("\n");
1584 				break;
1585 			case RESFMT_CSV:
1586 				sfx = is_key_stat(id) ? "" : name_sfxs[j];
1587 				printf("%s%s%s", i + j == 0 ? "" : ",", stat_defs[id].names[0], sfx);
1588 				if (last)
1589 					printf("\n");
1590 				break;
1591 			}
1592 		}
1593 	}
1594 
1595 	if (fmt == RESFMT_TABLE)
1596 		output_comp_header_underlines();
1597 }
1598 
1599 static void output_comp_stats(const struct verif_stats_join *join_stats,
1600 			      enum resfmt fmt, bool last)
1601 {
1602 	const struct verif_stats *base = join_stats->stats_a;
1603 	const struct verif_stats *comp = join_stats->stats_b;
1604 	char base_buf[1024] = {}, comp_buf[1024] = {}, diff_buf[1024] = {};
1605 	int i;
1606 
1607 	for (i = 0; i < env.output_spec.spec_cnt; i++) {
1608 		int id = env.output_spec.ids[i], len;
1609 		int *max_len_base = &env.output_spec.lens[3 * i + 0];
1610 		int *max_len_comp = &env.output_spec.lens[3 * i + 1];
1611 		int *max_len_diff = &env.output_spec.lens[3 * i + 2];
1612 		const char *base_str = NULL, *comp_str = NULL;
1613 		long base_val = 0, comp_val = 0, diff_val = 0;
1614 
1615 		prepare_value(base, id, &base_str, &base_val);
1616 		prepare_value(comp, id, &comp_str, &comp_val);
1617 
1618 		/* normalize all the outputs to be in string buffers for simplicity */
1619 		if (is_key_stat(id)) {
1620 			/* key stats (file and program name) are always strings */
1621 			if (base)
1622 				snprintf(base_buf, sizeof(base_buf), "%s", base_str);
1623 			else
1624 				snprintf(base_buf, sizeof(base_buf), "%s", comp_str);
1625 		} else if (base_str) {
1626 			snprintf(base_buf, sizeof(base_buf), "%s", base_str);
1627 			snprintf(comp_buf, sizeof(comp_buf), "%s", comp_str);
1628 			if (!base || !comp)
1629 				snprintf(diff_buf, sizeof(diff_buf), "%s", "N/A");
1630 			else if (strcmp(base_str, comp_str) == 0)
1631 				snprintf(diff_buf, sizeof(diff_buf), "%s", "MATCH");
1632 			else
1633 				snprintf(diff_buf, sizeof(diff_buf), "%s", "MISMATCH");
1634 		} else {
1635 			double p = 0.0;
1636 
1637 			if (base)
1638 				snprintf(base_buf, sizeof(base_buf), "%ld", base_val);
1639 			else
1640 				snprintf(base_buf, sizeof(base_buf), "%s", "N/A");
1641 			if (comp)
1642 				snprintf(comp_buf, sizeof(comp_buf), "%ld", comp_val);
1643 			else
1644 				snprintf(comp_buf, sizeof(comp_buf), "%s", "N/A");
1645 
1646 			diff_val = comp_val - base_val;
1647 			if (!base || !comp) {
1648 				snprintf(diff_buf, sizeof(diff_buf), "%s", "N/A");
1649 			} else {
1650 				if (base_val == 0) {
1651 					if (comp_val == base_val)
1652 						p = 0.0; /* avoid +0 (+100%) case */
1653 					else
1654 						p = comp_val < base_val ? -100.0 : 100.0;
1655 				} else {
1656 					 p = diff_val * 100.0 / base_val;
1657 				}
1658 				snprintf(diff_buf, sizeof(diff_buf), "%+ld (%+.2lf%%)", diff_val, p);
1659 			}
1660 		}
1661 
1662 		switch (fmt) {
1663 		case RESFMT_TABLE_CALCLEN:
1664 			len = strlen(base_buf);
1665 			if (len > *max_len_base)
1666 				*max_len_base = len;
1667 			if (!is_key_stat(id)) {
1668 				len = strlen(comp_buf);
1669 				if (len > *max_len_comp)
1670 					*max_len_comp = len;
1671 				len = strlen(diff_buf);
1672 				if (len > *max_len_diff)
1673 					*max_len_diff = len;
1674 			}
1675 			break;
1676 		case RESFMT_TABLE: {
1677 			/* string outputs are left-aligned, number outputs are right-aligned */
1678 			const char *fmt = base_str ? "%s%-*s" : "%s%*s";
1679 
1680 			printf(fmt, i == 0 ? "" : COLUMN_SEP, *max_len_base, base_buf);
1681 			if (!is_key_stat(id)) {
1682 				printf(fmt, COLUMN_SEP, *max_len_comp, comp_buf);
1683 				printf(fmt, COLUMN_SEP, *max_len_diff, diff_buf);
1684 			}
1685 			if (i == env.output_spec.spec_cnt - 1)
1686 				printf("\n");
1687 			break;
1688 		}
1689 		case RESFMT_CSV:
1690 			printf("%s%s", i == 0 ? "" : ",", base_buf);
1691 			if (!is_key_stat(id)) {
1692 				printf("%s%s", i == 0 ? "" : ",", comp_buf);
1693 				printf("%s%s", i == 0 ? "" : ",", diff_buf);
1694 			}
1695 			if (i == env.output_spec.spec_cnt - 1)
1696 				printf("\n");
1697 			break;
1698 		}
1699 	}
1700 
1701 	if (last && fmt == RESFMT_TABLE)
1702 		output_comp_header_underlines();
1703 }
1704 
1705 static int cmp_stats_key(const struct verif_stats *base, const struct verif_stats *comp)
1706 {
1707 	int r;
1708 
1709 	r = strcmp(base->file_name, comp->file_name);
1710 	if (r != 0)
1711 		return r;
1712 	return strcmp(base->prog_name, comp->prog_name);
1713 }
1714 
1715 static bool is_join_stat_filter_matched(struct filter *f, const struct verif_stats_join *stats)
1716 {
1717 	static const double eps = 1e-9;
1718 	const char *str = NULL;
1719 	double value = 0.0;
1720 
1721 	fetch_join_stat_value(stats, f->stat_id, f->stat_var, &str, &value);
1722 
1723 	switch (f->op) {
1724 	case OP_EQ: return value > f->value - eps && value < f->value + eps;
1725 	case OP_NEQ: return value < f->value - eps || value > f->value + eps;
1726 	case OP_LT: return value < f->value - eps;
1727 	case OP_LE: return value <= f->value + eps;
1728 	case OP_GT: return value > f->value + eps;
1729 	case OP_GE: return value >= f->value - eps;
1730 	}
1731 
1732 	fprintf(stderr, "BUG: unknown filter op %d!\n", f->op);
1733 	return false;
1734 }
1735 
1736 static bool should_output_join_stats(const struct verif_stats_join *stats)
1737 {
1738 	struct filter *f;
1739 	int i, allow_cnt = 0;
1740 
1741 	for (i = 0; i < env.deny_filter_cnt; i++) {
1742 		f = &env.deny_filters[i];
1743 		if (f->kind != FILTER_STAT)
1744 			continue;
1745 
1746 		if (is_join_stat_filter_matched(f, stats))
1747 			return false;
1748 	}
1749 
1750 	for (i = 0; i < env.allow_filter_cnt; i++) {
1751 		f = &env.allow_filters[i];
1752 		if (f->kind != FILTER_STAT)
1753 			continue;
1754 		allow_cnt++;
1755 
1756 		if (is_join_stat_filter_matched(f, stats))
1757 			return true;
1758 	}
1759 
1760 	/* if there are no stat allowed filters, pass everything through */
1761 	return allow_cnt == 0;
1762 }
1763 
1764 static int handle_comparison_mode(void)
1765 {
1766 	struct stat_specs base_specs = {}, comp_specs = {};
1767 	struct stat_specs tmp_sort_spec;
1768 	enum resfmt cur_fmt;
1769 	int err, i, j, last_idx;
1770 
1771 	if (env.filename_cnt != 2) {
1772 		fprintf(stderr, "Comparison mode expects exactly two input CSV files!\n\n");
1773 		argp_help(&argp, stderr, ARGP_HELP_USAGE, "veristat");
1774 		return -EINVAL;
1775 	}
1776 
1777 	err = parse_stats_csv(env.filenames[0], &base_specs,
1778 			      &env.baseline_stats, &env.baseline_stat_cnt);
1779 	if (err) {
1780 		fprintf(stderr, "Failed to parse stats from '%s': %d\n", env.filenames[0], err);
1781 		return err;
1782 	}
1783 	err = parse_stats_csv(env.filenames[1], &comp_specs,
1784 			      &env.prog_stats, &env.prog_stat_cnt);
1785 	if (err) {
1786 		fprintf(stderr, "Failed to parse stats from '%s': %d\n", env.filenames[1], err);
1787 		return err;
1788 	}
1789 
1790 	/* To keep it simple we validate that the set and order of stats in
1791 	 * both CSVs are exactly the same. This can be lifted with a bit more
1792 	 * pre-processing later.
1793 	 */
1794 	if (base_specs.spec_cnt != comp_specs.spec_cnt) {
1795 		fprintf(stderr, "Number of stats in '%s' and '%s' differs (%d != %d)!\n",
1796 			env.filenames[0], env.filenames[1],
1797 			base_specs.spec_cnt, comp_specs.spec_cnt);
1798 		return -EINVAL;
1799 	}
1800 	for (i = 0; i < base_specs.spec_cnt; i++) {
1801 		if (base_specs.ids[i] != comp_specs.ids[i]) {
1802 			fprintf(stderr, "Stats composition differs between '%s' and '%s' (%s != %s)!\n",
1803 				env.filenames[0], env.filenames[1],
1804 				stat_defs[base_specs.ids[i]].names[0],
1805 				stat_defs[comp_specs.ids[i]].names[0]);
1806 			return -EINVAL;
1807 		}
1808 	}
1809 
1810 	/* Replace user-specified sorting spec with file+prog sorting rule to
1811 	 * be able to join two datasets correctly. Once we are done, we will
1812 	 * restore the original sort spec.
1813 	 */
1814 	tmp_sort_spec = env.sort_spec;
1815 	env.sort_spec = join_sort_spec;
1816 	qsort(env.prog_stats, env.prog_stat_cnt, sizeof(*env.prog_stats), cmp_prog_stats);
1817 	qsort(env.baseline_stats, env.baseline_stat_cnt, sizeof(*env.baseline_stats), cmp_prog_stats);
1818 	env.sort_spec = tmp_sort_spec;
1819 
1820 	/* Join two datasets together. If baseline and comparison datasets
1821 	 * have different subset of rows (we match by 'object + prog' as
1822 	 * a unique key) then assume empty/missing/zero value for rows that
1823 	 * are missing in the opposite data set.
1824 	 */
1825 	i = j = 0;
1826 	while (i < env.baseline_stat_cnt || j < env.prog_stat_cnt) {
1827 		const struct verif_stats *base, *comp;
1828 		struct verif_stats_join *join;
1829 		void *tmp;
1830 		int r;
1831 
1832 		base = i < env.baseline_stat_cnt ? &env.baseline_stats[i] : &fallback_stats;
1833 		comp = j < env.prog_stat_cnt ? &env.prog_stats[j] : &fallback_stats;
1834 
1835 		if (!base->file_name || !base->prog_name) {
1836 			fprintf(stderr, "Entry #%d in '%s' doesn't have file and/or program name specified!\n",
1837 				i, env.filenames[0]);
1838 			return -EINVAL;
1839 		}
1840 		if (!comp->file_name || !comp->prog_name) {
1841 			fprintf(stderr, "Entry #%d in '%s' doesn't have file and/or program name specified!\n",
1842 				j, env.filenames[1]);
1843 			return -EINVAL;
1844 		}
1845 
1846 		tmp = realloc(env.join_stats, (env.join_stat_cnt + 1) * sizeof(*env.join_stats));
1847 		if (!tmp)
1848 			return -ENOMEM;
1849 		env.join_stats = tmp;
1850 
1851 		join = &env.join_stats[env.join_stat_cnt];
1852 		memset(join, 0, sizeof(*join));
1853 
1854 		r = cmp_stats_key(base, comp);
1855 		if (r == 0) {
1856 			join->file_name = base->file_name;
1857 			join->prog_name = base->prog_name;
1858 			join->stats_a = base;
1859 			join->stats_b = comp;
1860 			i++;
1861 			j++;
1862 		} else if (base != &fallback_stats && (comp == &fallback_stats || r < 0)) {
1863 			join->file_name = base->file_name;
1864 			join->prog_name = base->prog_name;
1865 			join->stats_a = base;
1866 			join->stats_b = NULL;
1867 			i++;
1868 		} else if (comp != &fallback_stats && (base == &fallback_stats || r > 0)) {
1869 			join->file_name = comp->file_name;
1870 			join->prog_name = comp->prog_name;
1871 			join->stats_a = NULL;
1872 			join->stats_b = comp;
1873 			j++;
1874 		} else {
1875 			fprintf(stderr, "%s:%d: should never reach here i=%i, j=%i",
1876 				__FILE__, __LINE__, i, j);
1877 			return -EINVAL;
1878 		}
1879 		env.join_stat_cnt += 1;
1880 	}
1881 
1882 	/* now sort joined results accorsing to sort spec */
1883 	qsort(env.join_stats, env.join_stat_cnt, sizeof(*env.join_stats), cmp_join_stats);
1884 
1885 	/* for human-readable table output we need to do extra pass to
1886 	 * calculate column widths, so we substitute current output format
1887 	 * with RESFMT_TABLE_CALCLEN and later revert it back to RESFMT_TABLE
1888 	 * and do everything again.
1889 	 */
1890 	if (env.out_fmt == RESFMT_TABLE)
1891 		cur_fmt = RESFMT_TABLE_CALCLEN;
1892 	else
1893 		cur_fmt = env.out_fmt;
1894 
1895 one_more_time:
1896 	output_comp_headers(cur_fmt);
1897 
1898 	last_idx = -1;
1899 	for (i = 0; i < env.join_stat_cnt; i++) {
1900 		const struct verif_stats_join *join = &env.join_stats[i];
1901 
1902 		if (!should_output_join_stats(join))
1903 			continue;
1904 
1905 		if (cur_fmt == RESFMT_TABLE_CALCLEN)
1906 			last_idx = i;
1907 
1908 		output_comp_stats(join, cur_fmt, i == last_idx);
1909 	}
1910 
1911 	if (cur_fmt == RESFMT_TABLE_CALCLEN) {
1912 		cur_fmt = RESFMT_TABLE;
1913 		goto one_more_time; /* ... this time with feeling */
1914 	}
1915 
1916 	return 0;
1917 }
1918 
1919 static bool is_stat_filter_matched(struct filter *f, const struct verif_stats *stats)
1920 {
1921 	long value = stats->stats[f->stat_id];
1922 
1923 	switch (f->op) {
1924 	case OP_EQ: return value == f->value;
1925 	case OP_NEQ: return value != f->value;
1926 	case OP_LT: return value < f->value;
1927 	case OP_LE: return value <= f->value;
1928 	case OP_GT: return value > f->value;
1929 	case OP_GE: return value >= f->value;
1930 	}
1931 
1932 	fprintf(stderr, "BUG: unknown filter op %d!\n", f->op);
1933 	return false;
1934 }
1935 
1936 static bool should_output_stats(const struct verif_stats *stats)
1937 {
1938 	struct filter *f;
1939 	int i, allow_cnt = 0;
1940 
1941 	for (i = 0; i < env.deny_filter_cnt; i++) {
1942 		f = &env.deny_filters[i];
1943 		if (f->kind != FILTER_STAT)
1944 			continue;
1945 
1946 		if (is_stat_filter_matched(f, stats))
1947 			return false;
1948 	}
1949 
1950 	for (i = 0; i < env.allow_filter_cnt; i++) {
1951 		f = &env.allow_filters[i];
1952 		if (f->kind != FILTER_STAT)
1953 			continue;
1954 		allow_cnt++;
1955 
1956 		if (is_stat_filter_matched(f, stats))
1957 			return true;
1958 	}
1959 
1960 	/* if there are no stat allowed filters, pass everything through */
1961 	return allow_cnt == 0;
1962 }
1963 
1964 static void output_prog_stats(void)
1965 {
1966 	const struct verif_stats *stats;
1967 	int i, last_stat_idx = 0;
1968 
1969 	if (env.out_fmt == RESFMT_TABLE) {
1970 		/* calculate column widths */
1971 		output_headers(RESFMT_TABLE_CALCLEN);
1972 		for (i = 0; i < env.prog_stat_cnt; i++) {
1973 			stats = &env.prog_stats[i];
1974 			if (!should_output_stats(stats))
1975 				continue;
1976 			output_stats(stats, RESFMT_TABLE_CALCLEN, false);
1977 			last_stat_idx = i;
1978 		}
1979 	}
1980 
1981 	/* actually output the table */
1982 	output_headers(env.out_fmt);
1983 	for (i = 0; i < env.prog_stat_cnt; i++) {
1984 		stats = &env.prog_stats[i];
1985 		if (!should_output_stats(stats))
1986 			continue;
1987 		output_stats(stats, env.out_fmt, i == last_stat_idx);
1988 	}
1989 }
1990 
1991 static int handle_verif_mode(void)
1992 {
1993 	int i, err;
1994 
1995 	if (env.filename_cnt == 0) {
1996 		fprintf(stderr, "Please provide path to BPF object file!\n\n");
1997 		argp_help(&argp, stderr, ARGP_HELP_USAGE, "veristat");
1998 		return -EINVAL;
1999 	}
2000 
2001 	for (i = 0; i < env.filename_cnt; i++) {
2002 		err = process_obj(env.filenames[i]);
2003 		if (err) {
2004 			fprintf(stderr, "Failed to process '%s': %d\n", env.filenames[i], err);
2005 			return err;
2006 		}
2007 	}
2008 
2009 	qsort(env.prog_stats, env.prog_stat_cnt, sizeof(*env.prog_stats), cmp_prog_stats);
2010 
2011 	output_prog_stats();
2012 
2013 	return 0;
2014 }
2015 
2016 static int handle_replay_mode(void)
2017 {
2018 	struct stat_specs specs = {};
2019 	int err;
2020 
2021 	if (env.filename_cnt != 1) {
2022 		fprintf(stderr, "Replay mode expects exactly one input CSV file!\n\n");
2023 		argp_help(&argp, stderr, ARGP_HELP_USAGE, "veristat");
2024 		return -EINVAL;
2025 	}
2026 
2027 	err = parse_stats_csv(env.filenames[0], &specs,
2028 			      &env.prog_stats, &env.prog_stat_cnt);
2029 	if (err) {
2030 		fprintf(stderr, "Failed to parse stats from '%s': %d\n", env.filenames[0], err);
2031 		return err;
2032 	}
2033 
2034 	qsort(env.prog_stats, env.prog_stat_cnt, sizeof(*env.prog_stats), cmp_prog_stats);
2035 
2036 	output_prog_stats();
2037 
2038 	return 0;
2039 }
2040 
2041 int main(int argc, char **argv)
2042 {
2043 	int err = 0, i;
2044 
2045 	if (argp_parse(&argp, argc, argv, 0, NULL, NULL))
2046 		return 1;
2047 
2048 	if (env.show_version) {
2049 		printf("%s\n", argp_program_version);
2050 		return 0;
2051 	}
2052 
2053 	if (env.verbose && env.quiet) {
2054 		fprintf(stderr, "Verbose and quiet modes are incompatible, please specify just one or neither!\n\n");
2055 		argp_help(&argp, stderr, ARGP_HELP_USAGE, "veristat");
2056 		return 1;
2057 	}
2058 	if (env.verbose && env.log_level == 0)
2059 		env.log_level = 1;
2060 
2061 	if (env.output_spec.spec_cnt == 0) {
2062 		if (env.out_fmt == RESFMT_CSV)
2063 			env.output_spec = default_csv_output_spec;
2064 		else
2065 			env.output_spec = default_output_spec;
2066 	}
2067 	if (env.sort_spec.spec_cnt == 0)
2068 		env.sort_spec = default_sort_spec;
2069 
2070 	if (env.comparison_mode && env.replay_mode) {
2071 		fprintf(stderr, "Can't specify replay and comparison mode at the same time!\n\n");
2072 		argp_help(&argp, stderr, ARGP_HELP_USAGE, "veristat");
2073 		return 1;
2074 	}
2075 
2076 	if (env.comparison_mode)
2077 		err = handle_comparison_mode();
2078 	else if (env.replay_mode)
2079 		err = handle_replay_mode();
2080 	else
2081 		err = handle_verif_mode();
2082 
2083 	free_verif_stats(env.prog_stats, env.prog_stat_cnt);
2084 	free_verif_stats(env.baseline_stats, env.baseline_stat_cnt);
2085 	free(env.join_stats);
2086 	for (i = 0; i < env.filename_cnt; i++)
2087 		free(env.filenames[i]);
2088 	free(env.filenames);
2089 	for (i = 0; i < env.allow_filter_cnt; i++) {
2090 		free(env.allow_filters[i].any_glob);
2091 		free(env.allow_filters[i].file_glob);
2092 		free(env.allow_filters[i].prog_glob);
2093 	}
2094 	free(env.allow_filters);
2095 	for (i = 0; i < env.deny_filter_cnt; i++) {
2096 		free(env.deny_filters[i].any_glob);
2097 		free(env.deny_filters[i].file_glob);
2098 		free(env.deny_filters[i].prog_glob);
2099 	}
2100 	free(env.deny_filters);
2101 	return -err;
2102 }
2103