机器之心报谈网上赌场 支付宝

剪辑：杜伟、小舟

比年来，C、C++ 编程谈话成了好意思国官方的「肉中刺」，而内存安全的 Rust 等谈话摇身一酿成了「新宠」。

近日，在一份 19 页的表现《转头基础构件：通往安全软件之路》中，白宫国度蚁合主任办公室（ONCD）敕令开拓者使用「内存安全的编程谈话」，比如 Rust 谈话。表现指出，从一运转就选拔内存安全的编程谈话，所以安全遐想神志开拓软件的紧要门道。

此外，ONCD 默示，表现中的提议是与包括科技公司、学术界和其他机构合营制定的，并网罗了包括、埃森哲和 Palantir 在内等多家科技公司赈济表现的宗旨。

表现地址：https://www.whitehouse.gov/wp-content/uploads/2024/02/Final-ONCD-Technical-Report.pdf

其实，这并不是好意思国官方机构第一次敕令毁灭使用 C 和 C++ 了。

客岁 12 月，好意思国和基础设施局（CISA）集中其他机构颁发了一份《内存安全道路图指南》， 其中就指出了 C 和 C++ 是内存不安全的编程谈话，并敕令软件开拓商收受 Rust、Java 等其他内存安全的编程谈话。

开首：https://www.cisa.gov/sites/default/files/2023-12/The-Case-for-Memory-Safe-Roadmaps-508c.pdf

毁灭 C、C++，转向 Rust，只为内存安全

既然强调了要使用内存安全的编程谈话，那领先来了解一下什么是内存安全。所谓内存安全是指防护处理内存造访时出现 bug 和粗疏，比如缓冲区溢出和悬空指针。

内存不安全的危害有多大呢？2019 年，微软安全工程师表现的数据是：大要 70% 的安全问题是由内存安全问题引起的。2020 年，谷歌针对在 Chromium 浏览器发现的 bug 也表现了肖似的数据。

关于编程谈话而言，C 和 C++ 齐允许使用顺利内存地址来进行纵情指针运算，而且莫得规模检讨。表现中指出，群众发现了一些编程谈话既枯竭与内存安全有关的特征，又在一些要道系统中具有高度扩散性，以 C 和 C++ 为代表。因此，C 和 C++ 被认为是「不安全的」编程谈话。

与 C 和 C++ 相对应，Rust 被认为是内存安全编程谈话的典型示例。Rust 是一门系统编程谈话，专注于安全，尤其是并发安全。它赈济函数式和命令式以及泛型等编程范式的多范式谈话，且 TensorFlow 等深度学习框架也把它算作一个优秀的前端谈话。

在设施员问答网站 Stack Overflow 2021 年度开拓者窥探表现中，Rust 谈话成为最受开拓者正式的编程谈话。Rust 在系统编程范围很受接待，原因之一即是它不错匡助摈斥与内存有关的安全粗疏。

Rust 内存安全的特质早已取得业内考据。2021 年 4 月，谷歌就晓示 Android 加入对 Rust 谈话赈济。原因是 C 和 C++ 中的内存安全 bug 是最难措置的失误源，谷歌如故插足了大批的元气心灵和资源来检测、缔造谦让解这类 bug，并灵验地防护了大批 bug 进入 Android 版块。

干系词，尽管作念出了这些勤苦，内存安全 bug 仍然是踏实性问题的主要原因，它在 Android 严重安全粗疏中遥远占据大要 70% 的比例。因此，谷歌为操作系统开拓者增多了第 3 个选拔 Rust。

华盛顿大学计较机科学考验 Dan Grossman 默示，几十年来，全球齐了解 C 和 C++ 的危机，现时终于迎来了鼓吹内存安全编程谈话的好时机，毕竟如故有了实用且训练的替代决策。

他也认为，开脱 C 和 C++ 并不是一朝一夕就能完成的，尤其是在镶嵌系统中。不外，跟着 Rust 等其他编程谈话在系统软件中的更平素应用， 这一程度瞻望会加速。

关于官方对 C 和 C++ 的立场，更多的东谈主似乎并不买账。

