From bd9c45b89c7e4365e76209f46f0a7fd05a28fbb2 Mon Sep 17 00:00:00 2001 From: Manuel Blatt Date: Thu, 7 Dec 2023 10:32:37 +0100 Subject: [PATCH] better way to set writes_memory in lift_set_field --- decompiler/frontend/binaryninja/handlers/assignments.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/decompiler/frontend/binaryninja/handlers/assignments.py b/decompiler/frontend/binaryninja/handlers/assignments.py index c404977fe..306336a5e 100644 --- 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):