Introduce `Local` expr when executing `DUP` instruction

acuarica / evm

A Symbolic Ethereum Virtual Machine (EVM) bytecode interpreter, parser and decompiler, along with several other utils for programmatically extracting information from EVM bytecode.

https://acuarica.github.io/evm/

MIT License

46 stars 5 forks source link

Introduce `Local` expr when executing `DUP` instruction #63

Closed acuarica closed 6 months ago