• Hilmar Gústafsson
  • Emil Jørgensen Njor
4. semester, Datalogi, Kandidat (Kandidatuddannelse)
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
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.
Udgivelsesdato10 jun. 2021
Antal sider51
ID: 414401759