Contents of Polyspace Platform Project Files and Results Folder

This topic applies only to the Polyspace Platform user interface.

When you check C/C++ code for defects or run-time errors or run tests in the Polyspace^® Platform user interface, Polyspace generates files that contain information about configuration options and analysis or test results. These files can include project files, workspace files, and any of the files found within the results folder.

Project and Workspace Files

You create and save the following artifacts in the Polyspace Platform user interface during project setup:

• Projects – Project files are saved with a file extension .psprjx.

  If you open a .psprj project from the older user interface, Polyspace converts the project into the .psprjx format.

  For more information on creating projects, see Create Project and Add Source Files in Polyspace Platform User Interface.

• Workspaces – Workspaces are collections of projects. Workspace files are saved with a file extension .pswks.

  For more information on creating workspaces, see Manage Related Projects in Polyspace Platform User Interface Using Workspaces.

Files in the Results Folder

When you run static analysis or tests in a project for the first time, Polyspace creates a folder that holds all of your project results. The project results folder is in the same location as the project file and is named using the convention project_nameResults (unless you set the option Parent results folder location in your preferences).

The files and folders in the results folder are described below. The contents of the results folder are the same whether you run the analysis from the user interface or command line.

Static Analysis Results

When running a static analysis, Polyspace creates these files in a run folder within the results folder.

• Polyspace_release_project_name_date-time.log — A log file associated with each analysis. The filename includes this information:

  • release — The Polyspace release version the analysis was run in.

  • project_name — The name of the project.

  • date-time — The date and time the analysis was run.

• ps_results.pscp — An encrypted file containing your Polyspace results. Open this file in Polyspace to view your results.

• ps_sources.db — A non-encrypted database file listing source files and macros.

• drs-template.xml — A template generated when you use constraint specification.

• ps_comments.db — An encrypted database file containing your comments and justifications.

• comments_bak — A subfolder used to import comments between results.

• .status and .settings — Two folders that store files required to relaunch the analysis.

• Polyspace-Doc — A folder that stores generated reports. Generated reports have names of the form ProjectName_ReportType. For example, a developer report in the project myProject in PDF format has the name myProject_Developer.pdf.

Test and Profiling Results

When you run the tests in a Polyspace Platform project, the test results are stored in a .pstestr file.

Polyspace stores profiling results as one of two types of file:

• .psprof — This file contains code profiling results. Open this file in the Polyspace environment to view your results.

• .psprof.filter — This file contains justifications and has the same name as its associated .psprof file.