Polyspace_Code_Prover : Not able to do stack analysis for entire code of my project

2 ビュー (過去 30 日間)
Tushar Jadhav
Tushar Jadhav 2020 年 12 月 3 日
回答済み: Anirban 2020 年 12 月 4 日
I am trying to analyse entire project but it giving only application initilaization stack analysis.
let me know is there any way to analyse code with bootloader and application both.

回答 (1 件)

Anirban
Anirban 2020 年 12 月 4 日
Hi,
Could you provide some more information? For instance, the following would be helpful:
  • When you say 'project', do you mean a Polyspace project? Are the bootloader source files part of the Polyspace project?
  • How do you know that the stack size estimation is not taking the bootloader sources into account?
Just for your information, the software does compute a Program Maximum Stack Usage . In some situations, the result for this metric might show up as Not Computed. Is that what is happening here?
Whatever else you can state about your diagnosis of the problem can help us here.

カテゴリ

Help Center および File ExchangePolyspace Code Prover についてさらに検索

製品


リリース

R2020b

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by