Passer au contenu principal
Sécurité et tests

Aderyn

Tests de fuzzing et de propriétés

Visiter le site web (s'ouvre dans un nouvel onglet)Aderyn sur X (s'ouvre dans un nouvel onglet)Aderyn sur GitHub (s'ouvre dans un nouvel onglet)

Voir le suivant

ItyFuzz

À propos de Aderyn

Aderyn est l'analyseur statique de contrats intelligents Solidity open source basé sur Rust de Cyfrin, conçu pour aider les ingénieurs de protocole et les chercheurs en sécurité à trouver des vulnérabilités dans les bases de code Solidity.

Tags

  • CLI
  • Sécurité
  • Éducation
  • Solidity
  • Analyse statique
  • Extension VSCode
  • Communautaire

DépôtCyfrin

Informations

Type
Tests de fuzzing et de propriétés
Étoiles GitHub
805
Licence
GPL-3.0
Fiche révisée
juin 2026

Outils similaires

Chimera

Chimera

Chimera est un framework pour écrire des tests Solidity dans Foundry et pouvoir les réutiliser avec d'autres outils open source tels que Echidna, Medusa, Halmos et Kontrol

Slither
Natif CROPS

Slither

Slither est le moteur d'analyse statique Python de Trail of Bits pour Solidity et Vyper : exécutez-le dans l'intégration continue (CI) pour déclencher des détecteurs, imprimer des vues structurelles de contrats ou scripter des vérifications personnalisées sur des bases de code entières.

Echidna
Natif CROPS

Echidna

Echidna is a property-based and grammar fuzzer for Ethereum smart contracts. Builders and auditors write properties with it to find inputs that break contract invariants.