Code Prover Analysis in Polyspace User Interface

Check C/C++ code for run-time errors in the Polyspace^® user interface

Use the Polyspace desktop user interface to configure and run an analysis. Learn how to create or update a project, which files are generated by the Polyspace analysis, and how to organize and customize the interface.

Topics

Getting Started

Add Source Files for Analysis in Polyspace User Interface
Add source files using your build command or manually.
Run Static Analysis in Polyspace User Interface
Run Polyspace analysis on your desktop in the Polyspace user interface.

Create and Update Project

Create Polyspace Projects from Visual Studio Build
Specify source files and some analysis options by tracing your Visual Studio^® build.
Create Project in Polyspace Desktop User Interface Using Configuration Template
Create Polyspace project using predefined configuration, export configuration for sharing and reuse.
Update Project in Polyspace Desktop User Interface
Refresh source list, modify folder paths, change order of includes, and add files to an existing project.

Modularize Project

Modularize Large Projects in Polyspace Desktop User Interface
Break down project in Polyspace user interface into smaller modules for faster module verification.

File Storage

Contents of Polyspace Project and Results Folders
Learn about the various files generated from a Polyspace verification.
Storage of Temporary Files During Polyspace Analysis
Learn where Polyspace stores temporary files during an analysis.

Polyspace User Interface

Organize Layout of Polyspace Desktop User Interface
Reorganize the arrangement of windows, save your organization and switch to the saved layout in one click.
Customize Polyspace Desktop User Interface
Customize the default behavior of Polyspace user interface, for instance, default project storage locations or font size.