Polyspace Code Prover taking too much time to analyse the hand written C code which is having recursive structures
3 vues (au cours des 30 derniers jours)
Afficher commentaires plus anciens
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 commentaires
Anirban
le 20 Fév 2020
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.
Réponses (0)
Voir également
Catégories
En savoir plus sur Generate Report dans Help Center et File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!