На самом деле, надо строить полный граф переходов и анализировать худший вариант по асмовому листингу. Не нравится - меняй алгоритмы! И только в особенных случаях просматривать код и головой решать, допустимо тут столь большое потенциальное "углубление" стека или нет.
Вопрос - а какие есть готовые тулзы для этого??? Не повтоять же подвиг Sergey Pinigin и творить такой анализатор для ARM, например. Ну или резво готовить бабосики для тулзины (хотя она с GCC как-то не сильно дружит, судя по сайту).
http://www.absint.com/stackanalyzer/
Блин, с таким подходом все мои идеи по красивой отладке на синтетических портах начинают подвергаться коррозии. Нет, оно, конечно, хорошо так отладиться, но потом при компиляции под реальную платформу нужно еще анализировать и анализировать код...
Вот ведь засада!!!!
Evgeny_CD (28.06.2007 21:54, просмотров: 1) ответил Evgeny_CD на Вопрос фундаментальный. Позволю себе "обсосать" свое понимание оного (рискуя вызвать гнев народа).
)