Polonius

Polonius repo Polonius, Part 1

miri

minirust

unsafe guidelines

a-mir-formailty

mir fuzzer

https://bughunters.google.com/blog/4805571163848704/llvm-cfi-and-cross-language-llvm-cfi-support-for-rust

Undefined Behavior An aliased based formulation of the borrow checker Tree borrow

Rust lifetime analysis in Datalog