Общий размер локальных переменных в функции плюс максимальное использование стека от вызываемых
Эта метрика обеспечивает осторожную оценку использования стека функцией. Метрика является суммой этих размеров в байтах:
Максимальное значение от использований стека функциональных вызываемых. Вычисление использует максимальное использование стека каждого вызываемого.
Например, в этом примере, максимальное использование стека func
совпадает с максимальным использованием стека func1
или func2
, какой бы ни больше.
void func(void) { func1(); func2(); }
Если вызовы функции находятся в различных ответвлениях условного оператора, эта метрика рассматривает ответвление с самым большим использованием стека.
Анализ делает оценку размера стека позже, когда это решило, какие вызовы функции на самом деле происходят. Например, если вызов функции происходит в недостижимом коде, размер стека не отвечает на звонок во внимание. Анализ может также учесть вызовы через указатели функции.
Ваше фактическое использование стека может отличаться от метрического значения.
Некоторые переменные хранятся в регистрах вместо на стеке.
Ваш компилятор выполняет переменный анализ живучести, чтобы включить определенную оптимизацию памяти. При оценке этой метрики Polyspace® не рассматривает эту оптимизацию.
Ваш компилятор использует дополнительную память во время вызова функции. Например, компиляторы хранят адрес, к которому выполнение возвращается после вызова функции. При оценке этой метрики Polyspace не рассматривает это скрытое использование памяти.
Однако метрика обеспечивает обоснованную оценку использования стека.
Чтобы определить размеры основных типов, программное обеспечение использует ваши спецификации для Target processor type (-target)
. Метрика учитывает директивы #pragma pack
в вашем коде.
Группа: Функция |
Акроним:
MAX_STACK |
Метрика HIS: нет |
Calculate code metrics (-code-metrics)
| Higher Estimate of Local Variable Size
| Minimum Stack Usage
| Program Maximum Stack Usage