Polyspace Code Prover taking too much time to analyse the hand written C code which is having recursive structures
3 次查看(过去 30 天)
显示 更早的评论
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!
2 个评论
Anirban
2020-2-20
Please contact MathWorks Technical Support with the question:
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.
回答(0 个)
另请参阅
类别
在 Help Center 和 File Exchange 中查找有关 Generate Report 的更多信息
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!