MIRAI 使用记录

[zjp-CN]

图片

 

MIRAI 有些做的好的地方：

• 复用了 Rust 编译器的诊断方式：支持相同的打印样式和 JSON 输出
  • 不过这也带来缺点：当编译器也发出诊断，那么无法区分诊断来自编译器还是 MIRAI
• 错误报告做了细节上的优化，比如 "possible Invalid page size!"，其中的 page size 来自函数调用的参数名

warning: possible Invalid page size!
   --> src/cap/mod.rs:230:41
    |
230 |                 let topA = botA + MASK!(pageBitsForSize(cap1.get_frame_size()));
    |                                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

pub fn pageBitsForSize(page_size: usize) -> usize {
    match page_size {
        RISCV_4K_Page => RISCVPageBits,
        RISCV_Mega_Page => RISCVMegaPageBits,
        RISCV_Giga_Page => RISCVGigaPageBits,
        _ => panic!("Invalid page size!"),
    }
}

[zjp-CN]

测试 kern-crates/rtc 时，MIRAI 无法处理的函数会在除 --diag=default 之外的诊断上报告：

warning: the called function did not resolve to an implementation with a MIR body
  --> src/goldfish.rs:32:24
   |
32 |         let time_low = self.region.read_at(RTC_TIME_LOW);
   |                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

我认为 os-checker 应该使用 --diag=default 参数，展示少的误报结果。

（p.s. MIRAI 虽然将误报视为自己的错误，但也存在误报）

[zjp-CN]

cargo mirai 会遵照 .cargo/config.toml 的 target；并且也支持识别 --target 参数

https://github.com/os-checker/dockerfiles/commit/11de2507d76312f0d8d4aab2f32da05e31e7df70