Specify which Synopsys Coverity Static Analysis tool installation to use.