HackerNews

Filnix Fil-C Nix

Filnix Fil-C Nix

https://github.com/mbrock/filnix


Filnixは、CおよびC++のためのメモリ安全なラッパーであり、Fil-Cを使用しています。Fil-Cは、メモリの安全性を確保しつつ、コードを変更することなく、使い放題の状態を防ぎます。特に、利用後の解放やバッファオーバーフローといった脆弱性を未然に防ぐ機能があります。全てのポインタが隠された能力メタデータを持ち、すべてのアクセスはチェックされます。また、同時に動作するガベージコレクターが使い放題の状態を防ぎます。Fil-Cは、メモリ安全性を確保しつつ多くのプログラム(OpenSSH、CPython、SQLiteなど)を実行でき、実際のコーディングやデモを通じてその能力が確認できます。しかし現在はx64 Linuxでの動作に限られており、パフォーマンスが通常のCよりも若干遅くなります。実際の動作を確認するために、コマンドを用いた一行での実行例も示されています。