Reduce Analysis Time and Memory Usage
Modularizing applications, reducing application complexity
Troubleshoot issues with long analysis times by reducing memory usage and modularizing the analysis.
Polyspace Options
Troubleshooting
Identifying Blocking Factors
- Reduce Memory Usage and Time Taken by Polyspace Analysis
Reduce application size or verification complexity systematically if the verification of your full code base takes too long.
Automatic Modularization
- Modularize Polyspace Projects by Using Makefile Builds
Create a separate Polyspace® project or options file for each binary in makefile build. - Run Polyspace on AUTOSAR Code
Check code implementation of AUTOSAR software components for run-time errors or violation of ARXML data constraints. - Modularize Polyspace Analysis at Command Line Based on an Initial Interdependency Analysis
Break down Polyspace analysis into smaller and relatively independent modules for faster module verification.
Technical Support
- Contact Technical Support About Issues with Running Polyspace
Learn what MathWorks® Technical Support needs from you to diagnose an issue.
