MirChecker 正在参加 2021 年度 OSC 中国开源项目评选,请投票支持!
MirChecker 在 2021 年度 OSC 中国开源项目评选 中已获得 {{ projectVoteCount }} 票,请投票支持!
2021 年度 OSC 中国开源项目评选 正在火热进行中,快来投票支持你喜欢的开源项目!
2021 年度 OSC 中国开源项目评选 >>> 中场回顾
MirChecker 获得 2021 年度 OSC 中国开源项目评选「最佳人气项目」 !
授权协议 GPLv3
开发语言 Python Rust 查看源码 »
操作系统 Linux
软件类型 开源软件
开源组织
地区 国产
投 递 者 局长
适用人群 未知
收录时间 2021-11-28

软件简介

MirChecker 是一个 Rust 静态分析工具。该工具可自动分析 Rust 编译器生成的中间代码 (MIR),并收集关于程序的数值与符号信息,然后通过约束求解技术生成诊断信息,对可能出错的代码输出警告信息。

MirChecker 与其他自动代码查错工具有以下不同:

  • 利用静态分析的方法,可以最大限度地利用 Rust 强大的类型系统
  • 考虑了 Rust 语言特性导致的其特有的错误类型
  • 基于 Rust MIR 而不是 LLVM IR,最大限度地利用 Rust 编译器提供的类型信息

MirChecker 采用了经典的三段式设计:

  • 用户界面
  • 静态分析
  • 错误检测

展开阅读全文

代码

的 Gitee 指数为
超过 的项目

评论 (0)

加载中
更多评论
暂无内容
暂无内容
暂无内容
0 评论
0 收藏
分享
OSCHINA
登录后可查看更多优质内容
返回顶部
顶部