Code Prover Analysis in Polyspace Platform User Interface
R2026bCheck 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 analysis options, and run a Code Prover analysis.
Tools
| Polyspace Platform Settings | Settings for Polyspace Platform user interface (Since R2024b) |
Topics
Getting Started
- Run Polyspace Code Prover on Desktop
Check C/C++ code exhaustively for run-time errors. - 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 Projects
- 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.
Configure Projects
- Configure Project for Static Analysis in Polyspace Platform User Interface
Configure build and static analysis options to check C/C++ code for bugs. - Polyspace Code Prover Options in Polyspace Platform User Interface
Look up Polyspace Code Prover™ static analysis options.
Organize 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.
Work with Polyspace Files
- 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. - Submit Polyspace Files to Version Control
Learn which Polyspace files to submit to version control systems. - 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.
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.
