このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。
Polyspace Platform ユーザー インターフェイスでの Bug Finder 解析
Polyspace® Platform ユーザー インターフェイスでの C/C++ コードの欠陥のチェック
Polyspace Platform は、Polyspace 製品での C/C++ コードの静的解析と動的テストをサポートする統合環境です。Polyspace Platform ユーザー インターフェイスでは、プロジェクトの作成、ソース ファイルの追加、チェッカーの構成、Bug Finder 解析を実行できます。
Polyspace オプション
システム コマンド
polyspace-project -diff, polyspace-project -merge | (System Command) Compare and merge Polyspace Platform projects, workspaces, configurations and tests before submission to source control |
polyspace-project -convert-psprj-to-workspace | (System Command) Convert Polyspace project file to Polyspace Platform workspace file and project files |
polyspace-project -generate-launching-script-for | (System Command) Generate files needed to run static analysis on a Polyspace Platform project |
トピック
入門
- Polyspace Platform: A Unified Platform for Static Analysis and Dynamic Testing
Polyspace Platform is an integrated environment for static analysis and testing of C/C++ code with Polyspace products. - Using Polyspace Platform as Default User Interface for Static Analysis
Import projects created in classic user interface, run tests or static analysis on imported projects. - Run Static Analysis in Polyspace Platform User Interface
Run Polyspace analysis on your desktop in the Polyspace Platform user interface. - Generate Launching Script for Polyspace Platform Project to Run Static Analysis from Command Line
Run static analysis on a Polyspace Platform project from the command line. - Open Polyspace Results in Polyspace Platform User Interface
See all the ways you can open Polyspace results.
プロジェクトの作成と更新
- Create Project and Add Source Files in Polyspace Platform User Interface
Add source files using your build command or manually.
- Update Projects in Polyspace Platform User Interface
Update source files in Polyspace Platform projects. - Manage Related Projects in Polyspace Platform User Interface Using Workspaces
Create workspace from open projects, add projects to workspace, save workspace. - Classify Project Files into File Sets for Precise Control of Polyspace Analysis
Control precisely which files to include in analysis and how to analyze them.
プロジェクトの構成
- Configure Project for Static Analysis in Polyspace Platform User Interface
Configure build and static analysis options to check C/C++ code for bugs. - Polyspace Bug Finder Options in Polyspace Platform User Interface
Look up Polyspace Bug Finder™ static analysis options. - Differences in Configuration Options Between Classic Polyspace Projects and Polyspace Platform Projects
Some options from the older Polyspace user interface have been remapped to different options in the Polyspace Platform user interface.
コーディング規約違反のチェック
- Check for C/C++ Coding Defects and Coding Standard Violations
Check for C/C++ coding defects and violations of coding standards such as AUTOSAR C++14, CERT® C, CERT C++, CWE, MISRA C™, MISRA™ C++, JSF AV C++, or ISO-17961 standards using the Polyspace platform user interface. - Check for Violations of User-Defined Coding Standard Using Polyspace Bug Finder
Run Bug Finder analyses to check for violations of user-defined coding standards. Review and address results in the Polyspace Platform user interface. - Create User-Defined Coding Standard by Using Polyspace Bug Finder Checkers
Map Bug Finder checkers to coding rules in a user-defined coding standard in a sharable.pschkfile. - Find Polyspace Bug Finder Checkers That Map to Coding Rules in User-Defined Coding Standard
Find Bug Finder checkers that can check for the coding rules in your user-defined coding rule standard.
Polyspace Platform ユーザー インターフェイス
ファイル ストレージ
- Artifacts and Results Generated by Polyspace Platform Projects
Learn about the files Polyspace generates when you build a project or run static analysis or tests. - Polyspace 解析中の一時ファイルの保存
Polyspace が解析中に一時ファイルを保存する場所について学ぶ。 - Create Easily Shareable Projects for Version Control
Create projects that are easy to share and submit to version control by using relative paths, variables, and a modular project structure.
