Fix bug in resolving log message of user assertion

[bre4kpo1nt]

mythril/mythril/analysis/module/modules/user_assertions.py

Lines 71 to 81 in ca2dc13

	try:
	message = eth_abi.decode_single(
	"string",
	bytes(
	state.mstate.memory[
	mem_start.value + 32 : mem_start.value + size.value
	]
	),
	).decode("utf8")
	except:
	pass

The function decode_single() at L72 resolves log messages of user assertions. However, referring to the release notes of eth_abi, the function will return a python str instead of bytes if called with ABI type "string" since v2.0.0-alpha.1. Thus, the function will always fail silently as all exceptions will be catched by the except statement at L80.

[CLAassistant]

All committers have signed the CLA.

[norhh]

Thanks for the fix 👍