os-checker 2025 年度总结

功能改进

在 os-checker 本身，有如下改进

• 改进配置文件：
  • 支持 features 指定；
  • 新增一系列 meta 控制检查范围和方式：only_pkg_dir_globs、rerun、use_last_cache、run_all_checkers。
• 新增检查工具：
  • AtomVChecker 检测内存序误用；
  • cargo-udeps 检测未使用的依赖。
• License 从 MIT 改为 GPL-3.0 OR MulanPubL。
• 文档更新：
  • 工作原理
  • 工作进展和目标： 组件化、 分布式验证、 安全属性标注
  • 检查工具笔记： KernMiri、 Charon

发布了以下版本：

• os-checker： v0.8.0、 v0.7.0、 v0.6.1、 v0.6.0
• plugin-cargo： v0.1.1、 v0.1.6、 v0.1.5
• kern-crates： v0.4.0、 v0.3.0

报告修复

今年共提交了 558 个报告或修复，以及超过 3400 次代码提交：

• 给 os-checker 和 kern-crates 组织提交了 412 个报告或修复。
• 给 Artisan-Lab、Asterinas、AeneasVerif 组织提交了 124 个报告或修复。
• 给 ArceOS、Starry、AxVisor、DriverCraft 等仓库提交了 22 个报告或修复。 对 11-12 月发现 ArceOS 的一些不安全代码和功能问题，记录分析。

开发工具

今年 os-checker 从集成检查工具向开发检查工具发生了转变：

• 为星绽和 Rust for Linux 项目编写 safety-tool 工具，以实现安全属性检查；并向 Rust 官方提交了一项 RFC。
• 为验证标注库项目开发工具 distributed-verification，以实现 Kani 的分布式和资源节约形式化验证。
• 重写 Rudra charon-rudra。

演讲宣传

• 2025.12.14 第 74 周：《Rust 安全属性标注》PPT，Rust OSDev Meetup，北京。
• 2025.10.04 第 64 周：开源操作系统训练营技术报告 PPT，线上。
• 2025.09.14 第 62 周：《os-checker：自动化代码分析平台与质量监测系统》PPT，RustChinaConf 2025，杭州。
• 2025.06.16 第 48 周：Rust 系统软件研讨会，上海。
• 2025.03.01 第 33 周：《os-checker 工具集介绍》PPT，Rust & OS Workshop，北京。

展望未来

感恩相遇的每一位老师、前辈、小伙伴！

在 2026 年

• 让 os-checker 的目光从 checker 转移到 os，实现名副其实的 Rust 操作系统检测工具。
• 更多地学习操作系统知识，从发现问题进阶到解决问题。