「Linux カーネルの zero-day exploit コード、リリースされる」記事へのコメント

バグ？仕様？

[Anonymous Coward]

少し詳しい解説 [blogspot.com]によると、GCCの最適化によりnullチェックのif文が外されてしまうそうで。面白い

Re:

[Anonymous Coward]

良く分からないなぁ。

struct sock *sk = tun->sk;

tun が NULL なら tun->sk を参照した時点で落ちるんじゃないの？
その時点で後ろの if ブロックが削られようが削られまいが何も問題ないと思うんだけど。
それとも sk のオフセットはメモリアクセスできちゃうエリアに到達するほど大きい値？

struct sock *sk = &tun->sk;

なら分からないでもないけど、それだとGCCの問題な気が・・・

Re:バグ？仕様？

[bero (5057)]

>tun が NULL なら tun->sk を参照した時点で落ちるんじゃないの？
>その時点で後ろの if ブロックが削られようが削られまいが何も問題ないと思うんだけど。

gccもそう思って最適化しちゃうんだけど、mmapでメモリを割り当てていた場合、落ちずに処理が進む。
進んだときにおかしくなるデータをtun->sk(0x0+offsetof(sk))に仕込んどけはexploitになる。

上記の解説はちょっと変
>コンパイラは 'if' ブロックを外してしまい、カーネルは0x00000000にアクセスしようとし、

アクセスした後で NULLチェックしても常に偽と判断され最適化で消えちゃう、というべきか

Re:バグ？仕様？

[mkosaki (13560)]

>上記の解説はちょっと変
>>コンパイラは 'if' ブロックを外してしまい、カーネルは0x00000000にアクセスしようとし、
>アクセスした後で NULLチェックしても常に偽と判断され最適化で消えちゃう、というべきか

原文はまともです。翻訳するときに時間がなかったのでしょう。よくあることです