Инструменты стекового анализа

Question

Я работаю в области автомобилестроения, и моя компания стремится купить инструмент для анализа стека (инструмент для расчета максимального стека для данного исходного кода или двоичного кода). Мы используем разные цели в диапазоне от 8 до 32 бит, ранее мы использовали самодельный инструмент, и в настоящее время мы оцениваем анализатор стека от Absint, любые другие предложения по инструменту будут полезны.

Answer 1

Если вас устраивает вид аппроксимации, который можно сделать, выполняя анализ на уровне источника, и вы используете C, Анализ значений Frama-C может дать вам исчерпывающий список стеки вызовов (с точки зрения функций источника), которые могут происходить во время выполнения.

Frama-C также предоставляет строительные блоки для быстрого преобразования этих возможных стеков вызовов уровня источника в глубины стека, если вы точно знаете, как работает ваш компилятор C: для каждой функции вы можете программно проверять локальные переменные, аргументы, ...