-
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
STATICCALL
Error "Unable to determine a call target"
in progress
#618
opened Dec 17, 2024 by
chief-mobius
Call to precompile crashes echidna even when the compiler should prevent the call
enhancement
New feature or request
low-priority
#606
opened Nov 19, 2024 by
GalloDaSballo
hevm equivalence
does not check log equivalence
enhancement
#586
opened Oct 7, 2024 by
charles-cooper
hevm equivalence
fails due to dynamic jumptable and hence symbolic JUMP
enhancement
#581
opened Oct 4, 2024 by
charles-cooper
Collision in address is "possible" as per hevm, even though it's not
bug
Something isn't working
#549
opened Sep 5, 2024 by
zoep
error:
TODO: symbolic abi encoding for bytes
-- needs AbiBytesDynamicType
Abi encoding in symAbiArg
#533
opened Aug 21, 2024 by
ethever
Confusion about "Latest" BlockNumber when Symbolic executing a contract
question
Further information is requested
#528
opened Aug 17, 2024 by
ethever
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
Spurious Counterexample With Nested Arrays
bug
Something isn't working
in progress
#434
opened Jan 6, 2024 by
d-xo
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
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
Change in pretty printing breaks dapptools integration tests
low-priority
#243
opened Mar 28, 2023 by
asymmetric
Previous Next
ProTip!
no:milestone will show everything without a milestone.