The Wayback Machine - https://web.archive.org/web/20221205115838/https://github.com/crytic/echidna/issues
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 281 Closed
121 Open 281 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
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: unable to scroll echidna-test results in terminal
#865 opened Dec 5, 2022 by 0xPhaze
Multiple arguments for --crytic-args doesn't seem to work.
#864 opened Dec 1, 2022 by brucdarc
1
Echidna incorrectly tracks comments in coverage
#863 opened Nov 30, 2022 by 0xicingdeath
Echidna test with proxy contract to initialise
#862 opened Nov 29, 2022 by bogdynator
6
Feature Request: Override ABI of (deployed) contracts
#861 opened Nov 29, 2022 by rappie
1
Incorrect logs emitted when downcasting to bytes2 or bytes1
#860 opened Nov 28, 2022 by ChmielewskiKamil
6
Rename multi-abi to something more explicit
#859 opened Nov 28, 2022 by montyly
1
Feature Request: Support usage for multiple corpuses
#845 opened Nov 14, 2022 by 0xicingdeath
1
Problem building with profile enable using NIX - the flag -p requires the program to be built with -prof bug
#844 opened Nov 13, 2022 by Robsonsjre
@arcz
6
How to build echinda-test
#842 opened Oct 31, 2022 by nickdammy
5
Optimization mode: Improve fuzzing strategy, e.g. specific mutations using the best results
#841 opened Oct 25, 2022 by rappie
Optimization mode: Store current best sequence in corpus
#840 opened Oct 25, 2022 by rappie
Optimization mode: Shrink current best sequence when closing Echidna
#839 opened Oct 25, 2022 by rappie
Add support for prank
#838 opened Oct 13, 2022 by montyly
3
echidna-test: unlinked libraries detected in bytecode
#836 opened Sep 30, 2022 by kevzettler
3
Option to force echidna to use ONLY the addresses in the sender list
#834 opened Sep 25, 2022 by rappie
1
Feature request: Show which project is currently being fuzzed
#833 opened Sep 25, 2022 by rappie
1
echidna-test: (^?!): empty Fold
#824 opened Sep 13, 2022 by AsfndAmin
2
msg.value reverts in different scenarios
#822 opened Sep 6, 2022 by cdgmachado0
4
Feature request: Console.log
#819 opened Aug 30, 2022 by curiosi-T
3
VM failed for unhandled reason, Query <EVM.Query: fetch contract 0x0B1ba0af832d7C05fD64161E0Db78E85978E8082>.
#818 opened Aug 25, 2022 by dxganta
41
Rename echidna-test to echidna
#815 opened Aug 11, 2022 by montyly
1
Errors running echidna - solc-args
#814 opened Aug 10, 2022 by JABirchall
4
echidna error during compilation
#813 opened Aug 10, 2022 by eladalkabets2603
8
Create a 1-line installer and upgrader
#811 opened Aug 9, 2022 by montyly
ProTip! Find all open issues with in progress development work with linked:pr.