Polyspace Code Prover taking too much time to analyse the hand written C code which is having recursive structures

While doing static analysis for hand written C code which contains recursive structures, poyspace code prover takes too long time to analyse the code and consuming too much RAM memory and failing analysis suddenly.

And I can see the warning like "Intialization of recursive filelds is imprecise to break recursion".

please provide the solution if any?

Thank you!

[Anirban]

Please contact MathWorks Technical Support with the question:

https://www.mathworks.com/support/contact_us.html

The solution depends on the Polyspace version, the analysis configuration and the source code. It is not obvious if the recursive structures are stopping the analysis. If the recursion goes too deep, it is broken explicitly so that the analysis does not fail (with the result being imprecise with more orange or unproven checks). So the reason for the analysis failure would be something different.

[Venkata Narendra]

Thanks for your answer Anirban,

Actually I am using R2019a polyspace code prover. But the tool is taking too much RAM memory too analyse the code in that case the code analysis is failing.

And even I used one option in the configuration of the tool

Scaling->Depth of verification inside structure given as 2 then also no improvement.