Rust に書き直さなくても C 言語をメモリ安全にできる Fil-C を試した

はじめに 最近「どの言語で書くか」を巡る話題が続いています。今年 5 月、Zig で書かれていた JavaScript ランタイム Bun が Rust に移植されました。 50 万行超の Zig コードを大量の Claude エージェントに書かせるという力技で、理由の一つにメモリ安全性由来のバグが挙げられていました。これには Zig の作者 Andrew Kelley 氏が「My Thoughts on the Bun Rust Rewrite」という反論記事を書いています。 曰く、問題は言語ではなく開発プラクティスにあり、そもそもレビューされていない大量の生成コードが安全になったと言えるのか、と。 一方で逆方向もあります。Roc 言語のコンパイラは Rust から Zig に移植されました。 インクリメンタルビルドは 3.4 秒から 35ms になり、意外な事にメモリ破壊バグは Zig

[mattn]

書いた

[knok]

https://cr.yp.to/2025/fil-c.html djb先生がライブラリをfil-cビルドしたものに差し替えて動かす実験やってたりする

[nWY2RhxQPXKQloX3z]

「標準C言語に統合される未来を持ちえないC言語の方言」を選ぶ人はいるのだろうか？C言語の歴史はコンパイラ独自拡張を標準規格に収束させてきた歴史だ

[uehaj]

GCつきのPurify／Zigのポインタ文法を全部ゴミ箱に叩き捨てる存在なのでは、という気もしたが、Zig文法には手を付けないでZigから呼び出すCコードの話か

[ihirokyx]

コンパイラと ABI だけでメモリ安全を実現 InvisiCaps FUGC

[atico]

丁寧で分かりやすかった。ただコンパイラでメモリ安全じゃないコードを弾くのではなく、実行時にオーバーランを検知してそのまま動作させるのを防ぐというものだから、Rustとの対比はミスリーディングを誘うのでは？

[kazuau]

メモリ関連の違反でランタイムエラーは安全とは言えないのでは？メモリ周りの脆弱性の防止には役立つかもしれないが、コンパイル時に弾く設計とは比べられない。

[nakag0711]

今時のC++だとmallocもnewも配列もあまり使わないと思うけど幾らか有利になるんだろうか

[atsushieno]

いわゆるリアルタイムセーフなコードを書いていると「リアルタイムだから速いはず」と勘違いされることがよくあるけど（実際にはアトミック操作などを伴うので遅い）、GC任せにできるほうが高速なのもよくある話

[urtz]

そんなこと可能なんだ

[taguch1]

どんなにAIが優秀でも巨大な遺産を書き直すのは大変すぎる。

[hkdn]

抜け道だらけというか、抜け道しか使ってないようなC/C＋＋実装だと移行に苦労しそう。そんなには見かけないけど。

[restroom]

面白いコンセプト。ある意味、言語翻訳みたいなものですかね。Wrapperというか。ちょっと違うかな。

[UhoNiceGuy]

速度が必要でなくてもCで書かれているのにはいいね//速度もマンデルブロはCと互角、ペナルティが一番効きそうなエラトステネスの篩が高々2倍(半分？)、一番驚くのはB-TreeがCと互角ということ//Go速ぇぇぇ

[suka6411144]

あくまでユーザーランドだけでカーネルは流石に無理かな

[aox]

“Pizlix”

[mrmt]

名前はfilthyのだじゃれかなぁ

[mohno]

それはC言語なのか？と思うけど、「まずは古典的なスタックバッファオーバーフローです」←メモリーオーバーランなのでは。

[mojimojikun]

『最後のメッセージ「thwarted a futile attempt to violate memory safety(メモリ安全性を侵害しようとする無駄な試みを阻止した)」が良い味を出しています』

[hiroomi]

”つまり「メモリ安全のために言語を乗り換えるべきか」という議論には決着が付いておらず、どちら向きに移植するにしても莫大なコストが掛かります。”

[pure_luca]

“Fil-C の特徴は「fanatically compatible(狂信的に互換)」を謳っている点です。”

[sgo2]

メモリマップ等にも対応出来るのかやや疑問が。

[nguyen-oi]

C/C++資産をそのままメモリ安全にできるなら理想的だな GC載るから低レイヤ用途で速度影響がどこまで許容されるか

[simplememofast]

魅力は再コンパイルだけで安全になる点だが、依存を全てFil-Cで固める前提と表裏。外部入力を扱うパーサ等、自己完結した信頼境界から適用するのが現実解に見える

[yarumato]

“Zigまでもが目を付けた「RustやZigで全部書き直すのではなく、Cコードそのままメモリ安全にする」試みの本家がFil-C。既存の C/C++ソースをほとんど変更なくコンパイル可能、かつメモリ安全になる。実行速度は遅くなる”