search

muellerberndt / laser-ethereum

Symbolic virtual machine for Ethereum
MIT License
68 stars 20 forks source link

Unknown operation taint #25

Open JoranHonig opened 6 years ago

JoranHonig commented 6 years ago

The taint analysis module prints an error message if it finds unknown operations.

JUMPDEST and ASSERT_FAIL will need to be implemented.

muellerberndt commented 6 years ago

These two are special bytes as opposed to actual instructions. ASSERT_FAIL is actually supposed to be an invalid instruction to cause an exception.

In a recent commit I changed the logging.error to logging.debug so the taint analysis error is shown in the debug log. Should be reasonable?

JoranHonig commented 6 years ago

That is reasonable. But the JUMPDEST and ASSERT_FAIL should still be implemented ( even though they don't actually change a taint record ) This could be a good first issue!