Aderyn

Ce qu'il fait

Aderyn est un analyseur statique puissant, basé sur Rust, pour les contrats intelligents Solidity. Il offre une "vue d'ensemble" des bases de code pour aider les ingénieurs de protocole et les chercheurs en sécurité à identifier les vulnérabilités et les bogues potentiels sans nécessiter de configuration complexe pour les projets Foundry ou Hardhat.

Outils

• Analyse Statique : Analyse les fichiers Solidity pour un large éventail de modèles de vulnérabilités connus à l'aide d'un ensemble de détecteurs intégrés.
• Génération de Rapports : Produit des rapports de sécurité détaillés aux formats Markdown, JSON et SARIF pour l'intégration dans les pipelines CI/CD.
• Exploration AST : S'appuie sur un backend Rust personnalisé pour générer et analyser l'arbre de syntaxe abstraite (AST) du code Solidity.

Installation

Pour utiliser Aderyn en tant que serveur MCP, ajoutez ce qui suit à votre fichier claude_desktop_config.json :

{
  "mcpServers": {
    "aderyn": {
      "command": "aderyn",
      "args": []
    }
  }
}

(Note : Aderyn doit être installé globalement via brew, npm, ou le gestionnaire Cyfrinup au préalable).

Hôtes supportés

• claude
• vscode-copilot