You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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!
The taint analysis module prints an error message if it finds unknown operations.
JUMPDEST and ASSERT_FAIL will need to be implemented.
The text was updated successfully, but these errors were encountered: