Rust type system constrains pointer operations, preventing bugs such as use-after-free.
However, these constraints may be too strict for programming tasks such as implementing …

While the Rust language provides memory safety by default, functional correctness and
safety of programs using unsafe code remain unchecked. This thesis aims to improve the …