Message when launching Polyspace "the process "ps_middle_end" received the signal 9."

Why do I get a message "the process 'ps_middle_end' received the signal 9."  when launching a Polyspace analysis?

Answer 1

[MathWorks Support Team]

This is a side effect of a scaling behavior. It happens most of the time on a very big analysis and when using Polyspace Code Prover. That is certainly an out of memory and the OS has killed the analysis. 

Possible workarounds for your workflow are the following:

1. Split the analysis at least in 10 set of files before running again analysis. It will provide at least ten meaningful results.
2. Use -unit-by-unit option.
3. Use Polyspace Bug Finder instead.

The best is to read the document attached to article "What to do when facing a scaling behavior with Polyspace Code Prover? " which is helping to manage scaling behavior with Polyspace Code Prover.