Source: Slashdot
来自Inria和微软的研究人员开发了一种系统，能够自动将特定类型的C编程代码转换为内存安全的Rust代码，以应对软件系统中的内存漏洞日益严重的网络安全问题。该技术在一篇新论文中详细介绍，程序员需要使用一种称为“Mini-C”的限制版本C语言，该版本排除了指针运算等特性。
研究人员成功地在包含80,000行代码的HACL加密库等两大代码库上测试了他们的转换系统。
根据研究人员的说法，转换后的部分代码已被整合进Mozilla的NSS和OpenSSH安全系统中。
2019年，内存安全错误占据Android漏洞的76%。
在技术进步的背后，是否也在提醒我们，程序的安全性扮演着至关重要的角色？
特别声明：本文及配图均为用户上传或者转载，本文仅代表作者个人观点和立场，不代表平台观点。其原创性以及文中陈述文字和内容未经本站证实，
对本文以及其中全部或者部分内容、文字的真实性、完整性、及时性本平台不作任何保证或承诺，请读者仅作参考，
并请自行核实相关内容。如发现稿件侵权，或作者不愿在本平台发布文章，请版权拥有者通知本平台处理。
Copyright Disclaimer: The copyright of contents (including texts, images, videos and audios)
posted above belong to the User who shared or the third-party website which the User shared from.
If you found your copyright have been infringed, please send a DMCA takedown notice to
info@microheadline.com
来源：https://developers.slashdot.org/story/25/01/03/133213/new-system-auto-converts-c-to-memory-safe-rust-but-theres-a-catch?utm_source=rss1.0mainlinkanon&utm_medium=feed
https://medium.com/%40john_25313/c-isnt-a-hangover-rust-isn-t-a-hangover-cure-580c9b35b5ce
https://users.rust-lang.org/t/darpa-translating-all-c-to-rust-tractor/115242
