Skip to main content
Security & testing

Aderyn

Fuzz/Property testing

Visit website (opens in a new tab)Aderyn on X (opens in a new tab)Aderyn on GitHub (opens in a new tab)

See next

ItyFuzz

About Aderyn

Aderyn is Cyfrin's open-source, Rust-based solidity smart contract static analyzer designed to help protocol engineers and security researchers find vulnerabilities in Solidity code bases

Tags

  • CLI
  • Security
  • Education
  • Solidity
  • Static analysis
  • VSCode extension
  • Community driven

RepositoryCyfrin

Info

Type
Fuzz/Property testing
GitHub stars
797

Similar tools

Chimera

Chimera

Chimera is a framework to write Solidity tests in foundry and be able to reuse them with other Open Source Tools such as Echidna, Medusa, Halmos and Kontrol

Slither

Slither

Slither is Trail of Bits' Python static analysis engine for Solidity and Vyper: run it in CI to fire detectors, print structural views of contracts, or script custom checks over whole codebases.

Echidna

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.