搜索技巧 海洋云增白 开源地图 AI 搜索答案 沙丘魔堡2 压缩机站 自由职业 policy 小团队 颈挂空调 Chumby 个人电脑 极端主义 团队 PostgreSQL AI工具 证券 DirectX DrawingPics 化学 KDE 披萨农场 多动症 植物学 分析化学 Three.js 大会 残疾人学校 初创 QB64 更多

Rust基金会宣布成立安全关键型Rust联盟 (foundation.rust-lang.org)

Rust基金会联合AdaCore、Arm等公司宣布成立安全关键型Rust联盟，致力于支持Rust编程语言在安全关键型软件中的负责任使用。该联盟将制定指南、规范和工具，以满足行业和法律要求，并与Rust项目团队紧密合作。联盟成员包括行业、学术界和法律专家，其目标是弥合Rust生态系统在安全关键型领域资源方面的差距，并促进Rust在需要高安全性和可靠性的行业中的应用。

Rust基金会：探索Rust代码中的不安全隐患 (foundation.rust-lang.org)

Rust语言以内存安全著称，但有时开发者需要使用unsafe关键字来绕过编译器的安全检查，以实现更高的灵活性。虽然Unsafe Rust的使用带来了潜在的风险，但它有诸多保障措施，例如需要显式标记、隔离在代码块中以及类型系统约束等。研究表明大约20%的Rust代码库使用unsafe，主要用于调用C/C++等第三方库。Rust基金会致力于通过安全倡议和工具开发来提升Rust生态系统的安全性，例如Painter、TypoMania和Sandpit等工具可以帮助开发者检测和预防漏洞。