MirCheckerRust 静态分析工具认领

0粉丝

MirChecker 是一个 Rust 静态分析工具。该工具可自动分析 Rust 编译器生成的中间代码 (MIR)，并收集关于程序的数值与符号信息，然

简介

MirChecker 是一个 Rust 静态分析工具。该工具可自动分析 Rust 编译器生成的中间代码 (MIR)，并收集关于程序的数值与符号信息，然后通过约束求解技术生成诊断信息，对可能出错的代码输出警告信息。MirChecker 与其他自动代码查错工具有以下不同：利用静态分析的方法，可以最大限度... 更多

其它信息

地区

国产

开发语言

Python Rust

开源组织

无

所属分类

开发工具、代码管理分析/审查/优化

授权协议

GPLv3

操作系统

Linux

收录时间

2023-10-02

软件类型

开源软件

适用人群

未知

时光轴

里程碑1

LOG0

2023

2023-10

轻识收录

打卡

评价

0.0（满分 10 分）0 个评分

什么是点评分

图片

表情

全部评价( 0)

推荐率 100%

推荐

PHPStanPHP 静态分析工具

PHPStan是一款PHP静态分析工具，它专注于在代码中发现错误而不实际运行它。它甚至能在代码编写测试之前捕获整个类的错误。PHPStan让PHP更接近编译语言，这意味着在运行实际行之前可以检查代码的

JArchitectJava 静态分析工具

JArchitect是一个商业的Java代码静态分析工具

StatCvsCVS静态分析工具

StatCVS是一个创建并发版本系统（ConcurrentVersionsSystem-CVS）储存库活动图表的方便工具。在本文中，开发人员TomCopeland将解释如何安装、运行StatCVS，概

PsalmPHP 静态分析工具

Psalm是一个PHP程序的静态分析工具，用来找出代码中存在的错误。可通过Composer安装：composerrequire--devvimeo/psalm添加psalm.xml配置：<?xm

StatSvnSVN静态分析工具

StatSVN是一个SVN版本库的静态分析工具，它能生成SVN log日志文件的html报表。这样能

PsalmPHP 静态分析工具

Psalm 是一个 PHP 程序的静态分析工具，用来找出代码中存在的错误。可通过 Composer

peframePE静态分析工具

peframe是一款命令行下的恶意PE文件静态分析工具,主要特点:HashMD5&SHA1PEfileattributesVersioninfo&metadataPEIdentifie

StatSvnSVN静态分析工具

StatSVN是一个SVN版本库的静态分析工具，它能生成SVNlog日志文件的html报表。这样能大概地评估工作量、开发效率、趋势，帮助项目管理。使用它之前下载SVN的命令行客户端，以便能自动化任务。

StatCvsCVS静态分析工具

StatCVS 是一个创建并发版本系统（Concurrent Versions System -CV

PHPStanPHP 静态分析工具

PHPStan 是一款 PHP 静态分析工具，它专注于在代码中发现错误而不实际运行它。它甚至能在代