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
