miri 能干什么

之前看张老师书和课有举过例子 miri 可以检查 unsafe 代码数据未初始化的问题

香港某大学的论文说 miri 可以检测数组长度是变量的时候有没有发生越界

最近看酷熊的博客说 miri 还能检测死锁问题