Deep copy of ast nodes (#408)

* update copy of ast nodes

* minor fix

---------

Co-authored-by: Steffen Enders <[email protected]>

decompiler/structures/ast/ast_nodes.py

@@ -261,7 +261,7 @@ def is_empty(self) -> bool:
 
  def copy(self) -> VirtualRootNode:
  """Return a copy of the ast node."""
- return VirtualRootNode(self.reaching_condition)
+ return VirtualRootNode(self.reaching_condition.copy())
 
  def accept(self, visitor: ASTVisitorInterface[T]) -> T:
  return visitor.visit_root_node(self)
@@ -288,7 +288,7 @@ def __repr__(self) -> str:
 
  def copy(self) -> SeqNode:
  """Return a copy of the ast node."""
- return SeqNode(self.reaching_condition)
+ return SeqNode(self.reaching_condition.copy())
 
  @property
  def children(self) -> Tuple[AbstractSyntaxTreeNode, ...]:
@@ -375,7 +375,7 @@ def __repr__(self) -> str:
 
  def copy(self) -> CodeNode:
  """Return a copy of the ast node."""
- return CodeNode(self.instructions.copy(), self.reaching_condition)
+ return CodeNode([i.copy() for i in self.instructions], self.reaching_condition.copy())
 
  @property
  def children(self) -> Tuple[AbstractSyntaxTreeNode, ...]:
@@ -508,7 +508,7 @@ def __repr__(self) -> str:
 
  def copy(self) -> ConditionNode:
  """Return a copy of the ast node."""
- return ConditionNode(self.condition, self.reaching_condition)
+ return ConditionNode(self.condition.copy(), self.reaching_condition.copy())
 
  @property
  def children(self) -> Tuple[Union[TrueNode, FalseNode], ...]:
@@ -655,7 +655,7 @@ def __repr__(self) -> str:
 
  def copy(self) -> TrueNode:
  """Return a copy of the ast node."""
- return TrueNode(self.reaching_condition)
+ return TrueNode(self.reaching_condition.copy())
 
  @property
  def branch_condition(self) -> LogicCondition:
@@ -680,7 +680,7 @@ def __repr__(self) -> str:
 
  def copy(self) -> FalseNode:
  """Return a copy of the ast node."""
- return FalseNode(self.reaching_condition)
+ return FalseNode(self.reaching_condition.copy())
 
  @property
  def branch_condition(self) -> LogicCondition:
@@ -810,7 +810,7 @@ class WhileLoopNode(LoopNode):
 
  def copy(self) -> WhileLoopNode:
  """Return a copy of the ast node."""
- return WhileLoopNode(self.condition, self.reaching_condition)
+ return WhileLoopNode(self.condition.copy(), self.reaching_condition.copy())
 
  @property
  def loop_type(self) -> LoopType:
@@ -837,7 +837,7 @@ class DoWhileLoopNode(LoopNode):
 
  def copy(self) -> DoWhileLoopNode:
  """Return a copy of the ast node."""
- return DoWhileLoopNode(self.condition, self.reaching_condition)
+ return DoWhileLoopNode(self.condition.copy(), self.reaching_condition.copy())
 
  @property
  def loop_type(self) -> LoopType:
@@ -882,7 +882,7 @@ def __str__(self) -> str:
 
  def copy(self) -> ForLoopNode:
  """Return a copy of the ast node."""
- return ForLoopNode(self.declaration, self.condition, self.modification, self.reaching_condition)
+ return ForLoopNode(self.declaration.copy(), self.condition.copy(), self.modification.copy(), self.reaching_condition.copy())
 
  @property
  def loop_type(self) -> LoopType:
@@ -950,7 +950,7 @@ def __repr__(self) -> str:
 
  def copy(self) -> SwitchNode:
  """Return a copy of the ast node."""
- return SwitchNode(self.expression, self.reaching_condition)
+ return SwitchNode(self.expression.copy(), self.reaching_condition.copy())
 
  @property
  def children(self) -> Tuple[CaseNode]:
@@ -1084,7 +1084,7 @@ def __repr__(self) -> str:
 
  def copy(self) -> CaseNode:
  """Return a copy of the ast node."""
- return CaseNode(self.expression, self.constant, self.reaching_condition, self.break_case)
+ return CaseNode(self.expression.copy(), self.constant.copy(), self.reaching_condition.copy(), self.break_case)
 
  @property
  def does_end_with_break(self) -> bool: