Add create2 stub

pull/963/head
Nikhil Parasaram 6 years ago
parent fcf3578158
commit e2e86aa1be
  1. 14
      mythril/laser/ethereum/instructions.py
  2. 1
      mythril/laser/ethereum/taint_analysis.py

@ -1671,6 +1671,20 @@ class Instruction:
state.stack.append(0)
return [global_state]
@StateTransition()
def create2_(self, global_state: GlobalState) -> List[GlobalState]:
"""
:param global_state:
:return:
"""
# TODO: implement me
state = global_state.mstate
state.stack.pop(), state.stack.pop(), state.stack.pop()
# Not supported
state.stack.append(0)
return [global_state]
@StateTransition()
def return_(self, global_state: GlobalState):
"""

@ -449,5 +449,6 @@ class TaintRunner:
"MSIZE": (0, 1),
"GAS": (0, 1),
"CREATE": (3, 1),
"CREATE2": (4, 1),
"RETURN": (2, 0),
}

Loading…
Cancel
Save