Fil-C: C/C++でメモリ安全性を実現する挑戦
Fil-C: Garbage In, Memory Safety Out [video]
Filip Pizlo氏がSSW 2026で、C/C++のメモリ安全性問題に挑むプロジェクトFil-Cを発表。従来の常識を覆し、C/C++でも最も安全な言語と同等の保護を実現するという。コンパイラ、ランタイム、移植済みソフトウェアの詳細を解説する。
CとC++はメモリ安全ではないという常識に挑戦し、最も安全な言語と同じレベルの保護を実現するCとC++の実装について説明します。