Update main_manticore.py

2018-12-05 13:57:07 -05:00
parent 5288d5da3d
commit 48092c7b4b
1 changed files with 1 additions and 1 deletions
--- a/bin/deepstate/main_manticore.py
+++ b/bin/deepstate/main_manticore.py
@@ -89,7 +89,7 @@ class DeepManticore(DeepState):

  def write_uint32_t(self, ea, val):
    self.state.cpu.write_int(ea, val, size=32)
-    return ea + 1
+    return ea + 4

  def concretize(self, val, constrain=False):
    if isinstance(val, (int, long)):