関数毎にスタックの消費量を計算してくれるプログラム(スタックアナライザ？？)を作ったら需要はあるだろうか？

需要があるなら、もうあるかもね。まあスタックオーバーフローなんて滅多にないのかもしれないけど。