Issues: ethereum/hevm
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.
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Error
TODO: implement copySlice with a symbolically sized region
reached by Echidna
#492
opened May 3, 2024 by
rappie
Getting
Internal Error
For Different Commands When Trying To Execute Symbolic On Live Contracts
#490
opened Apr 25, 2024 by
caiosabarros
Chain of read+writes could be improved by analyzing array/map indices
enhancement
New feature or request
#454
opened Feb 20, 2024 by
msooseth
Spurious Counterexample With Nested Arrays
bug
Something isn't working
#434
opened Jan 6, 2024 by
d-xo
Finish the docs?
documentation
Improvements or additions to documentation
enhancement
New feature or request
#430
opened Dec 8, 2023 by
PatrickAlphaC
Add abstraction-refinement for overapporximation via NRA and NIA
enhancement
New feature or request
#429
opened Nov 23, 2023 by
msooseth
We could improve our final query performance by doing slicing
enhancement
New feature or request
#428
opened Nov 23, 2023 by
msooseth
Abstraction Refinement For Keccak
enhancement
New feature or request
#386
opened Sep 26, 2023 by
d-xo
High-performance Concrete Fuzzing Taking Advantage of Expr
enhancement
New feature or request
#383
opened Sep 22, 2023 by
msooseth
Get preimages from Solidity
blocked
enhancement
New feature or request
#369
opened Sep 4, 2023 by
msooseth
General Solution For Cex Reconstruction
enhancement
New feature or request
#334
opened Jul 28, 2023 by
d-xo
In order to combine PRECONDS + Expr we need to use the SMT solver
enhancement
New feature or request
#331
opened Jul 27, 2023 by
msooseth
access-out-of-bounds-array
may return different model
bug
#194
opened Feb 14, 2023 by
zoep
Previous Next
ProTip!
Exclude everything labeled
bug
with -label:bug.