Rust 静态分析工具MirChecker
-
MirChecker 是一个 Rust 静态分析工具。该工具可自动分析 Rust 编译器生成的中间代码 (MIR),并收集关于程序的数值与符号信息,然后通过约束求解技术生成诊断信息,对可能出错的代码输出警告信息。MirChecker 与其他自动代码查错工具有以下不同:利用静态分析的方法,可以最大限度地利用 Rust 强大的类型系统,考虑了 Rust 语言特性导致的其特有的错误类型,基于 Rust MIR 而不是 LLVM IR,最大限度地利用 Rust 编译器提供的类型信息。
MirChecker 采用了经典的三段式设计:用户界面、静态分析、错误检测
项目地址:
https://www.oschina.net/p/mirchecker
西南地区IT社群(QQ)
- 云南
- 【昆明网页设计交流吧】243627302
- 【昆明nodejs交流吧】 243626749
- 【VUE】838405306
- 【云南程序员总群】343606807
- 【昆明UI设计】104031254
- 【云南软件外包】15547313
- 贵州
- 【PHP/java源码/站长交流群】55692114
- 四川
- 【成都Java/JavaWeb交流】86669225
- 【vaScript+PHP+MySql】116270060
- 【UI设计/设计交流学习群】135794928
- 重庆
- 【诺基亚 JAVA游戏博物馆】 559479780
- 【PHP,Java,Python,C++接单】 442103442
- 西藏