Aderyn
A

Aderyn

Aderyn是一個開源的Solidity智能合約靜態分析工具,由Rust編寫,幫助開發者和安全研究人員發現Solidity代碼中的漏洞。它支持Foundry和Hardhat項目,可生成多種格式報告,並提供VSCode擴展。
5分
11.0K

什麼是Aderyn?

Aderyn是一個開源的公共產品開發工具,基於Rust構建的Solidity智能合約靜態分析器。它專門為協議工程師和安全研究人員設計,用於在Solidity代碼庫中發現潛在的安全漏洞和代碼問題。

如何使用Aderyn?

Aderyn提供多種安裝方式,支持Foundry和Hardhat項目開箱即用。只需在Solidity項目根目錄運行'aderyn'命令即可生成詳細的分析報告。

適用場景

Aderyn最適合智能合約開發團隊進行代碼審計、安全研究人員進行漏洞分析、以及區塊鏈項目在部署前進行安全檢查。

主要功能

框架支持
開箱即用支持Foundry和Hardhat項目,無需複雜配置即可開始分析
多種報告格式
支持Markdown、JSON和Sarif三種報告格式,滿足不同使用需求
自定義檢測器
允許開發者構建自定義的靜態分析檢測器,適應特定代碼庫和協議需求
VS Code集成
提供官方VS Code擴展,直接在編輯器中識別Solidity代碼漏洞
優勢
開源免費,作為公共產品供社區使用
基於Rust構建,性能優異
支持主流Solidity開發框架
提供多種安裝方式,易於使用
可擴展的自定義檢測器系統
侷限性
Windows用戶需要安裝WSL環境
對於非標準項目結構可能需要手動配置remappings.txt
相對較新的工具,社區生態仍在發展中

如何使用

選擇安裝方式
根據你的操作系統和偏好選擇適合的安裝方法
驗證安裝
檢查Aderyn是否正確安裝
運行分析
在Solidity項目根目錄運行分析命令
查看報告
分析完成後查看生成的報告文件

使用案例

Foundry項目安全審計
對使用Foundry框架的智能合約項目進行全面的安全分析
Hardhat項目代碼質量檢查
檢查Hardhat項目的代碼質量和最佳實踐遵循情況
自定義檢測器開發
為特定協議或代碼規範開發自定義的靜態分析規則

常見問題

Windows用戶如何安裝Aderyn?
Aderyn支持哪些Solidity版本?
如何升級Aderyn到最新版本?
Aderyn可以檢測哪些類型的漏洞?

相關資源

官方文檔
完整的Aderyn使用指南和技術文檔
VS Code擴展
官方VS Code擴展,提供編輯器內代碼分析
GitHub倉庫
項目源代碼和問題追蹤
Discord社區
加入社區討論和獲取技術支持
檢測器開發指南
學習如何構建自定義Aderyn檢測器

安裝

複製以下命令到你的Client進行配置
注意:您的密鑰屬於敏感信息,請勿與任何人分享。

替代品

R
Rsdoctor
Rsdoctor 是一款專為 Rspack 生態系統打造的構建分析工具,全面兼容 webpack,提供可視化構建分析、多維度性能診斷及智能優化建議,幫助開發者提升構建效率與工程質量。
TypeScript
9.0K
5分
N
Next Devtools MCP
Next.js開發工具MCP服務器,為Claude、Cursor等AI編程助手提供Next.js開發工具和實用程序,包括運行時診斷、開發自動化和文檔訪問功能。
TypeScript
8.7K
5分
T
Testkube
Testkube是一個面向雲原生應用的測試編排與執行框架,提供統一平臺來定義、運行和分析測試,支持現有測試工具和Kubernetes基礎設施。
Go
6.5K
5分
M
MCP Windbg
一個MCP服務器,將AI模型與WinDbg/CDB集成,用於分析Windows崩潰轉儲文件和進行遠程調試,支持自然語言交互執行調試命令。
Python
10.0K
5分
R
Runno
Runno是一個JavaScript工具包集合,用於在瀏覽器和Node.js等環境中安全地運行多種編程語言的代碼,通過WebAssembly和WASI實現沙盒化執行,支持Python、Ruby、JavaScript、SQLite、C/C++等語言,並提供Web組件、MCP服務器等集成方式。
TypeScript
6.7K
5分
N
Netdata
Netdata是一個開源即時基礎設施監控平臺,提供每秒級指標收集、可視化、機器學習驅動的異常檢測和自動化告警,無需複雜配置即可實現全棧監控。
Go
9.8K
5分
M
MCP Server
Mapbox MCP服務器是一個Node.js實現的模型上下文協議服務器,為AI應用提供Mapbox地理空間API的訪問能力,包括地理編碼、興趣點搜索、路線規劃、等時線分析和靜態地圖生成等功能。
TypeScript
7.9K
4分
U
Uniprof
uniprof是一個簡化CPU性能分析的工具,支持多種編程語言和運行時,無需修改代碼或添加依賴,可通過Docker容器或主機模式進行一鍵式性能剖析和熱點分析。
TypeScript
7.3K
4.5分
B
Baidu Map
已認證
百度地圖MCP Server是國內首個兼容MCP協議的地圖服務,提供地理編碼、路線規劃等10個標準化API接口,支持Python和Typescript快速接入,賦能智能體實現地圖相關功能。
Python
35.7K
4.5分
M
Markdownify MCP
Markdownify是一個多功能文件轉換服務,支持將PDF、圖片、音頻等多種格式及網頁內容轉換為Markdown格式。
TypeScript
28.9K
5分
F
Firecrawl MCP Server
Firecrawl MCP Server是一個集成Firecrawl網頁抓取能力的模型上下文協議服務器,提供豐富的網頁抓取、搜索和內容提取功能。
TypeScript
104.8K
5分
S
Sequential Thinking MCP Server
一個基於MCP協議的結構化思維服務器,通過定義思考階段幫助分解複雜問題並生成總結
Python
28.3K
4.5分
E
Edgeone Pages MCP Server
EdgeOne Pages MCP是一個通過MCP協議快速部署HTML內容到EdgeOne Pages並獲取公開URL的服務
TypeScript
20.8K
4.8分
N
Notion Api MCP
已認證
一個基於Python的MCP服務器,通過Notion API提供高級待辦事項管理和內容組織功能,實現AI模型與Notion的無縫集成。
Python
15.3K
4.5分
C
Context7
Context7 MCP是一個為AI編程助手提供即時、版本特定文檔和代碼示例的服務,通過Model Context Protocol直接集成到提示中,解決LLM使用過時信息的問題。
TypeScript
69.4K
4.7分
M
Magic MCP
Magic Component Platform (MCP) 是一個AI驅動的UI組件生成工具,通過自然語言描述幫助開發者快速創建現代化UI組件,支持多種IDE集成。
JavaScript
18.6K
5分
AIBase
智啟未來,您的人工智慧解決方案智庫
© 2026AIBase