이 페이지의 내용은 이전 릴리스에 관한 것입니다. 해당 영문 페이지는 최신 릴리스에서 제거되었습니다.
Run Settings
Remote analysis, results repository
To specify that the Bug Finder analysis must be performed on a remote server or must produce results faster than the regular analysis mode, use the run settings option.
Polyspace 옵션
Run Bug Finder or Code Prover analysis on a remote cluster (-batch) | Enable batch remote analysis |
Use fast analysis mode for Bug Finder (-fast-analysis) | Run analysis using faster local mode |
도움말 항목
- Specify Polyspace Analysis Options
Specify Polyspace® analysis options in Polyspace user interface, other IDE-s or scripts.
- Bug Finder Results Found in Fast Analysis Mode
Learn about the subset of defects and coding rules that Bug Finder checks in fast analysis mode.
- Send Polyspace Analysis from Desktop to Remote Servers Using Scripts
Send Polyspace analysis jobs to a remote server by using batch files (
.bat) or shell scripts (.sh).
