echidna
echidna copied to clipboard
crytic
Ethereum smart contract fuzzer
I don't think we have any reason to keep `echidna-test` instead of `echidna`. As far as I can remember we used `echidna-test`, because in its first iteration we had ideas...
solc fails to complile large contract which require optimize to compile successful. But cryptic-compile fails to compile the contract when ran through echidna even with `solc-args "optmize"` set. Does solc-args...
I am following this article to perform end-to-end fuzzing: https://github.com/crytic/building-secure-contracts/blob/master/program-analysis/echidna/end-to-end-testing.md I am currently using the binary version of Echidna 2.0.1 on Mac. I did several simple examples and the fuzzing...
It would be nice to have control over certain parameters while echidna is running, instead of having to edit the config file and restart echidna. I would particularly like this...
i have given echidna the flat file of masterchef (which i compiled beforehand) without the pragma solidity line (as seen in examples) then i ran the docker container using the...
Something like `curl -L URL | bash` that would - Download the latest version - Copy it in something like `/home/userName/.echidna` - Add to the PATH In addition, an `echidna-upgrade`...
In assertion mode, none of my tests were failing when I expected them to. It's pretty easy to understand why... they were running out of gas. It would be helpful...
This PR introduces several changes to the Dockerfile and GitHub Actions used to build the echidna docker container to achieve the following: * **Single point of distribution**: Docker Hub is...
I am getting this error although the contracts are compiled correctly outside the trailofbits/eth-security-toolbox docker image: ``` echidna-test: Couldn't compile given file stdout: stderr: Traceback (most recent call last): File...
