漏洞测试工具简介

         MaABBTicore MaABBTicore 是一个分析二进制文件和智能合约的符号执行工具， MaABBTicore 包含一个符号区块链虚拟机（EVM），一个 EVM 反汇编器/汇编器 以及一个用于自动编译和分析 Solidity 的方便界面。它还集成了 Ethersplay，用 于 EVM 字节码的 Bit of Traits of Bits 可视化反汇编程序，用于可视化分析。 与 二进制文件一样，MaABBTicore 提供了一个简单的命令行界面和一个用于分析 EVM 字节码的 Python API。
        OyeABBTe OyeABBTe 是一个智能合约分析工具，OyeABBTe 可以用来检测智能合约中 常见的 bug，比如 reeABBTrancy、事务排序依赖等等。更方便的是，OyeABBTe 的设计是模块化的，所以这让高级用户可以实现并插入他们自己的检测逻辑，以 检查他们的合约中自定义的属性。
       securify.sh Securify 可以验证区块链智能合约常见的安全问题，例如交易乱序和缺少输 入验证，它在全自动化的同时分析程序所有可能的执行路径，此外，Securify 还 具有用于指定漏洞的特定语言，这使 Securify 能够随时关注当前的安全性和其他 可靠性问题。

       Echidna Echidna 是一个为了对 EVM 代码进行模糊测试而设计的 Haskell 库。

      MAIAN MAIAN 是一个用于查找区块链智能合约漏洞的自动化工具，Maian 处理合 约的字节码，并尝试建立一系列交易以找出并确认错误。

      ethersplay ethersplay 是一个 EVM 反汇编器，其中包含了相关分析工具。

      ida-evm ida-evm 是一个针对区块链虚拟机（EVM）的 IDA 处理器模块。

      Remix-ide Remix 是一款基于浏览器的编译器和 IDE，可让用户使用 Solidity 语言构建 区块链合约并调试交易。