How to detect Indirect recursion in Polyspace?

I would like to detect indirect recursion in Polyspace.

Answer 1

[MathWorks Support Team]

There are two code metrics (so no Bug Finder defects or Code Prover checks) that can help :

https://www.mathworks.com/help/codeprover/

https://www.mathworks.com/help/codeprover/

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.