Skip to content

Issues: crytic/echidna

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

119 Open 459 Closed
119 Open 459 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt click/return to exclude labels
or ⇧ click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Provide more information on debugging error Revert 0x documentation enhancement
#1211 opened Mar 12, 2024 by 0xicingdeath
[Bug-Candidate]: Inconsistent "thread blocked indefinitely in an mvar operation"
#1209 opened Mar 12, 2024 by 0xicingdeath
2
[Bug-Candidate]: Maximize CPU output when running fuzzer
#1207 opened Mar 12, 2024 by 0xicingdeath
14
[Bug-Candidate]: Unequal work spread across workers on corpus replay is bottlenecked by worker 0
#1206 opened Mar 12, 2024 by 0xicingdeath
Add help popup in TUI enhancement TUI
#1199 opened Mar 5, 2024 by arcz
Dump event log to a file in interactive mode enhancement
#1183 opened Feb 2, 2024 by arcz
Allow copy/paste from the echidna UI output enhancement
#1172 opened Jan 22, 2024 by 0xicingdeath
1
estimateGas: generate gas info in the corpus
#1170 opened Jan 19, 2024 by montyly
1
[Bug-Candidate]: Coverage html doesn't match source code for certain characters bug usability
#1168 opened Jan 18, 2024 by 0xicingdeath
1
Add a flag to log msg.sender for each function trace enhancement
#1166 opened Jan 18, 2024 by 0xicingdeath
4
Expression-level coverage support enhancement good first issue
#1164 opened Jan 16, 2024 by arcz
1
[Bug-Candidate]: no back color support for terminal screen.xterm-256color
#1135 opened Oct 31, 2023 by rappie
9
[Bug-Candidate]: Multiple seemingly related performance issues
#1134 opened Oct 31, 2023 by rappie
7
Clearer Readme install and usage instructions enhancement high-priority
#1130 opened Oct 19, 2023 by 0xPhaze
[Bug-Candidate]: When returning from an ffi action, special characters are not stripped.
#1129 opened Oct 13, 2023 by ShaneDuncan602
1
[Bug-Candidate]: Coverage report seems like can't handle contracts made with ERC-1167 pattern
#1128 opened Oct 5, 2023 by gabkov
[Bug-Candidate]: Echidna stopOnFail does not behave as expected when coverage is turned on
#1126 opened Sep 29, 2023 by aviggiano
1
[Bug-Candidate]: Echidna takes too long to exit
#1124 opened Sep 19, 2023 by aviggiano
2
Allow Echidna & Medusa to share the same corpus enhancement
#1123 opened Sep 19, 2023 by aviggiano
[Bug-Candidate]: Missing coverage report information for proxy contracts
#1116 opened Sep 12, 2023 by aviggiano
1
Current testing modes information
#1107 opened Aug 21, 2023 by n00b21337
3
[Bug-Candidate]: Missing coverage report information on mixed foundry/hardhat project
#1103 opened Aug 4, 2023 by aviggiano
5
Coverage is reported for function/contract names
#1102 opened Aug 1, 2023 by tuturu-tech
1
Rename echidna_ default
#1101 opened Jul 26, 2023 by montyly
1
Add support for etch cheatcode (from Foundry) enhancement hevm Requires changes in hevm
#1097 opened Jul 17, 2023 by rappie
3
ProTip! Type g i on any issue or pull request to go back to the issue listing page.