echidna
echidna copied to clipboard
crytic
Ethereum smart contract fuzzer
Echidna fails to find the input to break this property: ```solidity contract C { uint x; function f(uint i) public { x = i; } function echidna_test() public view returns...
A common use-case is to involve paying ether to and from addresses involved in transactions. In such cases, a contract may require that the ether be able to be sent:...
A small fix to avoid removing misclassifying function as view, when in fact, they are not.
There is often circumstances that you want a contract to be tested with a particular set of [config](https://github.com/crytic/echidna/wiki/Config) options. For example, youh might want to adjust maxTimeDelay for certain functions....
Would it be possible to add a plugin/hook system to Echidna? For example, if I want to create a plugin that collects all the `SSTORE` of the exploration, or creates...
@rmi7 reported that this will never fail in Echidna: ```solidity pragma experimental ABIEncoderV2; contract Test { struct Struct { uint256 x; } event AssertionFailed(Struct s); function test() public { Struct...
This PR should a fix for #714, however, it still need some additional code to make sure fallback and receive are not called often, since 99% of the time, they...
When the contracts to run are large and the number of sequences of transactions in the corpus is large (e.g. 500), reloading the corpus produces 2x or 3x mores memory...
So I think I've found something mildly interesting with Echidna (1.7.3 for now - would need to try with 2.0 ) and it's that it doesn't seem capable of breaking...
Logo
I'll donate $150 for a professional logo. Anyone else game? Or the exact logo this has... just with colors :D
