Fil-C brings total memory safety to C/C++
Fil-C is a "fanatically compatible" memory-safe implementation of the C and C++ programming languages. It eliminates memory errors through a combination of "invisible capabilities" for bounds tracking and a concurrent garbage collector for automated memory management. By rewriting code at the LLVM IR level, it allows existing massive codebases like CPython and OpenSSH to achieve complete memory safety with minimal or zero source code modifications.
Fil-C represents a major shift in the "rewrite it in Rust" debate by proving that memory safety can be achieved at the runtime level for legacy C systems.
- –Employs an Allocation Record model that pairs pointers with metadata, triggering deterministic panics instead of undefined behavior for memory errors.
- –The "fanatic" compatibility claim is backed by successful builds of Emacs, Wayland, and a full Linux userland, making it a viable security tool for critical infrastructure.
- –The trade-off is a break in binary compatibility (ABI change) and a performance hit that is still being optimized.
- –Unlike previous efforts, Fil-C provides a path for C to coexist with modern safety standards without requiring millions of lines of manual rewrite.
DISCOVERED
45d ago
2026-04-18
PUBLISHED
45d ago
2026-04-17
RELEVANCE
AUTHOR
aw1621107