内存安全 sudo 实现的第一个稳定版本
The first stable release of a memory safe sudo implementation

原始链接: https://www.memorysafety.org/blog/sudo-first-stable-release/

Prossimo 最近宣布推出流行命令行工具“sudo”的新版本,称为“sudo-rs”。 与传统的 C 语言实现不同,“sudo-rs”是用更安全的静态类型编程语言 Rust 编写的。 通过使用 Rust,它可以避免传统实现中常见的内存安全错误,Prossimo 旨在增强这一基本实用程序的安全性。 除了根据与 TweedeGolf 和 Ferrous Systems 的合同进行开发之外,与原始实现相比,“sudo-rs”还减少了攻击面,并包含一个广泛的测试框架,可以捕获原始实现中之前遗漏的错误。 凭借即将到来的安全审计、专注于企业功能的开发路线图以及强大的财务支持,Prossimo 期待进一步推进互联网安全研究工作。 有关 Prossimo 的更多信息,请访问他们的网站或通过电子邮件、Twitter、LinkedIn 联系他们,或订阅他们的时事通讯。

谢谢你的解释。 至于OCaml和其他地方的Sum Types/Tagged Union,它是一种不久前用独立于特定语言特性的术语描述的模式,所以它是普遍理解的。 具体来说,在 OCaml 中,您可以将它们视为代数数据类型 + 总函数。 这是一个基本教程:https://aditiun.me/blog/posts/SumTypesInOCamlWithExamples/ 另一个资源是 The Little Book of ADTS:http://adtsbook.com/ 足以让我理解他们。 根据上面的文章,你能解释一下什么是 Sum Types/Tagged Union 以及它们在编程中的意义吗? 请参阅描述这些概念的特定资源或材料。
相关文章

原文

Prossimo is pleased to announce the first stable release of sudo-rs, our Rust rewrite of the critical sudo utility.

The sudo utility is one of the most common ways for engineers to cross the privacy boundary between user and administrative accounts in the ubiquitous Linux operating system. As such, its security is of the utmost importance.

The sudo-rs project improves on the security of the original sudo by:

  • Using a memory safe language (Rust), as it's estimated that one out of three security bugs in the original sudo have been memory management issues

  • Leaving out less commonly used features so as to reduce attack surface

  • Developing an extensive test suite which even managed to find bugs in the original sudo

The Wolfi Linux OS already includes sudo-rs and we hope that others will follow their lead. "When we first set out to build Wolfi, making sure it was memory safe was always a top priority," said Dan Lorenc, CEO and Co-founder at Chainguard. "The sudo utility is a perfect example of a security-critical tool that's both pervasive and under-appreciated. Security improvements to tools like this will have an outsized impact on the entire industry. The work that went into building the first sudo-rs release is a great step forward in eliminating potential security issues by adopting memory safe languages like Rust. This is critical for upholding and maintaining Wolfi as the secure-by-default foundation for developers who want to address most modern supply chain threats."

A joint team from Tweede Golf and Ferrous Systems built sudo-rs under contract with Prossimo. We're pleased with how much progress they've made since starting this project in December, 2022. An external security audit of the sudo-rs code is scheduled to start in September 2023. After that, the team will start on Milestone 4 of our work plan, which focuses on enterprise features.

The original C-based sudo utility has been maintained by Todd C. Miller for many years now, and we're grateful to him for taking on this huge and important task. We're also grateful that Todd has made time to offer us excellent advice on implementing sudo-rs.

Prossimo is able to take on the challenging work of rewriting critical components of the Internet thanks to our community of funders from around the world. We’d like to thank the NLnet Foundation for their funding of the audit of Sudo-rs. We'd also like to thank Amazon Web Services for supporting this work and supporting the transition to memory safe software.

ISRG is a 501(c)(3) nonprofit organization that is 100% supported through the generosity of those who share our vision for ubiquitous, open Internet security. If you'd like to support our work, please consider getting involved, donating, or encouraging your company to become a sponsor.

联系我们 contact @ memedata.com