run coverity