プログラム言語Cで作成されたプログラム全体で使用するスタックフレームのサイズが，確保したサイズ内に収まっていることを検証したい。各関数が使用するスタックフレームのサイズ情報に加えて，必要となる情報はどれか。