regast下载 - regast源代码下载

regast

其他类别

1.0.0

下载

Regast

警告

自2023年3月以来一直没有维护Regast 。如果您想运行它，它很可能在解析阶段会出现错误。

但是，请随时查看代码，以了解如何实现自己的静态分析仪。

Remast是一种静态分析仪，用于识别固体代码库中的安全漏洞和气体优化。

它的灵感来自Slither，Solstat和4naly3er等工具，但具有以下差异：

没有汇编： Regast能够直接运行而无需编译，这使得它对于难以编译的代码库可行。
易于自定义： Remast设计用于用户轻松编写和运行自己的自定义检测器。

安装

Recast需要Python 3.10或更高。

首先，克隆该存储库及其子模型：

git clone --recurse-submodules https://github.com/MiloTruck/regast.git
cd regast

使用pip或setuptools安装重新安装重新安装：

 # Using pip
pip3 install .

# Using setuptools
python3 setup.py install

安装后，可以删除存储库：

 cd ..
rm -r regast

用法

regast命令可以在.sol文件或包含坚固文件的文件夹上使用：

 $ regast --help
usage: __main__.py [-h] [-d <detector>] [-c <classifications>] [-s <scope>] [-r <filename>] <contract>

Scan for vulnerabilities based on regex or AST queries.

positional arguments:
  <contract>            .sol file or folder containing .sol files to scan

options:
  -h, --help            show this help message and exit
  -d <detector>, --detectors <detector>
                        .py file or folder containing .py files which implement detectors
  -c <classifications>, --classifications <classifications>
                        Comma-separated list of classifications: GAS, NC, LOW, MEDIUM, HIGH
  -s <scope>, --scope <scope>
                        Text file containing a list of contracts in scope
  -r <filename>, --report <filename>
                        Generate a markdown report in <filename>.md

探测器

包括探测器

以下是当前实现的检测器，该检测器默认运行。来自4naly3er和Solstat的大多数检测器将来都将包括在内。

探测器	描述	分类
`address_balance`	使用`selfbalance()`代替`address(this).balance` 。	气体
`address_zero`	使用组件检查`address(0)` 。	气体
`assign_update_array_value`	使用`arr[i] += n`而不是`arr[i] = arr[i] + n`更新数组值。	气体
`bool_comparison`	不要将布尔人与`true`或`false`进行比较。	气体
`bool_storage`	使用`bool`来存储开销。	气体
`byte_constant`	`bytes`常数比`string`常数更有效。	气体
`cache_array_length`	缓存阵列长度在前面。	气体
`custom_error`	使用自定义错误而不是`require`语句。	气体
`initialize_default_value`	具有默认值的变量的不必要的初始化	气体
`long_revert_string`	`require`带有错误消息的语句。	气体
`post_increment`	`++i`价格低于`i++`或`i += 1` 。	气体
`private_constant`	宣布常数为`private` ，而不是非公共的，以节省天然气。	气体
`shift_arithmetic`	在可能的情况下使用`<<`和`>>`而不是乘法/除法。	气体
`split_require_statements`	使用单独的`require`语句而不是`&&` 。	气体
`unchecked_increment`	“可以在未循环中宣布`unchecked`增量”。	气体
`unsigned_comparison`	使用`!= 0`而不是`> 0`用于无符号整数比较。	气体