update carry flags in cmpxchg since it's also part of the output

BroilFish · Nov 17, 2020 · 71622cd · 71622cd
1 parent 1d4713b
commit 71622cd
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/angr/procedures/linux_kernel/arm_user_helpers.py b/angr/procedures/linux_kernel/arm_user_helpers.py
@@ -35,6 +35,11 @@ def run(self, oldval, newval, ptr):
         # handle cmpxchg
         if self.state.solver.is_true(retval == 0):
             self.state.memory.store(ptr, newval)
+            # set CARRY flag
+            self.state.regs.flags |= 0x20000000
+        else:
+            # zero CARRY flag
+            self.state.regs.flags &= 0xdfffffff
         return retval
 
 class _kuser_memory_barrier(angr.SimProcedure):