Aderyn
什麼是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檢測器

Baidu Map
已認證
百度地圖MCP Server是國內首個兼容MCP協議的地圖服務,提供地理編碼、路線規劃等10個標準化API接口,支持Python和Typescript快速接入,賦能智能體實現地圖相關功能。
Python
27.2K
4.5分

Markdownify MCP
Markdownify是一個多功能文件轉換服務,支持將PDF、圖片、音頻等多種格式及網頁內容轉換為Markdown格式。
TypeScript
20.0K
5分

Firecrawl MCP Server
Firecrawl MCP Server是一個集成Firecrawl網頁抓取能力的模型上下文協議服務器,提供豐富的網頁抓取、搜索和內容提取功能。
TypeScript
69.9K
5分

Sequential Thinking MCP Server
一個基於MCP協議的結構化思維服務器,通過定義思考階段幫助分解複雜問題並生成總結
Python
20.8K
4.5分

Edgeone Pages MCP Server
EdgeOne Pages MCP是一個通過MCP協議快速部署HTML內容到EdgeOne Pages並獲取公開URL的服務
TypeScript
15.8K
4.8分

Magic MCP
Magic Component Platform (MCP) 是一個AI驅動的UI組件生成工具,通過自然語言描述幫助開發者快速創建現代化UI組件,支持多種IDE集成。
JavaScript
16.7K
5分

Notion Api MCP
已認證
一個基於Python的MCP服務器,通過Notion API提供高級待辦事項管理和內容組織功能,實現AI模型與Notion的無縫集成。
Python
11.6K
4.5分

Context7
Context7 MCP是一個為AI編程助手提供即時、版本特定文檔和代碼示例的服務,通過Model Context Protocol直接集成到提示中,解決LLM使用過時信息的問題。
TypeScript
46.4K
4.7分
