「Adobe Reader および Adobe Acrobat に新たな zero-day exploit」記事へのコメント

なぜコールスタックとデータスタックを分けない

[Anonymous Coward]

できればCPUに分けていただきたいが、
既存のCPUでも、Cコンパイラ側で分けること、できますよね。
なぜ、やらないのだろう。
何か、できない理由があるのだろうか。

Re:なぜコールスタックとデータスタックを分けない

[saitoh (10803)]

コールスタップポインタとデータスタックポインタと二つSPが必要になって、レジスタ割り当てを圧迫するから、かなぁ？？ サブルーチンコール/リターンも所要命令数が増えて遅くなりそうだし。

Re:

[Anonymous Coward]

どんなに素晴らしいセキュリティ対策を考案しても互換性が保てなければWindowsでは絵に描いた餅だし。
EMETで設定できるSEHOPも本来は既存のアプリに未変更で適用できる対策として考案されたのに、CygwinやSkype等で不具合出まくりなのでDEPやASLRと大差ないアプリケーションごとのホワイトリストになってしまいましたとさ。

Re:

[Anonymous Coward]

OSのAPIや、既存ライブラリを呼ぶときには、互換性のために、データをスタックに積まないといけませんが、
callerとcalleeが両方ともアプリケーションの中の関数なら、カスタムのcall規約を使うことが出来るハズですよ。

たとえば酷いコードの例として
void foo(char *a, char *b) {
        char hoge[100] ;
        sprintf(hoge, "%s and %s", a, b) ;
        doSomething(hoge) ;
}
こんなのがあったとき、(sprintfを使うな!というのは、とりあえず、おいといて)
関数の引数aとbを(CPU管理の)スタックに

Re:

[Anonymous Coward]

レジスタに関して言えば、x86だとスタック関係のレジスタはESPの他にEBPがあります。
CPUがハードウェア処理してくれるわけではありませんが、CコンパイラはEBPをスタック上のデータの位置を示すのに使ってますよね。