Giters
ethereum
/
hevm
symbolic EVM evaluator
Home Page:
https://hevm.dev
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
219
Watchers:
10
Issues:
138
Forks:
44
ethereum/hevm Issues
Error `TODO: implement copySlice with a symbolically sized region` reached by Echidna
Updated
12 days ago
Comments count
1
Error: unable to parse: .../out/Base.sol/CommonBase.json
Updated
23 days ago
Comments count
3
`copySlice` can return giant SMT queries from reasonable-sided expressions
Closed
a month ago
Comments count
1
symAbiArg cannot handle tuples
Updated
a month ago
Concolic execution mode?
Updated
a month ago
Comments count
3
Getting `Internal Error` For Different Commands When Trying To Execute Symbolic On Live Contracts
Updated
a month ago
Finish the docs?
Updated
2 months ago
Comments count
7
Cancun upgrade
Updated
3 months ago
Comments count
3
Output giving a fail yet not returning a counterexample on why it failed
Closed
3 months ago
Comments count
9
Display hexadecimal value of panic opcode or specific error msgs for a panic
Closed
3 months ago
Comments count
1
Spurious Counterexample With Nested Arrays
Updated
3 months ago
Comments count
2
Implement label cheatcode
Closed
3 months ago
Concat is a 2-argument function in SMT2, not 32
Closed
3 months ago
Concrete vs Symbolic data inputs
Closed
3 months ago
Comments count
3
Chain of read+writes could be improved by analyzing array/map indices
Updated
4 months ago
`out/Vm.sol/VmSafe.json: hGetContents: invalid argument (cannot decode byte sequence starting from 226)`
Closed
4 months ago
Comments count
6
Add abstraction-refinement for overapporximation via NRA and NIA
Updated
4 months ago
Random fuzzing can crash with heap overflow due to `copyBytesToMemory`
Closed
4 months ago
Comments count
2
Test fails but return no info about it
Closed
5 months ago
Comments count
1
We don't reverse images in keccak equations
Closed
5 months ago
Comments count
2
Reversed Keccaks Need Constraints
Closed
5 months ago
Comments count
2
Cycle detected in ormolu: nix develop fails
Closed
6 months ago
Comments count
3
Change request: about .envrc
Updated
6 months ago
Comments count
4
Assert Large Gaps for Keccak
Closed
6 months ago
Comments count
3
In order to combine PRECONDS + Expr we need to use the SMT solver
Updated
6 months ago
Comments count
2
High-performance Concrete Fuzzing Taking Advantage of Expr
Updated
6 months ago
Comments count
2
We could improve our final query performance by doing slicing
Updated
7 months ago
Comments count
2
Don't report PASS when no assert is reachable due to e.g. always reverting calls
Closed
7 months ago
Comments count
4
Different behaviors for expected to revert function
Closed
7 months ago
Comments count
4
Props (maybe also Expr?) are not fully ordered
Closed
7 months ago
Comments count
1
prank call check wrong sender balance
Closed
7 months ago
Comments count
3
`ReadWord` equivalence bug
Updated
7 months ago
Comments count
3
Support to function deal (3 parameters) of StdCheats.sol
Updated
7 months ago
Comments count
1
Serious bug in double-assert
Closed
7 months ago
Comments count
1
Use associativity both `Mul` and `Add` to make it easier to compare equivalent `Expr`-s
Closed
7 months ago
Comments count
1
Fuzzer discovered another bug in prop simplification
Closed
8 months ago
Comments count
1
`evalProp` fuzz failure
Closed
8 months ago
Comments count
2
Fuzzer discovered bug in prop simplification
Closed
8 months ago
Fuzzer discovered bug in `readStorage`
Closed
8 months ago
Fuzzer discovered bug in buffer simplification
Closed
8 months ago
Comments count
1
Abstraction Refinement For Keccak
Updated
8 months ago
Simplification With Semantic Equality
Closed
9 months ago
Comments count
3
Get preimages from Solidity
Updated
9 months ago
Comments count
1
ansi-wl-pprint is deprecated, replace with prettyprinter
Closed
9 months ago
Comments count
3
Counterexample not found when adding one more assert
Closed
9 months ago
Comments count
1
Unable to parse `METHConstants.json`
Closed
10 months ago
General Solution For Cex Reconstruction
Updated
10 months ago
word-simplification fails randomly
Closed
a year ago
Comments count
10
Keccak Eqs works well for Keccak, but we also need it for SHA256 it seems
Closed
a year ago
Comments count
1
Simplifier Bug in `ReadByte`
Closed
a year ago
Comments count
2
Previous
Next