coverity badge [ci skip]