Filian，Debian 上的 Fil-C 二进制文件

Lobsters Hottest 工具
fil-c filian compiler memory-safety debian systems-programming

摘要

讨论了 Filian、Fil-C 工具链以及在 Debian 上构建 Fil-C 二进制文件，标志着主流 Linux 发行版在采用内存安全 C 语言方面取得了进展。

<p><a href="https://lobste.rs/s/rs6ce2/filian_fil_c_binaries_on_debian">评论</a></p>
查看原文

相似文章

I want extern "fil-c"

Lobsters Hottest

作者主张一种讲 Fil-C ABI 的 Rust FFI，使其能够与重新编译的 C/C++ 库安全互操作，并呼吁 Rust、Fil-C、Zig 和 Nix/filnix 社区之间进行跨生态协作。

Fil-C: Garbage In, Memory Safety Out

Lobsters Hottest

Fil-C 是一个完全内存安全的 C/C++ 实现，通过 LLVM IR 阶段的不可见能力（invisicaps）将指针值与边界信息捆绑，实现高兼容性，性能损失约 4 倍。

Fil-C 优化调用约定

Hacker News Top

Fil-C 优化调用约定确保 C 程序即使在恶意滥用情况下也能保持内存安全性，同时通过在常见情况下省略安全检查来保持效率。它解释了通过 panic 或定义明确的行为来处理类型违规的通用优化和寄存器传递优化。

内存安全的内联汇编

Hacker News Top

Fil-C 引入了内存安全的内联汇编，确保程序员错误导致 panic 或 trap，而不是错误编译。