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