MATLAB的答案

Polyspace_Code_Prover:不能做堆栈分析整个项目我的代码

1视图(30天)
印度央行Jadhav
印度央行Jadhav 2020年12月3日
回答: Anirban 2020年12月4日
我试图分析整个项目,但它只给应用程序initilaization堆栈分析。
让我知道有什么方法可以分析与引导装载程序和应用程序代码。

在回答这个问题。

答案(1)

Anirban
Anirban 2020年12月4日
你好,
你能提供更多的信息吗?例如,以下会有帮助:
  • 当你说‘项目’,你是说Polyspace项目吗?是引导装载程序源文件的一部分Polyspace项目吗?
  • 你怎么知道堆栈大小估计没有考虑到引导装载程序源?
只是为了你的信息,软件计算 程序最大堆栈使用 。在某些情况下,这个指标的结果可能显示为不计算。是,这里正在发生什么?
其他国家对你的问题的诊断可以帮助我们。