トップページ⇒tech
47コメント12KB

Appleの最悪な脆弱性で再燃のgoto不要論 ← 馬鹿？

■ このスレッドは過去ログ倉庫に格納されています
0001デフォルトの名無しさん2014/02/23(日) 19:18:14.11
http://appllio.com/20140223-4899-apple-ios-bug-ssl-goto-fail

> 　if ((err = SSLHashSHA1.update(&hashCtx, &serverRandom)) != 0)
>　 　　goto fail;
> 　if ((err = SSLHashSHA1.update(&hashCtx, &signedParams)) != 0)
>　 　　goto fail;
>　 　　goto fail;
> 　if ((err = SSLHashSHA1.final(&hashCtx, &hashOut)) != 0)
>　 　　goto fail;

馬鹿いわく、gotoなんか使うな！

↓ 本当かね？ じゃあ例外に置き換えてみよう。

　if ((err = SSLHashSHA1.final(&hashCtx, &hashOut)) != 0)
　　　throw new Exception();
　　　throw new Exception();

ありゃりゃ、例外使っても同じことでした。

正しくは、「一行であっても { } で括ること」いうコーディング規約は正しいということ。

　if ((err = SSLHashSHA1.final(&hashCtx, &hashOut)) != 0) {
　 　　goto fail;
　}
　 　　goto fail;

ほら、間違いにすぐ気づく
0002デフォルトの名無しさん2014/02/23(日) 19:31:12.13
一日に何百、何千と立てられる２ちゃんのスレッド。
その中には良スレもあれば、糞スレもありますがこのスレはまさに後者でしょう。
>>1がどんな思いを込めて、このような糞スレを立ててしまったのか私たちには知る由もありません。
ただ一つわかってほしいのは、決して>>1に悪気があったわけではないということです。
どうか皆さん、糞スレを立ててしまった>>1を許してあげてください。
いつの日か>>1が、この失敗を糧に良スレを立てられるようになるといいですね。
0003デフォルトの名無しさん2014/02/23(日) 20:44:50.05
好きなところでgoto使っていいよ
0004デフォルトの名無しさん2014/02/24(月) 02:29:20.27
コーディング規約とかは後回しでいいから
まじめにテストしろよ。
0005デフォルトの名無しさん2014/02/24(月) 07:05:04.93
Apple「関係ないね」
0006デフォルトの名無しさん2014/02/24(月) 10:54:50.80
python最強やな
0007デフォルトの名無しさん2014/02/24(月) 14:18:09.45
せやな。パイソンだったら2行目のgotoは実行されなかった
0008デフォルトの名無しさん2014/02/24(月) 21:05:58.06
そんな大事なところをコピペグラマにやらせるなよ
0009デフォルトの名無しさん2014/02/25(火) 01:08:17.33
errに成功が入った状態でreturn err;されるのが問題であって
例外を対比に出す意味がわからん
0010デフォルトの名無しさん2014/02/25(火) 04:52:42.10
>>9
お前がスレタイ読めない池沼だという事は十分に伝わった
0011デフォルトの名無しさん2014/02/25(火) 07:29:54.92
成功するのにfailてのがおかしい
0012デフォルトの名無しさん2014/02/25(火) 08:03:14.27
このスレッドは天才チンパンジー「アイちゃん」が
言語訓練のために立てたものです。

アイと研究員とのやり取りに利用するスレッドなので、
関係者以外は書きこまないで下さい。

　　　　　　　　　　　　　　　　　　京都大学霊長類研究所
0013デフォルトの名無しさん2014/02/25(火) 13:28:12.45
しばらくわからなかったが SSLのあたりでやらかしてるのが問題なわけね

キモの部分をまともにテストしてないことを叩くべき
0014デフォルトの名無しさん2014/02/25(火) 13:56:59.00
防止策としてはコンパイラの警告レベルを上げて
到達しないコードを検出すれば良い
0015デフォルトの名無しさん2014/02/27(木) 08:51:37.81
>>1
ifで括弧くくらないのは一行の時だけだと思ってた
改行して直下はif内、2行下はif外とか言語仕様がおかしいんじゃね？
0016デフォルトの名無しさん2014/02/27(木) 09:24:52.67
1行の途中で改行されてるだけだろ？
0017デフォルトの名無しさん2014/02/27(木) 11:02:18.87
>>15
例えばこんなコードもしばしば見る。
for (int y = 0; y < height; ++y)
for (int x = 0; x < width; ++x)
printf("%d ", a[y][x]);

これも、セミコロンまでの物理的な3行分が1文ということ。
if (i == 0)
func0();
else if (i == 1)
func1();
else
func2();

