通过 Miri 运行 (部分) 测试

XRust 版本

稳定

柴油版本

主要

柴油特性

所有人,他们

QQ 数据库版本

所有人,他们

操作系统版本

链接

发生了什么事?

我们目前大部分测试不是通过米里进行的 我们应该改变这一点,因为一些代码 涉及到很多不安全的ptr操作。

你想怎样?

Miri为现在运行FFI代码提供了多个选项. 这包括:

• `-Zmiri-native-lib',提供通往当地图书馆的道路。
• `Zmiri-native-lib-enable-tracing',用于ffi码的扩展内存追踪

我之前尝试过这些旗帜 并得到了至少一些 SQLite 测试运行 最小补丁。 这主要需要`参考'从FFI代码开始的Rust代码,因为它们得不到支持。 (我仍然认为Miri在理论上也能支持他们,但我没有能力自己解决它).

作为起点,只进行一些选定的测试并大量取出不支持的部件可能很好。 我们以后可以扩大覆盖面。

我们可能想要将这种支持与我们的"cargo xtask"包装相融合,以自动设置"右"旗和环境变量. 我们也希望有一份负责测试的线人工作

• 核对表

• [x]我已经查看了问题追踪器和讨论论坛,以讨论可能关闭的类似问题。

• 这个问题可以在Rust的稳定频道上再现. (如果情况并非如此,请在Rust问题跟踪器中提交问题)

• 这个问题可以复制,不需要第三方的箱子