【悲報】バグのないプログラムが書けると評判のプログラミング言語「Rust」で書かれたプログラムに脆弱性が発見される [543236886]

Rustで書かれたWindowsカーネルコンポーネントで初めて脆弱性が発見される
https://news.yahoo.co.jp/articles/23762331608f8a73ff2c28f6c801959a2812bb62

Windowsじゃん

教科書「ポインタ！」

プログラミング書いたことないからどういうことか分からないよ
助けてAI安倍晋三

極左に乗っ取られてオワコンになった悲しい言語(´・ω・`)
未だにC/C++使わざるを得ない

クラッシュで済んだならまあいいじゃん

そんなモダンな開発環境ない

Cだって今時のコンパイラで警告フルならrustが検出するような大抵脆弱性は見つかると思うが

c書けないやつが何書いても無駄なんだよ

>>9
Cで書けないような奴はRustでも書けないだろｗ

バグのないプログラムは存在しないが、デバッグの不可能なプログラムもまた存在しない
違うか？

アホがかじって自爆する言語てイメージ
ちなみに俺はVBAで食ってる

>>5
極右から見るとそう映るのか

>>5
解説して

今までは採用機会が少なかったので脆弱性が発見されなかった
今後は採用機会に合わせて不具合も出てくるだろう

結局C++に戻るよな

MSVCを信じろ
信ずる者は救われる

しーぽんかよ

Ｃ：昔かたぎの職人

ＲＵＳＴ：めんどくさいから迂回マニュアルでヨシッ

評判の

Rustで防げるのはメモリの扱いだけじゃないの

クリーンな研究室でもてはやされていただけの実用に耐えない試作品に過ぎなかったと

低級なところ向きの言語ならまだnimの方が好きだわ

C/C++を異様に敵視して勉強しようとしない人いるよな

unsafe使わなければ安全だけどクレートの中身見てもunsafe使いまくりだから結局意味無い説はある

Cはほとんど勉強することなんかないじゃんほぼアセンブラだもの
C++は複雑怪奇だけど

C++を好きな人ってどんな人

>>27
法学者

その心は

>>26
複雑怪奇だけど全部を使う必要はない
エンベデッドC++みたいなサブセットがわかりやすくて良い

バグ生み出さないプログラミング言語って有りうるのか
どんな構造だよ

unsafe内か?

そもそも言語が多すぎる
全部pythonでやれるようにしろ

なんでPython？

どんな馬鹿でもどんなクソコードでもバグにならないように
仕様でガッチガチに固めた言語なら良コードが出てくるなんてことはなく
ギリギリコンパイルが通るクソコードが出てくるだけなんよｗ

メモリ周りに関しては無敵という売りだったのにメモリ周りのバグを出したというのがナイスだよな。
まあrustで書かれてるfirefoxですらメモリ周りのバグは普通に出てるので…。

>>26
アセンブラを知らない知ったか

>>1
いきなりスレタイで妄想を書き散らす素人婆さんワロタ

>>31
たいしたことをできないようにすればバグはつくれなくなるんちゃう？

クソが書くものはどんな言語でもクソだよ
SEG-V起こらないかどうかだけの違いだ

・メモリ管理を言語コンテキストである程度自動化する事と
・そのプログラミング言語を使ってバグありコードを書ける事と
・バクで生じるエラーの動的検出後の処理を適切に行うのが難しい場合がある事
はそれぞれ別の事象だよな

話の適用範囲や限界をチェックする能力に欠ける人は
物事を全て混同して世迷言を言うだけで一生を終えるしかないね

端的に言えば本件は三つ目が論点ってことですか？

Rustプログラムでフリーポインターが使われるリスクは
unsafeブロックや外部ライブラリとの連携を除けば非常に低い
→言い換えると、システムの隅から隅まですべてRustで書き換えたのでない限り綻びは残る

unsafeを使ったら脆弱性ができてしまった
いったいどうして…

>>43
つまりコードベースを新規に、統一的に作る場合はRustの使用は有益だけど、段階的、部分的に置き換えようとした場合は当該言語の持つ強みが十分に発揮されるとは言い難い（それをするだけの価値があるかの判断は微妙になる）ということですか？
上記のようなエラーの取り回しを既存コードでする際にかかるコストはけっきょくこれまでと同じになるか、悪くするとそれ以上になってしまうため

そもそも既存の言語なら１００％バグが起きるわけじゃないのにｗ
１００％バグの起きる旧言語とバグの起きないＲＵＳＴってイメージで比較してるやつが多い気がする

>>31
mRNA言語

>>45
いや単に特定地域(カーネル等)だけ特定マナー(Rust)で仕切っていても
その外側にある、他のマナー(C/C++)で書かれてるライブラリやアプリがRustの約束事を守ってくれるかどうかは
コード書いてメンテしてる人次第だから
データのやり取りはunsafeな型として取り扱わざるを得なくて、
そっち起因で巻き込み事故が起きるってのが
一つのストーリーだろうね

別のストーリーを考えるなら、カーネルのRust実装か
Rust言語処理系の側に穴があってそっちが綻びたか

Rust...お前と居ると息苦しいよ…

まああいつら人の話聞かんからな。
とにかくrust使ってりゃ安全なんだぁぁああの一点張りだったもん

バグがあるということはRustで書かなかったということ

>>37
むしろアセンブラから入ったんだが
正直マシン語から入らなかった人間の書いたコードはあまり使いたくないくらい

エラーの取り回しは普通は別の話だよね
とりあえずRustの話とフリーポインターの話は棚上げして

どんなに静的型チェックと動的メモリ管理をしていても
アルゴリズムの間違いやミスでバグはいくらでも起きるし
そのバグで実行時エラーが出て
エラー処理ルーチンで穏便にハンドルしたくても
そこにもいくらでもバグは入り込むから続行不能ならBSoDで止めるしかない

今回パッチの話は、Rustが検出って書き方してるからメモリ管理絡みの話っぽく聞こえるけど、詳細報告は公的な第三者機関に見当たらないような気がするから詳細は知らない

なんで？

>>40
segvとか久しぶりに聞いたなあ
某DBがバージョンアップでこれを頻発して頭抱えてたの思い出した

>>51
バグはメモリ安全性とは別の問題。

たとえとしてメモリ管理を経理の仕事と考え
メモリの参照と解放の管理、つまり経理の仕事をいくら完璧にやっても
本業の業務が正確かつ合理的判断でミスを犯すか否かはほぼ無関係。
本業の判断ミスや失敗をバグと考えれば
それは経理がいくらしっかりしていても
担当分野が違うから防げない

まあ支離滅裂な単発書き込みをしまくる
デタラメスレで当たり前の話をしても通じるわけがないよな
狂ったまま生きて狂ったまま死んでいく人たちの会話でしかない

まぁ今後はまともなＡＩができたら
実行パフォーマンス落ちるガチガチの言語よりも
実行パフォーマンス良くてある程度人間の視認性も良くてそれをＡＩによる検証の方が重要そう

Windowsって今Rustで書いてんのかよ

文章書いてる最中に予測変換で選択確定したつもりで
きちんと確定せず、間が飛ぶ現象はなんとも避け難いな

× 本業の業務が正確かつ合理的判断でミスを犯すか否かはほぼ無関係。
○ 本業の業務が正確かどうか、判断ミスを犯すか否かはほぼ無関係。

(CH同型対応で相似な関係にある)
プログラムや数学証明の形式的検証の研究なんて40年以上も前からあるけど
形式記述をきちんとしないと検証もできないし、
記述の煩雑さは解決していないし
形式的検証の方も組み合わせ論的爆発を避けて
実用的に実行可能な計算量に抑え込む事が重要なケースもあるし
それをハルシネーション出まくりのAIにぶん投げれば解決するという無責任な願望は、
もはやエンジニアリングではなく
未来夢技術の戯言だよね

自分でできない事を他人に望み過ぎるのは
障害者の横暴に似た感じがするね

脆弱ゥ
脆弱ゥゥゥゥゥゥゥ

もちろん俺もまともなＡＩが出たらって書いてある通り
今のＡＩがまともだとは全然思ってないが
ＡＩに聞いたことを正しいか確認もしないで信じるような使い方じゃなくて
プログラミングは必ずＡＩが言ってることが正しいかどうかはすぐに検証可能なのでｗ
これ重要なので今日はこれだけ覚えて帰ってください

そしてどっちにしろ言語仕様では言語仕様を違反してないクソコードを見抜けないｗ

.NETで書けば良いのでは？

gptでpythonひたすらコピペしかできないけど書き換える場所もわからなくて泣きそうになるな