Polyspace Platform ユーザー インターフェイスでの Bug Finder 解析
Polyspace® Platform ユーザー インターフェイスでの C/C++ コードの欠陥のチェック
Polyspace Platform は、Polyspace 製品での C/C++ コードの静的解析と動的テストをサポートする統合環境です。Polyspace Platform ユーザー インターフェイスでは、プロジェクトの作成、ソース ファイルの追加、チェッカーの構成、Bug Finder 解析を実行できます。
ツール
| Polyspace Platform 設定 | Settings for Polyspace Platform user interface (R2024b 以降) |
トピック
入門
- Run Polyspace Bug Finder on Desktop
Check C/C++ code for defects, coding rule violations or security vulnerabilities. - 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.
プロジェクトの作成と更新
- Create Project and Add Source Files in Polyspace Platform User Interface
Add source files using your build command or manually.
- 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. - 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.
解析を実行して結果を開く
- Run Static Analysis in Polyspace Platform User Interface
Run Polyspace analysis on your desktop in the Polyspace Platform user interface. - Open Polyspace Results in Polyspace Platform User Interface
See all the ways you can open Polyspace results. - 既存のレビュー情報を同一の調査結果に適用する
1 つの調査結果からの正当化を、コード内の同じ場所にある同様の調査結果の正当化に再利用します。
プロジェクトの構成
- 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. - 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.
ファイル ストレージ
- 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 が解析中に一時ファイルを保存する場所について学ぶ。 - Submit Polyspace Files to Version Control
Learn which Polyspace files to submit to version control systems.
従来の Polyspace ユーザー インターフェイスからの変更点
- 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. - 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.
