add todo relating to dependency on plugin from the svm

pull/1353/head
Joran Honig 5 years ago
parent 9631c3efd5
commit 93fdbf12a3
  1. 3
      mythril/laser/ethereum/svm.py

@ -372,6 +372,8 @@ class LaserEVM:
# First execute the post hook for the transaction ending instruction # First execute the post hook for the transaction ending instruction
self._execute_post_hook(op_code, [end_signal.global_state]) self._execute_post_hook(op_code, [end_signal.global_state])
# TODO: Remove the following section from the svm
# ================================================================
# Propogate codecall based annotations # Propogate codecall based annotations
if return_global_state.get_current_instruction()["opcode"] in ( if return_global_state.get_current_instruction()["opcode"] in (
"DELEGATECALL", "DELEGATECALL",
@ -384,6 +386,7 @@ class LaserEVM:
) )
] ]
return_global_state.add_annotations(new_annotations) return_global_state.add_annotations(new_annotations)
# ================================================================
new_global_states = self._end_message_call( new_global_states = self._end_message_call(
copy(return_global_state), copy(return_global_state),

Loading…
Cancel
Save