search

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

Define custom error to be thrown in `exec` #59

Closed acuarica closed 6 months ago

acuarica commented 6 months ago

EVM.exec runs the step inside a try..catch for all errors. This usually obscures any programming or real error.

Define an Error type in State to be thrown when there is a symbolic exec error so it can be distinguished in exec.

acuarica commented 6 months ago

Fixed in 85cfcf7fc5feb18b4372ba4dcfbac9ab3caeb889.