パスワードとmemset関数 - yohhoyの日記

C言語プログラム上で高機密性情報（パスワード文字列など）を消去するケースで、memset関数の単純利用では機密情報がメモリ上に残存してしまい、セキュリティ上の脆弱性につながる可能性がある。 void secure_operation() { // パスワード文字列を取得 char passwd[128]; get_password(passwd, sizeof(passwd)); //... // メモリ上の高機密データを消去... memset(passwd, 0, sizeof(passwd)); // ?? } 上記コードではパスワード文字列が格納された変数passwdを使用後にゼロクリアしているが、コンパイル時の最適化によりmemset関数呼び出しが削除される可能性がある。この（プログラマの意図に反する）最適化は、C言語の言語仕様上も許容されるコンパイラの振る舞いとなっている。*1

[funnnon]

最適化怖い

[rna]

メモリ上の高機密データを消去する方法。普通にmemsetだとコンパイラの最適化で実行されない場合があるとのこと。

[topiyama]

volatile, inline, 最適化との果てることない戦いは続く… めんどうくせえｗ／大事なデータは、自動変数じゃなくて 関数でalloc/free形式にした方が良い気がする

[t_yamo]

「関数の呼び出しもvolatile修飾されたオブジェクトのアクセスも(規格に厳格に従いながらも)最適化により削除される可能性がある」 http://www.jpcert.or.jp/sc-rules/c-msc06-c.html 注)日本語訳はC11未対応（本文に原文リンクあり）

[f99aq]

memset後にその自動変数を使って無いから最適化で無かったことにされる。セキュリティ用途の関数が用意されている。

[bonty_shushusha]

パスワードとmemset関数

[naqtn]

言われれば確かに納得だが、こんなの知識として持っていなかったら実装中に気づけないよなぁ。

[haishi]

C言語プログラム上で高機密性情報（パスワード文字列など）を消去するケースで、memset関数の単純利用では機密情報がメモリ上に残存してしまい、セキュリティ上の脆弱性につながる可能性がある。

[ot2sy39]

一般人としては、こういう低レベル関数をちゃんと利用したラッパーを作ってもらって、楽に安全確保させてほしい。

[karupanerura]

大事っぽい

[i43s]

memset_sとか知らなかった。

[tmatsuu]

ほほう！

[mohno]

「実際の処理系では、値が使用されないこと、及び（関数の呼出し又はボラタイルオブジェクトのアクセスによって起こる副作用を含め）副作用が必要とされないことが保証できる式は、評価しなくてよい」

[JULY]

逆に、最適化の餌食にならない方法を知りたい。memset の後ろで単純な参照、代入だけだと、どうせ捨てられると判断されそうだし。passwd を static にしちゃうとか。それも微妙な気がするけど。

[you21979]

最適化で削除。。。

[maisenakajima]

memset関数の単純利用では機密情報がメモリ上に残存してしまうため、C11標準ライブラリではAnnex.K Bounds-checking interfacesの一部であるmemset_s関数がオプション扱いとして提供される。WindowsAPIでは、SecureZeroMemoryが提供される。

[replication]

クリアされないことがあるみたい。

[Rinta]

こーゆーの、最適化でやられると超困る。まあ、困らないケースのが圧倒的に多いんだろうけど、困るケースで発生する費用損害と困らないケースを守って得られる便益を比較できないもんか？

[s-tomo]

ええとつまりmemset関数を標準でない実装に置き換えた場合、意図した「標準ではない動作」がコンパイラの最適化によって実行されなくなるって事？それともmemset関数の動作内容まで見て最適化なん？

[R2M]

memset(passwd, 0, sizeof(passwd));*(volatile char *)passwd = *(volatile char *)passwd;

[FTTH]

俺の立場でこれが問題になるケースに遭遇するとは思えないが

[suzutaku7]

volatile使えばいいような気がしないでもない

[maangie]

ぶこめも

[cad-san]

まじすか。組み込み系のクロスコンパイラだとC11対応していない所多そう

[zu2]

これは頭痛い… /

[mattn]

最適化怖い