How to detect Indirect recursion in Polyspace?
Show older comments
I would like to detect indirect recursion in Polyspace.
Accepted Answer
MathWorks Support Team
on 10 Oct 2025
Edited: MathWorks Support Team
on 10 Oct 2025
0 votes
There are two code metrics (so no Bug Finder defects or Code Prover checks) that can help :
If you combine examples both of the Direct Recursion and Indirect Recursion with the One Call Graph Cycle provided in the above second manual and run them in Polyspace, you can see that subtracting the Number of Direct Recursions from the Number of Recursions determines the number of Indirect Recursion.
More Answers (0)
Categories
Find more on Run Settings in Help Center and File Exchange
on 27 Feb 2023
on 10 Oct 2025
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!
