crytic / echidna

Ethereum smart contract fuzzer

https://secure-contracts.com/program-analysis/echidna/index.html

crytic/echidna Issues

Shrinking multicore
Updated a month ago4
Fine-tune shrinking behavior
Updated a month ago
[Bug-Candidate]: Maximize CPU output when running fuzzer
Updated a month ago12
Show the reproducer filename
Closed 2 months ago
Consider displaying assertion failure immediately once falsified in text mode
Closed 2 months ago1
Log shrinking status when running in detached mode
Updated 2 months ago
[Bug-Candidate]: Sequences from corpus do not adhere to time/block delay settings
Updated 2 months ago6
[Bug-Candidate]: Contract Size Exceeded when optimized contract is under 24KB
Closed 2 months ago3
Support `startPrank` and `stopPrank`
Updated 2 months ago1
Improve error message on MaxInitCodeSizeExceeded issue
Closed 2 months ago3
[Bug-Candidate]: echidna: thread blocked indefinitely in an MVar operation
Updated 2 months ago2
Improve error message if the function hashmap is not detected
Closed 2 months ago3
Feature Request: Add setting to consider reverted tests as failed in assertion mode
Updated 2 months ago1
Have multiple workers to speed up fetching slots
Closed 2 months ago3
add call sequence mutation that removes all reverting txs in the sequences
Updated 2 months ago1
[Bug-Candidate]: A simple contract took onchain fuzzer extremely long time to run due to zero calls per second
Closed 2 months ago2
warn when seqLen > 1 and there haven't been any SLOAD/SSTORE in target
Updated 2 months ago1
[Bug-Candidate]: Contract is "unknown contract" but should be able to be identified
Updated 2 months ago2
[Bug-Candidate]: echidna: thread blocked indefinitely in an MVar operation
Updated 2 months ago4
[Bug-Candidate]: Inconsistent "thread blocked indefinitely in an mvar operation"
Updated 2 months ago1
Consider printing out hexadecimal representation of panics and the error msg for a specific panic
Updated 2 months ago4
Allow Configurable Verbosity
Updated 3 months ago1
update number of workers to a decent default
Updated 3 months ago
Enable TUI on Windows
Updated 3 months ago2
Improve UX around configuring Etherscan API key
Closed 3 months ago4
Feature Request: Option to disable Etherscan downloads with onchain fuzzing
Updated 3 months ago3
Feature Request: Support for logging in view functions like Foundry's `console2`
Updated 3 months ago1
[Bug-Candidate]: Coverage report doesn't display fuzzing contract in html unless an assertion fails
Updated 3 months ago1
[Bug-Candidate]: Internal Error: TODO: implement copySlice with a symbolically sized region
Updated 3 months ago4
[Bug-Candidate]: no fore color support for terminal xterm-256color
Updated 3 months ago4
[Bug-Candidate]: `Cannot decode byte '\xe4': Data.Text.Encoding: Invalid UTF-8 stream`
Closed 3 months ago9
[Bug-Candidate]:
Closed 3 months ago5
[Bug-Candidate]: Minor log message tweak
Updated 4 months ago2
[Bug-Candidate]: Echidna can get stuck while shrinking
Updated 4 months ago2
Feature Request: Continuously save progress while shrinking
Updated 4 months ago1
Opcode "mcopy" not implemented
Updated 4 months ago1
[Bug-Candidate]: Fix coverage report
Updated 5 months ago2
Allow echidna to pin to specific system variables, and only show the value of those variables after each failed call sequence
Updated 5 months ago
Increased documentation on config values and how they skew
Updated 5 months ago
Provide more information on debugging `error Revert 0x`
Updated 5 months ago
Show coverage on constructors
Updated 5 months ago
[Bug-Candidate]: Unequal work spread across workers on corpus replay is bottlenecked by worker 0
Updated 5 months ago
Add help popup in TUI
Updated 5 months ago
[Bug-Candidate]: Incorrect wiki entry
Closed 5 months ago1
Add `--rpc-url` and `--rpc-block` CLI commands
Closed 5 months ago
ETHERSCAN_API_KEY should be captured as a requirement in README.md and made scalable to other blockchain
Closed 5 months ago2
[Bug-Candidate]: setupTerm: Couldn't look up terminfo entry "xterm-256color" in v2.2.2
Closed 6 months ago5
Dump event log to a file in interactive mode
Updated 6 months ago
Allow copy/paste from the echidna UI output
Updated 6 months ago1
Echidna master adds an `--evm-version` tag to the end of crytic-compile
Closed 6 months ago2