History tools/run-coverity.sh