about summary refs log tree commit diff stats
path: root/test/jitter/vm_mngr.py
diff options
context:
space:
mode:
authorCaroline Leman <>2020-01-12 16:08:29 +0100
committerCaroline Leman <carolinele@users.noreply.github.com>2020-01-12 23:40:25 +0100
commit49c7dfc4714aaf4e6fd854bdde6cc1081c92453a (patch)
tree8b847d21d30e05ea838a5e49229b8f4282e3a8e6 /test/jitter/vm_mngr.py
parent232accb6b23c284bf4c30ac89c6f0524010fbfa1 (diff)
downloadmiasm-49c7dfc4714aaf4e6fd854bdde6cc1081c92453a.tar.gz
miasm-49c7dfc4714aaf4e6fd854bdde6cc1081c92453a.zip
Jitter: add remove_memory_page api
Diffstat (limited to 'test/jitter/vm_mngr.py')
-rw-r--r--test/jitter/vm_mngr.py8
1 files changed, 8 insertions, 0 deletions
diff --git a/test/jitter/vm_mngr.py b/test/jitter/vm_mngr.py
index 468fb347..0fec1734 100644
--- a/test/jitter/vm_mngr.py
+++ b/test/jitter/vm_mngr.py
@@ -25,3 +25,11 @@ for i, access_right in enumerate(shuffled_rights):
 # Check for modification
 for i, access_right in enumerate(shuffled_rights):
     assert myjit.vm.get_mem_access(base_addr + i * page_size) == access_right
+
+# Remove pages
+for i in range(len(rights)):
+    myjit.vm.remove_memory_page(base_addr + i * page_size)
+
+# Add pages again
+for i, access_right in enumerate(rights):
+    myjit.vm.add_memory_page(base_addr + i * page_size, access_right, data)