百科.dev
全部条目在线工具AI 编程趋势榜开源项目技术资讯提交条目
登录
< 返回工具列表
R

Rudra

> 编程语言
开源

Rust 内存安全性和未定义行为检测

1.4K stars0 点赞1 次浏览
访问官网GitHub

工具介绍

Rust 内存安全性和未定义行为检测

Rudra > ⚠️ 此项目已归档,不再维护。 > 如果您想复制论文中的结果,请使用 Rudra-Artifacts 中固定的提交版本(e12e6d3)。这里的master分支支持较新版的 Rust 编译器,但无法完全复制论文中的结果。

Rudra 及其相关论文获得了第 28 届 ACM 操作系统原理研讨会 (SOSP'21) 的杰出成果奖。(PDF, 简短演讲, 详细演讲)

  1. 首先,确保您的系统已安装 Docker 和 Python 3。 2. 在系统上添加 rudra:latest 镜像。有两种方法可以做到这一点:

对于开发,您可能希望在主机系统上安装 Rudra。请参阅 DEV.md 以了解高级使用和开发指南。

Issues· 0 开放

查看全部 Issues在 GitHub 打开

暂无开放 Issues,或尚未同步最近议题。

> 标签

Rust

暂无评论,来聊聊你的看法吧

> 工具信息

发布日期2026年8月1日
最后更新2026年9月17日
分类编程语言
定价开源

> 相关工具

T
TypeScript
JavaScript 的超集,为前端与全栈提供静态类型
P
Python
通用编程语言,广泛用于 Web、数据与 AI
G
Go
Google 推出的简洁高效系统语言