Filian, Fil-C binaries on Debian
Summary
Discusses Filian, the Fil-C toolchain, and building Fil-C binaries on Debian, marking progress toward memory-safe C adoption in mainstream Linux distributions.
Similar Articles
Release Fil-C Linux/x86_64 version 0.679 · pizlonator/fil-c
Fil-C 0.679 is a new release of a fanatically compatible memory-safe implementation of C and C++ that uses concurrent garbage collection and invisible capabilities to prevent all memory safety errors without escape hatches.
I want extern "fil-c"
The author argues for a Rust FFI that speaks the Fil-C ABI, enabling safe interop with recompiled C/C++ libraries, and calls for cross-ecosystem collaboration among Rust, Fil-C, Zig, and Nix/filnix communities.
Fil-C: Garbage In, Memory Safety Out
Fil-C is a fully memory-safe implementation of C/C++. It bundles pointer values with boundary information using invisicaps at the LLVM IR stage, achieving high compatibility with a performance penalty of about 4x.
The Fil-C Optimized Calling Convention
The Fil-C optimized calling convention ensures memory safety for C programs even under adversarial misuse, while maintaining efficiency by omitting safety checks in the common case. It explains the generic and register-passing optimizations that handle type violations via panics or well-defined behavior.
Memory Safe Inline Assembly
Fil-C introduces memory-safe inline assembly, ensuring that programmer errors result in panics or traps rather than miscompilation.