주요 콘텐츠

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-bug-finder-access (Polyspace Access)(시스템 명령) Windows, Linux 또는 다른 명령줄에서 Polyspace as You Code를 실행합니다.
polyspace-comments-import(System Command) Import review information from previous Polyspace analysis
polyspace-configure(System Command) Create Polyspace project from your build system at the DOS or UNIX command line
polyspace-results-export(System Command) Export Polyspace results to external formats such as CSV or JSON

도움말 항목

Usage

Installation and Configuration