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

1 view (last 30 days)
Tushar Jadhav
Tushar Jadhav on 3 Dec 2020
Answered: Anirban on 4 Dec 2020
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.

Answers (1)

Anirban on 4 Dec 2020
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.




Community Treasure Hunt

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

Start Hunting!

Translated by