Ownership-based Alias Analysis for Securing Unsafe Rust Programs

用于保护不安全 Rust 程序的基于所有权的别名分析

• 批准号: DP240103194
• 负责人: Prof Jingling Xue
• 金额: $ 35.59万
• 依托单位: The University of New South Wales
• 依托单位国家: 澳大利亚
• 项目类别: Discovery Projects
• 财政年份: 2024
• 资助国家: 澳大利亚
• 起止时间: 2024-03-01 至 2027-02-28
• 项目状态: 未结题
• 来源: https://dataportal.arc.gov.au/RGS/Web/Grants/DP240103194
• 关键词: Ownership; based; Alias; Analysis; Securing

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.

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