これでも1文。こいつを複文化して、
if (i == 0) {
func0();
} else if (i == 1) {
func1();
} else {
func2();
}
というのもよく見かけるが、実はelse ifの間で分割するべきな構造を便宜上分割しないで使っている。
0018デフォルトの名無しさん2014/02/27(木) 19:45:24.13
>>17
うわあ、俺こんな書き方堪えられんわ
0019デフォルトの名無しさん2014/02/27(木) 23:14:13.07
機械語にすりゃ制御構造なんてjump文だろ
可読性が悪くなるとか言うが、
オブジェクトの階層が深すぎでオーバーライドし過ぎのコードよかましだわ
暗黙の呼び出しが多すぎる
0020デフォルトの名無しさん2014/02/28(金) 18:26:26.23
つまり、抽象化は苦手だと。
0021デフォルトの名無しさん2014/03/01(土) 15:07:46.79
「捨てっちまおう」
「なに！？」
「goto文だよ」
「goto文！？バグの原因になるというあれか！」
「SSLの認証コードにまで入り込んでたたぁな・・・次元！次のタスクは決まったぜ！」
「くそー！このっ！くそっ、くそっ、くそっ！」（←リファクタリング中）
0022デフォルトの名無しさん2014/03/01(土) 22:06:32.23
Objective-Cなんていうゴミを採用した時点でアイホーンの限界は知れてた。
0023デフォルトの名無しさん2014/03/01(土) 23:13:44.86
Goto使って飛んだって1関数内だけだからどってことねえ
0024デフォルトの名無しさん2014/03/01(土) 23:45:09.31
問題のソースはCなんだけど。
0025デフォルトの名無しさん2014/03/02(日) 06:07:28.35
>>22
ガベコレのないObjective-Cを使ってるからiPhoneはAndroidと違ってぬるぬるスムーズ動作なんだけど
（ついでにあまりにも上手くいったからその成功をMacにフィードバック済み）
何言ってんの？
0026デフォルトの名無しさん2014/03/02(日) 06:11:57.29
Objective-Cを軽々しくdisるやつは何もわかっちゃいない
慣れれば変態文法も糞長いメソッド名もすべてが可愛らしく見えてくるというのに
0027デフォルトの名無しさん2014/03/02(日) 08:35:45.70
Objective-Cが本当に何だか知らないでdisる子いるけど
あれ、関数にあたる単位をオブジェクトクラスとして動的に扱うという
その名前まんま"オブジェクティブなC"だから
クラスの取り回しとメッセージ送信以外の記法は完全にCだぞ。
0028デフォルトの名無しさん2014/03/02(日) 09:00:22.02
下手するとソースの80%くらいはCの構文で書いてるもんな。
0029デフォルトの名無しさん2014/03/02(日) 12:48:01.86
>>25
メモリがすぐ食い潰されんのもそのせいか
0030デフォルトの名無しさん2014/03/02(日) 17:46:14.14
はてブにテスト厨ウザイ！検証漏れなんか出て当たり前だろ！ってのが居たが
だからまずテスト書いてテストに無関係なコード書くなってんだよ無能が
0031デフォルトの名無しさん2014/03/02(日) 19:55:39.49
>>29
ほらまた「参照カウント方式」がなんなのかすら知らずに
まったく知らないものをdisろうとする…
0032デフォルトの名無しさん2014/03/02(日) 20:55:41.81
参照をカウントする方式だろ
0033デフォルトの名無しさん2014/03/04(火) 00:49:41.44
どうかんがえてもerrをUnexpectedErrorかなんかで初期化してないのがわるいと思うの
0034デフォルトの名無しさん2014/03/04(火) 23:05:05.39
それはバグの発見を遅らせるだけ
0035デフォルトの名無しさん2014/03/04(火) 23:08:44.27
>>34
ん？なんで遅れると思うの？
0036デフォルトの名無しさん2014/03/05(水) 01:41:28.57
プログラムのバグのために例外トラップを使うようなもの
0037デフォルトの名無しさん2014/03/05(水) 03:11:46.14
今回のバグは
if ((err = ...) != 0)
　goto fail;
　goto fail;
で、必ずerrに代入されるので、errを初期化しても防げないよ。
0038デフォルトの名無しさん2014/03/05(水) 03:19:28.54
>>37
あ、ほんとだ…
0039デフォルトの名無しさん2014/03/05(水) 07:46:46.62
余分なgoto文以降は実行されないので、コンパイラの警告レベル上げとけば発見出来たバグ。
0040デフォルトの名無しさん2014/03/05(水) 10:53:14.64
LinuxのSSL/TLSライブラリ(GnuTLS)にもgotoバグとか…。
http://www.zdnet.com/goto-apple-gnutls-falls-foul-of-ssl-certificate-verification-issues-7000026957/
0041デフォルトの名無しさん2014/03/05(水) 12:47:02.12
とくに探す気もないがいまごろ関数型プログラミング信者がどこかで
「ほっら！ほっら！！関数型言語ならこんなことは起きないんだよ！！！」
ってふしぎなおどりを踊ってるような気がしてならない。
0042デフォルトの名無しさん2014/03/05(水) 14:23:11.30
起きないけど、言語がどうこうじゃなくって
そんな底辺の働き方しないからだ
0043デフォルトの名無しさん2014/03/05(水) 19:23:12.51
そういえばWindowsでSafariやらQuickTimeやらは
普通に使っててもすぐ落ちるからApple嫌いになったのを思い出した
0044デフォルトの名無しさん2014/03/05(水) 22:22:40.56
Windowsはすぐアプリが落ちて書きかけの
一生懸命書いた英語のメールがパァになるOSだからな。
0045デフォルトの名無しさん2014/03/06(木) 00:46:01.58
ちゃんとURLまで張らないと
ttp://www.youtube.com/watch?v=-i6xEcBEDjc
0046デフォルトの名無しさん2014/03/20(木) 08:53:11.13ID:9ia9BXXn
がくせぇ
0047停止しました。。。NGNG
真・スレッドストッパー。。。(￣ー￣)ﾆﾔﾘｯ
■ このスレッドは過去ログ倉庫に格納されています