Run Polyspace as You Code in IDEs or Editors Without Plugins
Configure Polyspace®
as You Code™ extension for command-line runs, and 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.
System Commands
polyspace-as-you-code | (System Command) Run Polyspace as You Code from Windows, Linux, or other command line |
polyspace-configure (Polyspace Bug Finder) | (System Command) Create Polyspace Platform project, workspace, or options file from build command or compilation database |
polyspace-results-export (Polyspace Bug Finder) | (System Command) Export Polyspace results to external formats such as CSV or JSON |
Topics
- Run Polyspace as You Code from Command Line and Export Results
Print Polyspace as You Code results in text or parsed JSON format on IDE consoles or command line.
- Integrate Polyspace as You Code in IDEs and Editors Without Extension
Run Polyspace as You Code in an IDE without an officially supported extension.
- Analysis Scope of Polyspace as You Code
Polyspace as You Code is a static code analysis software meant for regular use by C/C++ developers within their IDE.
