X



トップページLinux
41コメント17KB
MS「C言語は脆弱だな。改良してやんよ」→標準化! [無断転載禁止]©2ch.net
■ このスレッドは過去ログ倉庫に格納されています
0001login:Penguin
垢版 |
2017/01/16(月) 02:08:13.77ID:TpQvp0+p
知らんかったわー、Linuxを構成している言語とも言える
C言語の標準ライブラリをマイクロソフトが改良してたんだな
伝統的な関数をばっかり切り捨てて、マイクロソフトが作った関数に置きかえられてた
お前ら、C言語を安全にしてくれたマイクロソフトに感謝するんだな

https://ja.wikipedia.org/wiki/Gets
> gets は、C言語における標準入力から1行分の文字列を取り出す関数である。
> この関数はバッファオーバーランを防ぐことが不可能という致命的な脆弱性を持っており、
> 2011年の改定のC11の標準CライブラリやC++14の標準C++ライブラリより廃止された[1]。

https://www.jpcert.or.jp/sc-rules/c-str07-c.html
> C 標準の附属書 K (規定) "Bounds-checking interfaces" [ISO/IEC 9899:2011] は、
> 既存の標準文字列処理関数に代わり、より安全に利用できるように設計された代替関数を規定している。
> たとえば、strcpy()、strcat()、strncpy() および strncat() の代替関数として、
> それぞれ strcpy_s()、strcat_s()、strncpy_s() および strncat_s() 関数を定義している。
>
> 附属書 K の関数は、過去 10 年間に起きた広く知られている多数のセキュリティインシデントに対応して、
> レガシーコードの改善に役立てる目的で Microsoft によって作成された。これらの関数はその後、
> プログラミング言語 C の国際標準化ワーキンググループ(ISO/IEC JTC1/SC22/WG14)へ、標準化のために提案された。

https://www.ipa.go.jp/security/awareness/vendor/programmingv2/contents/c910.html
> 第10章 著名な脆弱性対策
> C11:2011年以降のC言語仕様
> 2011年に発行された C言語仕様には対策が含まれている。
>
> ISO/IEC 9899: 2011
> Information technology -- Programming languages -- C
>
> この「Annex K」に「Bounds-checking interfaces」が規範的(normative)な付録として規定されている。
>
> あふれ対策
> バッファオーバーフロー(あふれ)対策が施された strcpy_s 関数をはじめとする 37の関数が導入された。
0002login:Penguin
垢版 |
2017/01/16(月) 03:21:25.78ID:bYIJVk6n
C11を活用した現代的なソースコードの書き方は下記記事をどうぞ。

2016年、C言語はどう書くべきか (前編)
http://postd.cc/how-to-c-in-2016-1/
2016年、C言語はどう書くべきか (後編)
http://postd.cc/how-to-c-in-2016-2/

2016年にはポインタと配列の境界チェックを行うC言語拡張を提案している。
有用と認められたら将来のC規格に取り込まれるだろう。

Checked C - Microsoftによる,より安全なC/C++
https://www.infoq.com/jp/news/2016/07/checked-c
Checked C(プログラミング言語)
http://www.atmarkit.co.jp/ait/articles/1606/29/news028.html
0003login:Penguin
垢版 |
2017/01/16(月) 04:34:26.86ID:TpQvp0+p
Linuxをより堅牢にするために
マイクロソフトが力を貸しているというわけですね
0004login:Penguin
垢版 |
2017/01/16(月) 04:41:10.94ID:BsjcH+dj
MSだけでなくAppleやGoogleといったOSS信者が最も嫌ってる企業が最も貢献してるという皮肉
0005login:Penguin
垢版 |
2017/01/16(月) 04:49:59.86ID:TpQvp0+p
Appleって何か貢献してたっけ?
0006login:Penguin
垢版 |
2017/01/16(月) 05:07:02.12ID:BsjcH+dj
>>5
有名どころならWebKitとかLLVMとか
0007login:Penguin
垢版 |
2017/01/16(月) 05:13:36.71ID:TpQvp0+p
あぁ、AppleってLLVMのロゴを作ったんだっけw
0008login:Penguin
垢版 |
2017/01/16(月) 05:14:37.54ID:TpQvp0+p
あとは貢献って言うよりか自分のObjective-Cを
サポートしろって押し付けたぐらい
0009login:Penguin
垢版 |
2017/01/16(月) 05:15:57.25ID:TpQvp0+p
WebKitはもはやAppleしか使ってないしね
0010login:Penguin
垢版 |
2017/01/16(月) 05:23:43.09ID:ZHTbkRRL
WebKitはGoogleがBlinkにフォークしてしまったからな
LLVMはAppleの後押しがあったからこそ開発もかなり進んだわけだけど
GCCに取って代われるかは疑問
■ このスレッドは過去ログ倉庫に格納されています

ニューススポーツなんでも実況