[$] A visualizer for BPF program state

The BPF verifier is complicated. It needs tocheck every possible path that aBPF program's execution could take. The fact that its determination of whether aBPF program is safe is based on the whole lifetime of the program, instead ofsimple local factors, means that the cause of a verificationfailure is not always obvious. Ihor Solodrai and Jordan Rome gave a presentation(slides)at the2025 Linux Plumbers Conference in Tokyo aboutthe BPF verifier visualizer that they have been buildingto make diagnosing verification failures easier.