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

121 Open 465 Closed
121 Open 465 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

Helpful error message when using wrong function signature for echidna property enhancement
#614 opened Feb 9, 2021 by snd
2
Detect arbitrary delegatecall and create a contract that self destruct enhancement
#580 opened Dec 7, 2020 by montyly
1
Improve documentation in execTxWith documentation enhancement
#559 opened Nov 19, 2020 by ggrieco-tob
1
Print gas statistics enhancement
#533 opened Oct 26, 2020 by montyly
Feature request: extend from other config files enhancement
#530 opened Oct 22, 2020 by PaulRBerg
1
Make "failed with no transactions made" error more explicit documentation enhancement
#524 opened Oct 21, 2020 by PaulRBerg
4
Publish another paper evangelism needs elaboration
#495 opened Aug 12, 2020 by MatthewARinehart
document JSON output documentation needs elaboration
#491 opened Aug 12, 2020 by MatthewARinehart
2
debugger support enhancement needs elaboration usability
#483 opened Aug 12, 2020 by MatthewARinehart
1
Continuous fuzzing mode enhancement good first issue
#477 opened Aug 12, 2020 by MatthewARinehart Echidna 2.2.1
1
@siraben
1
Take advantage of the research examples to find regressions and propose improvements help wanted testing
#472 opened Jul 11, 2020 by ggrieco-tob
1
refactor tests
#432 opened Apr 15, 2020 by incertia
@incertia
3
Maximum gas estimator need a shrinker better-test-generation enhancement help wanted
#411 opened Apr 8, 2020 by ggrieco-tob
2
Improve psender enhancement
#397 opened Apr 3, 2020 by montyly
add more haddock code quality documentation good first issue
#387 opened Mar 31, 2020 by incertia
Tune corpus mutation parameters enhancement performance
#371 opened Mar 13, 2020 by incertia
@ggrieco-tob
Echidna should check crytic-compile versions help wanted
#326 opened Nov 18, 2019 by agroce
@incertia
Allow echidna to dump json output format into a file, rather than stdout enhancement
#275 opened Jul 23, 2019 by agroce
@agroce
3
Feature Request: Fuzzing constructors with arguments enhancement usability
#194 opened Mar 22, 2019 by Xenomega
1
Reentrancy Mode
#139 opened Oct 9, 2018 by japesinator
2
Integration with Remix for debugging enhancement help wanted
#64 opened Jun 13, 2018 by dwhjames
1
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.