Анализ Polyspace® Code Prover™ может оценить использование стека каждой функции в вашей программе и вычислить целое использование стека программы. Анализ использует иерархию вызова функции вашей программы, чтобы оценить использование стека. Использование стека функции является суммой размеров локальной переменной в функции плюс максимальное использование стека от функциональных вызываемых. Использование стека функции наверху иерархии вызова является использованием стека программы.
Например, для этой иерархии вызова, использование стека func является размером локальных переменных в func плюс максимальное использование стека от func1 и func2 (если они не называются во взаимоисключающих ответвлениях условного оператора).
Для получения дополнительной информации см.:
Функциональные метрики: Maximum Stack Usage и Minimum Stack Usage
Метрики проекта: Program Maximum Stack Usage и Program Minimum Stack Usage
Если ваше использование стека превышает доступное стековое пространство, можно идентифицировать, какая функция ответственна. Начните в main, функционируют и перешли, ваша программа вызывают дерево. Во время навигации ищите функцию, которая имеет неблагоразумный размер локальных переменных. Если вы не можете идентифицировать такую функцию, искать последовательность вызова, которая необоснованно длинна. Подробные шаги для навигации:
На панели Source выберите функцию main. На панели Call Hierarchy вы видите функции, вызванные от main (вызываемые). Чтобы видеть полную иерархию, щелкните правой кнопкой по функции и расширьте все узлы.
Если панель Call Hierarchy не открыта по умолчанию, выберите Window> Show/Hide View> Call Hierarchy.
Чтобы перейти к определению вызываемого в вашем источнике, на панели Call Hierarchy, дважды кликают каждое имя вызываемого. Затем кликните по имени вызываемого на панели Source. Панель Result Details показывает более высокую оценку размера локальной переменной и использования стека вызываемым.
Анализ не вычисляет использование стека, если ваш код имеет:
Красные проверки. Если определенная ошибка времени выполнения происходит в функции или одном из ее вызываемых, анализ не вычисляет свое использование стека или использование стека программы. Причина состоит в том, что код после красной проверки не анализируется. Если неанализируемый код содержит вызовы функции, любая оценка использования стека для функции вызывающей стороны неточна.
В этом примере не вычисляется использование стека func, потому что, следуя за красным переполнением, остаток от функции не анализируется. Если бы использование стека было вычислено, вызовы функции в неанализируемом коде, такие как вызов func2, не были бы частью вычисления.
#include <limits.h>
void func(void) {
int val=INT_MAX;
val++;
func2();
}Рекурсивные функции.
Если использование стека программы появляется, когда не вычисленный, убедитесь, что использование стека всех функций вычисляется. В столбце Information на панели Results List проверяйте, показывает ли функциональный результат использования стека значению Not computed.
Если функция вызвана, но не задана в коде, который вы предоставляете Polyspace, определение использования стека не принимает вызов функции во внимание.
Это предположение применяется:
Неявные конструкторы C++.
Например, в этом примере, func вызывает конструктора класса myClass, когда myObj задан. Определение использования стека не рассматривает конструктора как вызываемого func.
class myClass {std::string str;};
void func() {
myClass myObj;
}Стандартные библиотечные функции или другие функции, определения которых отсутствуют в коде в вашем проекте Polyspace.
Например, в этом примере, func вызывает стандартную библиотечную функцию cos. Если вы не предоставляете определение cos, определение использования стека не рассматривает его как вызываемого func.
#include <math.h>
double func(double arg) {
return cos(arg);
}