Bug Finder Analysis in Polyspace Platform User Interface
Check C/C++ code for defects in the Polyspace® Platform user interface
Polyspace Platform is an integrated environment that supports static analysis and dynamic testing of C/C++ code with Polyspace products. In the Polyspace Platform user interface, you can create a project, add source files, configure checkers, and run a Bug Finder analysis.
Tools
| Polyspace Platform Settings | Settings for Polyspace Platform user interface (Since R2024b) |
Topics
Getting Started
- 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 and Update Project
- 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 Analysis and Open Results
- 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
- 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.
File Storage
- 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. - Storage of Temporary Files During Polyspace Analysis
Learn where Polyspace stores temporary files during an analysis. - Submit Polyspace Files to Version Control
Learn which Polyspace files to submit to version control systems.
Changes From Classic Polyspace User Interface
- 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.
