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.

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.

Modularizing Analysis Based on Existing Modules

Modularize Polyspace Analysis by Using Build Command
Create a separate Polyspace^® options file for each binary in build command.
Run Polyspace on AUTOSAR Code
Check code implementation of AUTOSAR software components for run-time errors or violation of ARXML data constraints.

Automatic Modularization

Modularize Large Projects in Polyspace Desktop User Interface
Break down project in Polyspace user interface into smaller modules for faster module verification.
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.