Polyspace 平台用户界面中的 Bug Finder 分析
在 Polyspace® 平台用户界面中检查 C/C++ 代码中是否存在缺陷
Polyspace 平台是一个集成环境,支持使用 Polyspace 产品对 C/C++ 代码进行静态分析和动态测试。在 Polyspace 平台用户界面中,您可以创建工程、添加源文件、配置检查项并运行 Bug Finder 分析。
工具
| Polyspace 平台设置 | 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 平台:用于静态分析和动态测试的统一平台
Polyspace 平台是一个使用 Polyspace 产品对 C/C++ 代码进行静态分析和测试的集成环境。
创建和更新工程
- 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. - Apply Existing Review Information to Identical Findings
Reuse justifications from one finding to justify similar findings at the same location in your code.
配置工程
- 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.