探検


MS「C言語は脆弱だな。改良してやんよ」→標準化! [無断転載禁止]©2ch.net

■ このスレッドは過去ログ倉庫に格納されています
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の関数が導入された。
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
2017/01/16(月) 04:34:26.86ID:TpQvp0+p
Linuxをより堅牢にするために
マイクロソフトが力を貸しているというわけですね
2017/01/16(月) 04:41:10.94ID:BsjcH+dj
MSだけでなくAppleやGoogleといったOSS信者が最も嫌ってる企業が最も貢献してるという皮肉
2017/01/16(月) 04:49:59.86ID:TpQvp0+p
Appleって何か貢献してたっけ?
2017/01/16(月) 05:07:02.12ID:BsjcH+dj
>>5
有名どころならWebKitとかLLVMとか
2017/01/16(月) 05:13:36.71ID:TpQvp0+p
あぁ、AppleってLLVMのロゴを作ったんだっけw
2017/01/16(月) 05:14:37.54ID:TpQvp0+p
あとは貢献って言うよりか自分のObjective-Cを
サポートしろって押し付けたぐらい
2017/01/16(月) 05:15:57.25ID:TpQvp0+p
WebKitはもはやAppleしか使ってないしね
2017/01/16(月) 05:23:43.09ID:ZHTbkRRL
WebKitはGoogleがBlinkにフォークしてしまったからな
LLVMはAppleの後押しがあったからこそ開発もかなり進んだわけだけど
GCCに取って代われるかは疑問
2017/01/16(月) 07:56:04.74ID:1i2X9vKa
appleが作ったCUPS使ってる人あんまりいないのか
2017/01/16(月) 08:03:31.41ID:bYIJVk6n
>>7-8
LLVMのメインスポンサーはAppleだ。

LLVM Sponsors
http://llvm.org/foundation/sponsors.html

>>10
Clang/LLVMは色々なプロジェクトやプロダクトでGCCを置き換え済みだ。

FreeBSD 10アルファ,ビルドをClangに移行
https://www.infoq.com/jp/news/2013/09/freebsd10-clang
Google、Linux向けChromeのビルドをLLVM Clangに変更した理由を明らかに
http://news.mynavi.jp/news/2015/01/07/015/
Swiftから透けて見えるAppleのコンパイラ技術
https://codezine.jp/article/detail/8768
Clang
https://ja.wikipedia.org/wiki/Clang
> Googleが提供するAndroid向けのC/C++言語開発キットである
> Android NDK(Native Development Kit)では、従来GCCが標準であったが、
> 2012年11月配布のRevision 8cからClangが副選択肢として追加され、
> 2016年10月配布のRevision 13からはClangが標準となった。
2017/01/16(月) 09:03:00.26ID:BsjcH+dj
商業利用に支障がないLLVMが選ばれるのは必然
gccより対応言語も多いし最適化の質も優るから商用以外にも徐々に広まるだろ
2017/01/16(月) 09:40:41.46ID:W5TWn0/n
VSからでもClang使った方が良いよね
2017/01/16(月) 17:31:31.47ID:cygPbNFl
CUPSとLLVMは使いまくってるなあ
2017/01/16(月) 18:40:48.28ID:BmhUd2hU
ム板でやれ
2017/01/16(月) 23:43:02.23ID:cRIKM9d+
ワイはPython
18login:Penguin
垢版 |
2017/01/17(火) 10:28:36.98ID:MEC1jn5+
Debian 用パッケージが用意されてるようなプログラムを作っている人たちは
strcat_s やら sscanf_s やらを使いたいと思ってるかなあ?
彼らが普通に使うようになったら彼らのソースコードを見て勉強するよ。
■ このスレッドは過去ログ倉庫に格納されています

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