Investigating Safety Issues and Mitigation Strategies when Linking Independently-Compiled Code
Master Project of Timen Zandbergen

Project Description

This project explores the implications of linking independently compiled Rust code. Rust is particularly appealing due to its strong memory safety guarantees. However, these guarantees may be weakened—or even invalidated—when separately compiled components are linked together. This thesis examines which guarantees can be recovered after linking and what trade-offs are involved in the process.

Contacts for the Project

• Jonathan Dönszelmann
• Andreea Costea