一个强大的 Solidity 静态分析器，从全局视角检查您的智能合约。

Twitter 网站 Discord

Aderyn Driver

aderyn_driver 驱动 aderyn 在代码库上运行的过程，利用 aderyn_core。

操作顺序

1. 框架检测。
   • Aderyn 使用智能合约编译的 AST 来分析它们。
   • 支持 Foundry 和 Hardhat 项目，并根据检测到的项目加载 AST。
2. 构建 WorkspaceContext。
   • 在加载 AST 后，在 WorkspaceContext 中构建上下文，检测器可以访问。
3. 在 WorkspaceContext 上运行检测器。
   • 每个检测器都在上下文中运行，并将问题存储在每个检测器中。
4. 打印报告。
   • 将每个检测器传递给报告打印机，它将打印报告中发现的每个问题。