Detecting Cross-Language Issues in Rust

Although Rust is considered a safe language, FFI can introduce errors and vulnerabilities.

This presentation is based on a paper that explains that problem and proposes a static analysis to individuate and fix these errors.