Code

[Do Not Merge] dev-evm-experiments#2402

Code

Open

montyly wants to merge 4 commits intomastertrailofbits/manticore:masterfrom dev-evm-experimentstrailofbits/manticore:dev-evm-experimentsCopy head branch name to clipboard

+943-159

Commits

Commits on Feb 7, 2021

• Evm platform: improve evm._valid_jumpdests: add the direct opcode after a JUMPI

  Show description for 7ae1c1a
  montyly

  committed
  7ae1c1a

  Copy full SHA for 7ae1c1a

• Improve evm._valid_jumpdests: add the direct opcode after a JUMPI as valid destination

  montyly

  committed
  c70e26d

  Copy full SHA for c70e26d

• Merge branch 'dev-improve-valid-jumpdest' into dev-evm-improve-check-jumpdst

  montyly

  committed
  fa59fef

  Copy full SHA for fa59fef

Commits on Mar 10, 2021

• Experimental branch

  montyly

  committed
  f0d59ce

  Copy full SHA for f0d59ce