Add Coverity scan badge
Handle null erasures correctly