coverity config