|over 2 years ago||2 days ago|
|ISC License||GNU Affero General Public License v3.0|
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
We haven't tracked posts mentioning monad-mock yet.
Tracking mentions began in Dec 2020.
A Comprehensive Guide on Web3 Programming Languages and Tools
19 projects | dev.to | 6 Jun 2022
MythX, Mythril, Manticore, and Echidna are other tools for security audits.
Tools to verify solidity code
6 projects | reddit.com/r/ethdev | 3 Jun 2022
Input fuzzing: Echidna
Installing Echinda-test on MacOS
1 project | dev.to | 15 Apr 2022
Now download the binaries from here: github.com/crytic/echidna/releases
Echidna 2.0.1 released with dapp/foundry properties support and other fixes!
1 project | reddit.com/r/ethereum | 4 Apr 20221 project | reddit.com/r/ethdev | 4 Apr 2022
Projects using Echidna for testing?
1 project | reddit.com/r/solidity | 10 Mar 2022
Hello /r/solidity, I was looking at Echidna, which seems fantastic for a specific kind of testing where you want to throw lots of function calls at your contract.
Your tests suck
1 project | reddit.com/r/ethdev | 5 Mar 2022
And it isn't even a problem with tooling, which some languages can blame. A normal Hardhat project has everything you need. You can go as far as enchida, but make sure you have at least the basic user scenarios tested thoroughly.
Echidna, an open-source smart contract fuzzer, released version 2.0.0
1 project | news.ycombinator.com | 16 Feb 2022
Echidna 2.0.0 released with new features and fixes!
1 project | reddit.com/r/ethereum | 16 Feb 20221 project | reddit.com/r/ethdev | 16 Feb 2022
What are some alternatives?
manticore - Symbolic execution tool
openzeppelin-solidity - OpenZeppelin Contracts is a library for secure smart contract development. [Moved to: https://github.com/OpenZeppelin/openzeppelin-contracts]
slither - Static Analyzer for Solidity
openzeppelin-contracts - OpenZeppelin Contracts is a library for secure smart contract development.
remix-ide - Documentation for Remix IDE
quickcheck-instances - Instances for QuickCheck classes
protocol-radius-test - testsuit of protocol-radius haskell package
hspec-checkers - Allows to use checkers properties from hspec
openssh-protocol - Haskell implementation of openssh protocol primitives.
publications - Publications from Trail of Bits
testing-type-modifiers - Modifier types for property based testing