Can Polyspace prove recursion to be impossible?

2 次查看（过去 30 天）
Stein Heselmans
Stein Heselmans 2017-12-8
回答： Anirban 2018-12-13
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?

请先登录，再回答此问题。

回答（1 个）

Anirban
Anirban 2018-12-13
Polyspace can detect use of recursion. There are many ways you can turn on recursion detection:

类别

在 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!

Translated by