Use page.permission_bits over page.permissions (#113)

angr · Oct 16, 2024 · 0cb89f9 · 0cb89f9
1 parent ec9e125
commit 0cb89f9
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/rex/exploit/techniques/explore_for_exploit.py b/rex/exploit/techniques/explore_for_exploit.py
@@ -195,7 +195,7 @@ def _get_writable_pages(state):
         curr_start = -1
         ranges = []
         for page_num, page in sorted(state.memory._pages.items(), key=lambda x:x[0]):
-            if not state.solver.eval(page.permissions) & 0x2:
+            if not state.solver.eval(page.permission_bits) & 0x2:
                 continue
             page_addr = page_num*0x1000
             if page_addr != last_addr:

diff --git a/rex/exploit/techniques/rop_leak_memory.py b/rex/exploit/techniques/rop_leak_memory.py
@@ -28,7 +28,7 @@ def _get_writable_pages(state):
         curr_start = -1
         ranges = []
         for page_num, page in sorted(state.memory._pages.items(), key=lambda x:x[0]):
-            if not state.solver.eval(page.permissions) & 0x2:
+            if not state.solver.eval(page.permission_bits) & 0x2:
                 continue
             page_addr = page_num*0x1000
             if page_addr != last_addr: