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

118 Open 464 Closed
118 Open 464 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

[Bug-Candidate]: OpenZeppelin's UUPSUpgradeable seems to mess up coverage
#1324 opened Nov 4, 2024 by rappie
1
[Bug]: Prelude.init: empty list while shrinking bug shrinking
#1321 opened Oct 17, 2024 by rappie
2
[Bug-Candidate]: Echidna unable to break property using fallback
#1299 opened Aug 19, 2024 by YamenMerhi
1
Fine-tune shrinking behavior enhancement
#1276 opened Jun 18, 2024 by aviggiano
1
Log shrinking status when running in detached mode enhancement
#1270 opened Jun 11, 2024 by aviggiano
add call sequence mutation that removes all reverting txs in the sequences enhancement help wanted
#1264 opened May 25, 2024 by 0xalpharush
2
1
[Bug-Candidate]: Contract is "unknown contract" but should be able to be identified
#1259 opened May 17, 2024 by 0xalpharush
2
Allow Configurable Verbosity enhancement
#1254 opened May 10, 2024 by DanielGelfand
1
warn when seqLen > 1 and there haven't been any SLOAD/SSTORE in target enhancement
#1253 opened May 10, 2024 by 0xalpharush
1
update number of workers to a decent default enhancement
#1252 opened May 10, 2024 by 0xalpharush
1
Shrinking multicore enhancement
#1249 opened May 6, 2024 by aviggiano
4
Feature Request: Add setting to consider reverted tests as failed in assertion mode enhancement
#1248 opened May 6, 2024 by rappie
1
[Bug-Candidate]: Internal Error: TODO: implement copySlice with a symbolically sized region
#1247 opened May 3, 2024 by rappie
4
[Bug-Candidate]: no fore color support for terminal xterm-256color
#1240 opened Apr 18, 2024 by aviggiano
5
[Bug-Candidate]: Coverage report doesn't display fuzzing contract in html unless an assertion fails
#1239 opened Apr 18, 2024 by 0xicingdeath
1
Feature Request: Support for logging in view functions like Foundry's console2 enhancement
#1233 opened Apr 8, 2024 by rappie
1
[Bug-Candidate]: Sequences from corpus do not adhere to time/block delay settings
#1231 opened Apr 5, 2024 by rappie
6
Feature Request: Option to disable Etherscan downloads with onchain fuzzing enhancement
#1230 opened Apr 5, 2024 by rappie
3
[Bug-Candidate]: Minor log message tweak
#1225 opened Mar 25, 2024 by rappie
2
[Bug-Candidate]: Echidna can get stuck while shrinking
#1224 opened Mar 20, 2024 by rappie
4
Feature Request: Continuously save progress while shrinking enhancement
#1223 opened Mar 20, 2024 by rappie
1
[Bug-Candidate]: echidna: thread blocked indefinitely in an MVar operation
#1219 opened Mar 18, 2024 by rappie
9
Allow echidna to pin to specific system variables, and only show the value of those variables after each failed call sequence enhancement
#1214 opened Mar 12, 2024 by 0xicingdeath
[Bug-Candidate]: Fix coverage report
#1213 opened Mar 12, 2024 by 0xicingdeath
2
Increased documentation on config values and how they skew documentation
#1212 opened Mar 12, 2024 by 0xicingdeath
ProTip! Adding no:label will show everything without a label.