ethereum/hevm

Issues

• Error: unable to parse: .../out/Base.sol/CommonBase.json

  #491 opened a month ago by iirekm
  3

• `copySlice` can return giant SMT queries from reasonable-sided expressions

  #487 opened 19 days ago by samalws-tob
  1

• symAbiArg cannot handle tuples

  #493 opened a month ago by ggrieco-tob
  0

• Error `TODO: implement copySlice with a symbolically sized region` reached by Echidna

  #492 opened a month ago by rappie
  0

• Concolic execution mode?

  #381 opened 8 months ago by ggrieco-tob
  3

• Getting `Internal Error` For Different Commands When Trying To Execute Symbolic On Live Contracts

  #490 opened a month ago by caiosabarros
  0

• Finish the docs?

  #430 opened 6 months ago by PatrickAlphaC
  7

• Cancun upgrade

  #469 opened 3 months ago by arcz
  3

• Output giving a fail yet not returning a counterexample on why it failed

  #439 opened 3 months ago by 0xRalts
  9

• Display hexadecimal value of panic opcode or specific error msgs for a panic

  #473 opened 3 months ago by 0xicingdeath
  1

• Spurious Counterexample With Nested Arrays

  #434 opened 5 months ago by d-xo
  2

• Implement label cheatcode

  #442 opened 3 months ago by arcz
  0

• Concat is a 2-argument function in SMT2, not 32

  #456 opened 3 months ago by msooseth
  0

• Concrete vs Symbolic data inputs

  #462 opened 3 months ago by acmLL
  3

• Chain of read+writes could be improved by analyzing array/map indices

  #454 opened 3 months ago by msooseth
  0

• `out/Vm.sol/VmSafe.json: hGetContents: invalid argument (cannot decode byte sequence starting from 226)`

  #450 opened 4 months ago by msooseth
  6

• Add abstraction-refinement for overapporximation via NRA and NIA

  #429 opened 6 months ago by msooseth
  0

• Random fuzzing can crash with heap overflow due to `copyBytesToMemory`

  #444 opened 4 months ago by msooseth
  2

• Test fails but return no info about it

  #437 opened 5 months ago by 0xRalts
  1

• We don't reverse images in keccak equations

  #384 opened 5 months ago by msooseth
  2

• Reversed Keccaks Need Constraints

  #385 opened 5 months ago by d-xo
  2

• Cycle detected in ormolu: nix develop fails

  #308 opened 5 months ago by siraben
  3

• Change request: about .envrc

  #328 opened 10 months ago by hellwolf
  4

• Assert Large Gaps for Keccak

  #380 opened 5 months ago by d-xo
  3

• In order to combine PRECONDS + Expr we need to use the SMT solver

  #331 opened 10 months ago by msooseth
  2

• High-performance Concrete Fuzzing Taking Advantage of Expr

  #383 opened 8 months ago by msooseth
  2

• We could improve our final query performance by doing slicing

  #428 opened 6 months ago by msooseth
  2

• Don't report PASS when no assert is reachable due to e.g. always reverting calls

  #419 opened 6 months ago by acmLL
  4

• Different behaviors for expected to revert function

  #418 opened 6 months ago by acmLL
  4

• Props (maybe also Expr?) are not fully ordered

  #425 opened 6 months ago by msooseth
  1

• prank call check wrong sender balance

  #343 opened 6 months ago by algtm
  3

• `ReadWord` equivalence bug

  #401 opened 8 months ago by d-xo
  3

• Support to function deal (3 parameters) of StdCheats.sol

  #423 opened 7 months ago by acmLL
  1

• Serious bug in double-assert

  #422 opened 7 months ago by msooseth
  1

• Use associativity both `Mul` and `Add` to make it easier to compare equivalent `Expr`-s

  #408 opened 7 months ago by msooseth
  1

• Fuzzer discovered another bug in prop simplification

  #399 opened 7 months ago by msooseth
  1

• `evalProp` fuzz failure

  #410 opened 7 months ago by msooseth
  2

• Fuzzer discovered bug in prop simplification

  #396 opened 8 months ago by d-xo
  0

• Fuzzer discovered bug in `readStorage`

  #394 opened 8 months ago by d-xo
  0

• Fuzzer discovered bug in buffer simplification

  #395 opened 8 months ago by d-xo
  1

• Abstraction Refinement For Keccak

  #386 opened 8 months ago by d-xo
  0

• Simplification With Semantic Equality

  #361 opened 8 months ago by msooseth
  3

• Get preimages from Solidity

  #369 opened 9 months ago by msooseth
  1

• ansi-wl-pprint is deprecated, replace with prettyprinter

  #314 opened 9 months ago by arcz
  3

• Counterexample not found when adding one more assert

  #364 opened 9 months ago by msooseth
  1

• Unable to parse `METHConstants.json`

  #333 opened 10 months ago by d-xo
  0

• General Solution For Cex Reconstruction

  #334 opened 10 months ago by d-xo
  0

• word-simplification fails randomly

  #311 opened 10 months ago by arcz
  10

• Keccak Eqs works well for Keccak, but we also need it for SHA256 it seems

  #312 opened a year ago by msooseth
  1

• Simplifier Bug in `ReadByte`

  #304 opened a year ago by d-xo
  2