Discovery Projects - Grant ID: DP240103194

Funding Activity

Website
http://dataportal.arc.gov.au/NCGP/Web/Grant/Grant/DP240103194

Funding Status
Active

Does something not look right? The information on this page has been harvested from data sources that may not be up to date. We continue to work with information providers to improve coverage and quality. To report an issue, use the .

Funded Activity Summary

Ownership-based Alias Analysis for Securing Unsafe Rust Programs. 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.

Funded Activity Details

Start Date: 01-03-2024

End Date: 28-02-2027

Funding Scheme: Discovery Projects

Funding Amount: $514,737.00

Funder: Australian Research Council

Research Topics

ANZSRC Field of Research (FoR)

Programming languages | Software engineering |

ANZSRC Socio-Economic Objective (SEO)

Other Keywords

Application Software Packages | Programming languages | Software engineering

Related Links