echidna
echidna copied to clipboard
crytic
Ethereum smart contract fuzzer
This PR is a continuation of #1030 and #1175. It adds a `symExec` configuration option which enables an extra symbolic execution worker, which runs alongside the existing fuzzing workers. This...
``` echidna: VM failed for unhandled reason, MaxInitCodeSizeExceeded 0xc000 (Lit 0x1d8ea). This shouldn't happen. Please file a ticket with this error message and steps to reproduce! ``` We should recommend...
### Describe the issue: In some cases, Echidna fails to run because of the error attached. I can't confirm, but I am under the impression that this happens when I...
[Bug-Candidate]: Coverage report doesn't display fuzzing contract in html unless an assertion fails
### Describe the issue: Given the brevity of the coverage report, we would expect that the coverage report contains the fuzzing contract – but in fact, the contract does not...
### Describe the desired feature At the moment you need to remove all `view` keywords to be able to log events.
### Describe the issue: Sequences that have long time delays are still used, even in cases where I've changed the settings to this: ```yaml maxTimeDelay: 1 maxBlockDelay: 1 ``` ###...
### Describe the desired feature During the development of a fuzzing campaign I am rarely interested in coverage. It takes an extra CTRL+C to close Echidna, and it is a...
### Describe the desired feature Echidna supports prank, only for the call immediately after the `hevm.prank` call. It would save a lot of time on setup to have a `startPrank`...