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

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.

Answer 1

[Anirban]

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.