Main Content

Run Polyspace as You Code in IDEs or Editors Without Plugins

Configure Polyspace as You Code plugin for command-line runs, trigger command-line runs from unsupported IDEs and editors

You can run Polyspace as You Code directly in a terminal in your operating system. If you are able to trigger command-line runs and view console output within your IDE or editor, you can use Polyspace as You Code on IDEs or editors that are not directly supported with plugins or extensions.

DOS/UNIX Commands

polyspace-access (Polyspace Access)(DOS/UNIX) Manage Polyspace Access results and users at the command line
polyspace-bug-finder-access (Polyspace Access)(DOS/UNIX) Run Polyspace as You Code from Windows, Linux, or other command line
polyspace-comments-import(DOS/UNIX) Import review information from previous Polyspace analysis
polyspace-configure(DOS/UNIX) Create Polyspace project from your build system at the DOS or UNIX command line
polyspace-results-export(DOS/UNIX) Export Polyspace results to external formats such as CSV or JSON

Topics

Usage

Installation and Configuration