プログラムが終了した時に、
スタックをどこまで使ったのか、
知りたいとは思う。

各関数の入り口あたりでスタックポインタをチェックして、
その最小値を保持するようにすればいいのかな。
それとも、メモリを特定のパターンで埋めておき、
あとで、どこまで書き換えられたのかチェックすればいいのかな。