Coverity Scan configuration