# Echidna：一款快速的智能合约模糊测试器 <a href="https://raw.githubusercontent.com/crytic/echidna/master/echidna.png"><img src="https://assets.kitploit.com/production/public/readmes/2659/763a0b6f546e53fe33e871cd7359ba47272d81be37527f1cceaa827256af0337.png" width="75"/></a>
Echidna 是一种奇怪的生物，它以虫子为食，并且对电高度敏感（向 Jacob Stanley 致歉）
更严肃地说，Echidna 是一个 Haskell 程序，专为以太坊智能合约的模糊测试/基于属性的测试而设计。它基于[合约 ABI](https://docs.soliditylang.org/en/develop/abi-spec.html) 使用复杂的基于语法的模糊测试活动，来证伪用户定义的谓词或 [Solidity 断言](https://docs.soliditylang.org/en/develop/control-structures.html#error-handling-assert-require-revert-and-exceptions)。我们在设计 Echidna 时充分考虑了模块化，因此可以轻松扩展以包含新的变异方式，或在特定情况下测试特定合约。
## 特性
* 针对你的实际代码生成定制化的输入
* 可选的语料库收集、变异和覆盖率引导，以发现更深层的漏洞
* 由 [Slither](https://github.com/crytic/slither) 提供支持，在模糊测试活动之前提取有用信息
* 源代码集成，以识别模糊测试活动后覆盖了哪些代码行
* 交互式终端 UI，支持纯文本或 JSON 输出
* 自动测试用例最小化，便于快速分类
* 无缝集成到开发工作流中
.. 以及[一个精美的高分辨率手工制作标志](https://raw.githubusercontent.com/crytic/echidna/master/echidna.png)。
<a href="https://i.imgur.com/saFWti4.png"><img src="https://assets.kitploit.com/production/public/readmes/2659/ec117cf17d5b4eeb75f52a3654df19ba615818f232d5e9238093cf010431fedc.png" width="650"/></a>
## 用法
### 执行测试运行器
Echidna 的核心功能是一个名为 `echidna` 的可执行文件，它接收一个合约和一组不变量（应始终保持为真的属性）作为输入。对于每个不变量，它会生成对合约的随机调用序列，并检查该不变量是否成立。如果它能找到某种方式证伪该不变量，就会打印出相应的调用序列。如果找不到，你就可以对合约的安全性有一定的信心。
### 编写不变量
不变量以 Solidity 函数的形式表达，其名称以 `echidna_` 开头，没有参数，并返回一个布尔值。例如，如果你有一个 `balance` 变量，它永远不应低于 `20`，你可以在合约中编写一个额外的函数，如下所示：```solidity
function echidna_check_balance() public returns (bool) {
return(balance >= 20);
}
```
要检查这些不变量，请运行：```sh
$ echidna myContract.sol
```
一个带有测试的示例合约可以在 [tests/solidity/basic/flags.sol](https://github.com/crytic/echidna/blob/master/tests/solidity/basic/flags.sol) 中找到。要运行它，你应该执行：```sh
$ echidna tests/solidity/basic/flags.sol
```
Echidna 应找到一个能证伪 `echidna_sometimesfalse` 的调用序列，并且应无法为 `echidna_alwaystrue` 找到证伪输入。
### 测试模式
上面的示例使用默认的 **property** 模式，但 Echidna 支持多种测试模式，可通过配置文件中的 `testMode` 或命令行上的 `--test-mode` 进行配置：
* **`property`**（默认）：测试以 `echidna_` 为前缀且返回 `bool` 的函数。
* **`assertion`**：检测来自 `assert()` 和 Foundry 的 `assertX` 辅助函数（`assertTrue`、`assertEq` 等）的断言失败。
* **`foundry`**：运行 Foundry 风格的测试，遵循其命名约定：以 `test` 为前缀的单元测试和模糊测试（以 `testFail` 为前缀的测试预期会回滚），以及以 `invariant` 或 `statefulFuzz` 为前缀的状态不变量。以 `check` 和 `prove` 为前缀的函数是符号入口点，但由于此模式是模糊测试活动，它们会像其他测试函数一样被模糊测试。
* **`verification`**：使用单笔交易对合约的每个函数进行符号验证。以 `check` 和 `prove` 为前缀的函数始终用作入口点。
* **`overflow`**：检测整数上溢/下溢（Solidity >= 0.8.0）。
* **`optimization`**：最大化以 `echidna_` 为前缀且返回 `int256` 的函数的返回值（使用与 property 模式相同的可配置前缀）。
* **`exploration`**：在不检查属性的情况下收集覆盖率。
### 收集和可视化覆盖率
完成一次活动后，Echidna 可以将最大化覆盖率的 **corpus** 保存到由 `corpusDir` 配置选项指定的特殊目录中。该目录将包含两个条目：(1) 一个名为 `coverage` 的目录，其中包含可由 Echidna 重放的 JSON 文件；(2) 一个名为 `covered.txt` 的纯文本文件，即带有覆盖率注释的源代码副本。
如果你运行 `tests/solidity/basic/flags.sol` 示例，Echidna 将在 `coverage` 目录中保存一些序列化交易的几个文件，以及一个包含以下行的 `covered.$(date +%s).txt` 文件：```text
*r | function set0(int val) public returns (bool){
* | if (val % 100 == 0)
* | flag0 = false;
}
*r | function set1(int val) public returns (bool){
* | if (val % 10 == 0 && !flag0)
* | flag1 = false;
}
```
我们的工具使用以下“行标记”来标记语料库中的每个执行轨迹：
* `*` 如果执行以 STOP 结束
* `r` 如果执行以 REVERT 结束
* `o` 如果执行以 out-of-gas 错误结束
* `e` 如果执行以任何其他错误结束（除零、断言失败等）
### 对智能合约构建系统的支持
Echidna 可以测试使用不同智能合约构建系统编译的合约，包括 [Foundry](https://book.getfoundry.sh/)、[Hardhat](https://hardhat.org/) 和 [Truffle](https://archive.trufflesuite.com/)，通过 [crytic-compile](https://github.com/crytic/crytic-compile) 实现。要使用当前编译框架调用 Echidna，请使用 `echidna .`。
除此之外，Echidna 支持两种测试复杂合约的模式。首先，可以[利用现有网络状态](https://secure-contracts.com/program-analysis/echidna/advanced/state-network-forking.html)并将其用作 Echidna 的基础状态。其次，Echidna 可以通过在 CLI 中传入相应的 Solidity 源代码来调用任何具有已知 ABI 的合约。在配置中使用 `allContracts: true` 来开启此功能。
### Echidna 速成课程
我们的 [Building Secure Smart Contracts](https://github.com/crytic/building-secure-contracts/tree/master/program-analysis/echidna#echidna-tutorial) 仓库包含一个 Echidna 速成课程，包括示例、课程和练习。
### 在 GitHub Actions 工作流中使用 Echidna
有一个 Echidna action 可用于在 GitHub Actions 工作流中运行 `echidna`。请参阅 [crytic/echidna-action](https://github.com/crytic/echidna-action) 仓库以获取使用说明和示例。
### 配置选项
Echidna 的 CLI 可用于选择要测试的合约并加载配置文件。```sh
$ echidna contract.sol --contract TEST --config config.yaml
```
配置文件允许用户选择 EVM 和测试生成参数。一个包含默认选项的完整且带注释的配置文件示例可以在
[tests/solidity/basic/default.yaml](https://github.com/crytic/echidna/blob/master/tests/solidity/basic/default.yaml) 找到。
有关可用配置选项的更详细信息，请参阅[文档](https://secure-contracts.com/program-analysis/echidna/configuration.html)。
Echidna 支持三种不同的输出驱动。有默认的 `text` 驱动、`json` 驱动，以及 `none` 驱动，后者应抑制所有
`stdout` 输出。JSON 驱动按如下方式报告整体活动。```
Campaign = {
"success" : bool,
"error" : string?,
"tests" : [Test],
"seed" : number,
"coverage" : Coverage
}
Test = {
"contract" : string,
"name" : string,
"status" : string,
"error" : string?,
"testType" : string,
"transactions" : [Transaction]?
}
Transaction = {
"contract" : string,
"function" : string,
"arguments" : [string]?,
"gas" : number,
"gasprice" : number
}
```
`Coverage` 是一个描述某些增加覆盖率的调用的字典。这些接口在以后可能会稍作调整以更加用户友好。`testType` 将是 `property`、`assertion`、`optimization`、`exploration` 或 `call` 之一，而 `status` 始终取 `fuzzing`、`shrinking`、`solved`、`passed` 或 `error` 之一。
### 调试性能问题
诊断 Echidna 性能问题的一种方法是启用性能分析来运行 `echidna`。
要使用基本性能分析运行 Echidna，请将 `+RTS -p -s` 添加到您原来的 `echidna` 命令中：```sh
$ nix develop # alternatively nix-shell
$ cabal --enable-profiling run echidna -- ... +RTS -p -s
$ less echidna.prof
```
这会生成一个报告文件（`echidna.prof`），显示哪些函数占用了最多的 CPU 和内存使用量。
如果基本性能分析没有帮助，你可以使用更[高级的性能分析技术](https://haskell.foundation/hs-opt-handbook.github.io/src/Measurement_Observation/Haskell_Profiling/eventlog.html)。
我们观察到的性能问题的常见原因：
- 在热路径中调用开销大的函数
- 累积 thunk 的惰性数据构造函数
- 在热路径中使用低效的数据结构
检查这些是一个好的起点。如果你怀疑某些计算过于惰性并泄漏内存，你可以使用 `Control.DeepSeq` 中的 `force` 来确保它被求值。
## 限制和已知问题
EVM 模拟和测试很困难。Echidna 在最新版本中有一些限制。其中一些继承自 [hevm](https://github.com/argotorg/hevm)，而另一些则是设计/性能决策的结果，或者仅仅是我们代码中的错误。我们在此列出它们，包括相应的问题和状态（“wont fix”、“on hold”、“in review”、“fixed”）。状态为“fixed”的问题预计将包含在下一个 Echidna 版本中。
| 描述 | 问题 | 状态 |
| :--- | :---: | :---: |
| Vyper 支持有限 | [#652](https://github.com/crytic/echidna/issues/652) | *wont fix* |
| 测试的库支持有限 | [#651](https://github.com/crytic/echidna/issues/651) | *wont fix* |
## 安装
### 预编译二进制文件
在开始之前，请确保 Slither 已[安装](https://github.com/crytic/slither)（`pip3 install slither-analyzer --user`）。
如果你想在 Linux 或 MacOS 中快速测试 Echidna，我们在[发布页面](https://github.com/crytic/echidna/releases)上提供了在 Ubuntu 上构建的静态链接 Linux 二进制文件以及大部分静态的 MacOS 二进制文件。你也可以从我们的 [CI 流水线](https://github.com/crytic/echidna/actions?query=workflow%3ACI+branch%3Amaster+event%3Apush)中获取相同类型的二进制文件，只需点击提交即可找到适用于 Linux 或 MacOS 的二进制文件。
### Homebrew（macOS / Linux）
如果你在 Mac 或 Linux 机器上安装了 Homebrew，你可以通过运行 `brew install echidna` 来安装 Echidna 及其所有依赖项（Slither、crytic-compile）。
你也可以通过运行 `brew install --HEAD echidna` 来编译并安装最新的 `master` 分支代码。
你可以在 [`echidna` Homebrew Formula](https://formulae.brew.sh/formula/echidna) 页面获取更多信息。该 formula 本身作为 [homebrew-core 仓库](https://github.com/Homebrew/homebrew-core/blob/HEAD/Formula/e/echidna.rb)的一部分进行维护。
### Docker 容器
如果你更喜欢使用预构建的 Docker 容器，请查看我们的 [docker
包](https://github.com/orgs/crytic/packages?repo_name=echidna)，它是
通过 GitHub Actions 自动构建的。`echidna` 容器基于
`ubuntu:noble`，它旨在成为一个体积小但足够灵活的镜像，以便使用
Echidna。它提供了预构建版本的 `echidna`，以及
`slither`、`crytic-compile`、`solc-select`、`nvm` 和 `foundry`（包括
`forge`、`cast`、`anvil` 和 `chisel`），大小在 200 MB 以下。
请注意，容器镜像目前仅在 x86 系统上构建。不建议在
ARM 设备（如 Mac M1 系统）上运行它们，因为 CPU 模拟会导致
性能损失。
Docker 容器镜像有不同的标签可用：
| 标签 | 构建标签
|---------------|-------------
| `vx.y.z` | 对应于发布版本 `vx.y.z` 的构建
| `latest` | 最新的 Echidna 标记发布版本。
| `edge` | 默认分支上的最新提交。
| `testing-foo` | 基于 `foo` 分支的测试构建。
要以交互方式运行带有最新 Echidna 版本的容器，你可以使用
类似以下命令。它会将当前目录映射为容器内的
`/src`，并为你提供一个可以使用
`echidna` 的 shell：```sh
$ docker run --rm -it -v "$(pwd)":/src ghcr.io/crytic/echidna/echidna
```
否则，如果你想在本地构建 Echidna 的最新版本，我们建议使用 Docker。在克隆此仓库后，运行以下命令来构建 Docker 容器镜像：```sh
$ docker build -t echidna -f docker/Dockerfile --target final-ubuntu .
```
然后，你可以在本地运行 `echidna` 镜像。例如，要安装 solc
0.5.7 并检查 `tests/solidity/basic/flags.sol`，你可以运行：```sh
$ docker run -it -v "$(pwd)":/src echidna bash -c "solc-select install 0.5.7 && solc-select use 0.5.7 && echidna /src/tests/solidity/basic/flags.sol"
```
Docker 镜像还包含 Foundry 工具，用于全面的智能合约开发和测试。您可以直接在容器中使用 `forge`、`cast`、`anvil` 和 `chisel`：```sh
# Run an interactive shell with Foundry tools available
$ docker run -it -v "$(pwd)":/src echidna bash
# Inside the container, you can use Foundry commands:
$ forge --version
$ cast --version
$ anvil --version
$ chisel --version
# Example: Initialize a new Foundry project
$ forge init my-project
$ cd my-project
$ forge build
$ forge test
```
### 使用 Stack 构建
如果你更愿意从源码构建，请使用 [Stack](https://docs.haskellstack.org/en/stable/)。`stack install` 应该会在 `~/.local/bin` 中构建并编译 `echidna`。你需要链接 libreadline 和 libsecp256k1（构建时启用 recovery），这些应使用你选择的包管理器安装。你还需要安装最新版本的 [libff](https://github.com/scipr-lab/libff)。请参考我们的 [CI 测试](https://github.com/crytic/echidna/blob/master/.github/scripts/install-libff.sh) 以获取指导。
某些 Linux 发行版不提供 Haskell 所需的某些静态库，例如 Arch Linux，这会导致 `stack build` 因链接错误而失败，因为我们使用了 `-static` 标志。在这种情况下，使用 `--flag echidna:-static` 来生成动态链接的二进制文件。
如果你在构建时遇到与链接相关的错误，请尝试调整 `--extra-include-dirs` 和 `--extra-lib-dirs`。
### 使用 Nix 构建（可在 Apple M1 系统上原生运行）
[Nix 用户](https://nixos.org/download/) 可以通过以下方式安装最新的 Echidna：```sh
$ nix-env -i -f https://github.com/crytic/echidna/tarball/master
```
启用 flakes 后，你可以直接从本仓库运行 Echidna：```sh
$ nix run github:crytic/echidna # master
$ nix run github:crytic/echidna/v2.1.1 # specific ref (tag/branch/commit)
```
要为非 Nix 的 macOS 系统构建独立发布版本，以下步骤将把 Echidna 构建为大部分静态的二进制文件。这也可用于 Linux 系统以生成完全静态的二进制文件。```sh
$ nix build .#echidna-redistributable
```
Nix 会自动安装开发所需的所有依赖项，包括 `crytic-compile` 和 `solc`。快速开始开发 Echidna 的方法：```sh
$ git clone https://github.com/crytic/echidna
$ cd echidna
$ nix develop # alternatively nix-shell
[nix-shell]$ cabal run echidna
[nix-shell]$ cabal run tests
[nix-shell]$ cabal new-repl
```
### 运行测试套件
`cabal run tests` 是 Haskell 测试套件，覆盖了 Echidna 在进程内所做的所有事情。
MCP 服务器则是在进程外进行测试，通过启动一个真实的 campaign 并以 agent 客户端的方式驱动它。该测试套件使用 Python 编写，并且需要在 `$PATH` 中有一个 `echidna`：```sh
$ pip install -r tests/mcp/requirements-test.txt
$ pytest tests/mcp -v
```
通过 `ECHIDNA_MCP_URL` 将其指向你自己启动的活动，通过 `ECHIDNA_MCP_PORT` 指向不同的端口，或通过 `ECHIDNA_BIN` 指向特定的二进制文件。一个通过相同接口驱动活动的代理示例位于 [examples/](https://github.com/crytic/echidna/blob/master/examples/README.md)。
## Echidna 的公开使用
### 属性测试套件
以下是使用 Echidna 进行测试的智能合约项目的部分列表：
* [Curvance](https://github.com/curvance/Curvance-CantinaCompetition/tree/CodeFAQAndAdjustments/tests/fuzzing)
* [Primitive](https://github.com/primitivefinance/rmm-core/tree/main/contracts/crytic)
* [Uniswap-v3](https://github.com/search?q=org%3AUniswap+echidna&type=commits)
* [Balancer](https://github.com/balancer/balancer-core/tree/master/echidna)
* [MakerDAO vest](https://github.com/makerdao/dss-vest/pull/16)
* [Optimism DAI Bridge](https://github.com/makerdao/optimism-dai-bridge/blob/master/contracts/test/DaiEchidnaTest.sol)
* [WETH10](https://github.com/WETH10/WETH10/tree/main/contracts/fuzzing)
* [Yield](https://github.com/yieldprotocol/fyDai/pull/312)
* [Convexity Protocol](https://github.com/opynfinance/ConvexityProtocol/tree/dev/contracts/echidna)
* [Aragon Staking](https://github.com/aragon/staking/blob/82bf54a3e11ec4e50d470d66048a2dd3154f940b/packages/protocol/contracts/test/lib/EchidnaStaking.sol)
* [Centre Token](https://github.com/circlefin/stablecoin-evm/tree/release-2024-03-15T223309/echidna_tests)
* [Tokencard](https://github.com/tokencard/contracts/tree/master/tools/echidna)
* [Minimalist USD Stablecoin](https://github.com/usmfum/USM/pull/41)
### 安全审查
以下展示了使用 Echidna 发现漏洞的公开安全审查
- [Advanced Blockchain](https://github.com/trailofbits/publications/blob/master/reviews/AdvancedBlockchain.pdf)
- [Amp](https://github.com/trailofbits/publications/blob/master/reviews/amp.pdf)
- [Ampleforth](https://github.com/trailofbits/publications/blob/master/reviews/ampleforth.pdf)
- [Atlendis](https://github.com/trailofbits/publications/blob/master/reviews/2023-03-atlendis-atlendissmartcontracts-securityreview.pdf)
- [Balancer](https://github.com/trailofbits/publications/blob/master/reviews/2021-04-balancer-balancerv2-securityreview.pdf)
- [Basis](https://github.com/trailofbits/publications/blob/master/reviews/basis.pdf)
- [Dai](https://github.com/trailofbits/publications/blob/master/reviews/mc-dai.pdf)
- [Frax](https://github.com/trailofbits/publications/blob/master/reviews/FraxQ22022.pdf)
- [Liquity](https://github.com/trailofbits/publications/blob/master/reviews/LiquityProtocolandStabilityPoolFinalReport.pdf)
- [LooksRare](https://github.com/trailofbits/publications/blob/master/reviews/LooksRare.pdf)
- [Maple](https://github.com/trailofbits/publications/blob/master/reviews/2022-03-maplefinance-securityreview.pdf)
- [Optimism](https://github.com/trailofbits/publications/blob/master/reviews/2022-11-optimism-securityreview.pdf)
- [Opyn](https://github.com/trailofbits/publications/blob/master/reviews/Opyn.pdf)
- [Origin Dollar](https://github.com/trailofbits/publications/blob/master/reviews/OriginDollar.pdf)
- [Origin](https://github.com/trailofbits/publications/blob/master/reviews/origin.pdf)
- [Paxos](https://github.com/trailofbits/publications/blob/master/reviews/paxos.pdf)
- [Primitive](https://github.com/trailofbits/publications/blob/master/reviews/Primitive.pdf)
- [RocketPool](https://github.com/trailofbits/publications/blob/master/reviews/RocketPool.pdf)
- [Seaport](https://github.com/trailofbits/publications/blob/master/reviews/SeaportProtocol.pdf)
- [Set Protocol](https://github.com/trailofbits/publications/blob/master/reviews/setprotocol.pdf)
- [Shell protocol](https://github.com/trailofbits/publications/blob/master/reviews/ShellProtocolv2.pdf)
- [Sherlock](https://github.com/trailofbits/publications/blob/master/reviews/Sherlockv2.pdf)
- [Pegasys Pantheon](https://github.com/trailofbits/publications/blob/master/reviews/pantheon.pdf)
- [TokenCard](https://github.com/trailofbits/publications/blob/master/reviews/TokenCard.pdf)
- [Uniswap](https://github.com/trailofbits/publications/blob/master/reviews/UniswapV3Core.pdf)
- [Yearn](https://github.com/trailofbits/publications/blob/master/reviews/YearnV2Vaults.pdf)
- [Yield](https://github.com/trailofbits/publications/blob/master/reviews/YieldProtocol.pdf)
- [88mph](https://github.com/trailofbits/publications/blob/master/reviews/88mph.pdf)
- [0x](https://github.com/trailofbits/publications/blob/master/reviews/0x-protocol.pdf)
### 战利品
以下安全漏洞是由 Echidna 发现的。如果你使用我们的工具发现了安全漏洞，请提交包含相关信息的 PR。
| 项目 | 漏洞 | 日期 |
|--|--|--|
[0x Protocol](https://github.com/trailofbits/publications/blob/master/reviews/0x-protocol.pdf) | 如果订单无法被完全成交，那么它也无法被取消 | 2019年10月
[0x Protocol](https://github.com/trailofbits/publications/blob/master/reviews/0x-protocol.pdf) | 如果订单可以被零部分成交，那么它也可以被一个代币部分成交 | 2019年10月
[0x Protocol](https://github.com/trailofbits/publications/blob/master/reviews/0x-protocol.pdf) | 当使用有效的输入参数时，cobbdouglas 函数不会回滚 | 2019年10月
[Balancer Core](https://github.com/trailofbits/publications/blob/master/reviews/BalancerCore.pdf) | 攻击者无法从公共池中窃取资产 | 2020年1月
[Balancer Core](https://github.com/trailofbits/publications/blob/master/reviews/BalancerCore.pdf) | 攻击者无法通过 joinPool 生成免费的池代币 | 2020年1月
[Balancer Core](https://github.com/trailofbits/publications/blob/master/reviews/BalancerCore.pdf) | 调用 joinPool-exitPool 不会导致免费的池代币 | 2020年1月
[Balancer Core](https://github.com/trailofbits/publications/blob/master/reviews/BalancerCore.pdf) | 调用 exitswapExternAmountOut 不会导致免费资产 | 2020年1月
[Liquity Dollar](https://github.com/trailofbits/publications/blob/master/reviews/Liquity.pdf) | [关闭 trove 需要持有全部已铸造的 LUSD 数量](https://github.com/liquity/dev/blob/echidna_ToB_final/packages/contracts/contracts/TestContracts/E2E.sol#L242-L298) | 2020年12月
[Liquity Dollar](https://github.com/trailofbits/publications/blob/master/reviews/Liquity.pdf) | [Troves 可能被不当移除](https://github.com/liquity/dev/blob/echidna_ToB_final/packages/contracts/contracts/TestContracts/E2E.sol#L242-L298) | 2020年12月
[Liquity Dollar](https://github.com/trailofbits/publications/blob/master/reviews/Liquity.pdf) | 初始赎回可能意外回滚 | 2020年12月
[Liquity Dollar](https://github.com/trailofbits/publications/blob/master/reviews/Liquity.pdf) | 没有赎回的赎回操作可能仍然返回成功 | 2020年12月
[Origin Dollar](https://github.com/trailofbits/publications/blob/master/reviews/OriginDollar.pdf) | 用户被允许转移超过其持有量的代币 | 2020年11月
[Origin Dollar](https://github.com/trailofbits/publications/blob/master/reviews/OriginDollar.pdf) | 用户余额可能大于总供应量 | 2020年11月
[Yield Protocol](https://github.com/trailofbits/publications/blob/master/reviews/YieldProtocol.pdf) | 买卖代币的算术计算不精确 | 2020年8月
### 研究
我们还可以使用 Echidna 来复现智能合约模糊测试论文中的研究示例，以展示它能够多快地找到解决方案。所有这些都可以在笔记本电脑上于几秒到一两分钟内解决。
| 来源 | 代码
|--|--
[Using automatic analysis tools with MakerDAO contracts](https://forum.openzeppelin.com/t/using-automatic-analysis-tools-with-makerdao-contracts/1021) | [SimpleDSChief](https://github.com/crytic/echidna/blob/master/tests/solidity/research/vera_dschief.sol)
[Integer precision bug in Sigma Prime](https://github.com/muellerberndt/sabre#example-2-integer-precision-bug) | [VerifyFunWithNumbers](https://github.com/crytic/echidna/blob/master/tests/solidity/research/solcfuzz_funwithnumbers.sol)
[Learning to Fuzz from Symbolic Execution with Application to Smart Contracts](https://files.sri.inf.ethz.ch/website/papers/ccs19-ilf.pdf) | [Crowdsale](https://github.com/crytic/echidna/blob/master/tests/solidity/research/ilf_crowdsale.sol)
[Harvey: A Greybox Fuzzer for Smart Contracts](https://arxiv.org/abs/1905.06944) | [Foo](https://github.com/crytic/echidna/blob/master/tests/solidity/research/harvey_foo.sol), [Baz](https://github.com/crytic/echidna/blob/master/tests/solidity/research/harvey_baz.sol)
### 学术出版物
| 论文标题 | 会议 | 出版日期 |
| --- | --- | --- |
| [echidna-parade: Diverse multicore smart contract fuzzing](https://agroce.github.io/issta21.pdf) | [ISSTA 2021](https://conf.researchr.org/home/issta-2021) | 2021年7月 |
| [Echidna: Effective, usable, and fast fuzzing for smart contracts](https://agroce.github.io/issta20.pdf) | [ISSTA 2020](https://conf.researchr.org/home/issta-2020) | 2020年7月 |
| [Echidna: A Practical Smart Contract Fuzzer](https://github.com/trailofbits/publications/blob/master/papers/echidna_fc_poster.pdf) | [FC 2020](https://fc20.ifca.ai/program.html) | 2020年2月 |
如果你将 Echidna 用于学术工作，请考虑申请 [Crytic $10k 研究奖](https://blog.trailofbits.com/2019/11/13/announcing-the-crytic-10k-research-prize/)。
## 获取帮助
欢迎访问我们在 [Empire Hacking](https://slack.empirehacking.nyc/) 中的 #ethereum slack 频道，以获取有关使用或扩展 Echidna 的帮助。
* 通过查看这些简单的 [Echidna 不变量](https://github.com/crytic/echidna/blob/master/tests/solidity/basic/flags.sol) 开始
* 考虑直接[发送电子邮件](mailto:[email protected])给 Echidna 开发团队以获取更详细的问题解答
## 许可证
Echidna 根据 [AGPLv3 许可证](https://github.com/crytic/echidna/blob/master/LICENSE) 获得许可并分发。
