Run Coverity manually