AAU Student Projects - visit Aalborg University's student projects portal
A master's thesis from Aalborg University
Book cover


Static Taint Analysis in Rust: Using Rusts Ownership System for Precise Static Analysis

Translated title

Static Taint Analysis in Rust

Authors

;

Term

4. term

Education

Computer Science, Master

Publication year

2021

Submitted on

Pages

51

Abstract

The Rust programming language employs a owner- ship system that tackles the aliasing issue, a signifi- cant source for imprecision in ordinary static analy- ses. Theoretically, a static analysis should therefore be more precise in Rust than in languages without the ownership system. We explore how the owner- ship system can make an analysis more precise in practice. To do so, we formally define a subset of Mid-level In- termediate Representation (MIR), and a static taint analysis based on that formalization. We implement a tool which is based on the Rust compiler to demon- strate the formalized taint analysis. We confirm that the ownership system makes it pos- sible to create a more precise taint analysis due to the aliasing restrictions.

Keywords

Statisk Analyse ; Rust ; Taint Analyse ; Semantik ; Syntaks

Documents

Download
View record in AAU Student Projects