一个强大的固态静态分析器 用鸟的眼睛来看待你的智能合约.
阿德林是谁?
Aderyn是一个开源的公益开发工具. 它是一种基于Rust的固态智能合同静态分析器,旨在帮助协议工程师和安全研究者发现固态码基础中的弱点.
你可以读 Cyfrin 正式文件 深入观察Aderyn的功能.
还有官方支持的 VSCode 扩展 为阿德林。 下载自 视觉工作室市场 并开始识别您团结中的弱点 方便的代码.
特征
- 运行时不需要为Foundry和Hardhat项目提供任何配置支持.
- 创建了Markdown,JSON和Sarif报告.
- 我们官方支持的权力 VSCode 扩展 1800+下载)
- 清单 支持的探测器
- 友好贡献者
- 下载了超过45K次.
安装
页:1 Windows 用户必须安装 WSL
Cyfrinup - 全部为Cyfrin工具的跨平台安装管理器.
一次设置- 运行 cyfrinup
重新运行 cyfrinup 将所有 Cyfrin 工具升级到最新版本.
曲线
安装后运行 aderyn-update 升级.
curl --proto '=https' --tlsv1.2 -LsSf https://github.com/cyfrin/aderyn/releases/latest/download/aderyn-installer.sh | bash
土生土长
安装后运行 brew upgrade cyfrin/tap/aderyn 升级.
brew install cyfrin/tap/aderyn
无
安装后再运行 npm install @cyfrin/aderyn -g 升级.
npm install @cyfrin/aderyn -g
如果您正在安装 Curl 或 Homebrew 或 npm, 请确保路径中正确的 Aderyn 版本来自 Homebrew 或 npm 全球软件包目录 。 如果旧版本存在于 ~/.cyfrin/bin/aderyn,用 rm -f ~/.cyfrin/bin/aderyn,因为这里不再是默认安装位置.
快速启动
运行 aderyn --version 以检查Aderyn是否成功安装.
快速启动 以视频引导为例.
cd path/to/solidity/project/root
aderyn
这会产生一个 报告d
使用更多 CLI 选项的示例 这里
VS 代码扩展
官方支持 VSCode 扩展 为阿德林. 从 视觉工作室市场
Github 动作
离职 Aderyn CI 助理人员 在市场. 对CI中的固态编码库进行静态分析,以便在实施编码之前发现潜在的弱点.
贡献许可( L)
帮助我们建造Aderyn 请看我们的 捐款准则 用于深度开发商环境设置和PR审批程序. Aderyn 是一个开源软件,根据 GPL-3.0 许可证。 。 。 .
为了学习如何创建你的定制的Aderyn探测器, 检查官方文件
Aderyn依赖于一个 自定义后端 用于生成固态代码库的 AST. 它能发挥杠杆作用 铸币编译器
贷项
这个项目的存在要归功于所有那些 贡献。 。 。 .