Main Content
Troubleshoot Running Polyspace Analysis
Compilation errors, errors connecting to server, errors creating Polyspace® project, and so on
Troubleshoot issues with running a Polyspace analysis, such as:
Compilation and linking issues.
Project generation from build system or AUTOSAR XML file.
Analysis on remote clusters.
Memory usage and slow analysis runs.
Analysis in Simulink®.
Licensing, results storage, and other issues.
Categories
- Troubleshoot Compilation Errors
Compilation and linking errors when running a Polyspace Code Prover™ analysis
- Troubleshoot Licensing, Database and Other Errors
Results database corruption, temporary folder restrictions, license errors, and so on.
- Troubleshoot Project Creation
Errors in project creation from build command or AUTOSAR XML (ARXML)
- Troubleshoot Analysis on Remote Clusters
Server not found, problems writing to job manager database, and so on
- Reduce Analysis Time and Memory Usage
Modularizing applications, reducing application complexity
- Troubleshoot Analysis in Simulink
Errors in running Polyspace analysis of generated code and custom code included in Simulink models
You can also select a web site from the following list
Americas
- América Latina (Español)
- Canada (English)
- United States (English)
Europe
- Belgium (English)
- Denmark (English)
- Deutschland (Deutsch)
- España (Español)
- Finland (English)
- France (Français)
- Ireland (English)
- Italia (Italiano)
- Luxembourg (English)
- Netherlands (English)
- Norway (English)
- Österreich (Deutsch)
- Portugal (English)
- Sweden (English)
- Switzerland
- United Kingdom (English)
Asia Pacific
- Australia (English)
- India (English)
- New Zealand (English)
- 中国
- 日本Japanese (日本語)
- 한국Korean (한국어)