【Rust日报】2023-12-03 Kani: 使用模型检查来分析 Rust 程序

ftag：用于标记和搜索文件的 CLI 工具

大家好，我刚刚发布了我的第一个crate：https://crates.io/crates/ftag

在未能找到组织大型文档和图片档案的良好解决方案后，几年前我决定自己编写一个简单的 CLI 工具。我用 python 编写并使用了很多年。所以我知道该系统在组织和检索文件方面效果很好，至少对我来说是这样。我最近将它移植到 Rust，并认为它对其他人也有用，所以我发布了它。 Rust 版本比 python 版本快大约 50 倍。

Rust Nation 2024：完整演讲者名单和时间表已公布

大家好，

我想告诉大家，Rust NationUK 已公布其完整的会议日程和演讲者名单。https://www.rustnationuk.com/schedule

我们很高兴 2024 年将有一系列令人惊叹的演讲者，包括

• David Hewitt（Pyo3 的首席维护者）

• Ben Wishovic（乐浦首席维护者）

• Mithun Hunsur（Ambient 首席维护人员）

• 克里斯·比斯卡迪

• 彼得罗·阿尔比尼

以及主题演讲来自

• 拉斯·伯格斯特罗姆

• 尼科·马萨基斯

• 艾丽丝·赖尔（东京）

• 汉娜·奥布里

Kani 0.42.0已经发布了！

Kani 是一款开源验证工具，使用模型检查来分析 Rust 程序。 Kani 对于验证 Rust 中的不安全代码块特别有用，其中“不安全超级能力”编译器未检查。

以下是版本新增内容的摘要0.42.0：

• 从源代码构建 CBMC 并通过 @bennofs 在非 x86_64 上安装为软件包 #2877 和 #2878

• 当 CBMC 内存不足时，由 @JustusAdam 在 #2885< 中发出建议和解释/span>

• Rust 工具链已升级至 nightly-2023-11-28 由 @celinval

完整变更日志：kani-0.41.0...kani-0.42.0

From 日报小组 时光

社区学习交流平台订阅：

• Rustcc 论坛：支持 rss

• 微信公众号：Rust 语言中文社区