Discussions

• 1 You must be logged in to vote

  📣

  【第 83 周】KMiri：更新星绽 ostd 和 Miri 代码；KLint：调查 not_using_prelude 和 Atomic Context Violations 检测

  zjp-CN announced Feb 15, 2026 in Announcements

  

  

  0
• 1 You must be logged in to vote

  📣

  【第 82 周】《Rust 动态链接与异步共享库》笔记；KMiri：整合仓库、在星绽 OSDK 添加 miri 子命令

  zjp-CN announced Feb 8, 2026 in Announcements

  

  

  0
• 1 You must be logged in to vote

  📣

  【第 81 周】unsafety-propagation-graph 添加 ADT 外生审计函数列表、重构调用图、添加 README；调查 Rust 动态链接与异步共享库方案

  zjp-CN announced Feb 1, 2026 in Announcements

  

  

  0
• 2 You must be logged in to vote

  📣

  【第 74 周】演讲《Rust 安全属性标注》；safety-tool 更新

  zjp-CN announced Dec 14, 2025 in Announcements

  

  

  4
• 1 You must be logged in to vote

  📣

  【第 80 周】unsafety-propagation-graph：字段访问关联被调用者；URL 直达和路由参数交互；导航增强（模块树、文档链接等）；安全属性统计图

  zjp-CN announced Jan 25, 2026 in Announcements

  

  

  0
• 1 You must be logged in to vote

  📣

  【第 79 周】unsafety-propagation-graph：新增标准库、星绽 ostd 库展示；调用图功能增强与样式美化

  zjp-CN announced Jan 18, 2026 in Announcements

  

  

  0
• 1 You must be logged in to vote

  📣

  【第 78 周】unsafety-propagation-graph：实现导航栏、渲染安全属性节点

  zjp-CN announced Jan 11, 2026 in Announcements

  

  

  0
• 1 You must be logged in to vote

  📣

  【第 77 周】unsafety-propagation-graph：可视化不安全代码传播图

  zjp-CN announced Jan 4, 2026 in Announcements

  

  

  0
• 1 You must be logged in to vote

  📣

  【第 73 周】safety-tool 生成 Rust for Linux 和星绽的安全属性统计信息；准备 14 号演讲《Rust 安全属性标注》slides

  zjp-CN announced Dec 7, 2025 in Announcements

  

  

  0
• 1 You must be logged in to vote

  📣

  【第 76 周】《os-checker 2025 年度总结》并发布 v0.8.1；修复 kern-crates 同步问题

  zjp-CN announced Dec 28, 2025 in Announcements

  

  

  0
• 1 You must be logged in to vote

  📣

  【第 62 周】os-checker：在 RustChinaConf2025 演讲 | 手记 | 被旋武社区收录；与星绽开发人员就安全属性标注问题进行答疑和讨论；初步实现 safety-lsp

  zjp-CN announced Sep 21, 2025 in Announcements

  

  

  0
• 1 You must be logged in to vote

  📣

  【第 48 周】参加 Rust Workshop；tag-std 支持内置安全属性的 discharges 检查

  zjp-CN announced Jun 15, 2025 in Announcements

  

  

  0
• 1 You must be logged in to vote

  📣

  【第 33 周】进行 os-checker 报告；plugin-cargo 支持缓存；WebUI 改进；文档添加《工作原理》一章

  zjp-CN announced Mar 2, 2025 in Announcements

  

  

  0
• 1 You must be logged in to vote

  📣

  【第 75 周】发现和排查问题：ArceOS、星绽和 RAPx；更新 book：新增 Miri 论文阅读笔记

  zjp-CN announced Dec 21, 2025 in Announcements

  

  

  0
• 1 You must be logged in to vote

  📣

  【第 72 周】星绽 RFC - 安全属性标注；os-checker 新增检查星绽；safety-tags 添加统计输出 JSON

  zjp-CN announced Nov 30, 2025 in Announcements

  

  

  0
• 1 You must be logged in to vote

  📣

  【第 71 周】 ArceOS 修复和问题排查；os-checker 更新

  zjp-CN announced Nov 23, 2025 in Announcements

  

  

  0
• 1 You must be logged in to vote

  📣

  【第 70 周】修复 Miri 报告的 ArceOS linked_list_r4l 问题代码，并对照当前 Rust for Linux 的链表实现

  zjp-CN announced Nov 16, 2025 in Announcements

  

  

  0
• 1 You must be logged in to vote

  📣

  【第 69 周】os-checker：更新和修复 Miri 测例运行与结果、发布 plugin-cargo v0.1.7；book 更新：增加 KernMiri 和 Miri 笔记；distributed-verification：提交 GSoC2025 结题报告

  zjp-CN announced Nov 9, 2025 in Announcements

  

  

  0
• 1 You must be logged in to vote

  📣

  【第 64-65 周】os-checker 10 月 4 日线上报告；safety-tool 发布 v0.4.0；星绽 KernMiri 源码阅读和交流

  zjp-CN announced Oct 12, 2025 in Announcements

  

  

  0
• 1 You must be logged in to vote

  📣

  【第 68 周】Rust 编译器训练营课程分享《编写 Rust 静态分析工具》；distributed-verification 更新

  zjp-CN announced Oct 31, 2025 in Announcements

  

  

  0
• 1 You must be logged in to vote

  💡

  头脑风暴：看到什么样的基础信息

  zjp-CN started Dec 28, 2024 in Ideas

  

  

  1
• 1 You must be logged in to vote

  📣

  【第 67 周】准备分享《编写 Rust 静态分析工具》；tag-std 发布 v0.4.1；distributed-verification 更新

  zjp-CN announced Oct 26, 2025 in Announcements

  

  

  0
• 1 You must be logged in to vote

  📣

  【第 66 周】Distributed-Verification WebUI 更新：增加 Kani 验证时间和数量分布图、支持 autoharnesses

  zjp-CN announced Oct 19, 2025 in Announcements

  

  

  0
• 1 You must be logged in to vote

  📣

  【第 63 周】safety-lsp 实现安全属性补全和 VSCode 插件功能；准备 os-checker 10 月 4 日线上分享 PPT；尝试复现星绽 KernMiri

  zjp-CN announced Sep 26, 2025 in Announcements

  

  

  0
• 1 You must be logged in to vote

  📣

  【第 60 周】os-checker book 新增三个页面，关于工作进展和贡献点；distributed-verification 支持 libcore 之外的 Kani 证明；更新 Safety Tags RFC

  zjp-CN announced Sep 7, 2025 in Announcements

  

  

  0