配置栈使用量计算
使用 Code Prover 计算栈使用量和全局变量大小估计值
计算代码的估计栈使用量。您也可以计算全局变量大小的估计值。
Polyspace 选项
主题
- Determination of Program Stack Usage
The verification estimates stack usage from the function call hierarchy and local variable sizes.
计算代码的估计栈使用量。您也可以计算全局变量大小的估计值。
The verification estimates stack usage from the function call hierarchy and local variable sizes.
