传统编程语言C/C++虽然强大，但一直饱受内存安全漏洞的困扰。这些漏洞不仅复杂难懂，而且极易造成系统崩溃等严重后果。为了解决这一难题，近年来内存安全语言逐渐兴起，并有望成为未来编程语言的主流。
近日，helpnetsecurity采访了开源安全基金会(OpenSSF)的总经理Omkhar Arasaratnam，探讨了业界转向内存安全语言的挑战与策略，内容整理如下：
内存安全语言的优势
内存安全漏洞已经存在了半个多世纪。它本质上是将程序员从繁琐的内存管理工作中解脱出来。C/C++要求程序员手动分配和释放内存，这不仅复杂易错，还需要时刻追踪内存的使用情况，以免出现内存泄露等问题。而Java、Rust、Python和JavaScript等现代语言则通过自动内存管理的方式，让程序员将精力集中在核心逻辑的编写上，避免陷入低级内存管理的泥潭。
在操作系统内核、系统编程等高危场景下，内存安全语言的优势尤为突出。操作系统内核拥有整个系统的最高权限，任何内存安全漏洞都可能导致系统崩溃甚至信息泄露。
尽管熟练的程序员可以使用C/C++等非内存安全语言避免内存漏洞，但现实情况并不乐观。微软曾经统计过自家产品的漏洞，其中70%都与内存安全问题相关。谷歌针对安卓系统进行的类似研究也得到了相似的结论：90%的安卓系统漏洞都与内存安全有关。
Go、Python、Rust和Java等语言都是优秀的内存安全语言范例。其中，Rust有望成为Linux内核的第二个官方支持语言。这将允许开发者用完全内存安全的语言重写Linux内核的部分关键代码。
迁移的五大挑战
向内存安全语言迁移并非易事，开发者和企业需要面对五大挑战：
- 开发者培训和认证滞后：现有开发人员需要学习新语言，或者招聘熟悉内存安全语言的人才。同时，调试和构建系统也需要进行相应调整以支持新语言，相关的培训和认证服务相对滞后。
- 硬件支持有限：C/C++等老牌语言可在几乎所有平台上运行，而Rust等新兴语言的硬件支持则相对有限。
- 监管要求：一些安全关键型系统有着严格的技术和安全需求，在新语言缺乏相关认证的情况下，可能无法轻易迁移。
- 潜在Bug：将老代码移植到新语言可能会引入新的Bug。即使是经验丰富的程序员，也可能因为重写过程中的细微差别导致程序运行结果与预期不符，从而产生线上故障。
- 部署阻力：关键基础设施系统内存安全代码的重新部署面临挑战。
迁移策略：安全优先
用Rust重写所有现有代码显然并不现实。OpenSSF建议开发者在开启新项目时优先考虑使用内存安全语言，同时将Rust应用于关键代码路径，例如身份验证、授权、加密以及处理网络或用户输入的部分。
虽然内存安全语言并非灵丹妙药，但却是提升代码安全性的重要一步。通过使用内存安全语言，程序员可以将更多精力放在核心逻辑的开发上，避免在低级内存管理上浪费时间和精力。
对于难以迁移的遗留代码，OpenSSF提供了《C/C++加固指南》，帮助开发者在不大幅改动既有代码库的情况下提升安全性。
需要注意的是，关键基础设施的工业控制系统通常难以通过企业网络进行更新，因此重新部署安全代码可能比重写本身更加耗时。
OpenSSF鼓励社区在开始新项目时考虑使用Rust进行编写，并根据安全优先级将Rust用于关键代码路径(经常被滥用或攻击的部分，或者“皇冠上的宝石”的关键区域)，例如从身份验证、授权、加密以及从网络或用户获取输入内容的代码。
内存安全语言的未来
在某些关键领域，虽然新兴语言的安全性优势非常诱人，但贸然迁移反而会带来风险。预计内存安全语言并不会在所有行业成为标准，一些对稳定性要求极高的领域出于谨慎考虑，可能会推迟采用内存安全语言。
不过，从长远来看，使用内存安全语言来开发新项目具有普遍意义。例如，Alpha-Omega公司资助了用Rust开发的Rustls项目，旨在实现更安全的TLS和QUIC协议。通过使用内存安全语言，业界可以避免类似于OpenSSL Heartbleed漏洞那样的安全事件。
教育和认证是关键
教育和培训是网络安全最强大的基础防线之一。如今许多小学已经开始将Python作为编程语言入门课程。OpenSSF希望未来能够尽早将Rust等其他内存安全语言引入基础教育。
此外，Rust基金会也提供了丰富的学习资源，例如备受好评的书籍《Rust编程语言》以及正在开发的培训和认证项目。通过积极的学习和社区协作，内存安全语言有望在未来发挥更大的作用。
