-
Notifications
You must be signed in to change notification settings - Fork 48
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
hevm equivalence
fails due to dynamic jumptable and hence symbolic JUMP
enhancement
#581
opened Oct 4, 2024 by
charles-cooper
Missing User Acceptance Tests
enhancement
New feature or request
#527
opened Aug 13, 2024 by
msooseth
Partial Concrete Storage for symbolic execution
enhancement
New feature or request
#523
opened Aug 9, 2024 by
ethever
Move trace printing to prettyprinter
enhancement
New feature or request
good first issue
#496
opened Jun 21, 2024 by
arcz
Chain of read+writes could be improved by analyzing array/map indices
enhancement
New feature or request
#454
opened Feb 20, 2024 by
msooseth
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
Move to using API for SMT solvers instead of using their textual interface
enhancement
New feature or request
#82
opened Nov 18, 2022 by
msooseth
ProTip!
Updated in the last three days: updated:>2024-10-15.