better way to set writes_memory in lift_set_field

fkie-cad · Dec 7, 2023 · bd9c45b · bd9c45b
1 parent 31ba475
commit bd9c45b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/decompiler/frontend/binaryninja/handlers/assignments.py b/decompiler/frontend/binaryninja/handlers/assignments.py
@@ -75,7 +75,7 @@ def lift_set_field(self, assignment: mediumlevelil.MediumLevelILSetVarField, is_
                 offset=assignment.offset,
                 member_name=struct_variable.type.get_member_name_by_offset(assignment.offset),
                 operands=[struct_variable],
-                writes_memory=assignment.ssa_memory_version + 1,
+                writes_memory=assignment.dest.version,
             )
             value = self._lifter.lift(assignment.src)
         # case 2 (contraction):