当前位置 : 主页 > 编程语言 > java >

【Rust 日报】2021-8-26 Rudra Rust 的内存安全和未定义行为检测工具

来源:互联网 收集:自由互联 发布时间:2022-06-22
Rudra Rust 的内存安全和未定义行为检测工具 Rudra 是一个静态分析器,用于检测 Rust 程序中常见的未定义行为。它能够分析单个 Rust 包以及 crates.io 上的所有包。Rudra 及其相关论文将在

Rudra Rust 的内存安全和未定义行为检测工具

Rudra 是一个静态分析器,用于检测 Rust 程序中常见的未定义行为。它能够分析单个 Rust 包以及 crates.io 上的所有包。Rudra 及其相关论文将在 Proceedings of the 28th ACM Symposium on Operating Systems Principles 2021 (SOSP '21) 上发表。

  • ​​https://github.com/sslab-gatech/Rudra#readme​​

nom 7.0 版本发布

nom 是一个用 Rust 编写的解析器组合库。它的目标是提供工具来构建安全的解析器,而不会影响速度或内存消耗。为此,它广泛使用 Rust 的强类型和内存安全来生成快速且正确的解析器,并提供函数、宏和特征来抽象大部分容易出错的管道。目前7.0已经发布

  • ​​https://crates.io/crates/nom​​

egui 0.14 版本发布

egui 是一个易于使用的纯 Rust 图形用户界面。egui 可以在 Web 上、本机上以及您最喜欢的游戏引擎中运行。egui 旨在成为最容易使用的 Rust GUI 库,以及在 Rust 中制作 Web 应用程序的最简单方法,它可以在任何可以绘制纹理三角形的地方使用,这意味着您可以轻松地将其集成到您选择的游戏引擎中。

  • 演示文档:https://emilk.github.io/egui/
  • ​​https://github.com/emilk/egui​​


社区学习交流平台订阅:

  • Rustcc论坛: 支持rss
  • 微信公众号:Rust语言中文社区


网友评论