- Enable checkers for MISRA C:2012 Rule 17.2, MISRA C:2004 Rule 16.2 or JSF Rule 119.
- Compute the metric 'Number of recursions'.
Can Polyspace prove recursion to be impossible?
6 views (last 30 days)
Show older comments
Stein Heselmans on 8 Dec 2017
We have a statemachine implementation in C for an embedded automotive product, using a table-approach. The table contains pointers to functions handling the transition and during actions for states. As these functions can call the table again, there is a chance on recursion (reported by another 3rd party static code analysis tool).
From the code design we 'know' it is not possible to have recursion, but we need proof for that as we're following ISO26262-6 (ASIL-C) and MISRA-2012 rules. From these norms, recursion in the implementation is not allowed.
Can polyspace bugfinder/codeprover report on the recursion of this tabular approached state machine implementation? If yes, how?
Anirban on 13 Dec 2018
Polyspace can detect use of recursion. There are many ways you can turn on recursion detection:
Code Verification Polyspace Bug Finder Configure and Run Analysis Complete List of Polyspace Bug Finder Analysis Engine Options Run Settings
Find more on Run Settings in Help Center and File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!Start Hunting!