From 9e4775092715d9c2d4d66c06f4b8ced2a68a66da Mon Sep 17 00:00:00 2001 From: Henny Sipma Date: Tue, 11 Mar 2025 00:34:24 -0700 Subject: [PATCH] ARM:relax astprov condition --- chb/arm/opcodes/ARMStoreRegister.py | 2 +- chb/arm/opcodes/ARMStoreRegisterByte.py | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/chb/arm/opcodes/ARMStoreRegister.py b/chb/arm/opcodes/ARMStoreRegister.py index 84c18905..11e23374 100644 --- a/chb/arm/opcodes/ARMStoreRegister.py +++ b/chb/arm/opcodes/ARMStoreRegister.py @@ -265,7 +265,7 @@ def ast_prov( hl_lhs = XU.xvariable_to_ast_lval( lhsvar, xdata, iaddr, astree, memaddr=memaddr) - elif xd.is_vmem_unknown and xd.is_address_known: + elif xd.is_address_known: memaddr = xd.xaddr hl_lhs = XU.xmemory_dereference_lval(memaddr, xdata, iaddr, astree) diff --git a/chb/arm/opcodes/ARMStoreRegisterByte.py b/chb/arm/opcodes/ARMStoreRegisterByte.py index d39eebab..d72a0045 100644 --- a/chb/arm/opcodes/ARMStoreRegisterByte.py +++ b/chb/arm/opcodes/ARMStoreRegisterByte.py @@ -211,7 +211,7 @@ def ast_prov( hl_lhs = XU.xvariable_to_ast_lval( lhsvar, xdata, iaddr, astree, memaddr=memaddr) - elif xd.is_vmem_unknown and xd.is_address_known: + elif xd.is_address_known: memaddr = xd.xaddr hl_lhs = XU.xmemory_dereference_lval(memaddr, xdata, iaddr, astree)