Echidna Alternatives

Similar projects and alternatives to echidna based on common topics and language

  • GitHub repo manticore

    Symbolic execution tool

  • GitHub repo slither

    Static Analyzer for Solidity

  • GitHub repo publications

    Publications from Trail of Bits

  • GitHub repo openzeppelin-contracts

    OpenZeppelin Contracts is a library for secure smart contract development.

  • GitHub repo openzeppelin-solidity

    OpenZeppelin Contracts is a library for secure smart contract development. [Moved to: https://github.com/OpenZeppelin/openzeppelin-contracts]

  • GitHub repo prb-math

    Smart contract library for advanced fixed-point math

  • GitHub repo Smart-Contract-Audits

    Smart Contract security audit reports

NOTE: The number of mentions on this list indicates mentions on common posts. Hence, a higher number means a better echidna alternative or higher similarity.

Posts

Posts where echidna has been mentioned. We have used some of these posts to build our list of alternatives and similar projects - the last one was on 2021-04-22.

Stats

Basic echidna repo stats
2
698
7.9
1 day ago

crytic/echidna is an open source project licensed under GNU Affero General Public License v3.0 which is an OSI approved license.