veristat is the tool for loading, verifying, and debugging BPF object files - View it on GitHub