二茂铁安全关键锈蚀编译器代码发布

2023年 10月 6日 49.7k 0

亚铁系统公司为二茂铁提供了开源代码,他们的Rust编译器专注于安全关键和任务关键环境。二茂铁编译器是在Apache 2.0或MIT许可下提供的。

二茂铁Rust编译器具有在汽车和工业环境中使用的资格,已获得各种ISO和IEC认证。亚铁系统公司已经对上游Rust编译器本身进行了各种质量改进,同时现在正在根据Apache 2.0或MIT许可将其下游编译器作为开源程序提供。

但亚铁系统公司不会接受社区捐款,生产级预制二进制文件只能进行商业销售:

“最后,尽管二茂铁是开源的,但如果你想要预先构建的二进制文件,并得到Rust专家的验证和长期支持,这是有代价的。这一成本包括对Rust项目保证的长期支持、我们构建基础设施的安全性以及我们对其提供的支持,直到认证支持我们将积极通知您在旧版本的编译器中发现的问题,并支持Rust项目在即将发布的编译器中修复问题。

今年晚些时候,个人和公司将以每个座位每月25欧元的价格购买二茂铁(如果每年支付,则每个座位240欧元)。购买二茂铁将允许您访问我们合格编译器的预构建二进制文件和包,以及提供的所有版本二茂铁的资格文件。“

Ferrocene Rust编译器源代码可通过
GitHub
。有关此安全关键编译器的开源版本的更多详细信息,请访问
黑色系统博客

分别地
锈蚀1.73
was released today as the newest upstream Rust compiler release. Rust 1.73 brings cleaner panic messages, thread local initialization improvements, newly stabilized APIs, and other changes.

相关文章

塑造我成为 CTO 之路的“秘诀”
“人工智能教母”的公司估值达 10 亿美金
教授吐槽:985 高校成高级蓝翔!研究生基本废了,只为房子、票子……
Windows 蓝屏中断提醒开发者:Rust 比 C/C++ 更好
Claude 3.5 Sonnet 在伽利略幻觉指数中名列前茅
上海新增 11 款已完成登记生成式 AI 服务

发布评论