Detecting Undefined Behavior Across Foreign Function Boundaries in Rust Programs
Master Project of Julius de Jeu


Thesis

https://resolver.tudelft.nl/uuid:dffbff9e-6bbc-491a-a00e-8754ce0fdd77


Detecting Undefined Behavior Across Foreign Function Boundaries in Rust Programs

Student: Julius de Jeu
Supervisor(s): Jonathan Dönszelmann, Andreea Costea, Jesper Cockx