专栏首页Rust语言学习交流【Rust 日报】2021-8-26 Rudra Rust 的内存安全和未定义行为检测工具

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

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

From 日报小组 北纬27度,侯盛鑫

社区学习交流平台订阅:

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

本文分享自微信公众号 - Rust语言学习交流(rust-china),作者:EAHITechnology

原文出处及转载信息见文内详细说明,如有侵权,请联系 yunjia_community@tencent.com 删除。

原始发表时间:2021-08-27

本文参与腾讯云自媒体分享计划,欢迎正在阅读的你也加入,一起分享。

我来说两句

0 条评论
登录 后参与评论

相关文章

  • 论文导读 | Rudra : 查找 Rust 生态系统中的内存安全 Bug

    美国佐治亚理工学院的系统软件安全实验室[1]开源了`Rudra`[2] ,用于分析和报告 Unsafe Rust 代码中潜在的内存安全和漏洞,为此他们也将在 2...

    张汉东
  • 【Rust 日报】2021-05-06 tokio-console: 一个新的异步Rust调试工具

    因此需要对这部分升级的代码进行回归,具体原由看这里:https://github.com/rust-lang/rust/issues/84958

    MikeLoveRust
  • 【Rust日报】2021-05-19 Linux 1Password的幕后花絮

    文章讲述了 1Password 团队使用 Rust 开发 1Password 的心路历程及幕后花絮。

    MikeLoveRust
  • 一步步靠近:Rust入门小百科

    从2015年Rust 发布1.0 版本以来,Rust 语言已经被广泛应用于各大公司及诸多领域。每一年,Rust 社区都会聚集在一起制订路线图,规划Rust 未来...

    用户1682855
  • 【Rust 日报】2021-09-26 RustConf 2021 项目精选

    “自引用” 类型是一种对自身引用的类型;异步 Features 是当今 Rust 中最常见的自引用类型。但是,它们不能在不使引用无效的情况下移动,因此常被固定在...

    MikeLoveRust
  • 如何用 Rust 编写一个 Linux 内核模块

    2021 年 4 月 14 号,一封主题名为《Rust support》的邮件出现在 LKML 邮件组中。这封邮件主要介绍了向内核引入 Rust 语言支持的一些...

    用户1880875
  • 如何用 Rust 编写一个 Linux 内核模块

    2021 年 4 月 14 号,一封主题名为《Rust support》的邮件出现在 LKML 邮件组中。这封邮件主要介绍了向内核引入 Rust 语言支持的一些...

    用户8639654
  • Rust 乱炖 | Rust 让恶意软件也变强了

    今天看到 proofpoint 发表了一篇题为Buer Loader 用 Rust 创造了新的变种 (New Variant of Buer Loader Wr...

    张汉东
  • Rust也出2077? 最受欢迎的编程语言再度更新!

    Rust语言是一种高效、可靠的通用高级语言,同时兼顾了开发效率和执行效率。Rust除了能够胜任性能敏感的任务以外,也在内存和线程安全方面有着极高的可靠性。

    新智元
  • Rust语言杀疯了!前有谷歌高薪争夺 Rust 人才,Facebook再官宣加入Rust基金会

    近日,Facebook 宣布以最高级别 (Platinum Member) 的会员身份加入 Rust 基金会,与其他基金会成员一起负责 Rust 开源生态以及社...

    新智元
  • 【Rust 日报】2021-05-23 Facebook 将进一步深化 Rust 使用和支持

    原文链接:A brief history of Rust at Facebook - Facebook Engineering

    MikeLoveRust
  • Rust China Conf 2021 首批议题确定

    10 月16日-17日,Rust China Conf 2021 将在上海举办,本次大会主题为“Rust the World”。在这一主题下,大会广泛接受海内外...

    MikeLoveRust
  • 【Rust日报】2021-08-14 reqwest 增加中间件支持

    TrueLayer 团队用支持中间件的客户端reqwest-middleware包装 reqwest,并暴露相同的简单 API,在满足弹性和可观察性要求下,使其...

    MikeLoveRust
  • 系统编程语言Rust特点介绍(1)

    最近在学习Rust语言,感觉这门语言有点意思,因此写一篇文章分享。我不会去介绍Rust的基本语法,什么变量声明,if..else..,循环等等。这些东西,文档介...

    glinuxer
  • 官宣 Rust 2021 Edition 计划 一睹为快

    原文: The Plan for the Rust 2021 Edition[1]

    张汉东
  • 【Rust日报】2020-09-04 Rust 2021 Roadmap 计划

    Rust的2021 Edition提上日程了,官方发布了一篇博客提到未来几周会同步进行两项重要的任务:

    MikeLoveRust
  • Facebook 是如何引入并使用 Rust 的?

    Facebook 正在拥抱当今最受欢迎 、发展最快的一门编程语言——Rust。当前,Facebook 除了为公司内部的 Rust 团队引进人才,还正式加入了 R...

    MikeLoveRust
  • 【Rust日报】 2019-08-14:在Facebook上反复出现的 C++ bug

    Repo: https://github.com/sivadeilra/vec_option

    MikeLoveRust
  • 精读《Deno 2020 官方回顾及 2021 展望》

    原文地址:Deno in 2020 原文作者:Bartek Iwańczuk, Ryan Dahl 译者:@hylerrix 原文发布时间/翻译时间:202...

    腾讯VTeam技术团队

扫码关注云+社区

领取腾讯云代金券