The
install section of the configuration file lists the analysis tools
that Coverity on Polaris uses to analyze your project.
You can choose a specific version, or use the default version of Coverity. The default can be set both at the organization level and project level in the Coverity on Polaris user interface. If a default version is not specified, the default version is the latest available version.
Install section properties
| Name | Description |
|---|---|
| version | Version number of Covertity, or "default". |
| directory |
If you already have a set of Coverity tools installed, use the directory element to tell Coverity on Polaris where to find your installation. |
Install examples
The following example selects the default version of Coverity.
install:
coverity:
version: default
If you want to set the tool
version:
install:
coverity:
version: "2021.06" If you already have a set of Coverity tools installed, use the directory
element to tell Coverity on Polaris where to find your installation.
For Mac
install:
coverity:
version: "2021.06"
directory : "/path/to/already/installed/coverity/coverity-tools-macosx-2021.06-1"
For Linux
install:
coverity:
version: "2018.12"
directory: "/home/tools/coverity/coverity-tools-linux64-2018.12"