Vai al contenuto principale
Sicurezza e testing

Aderyn

Fuzz testing e property testing

Visita il sito web (si apre in una nuova scheda)Aderyn su X (si apre in una nuova scheda)Aderyn su GitHub (si apre in una nuova scheda)

Vedi il prossimo

ItyFuzz

Informazioni su Aderyn

Aderyn è l'analizzatore statico open source di smart contract Solidity basato su Rust di Cyfrin, progettato per aiutare gli ingegneri di protocollo e i ricercatori di sicurezza a trovare vulnerabilità nelle basi di codice Solidity

Tag

  • CLI
  • Sicurezza
  • Formazione
  • Solidity
  • Analisi statica
  • Estensione VSCode
  • Guidato dalla community

RepositoryCyfrin

Info

Tipo
Fuzz testing e property testing
Stelle su GitHub
807
Licenza
GPL-3.0
Scheda revisionata
giugno 2026

Strumenti simili

Chimera

Chimera

Chimera è un framework per scrivere test Solidity in Foundry e poterli riutilizzare con altri strumenti open source come Echidna, Medusa, Halmos e Kontrol

Slither
Nativo CROPS

Slither

Slither è il motore di analisi statica in Python di Trail of Bits per Solidity e Vyper: eseguilo in CI per attivare rilevatori, stampare viste strutturali dei contratti o creare script per controlli personalizzati su intere codebase.

Echidna
Nativo 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.