MirCheckerRust 静态分析工具
MirChecker 是一个 Rust 静态分析工具。该工具可自动分析 Rust 编译器生成的中间代码 (MIR),并收集关于程序的数值与符号信息,然后通过约束求解技术生成诊断信息,对可能出错的代码输出警告信息。
MirChecker 与其他自动代码查错工具有以下不同:
- 利用静态分析的方法,可以最大限度地利用 Rust 强大的类型系统
- 考虑了 Rust 语言特性导致的其特有的错误类型
- 基于 Rust MIR 而不是 LLVM IR,最大限度地利用 Rust 编译器提供的类型信息
MirChecker 采用了经典的三段式设计:
- 用户界面
- 静态分析
- 错误检测
评论
PHPStanPHP 静态分析工具
PHPStan是一款PHP静态分析工具,它专注于在代码中发现错误而不实际运行它。它甚至能在代码编写测试之前捕获整个类的错误。PHPStan让PHP更接近编译语言,这意味着在运行实际行之前可以检查代码的
PHPStanPHP 静态分析工具
0
StatCvsCVS静态分析工具
StatCVS是一个创建并发版本系统(ConcurrentVersionsSystem-CVS)储存库活动图表的方便工具。在本文中,开发人员TomCopeland将解释如何安装、运行StatCVS,概
StatCvsCVS静态分析工具
0
PsalmPHP 静态分析工具
Psalm是一个PHP程序的静态分析工具,用来找出代码中存在的错误。可通过Composer安装:composerrequire--devvimeo/psalm添加psalm.xml配置:<?xm
PsalmPHP 静态分析工具
0
peframePE静态分析工具
peframe是一款命令行下的恶意PE文件静态分析工具,主要特点:HashMD5&SHA1PEfileattributesVersioninfo&metadataPEIdentifie
peframePE静态分析工具
0