Configure Stack Usage Calculation
Calculate stack use and global variable size estimates using Code Prover
Calculate an estimated stack use by your code. You can also calculate estimates of global variable sizes.
Polyspace Options
Topics
- Determination of Program Stack Usage
The verification estimates stack usage from the function call hierarchy and local variable sizes.
