miri

polonius

minirust

unsafe guidelines

a-mir-formailty

mir fuzzer

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

https://www.ralfj.de/blog/2023/06/13/undefined-behavior-talk.html

https://www.ralfj.de/blog/2023/06/02/tree-borrows.html