Ownership-based Alias Analysis for Securing Unsafe Rust Programs

该项目旨在开发基于所有权的别名分析，作为对Rust所有权类型系统的补充，以提高Rust的内存安全性。因此，该项目期望提供一个别名分析基础，在检测使用不安全语言功能的真实世界Rust程序中的内存安全违规和安全漏洞方面，可以提供比最先进的内存安全保证更强大的内存安全保证。预期的结果是在Rust编译器中实现一个可部署的基于所有权的别名分析，以及一个工业级别的开源框架。预计这些结果将在提高Rust的软件质量和安全性方面带来显著的好处，Rust是一种同时提供性能和安全性的新兴语言。

This project aims to develop an ownership-based alias analysis as a complement to Rust's ownership type system for improving Rust's memory safety. This project, therefore, expects to deliver an alias analysis foundation that can provide stronger memory safety guarantees than the state-of-the-art in detecting memory-safety violations and security vulnerabilities in real-world Rust programs that use unsafe language features. The expected outcomes are a deployable ownership-based alias analysis in the Rust compiler and an industrial-strength open-source framework. These outcomes are expected to provide significant benefits in improving software quality and security in Rust, an emerging language that offers both performance and safety.