|over 2 years ago||4 days ago|
|LicenseRef-PublicDomain||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 doctest-discover yet.
Tracking mentions began in Dec 2020.
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
Appsec for solidity
1 project | reddit.com/r/ethdev | 12 May 2021
Smart Contract Security for Pentesters
4 projects | news.ycombinator.com | 22 Apr 2021
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
publications - Publications from Trail of Bits
protocol-radius-test - testsuit of protocol-radius haskell package
openssh-protocol - Haskell implementation of openssh protocol primitives.
testing-type-modifiers - Modifier types for property based testing
faker - Faker is pure Haskell library for generating fake data.
faceted - Secure Information Flow
doctest-prop - Allow QuickCheck-style property testing in doctest.