Code coverage for eBPF programs