「文字列操作は「C言語最大の欠点」か？」記事へのコメント

分岐とデータのスタックを分離していないこと

[Anonymous Coward]

互換性がなくて良ければ、
auto変数の配列を(リターンアドレス等に使う)メインのスタックではなく、別のスタックに置けば
かなりの改善を得られると思うんです。

別のスタックに対する操作はコンパイラが生成したコードでやるわけですから透過的に行えるし、
そのオーバーヘッドは、いちいちヒープを使うよりも遥かに少なくそしてメモリリークのバグをやらかしにくい。

まぁリターンアドレスを細工されることは防げても、他のデータにはみ出して上書きして特権的なフラグを操作する・・・なんてことには対処できませんが。

Re:

[tarosuke (2403)]

「スタックは上のアドレスから使われる」のが諸悪の根源。
下から使ってりゃオーバーフローしても被害はその関数の自動変数で収まる。

Re:分岐とデータのスタックを分離していないこと

[Anonymous Coward]

でも、バグがあるのに動いてしまう方が問題が大きいのではないかと。