有东谈主认为当代 C++ 是内存安全的，悉数操作系统齐使用 C 或者 C++ 进行编程。也有东谈主认为，即使 C++ 不成算是内存安全，但当代 C++ 领有更多的「护栏」，而且资本低致使不必用钱。

关于被「钦点」内存安全的 Rust，皇冠分红有东谈主以为它的赈济程度莫得那么高，也不值得集成到政府系统中。

除了 Rust，内存安全编程谈话还有哪些

2022 年 11 月，好意思国国度安全局 (NSA) 发布了一份蚁合安全信息表，详备先容了它认为内存安全的编程谈话

皇冠体育

RustGoC#JavaSwiftJavaScriptRubyPythonDelphi/Object PascalAda

以上这些编程谈话的流行度如何呢？2024 年 2 月的编程谈话流行度筹谋 TIOBE 闪现，在编程方面，Python 排行第一，C# 排行第五，Java 排行第四，JavaScript 排行第六，Go 排行第八，Delphi/Object Pascal 排行第 12，Swift 排行第 16，Rust 排行第 18，Ruby 拼集排行第 20。

不错看到，大多数 NSA 选拔的谈话齐在前 20 名中，独一 Ada 不在，但前十名独一 5 种。

开首：https://www.tiobe.com/tiobe-index/

该表现还敕令更好地想到软件安全性。ONCD 认为：更好的想到圭臬使技艺提供商或者在粗疏成为问题之前更好地缱绻、预测谦让解粗疏。

这份表现还追念了阿波罗 13 号任务，NASA 将此次任务归类为「顺利的失败」。该任务自己遇到了苦难性的失败，三名宇航员临时进行维修并缓解了一些问题，以便安全复返家园。该表现指出：内存安全代码关于天外筹谋来说曲直常紧要的。东谈主类探索天外应该使用一种内存安全谈话，一种尽可能接近内核的谈话，以免翌日发滋事故。

跟着寰球上越来越多的场所变得数字化，更好的编码变得越来越紧要，不良代码可能会被坏心使用。

Rust 谈话

Rust 谈话是由 Mozilla 主导开拓的通用、编译型编程谈话。遐想准则为「安全、并发、实用」，赈济函数式、并发式、经由式以及面向对象的编程立场。

Rust 谈话最凸起的上风即是不错提供内存安全保证，而且莫得终点的性能亏蚀。在传统的系统级编程谈话（ C/C＋＋） 的开拓经由中，时时出现因各式内存失误引起的崩溃或 bug ，比如空指针、野指针、内存走漏、内存越界、段失误、数据竞争、迭代器失效等等。

内存问题是影响设施踏实性和安全性的首要隐患，而且是影响开拓成果的首要要素。谷歌和微软两大科技巨头曾默示：旗下紧要家具设施安全问题 70% 由内存问题激勉，而且这两个巨头齐商酌期骗 Rust 谈话来措置内存安全问题。

此外，Rust 还具有优秀的跨平台性，赈济交叉编译，对镶嵌式环境一样友好。

干系词，Rust 谈话也有一些难办的污点。

领先，由于 Rust 存在一些特殊的语法，因此初学者初学稍显贫瘠，举例「人命周期（lifetime）」。比较之下，Python、Java 等谈话愈加浅近、易学。但淌若你如故掌执了 C++ 谈话，学习 Rust 谈话就容易得多，因为鉴戒了大批 C++ 的语法。

其次，Rust 谈话的编译器检讨极端严格，开拓经由的大多数期间齐是在措置编译问题。不外，一朝编译通过，开拓东谈主员就不需要和蔼内存安全，内存走漏等头疼问题，只需关注业务逻辑。

https://www.tomshardware.com/software/security-software/white-house-urges-developers-to-avoid-c-and-c-use-memory-safe-programming-languages

6月15日至20日期间，游客朋友们可通过“方特旅游”APP、官方抖音等官方渠道抢购限时发售的129元/人的暑期夜场预售票。购票后，在6月22日至7月16日期间可使用，抢先感受清凉趣味的泼水狂欢和燃爆夏夜的电音盛宴。

https://www.whitehouse.gov/oncd/briefing-room/2024/02/26/memory-safety-statements-of-support/