Add three more critical features to veristat tool, which make it sufficient
for a practical work on BPF verifier:
- CSV output, which allows easier programmatic post-processing of stats;
- building upon CSV output, veristat now supports comparison mode, in which
two previously captured CSV outputs from veristat are compared with each
other in a convenient form;
- flexible allow/deny filtering using globs for BPF object files and
programs, allowing to narrow down target BPF programs to be verified.
See individual patches for more details and examples.
v1->v2:
- split out double-free fix into patch #1 (Yonghong);
- fixed typo in verbose flag (Quentin);
- baseline and comparison stats were reversed in output table, fixed that.
Andrii Nakryiko (4):
selftests/bpf: fix double bpf_object__close() in veristate
selftests/bpf: add CSV output mode for veristat
selftests/bpf: add comparison mode to veristat
selftests/bpf: add ability to filter programs in veristat
tools/testing/selftests/bpf/veristat.c | 853 ++++++++++++++++++++---
tools/testing/selftests/bpf/veristat.cfg | 17 +
2 files changed, 787 insertions(+), 83 deletions(-)
create mode 100644 tools/testing/selftests/bpf/veristat.cfg
--
2.30.2
