对于 Rust 程序员来说，让代码通过编译只是第一步。

来自社区和学术的各种代码分析和检查工具能够帮助 Rust 程序员编写更高质量的代码。

但是了解、安装和更新这些零散的工具需要程序员花费不少的时间和精力，os-checker 工具集因此提供了统一的流程来让使用者只需要关注分析和检查结果，而不必重复很多仪式来应用这些工具。

此外，以统一的方式了解自己的代码库的各种信息也很重要。

os-checker 提供 WebUI，让代码检查和获取信息两件事情的结果一目了然。

os-checker

• Github 仓库：https://github.com/os-checker/os-checker
• 应用到 kern-crates 组织 检查 140+ 个 OS 组件库：https://os-checker.github.io
• 文档：https://os-checker.github.io/book
• PPT：https://docs.qq.com/slide/DTGlJeFh3S1NDQWlo

该 PPT 报告介绍 os-checker 工具集及其设计思路，并提出一个可能的未来：Rust 静态检查工具的生态是组件化的。视频

支持 Github Action Workflow 和 Docker 镜像，来对上述工具进行自动化部署。

已集成以下检查工具：

拓展链接：

• 2025-03-01 Rust & OS Workshop | 马全一老师也上传了 合集 到 B 站
• Lockbud 作者之前的 论坛帖子

欢迎对检查工具感兴趣的老师和同学和我 交流。

欢迎大家使用 os-checker，并提出建议或贡献！