Unknown operation taint
JoranHonig opened this issue · comments
The taint analysis module prints an error message if it finds unknown operations.
JUMPDEST and ASSERT_FAIL will need to be implemented.
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?
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!