The Coverity CodeXM extension is a Visual Studio® Code extension that lets you author and test Coverity® checkers, before you share them with developers who will use them to analyze their own code. The checkers are currently compatible with Polaris, Code Sight, and Coverity Connect (available separately).
In order to use the extension you will need to have access to Coverity Analysis. The minimum supported version of Coverity Analysis is
This is a pre-release for internal use only. If you would like to use it please contact your Synopsys Contact person or email at firstname.lastname@example.org.
In order to get you started right away, we have pre-configured the extension with a sample project checker and source file. This should allow you to see the extension working right out of the box. Moreover, you can also check out the interactive Quick Tour, which showcase an end-to-end workflow for writing, testing, and viewing the results of the sample project.
Syntax Highlighting + Snippet Completion
CodeXM syntax is highlighted.
Predefined snippets to accelerate development:
CodeXM Language Parse Errors
Parse/syntax error are denoted by a red squiggly underline. The errors are reported in the
Running CodeXM Against Source Files
The extension introduces a new type of run configuration,
Diagnostic logs can be found at the following locations in your system:
What languages and IDEs are supported?
The Coverity CodeXM extension runs only in Microsoft® Visual Studio Code.
What if I have questions?
Feel free to ask questions, report issues, and give us feedback about the extension via the Coverity CodeXM extension site. Here you can find product documentation which is also available via the question-mark icon under EXTENSION STATUS.
For more general information on Synopsys products you can also visit Synopsys Community site.
By downloading and using the Coverity CodeXM extension, you agree to the product End User Software License and Maintenance Agreement.