Introduce a memory safe compilation mode inspired by Fil-C
19 hours ago
- 引入一种受Fil-C启发的内存安全编译模式，与Rust不同，它通过提供更强内存安全保障来实现，无需依赖不安全代码或后门机制。
- 提出名为'fil'的新ABI以实施Fil-C技术，包括隐形封装和系统调用拦截，为Zig及C/C++依赖项提供完整内存安全性。
- 旨在以1-6倍的性能代价实现内存安全，通过唯一类型ID和运行时指针来源检查防止释放后使用和类型混淆漏洞。
- 探讨了拦截所有系统调用和内联汇编等挑战，同时通过编译器和标准库修改来避免语言层面的改动。
- 强调Zig有望成为内存安全可执行文件开发的首选工具链，即使涉及C/C++依赖项，在实践中也能超越Rust的安全性表现。