>>349
Fil-Cを使うことで、C言語は高速省メモリを失う代わりに安全な言語になった。
Fil-Cのメモリ管理は並行ガベージコレクタで動作する。
free() はオブジェクトを「free 状態」にマークするだけで、実際のメモリ回収は GC が行う。
これにより use-after-free が原理的に攻撃に使えなくなる。
検査に違反した操作は全て「Fil-C panic」として捕捉され、プロセスが停止する。
ヒープ/スタックの範囲外アクセス、use-after-free、ポインタと非ポインタの型混同、va_list の誤用、システムコールに渡すバッファの検査など、C のメモリ安全性を脅かすものは一通りカバーされている。