我一直在寻找，虽然这似乎是迫切需要的一项功能，所有的搜索结果似乎至少一岁。
这样做有什么现状？是否有一个良好的解决方案，以评估在运行任意代码锈（如Haskell的hint）？
或许真的可以用Miri做什么？
Miri（简称MIR解释器）是锈代码的事实上的解释器。这是什么力量rustc，锈编译器内的编译时功能评价，但美里是比什么是目前使用的编译器更多的其他功能。
对于实验目的，美里也是锈操场可用。它可以被用来评估的程序的特定运行，检测是否存在特定类型的未定义的行为。
美里不提供防锈REPL，但它可能是part of creating such a tool。