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.
Andrii Nakryiko (3):
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 | 16 +
2 files changed, 786 insertions(+), 83 deletions(-)
create mode 100644 tools/testing/selftests/bpf/veristat.cfg
--
2.30.2
