Это все частности. Стек на имеет явного отражения в ЯВУ. Нет никаких явных команд для работы с ним. Так что по исходнику С стек подсчитать в натуре тяжело.
Можно анализировать дизассемблированную прошивку. Там никаких неоднозначностей.
Но основная мысль была другой - при динамическом создании/удалении объектов в асинхронных процессах, точно так же, как и при резервировании/освобождении стека в основном коде и в асинхронных прерываниях просчитать точно потребное количество что стека, что ресурсов под динамические объекты - невозможно. Потому что процессы асинхронны и зависят от внешних воздействий. И только человек может знать о взаимосвязи внешних воздействий друг на друга и о реакции объекта управления на действия программы.