Page Wars - The Dirty Awakens

⚠️ This project is a work in progress.

Imagine you are writing a Rust program and you want to use a library written in C. You can use the Foreign Function Interface (FFI) to call functions from the C library. Now, the Rust compiler cannot reason about the safety of the C code and therefore it cannot guarantee that the C code will not cause any memory safety issues. This project aims to extend memory safety guarantees across the FFI boundary. This work is currently a work in progress and will be submitted to a conference in the near future. If you want to talk about this, feel free to reach out to me.