crytic / echidna

Ethereum smart contract fuzzer

crytic/echidna Issues

[Bug-Candidate]: Maximize CPU output when running fuzzer
Updated 9 days ago10
Consider printing out hexadecimal representation of panics and the error msg for a specific panic
Updated 9 days ago4
Improve error message if the function hashmap is not detected
Updated 9 days ago2
Allow Configurable Verbosity
Updated 13 days ago1
warn when seqLen > 1 and there haven't been any SLOAD/SSTORE in target
Updated 14 days ago
update number of workers to a decent default
Updated 14 days ago
Shrinking multicore
Updated 17 days ago2
Feature Request: Add setting to consider reverted tests as failed in assertion mode
Updated 18 days ago
Enable TUI on Windows
Updated 18 days ago2
Improve UX around configuring Etherscan API key
Closed 18 days ago4
Feature Request: Option to disable Etherscan downloads with onchain fuzzing
Updated 18 days ago3
[Bug-Candidate]: Sequences from corpus do not adhere to time/block delay settings
Updated 18 days ago2
Consider displaying assertion failure immediately once falsified in text mode
Updated 18 days ago1
Feature Request: Support for logging in view functions like Foundry's `console2`
Updated 18 days ago1
[Bug-Candidate]: Coverage report doesn't display fuzzing contract in html unless an assertion fails
Updated 18 days ago1
[Bug-Candidate]: Internal Error: TODO: implement copySlice with a symbolically sized region
Updated 20 days ago4
[Bug-Candidate]: no fore color support for terminal xterm-256color
Updated 21 days ago4
Improve error message on MaxInitCodeSizeExceeded issue
Updated a month ago1
[Bug-Candidate]: `Cannot decode byte '\xe4': Data.Text.Encoding: Invalid UTF-8 stream`
Closed a month ago9
Expression-level coverage support
Updated a month ago1
[Bug-Candidate]:
Closed a month ago5
Support `startPrank` and `stopPrank`
Updated 2 months ago
[Bug-Candidate]: Minor log message tweak
Updated 2 months ago2
[Bug-Candidate]: echidna: thread blocked indefinitely in an MVar operation
Updated 2 months ago3
[Bug-Candidate]: Echidna can get stuck while shrinking
Updated 2 months ago2
Feature Request: Continuously save progress while shrinking
Updated 2 months ago1
Opcode "mcopy" not implemented
Updated 2 months ago1
[Bug-Candidate]: Fix coverage report
Updated 2 months ago2
Allow echidna to pin to specific system variables, and only show the value of those variables after each failed call sequence
Updated 2 months ago
Increased documentation on config values and how they skew
Updated 2 months ago
Provide more information on debugging `error Revert 0x`
Updated 2 months ago
[Bug-Candidate]: Inconsistent "thread blocked indefinitely in an mvar operation"
Updated 2 months ago
Show coverage on constructors
Updated 2 months ago
[Bug-Candidate]: Unequal work spread across workers on corpus replay is bottlenecked by worker 0
Updated 2 months ago
Add help popup in TUI
Updated 3 months ago
[Bug-Candidate]: Incorrect wiki entry
Closed 3 months ago1
[Bug-Candidate]: Missing dashboard config option
Closed 3 months ago2
Add `--rpc-url` and `--rpc-block` CLI commands
Closed 3 months ago
ETHERSCAN_API_KEY should be captured as a requirement in README.md and made scalable to other blockchain
Closed 3 months ago2
[Bug-Candidate]: setupTerm: Couldn't look up terminfo entry "xterm-256color" in v2.2.2
Closed 4 months ago5
Dump event log to a file in interactive mode
Updated 4 months ago
[Bug-Candidate]: Contract Size Exceeded when optimized contract is under 24KB
Updated 4 months ago2
Allow copy/paste from the echidna UI output
Updated 4 months ago1
Add a flag to log msg.sender for each function trace
Updated 4 months ago4
Show the reproducer filename
Updated 4 months ago
Echidna master adds an `--evm-version` tag to the end of crytic-compile
Closed 4 months ago2
looks like 2.2.2 release was not completed
Closed 4 months ago2
estimateGas: generate gas info in the corpus
Updated 4 months ago1
[Bug-Candidate]: Coverage html doesn't match source code for certain characters
Updated 4 months ago
[Bug-Candidate]: Unclear why deployment fails when there is no apparent reason
Closed 6 months ago3