vbpf /prevailC++47257eBPF verifier based on abstract interpretationabstract-interpretationstatic-analyzerebpfebpf-verifier