Fix vstr semantic

cea-sec · Sep 9, 2021 · 946cc4d · 946cc4d
1 parent e08c21d
commit 946cc4d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/miasm/arch/arm/sem.py b/miasm/arch/arm/sem.py
@@ -1005,7 +1005,7 @@ def vstr(ir, instr, a, b):
             e.append(ExprAssign(ExprMem(b.ptr + ExprInt(4, 32), 32), a[32:]))
         else:
             e.append(ExprAssign(b, a[32:]))
-            e.append(ExprAssign(b, a[:32]))
+            e.append(ExprAssign(ExprMem(b.ptr + ExprInt(4, 32), 32), a[:32]))
     else:
         raise NotImplementedError('Not implemented')
     return e, []