about summary refs log tree commit diff stats
path: root/example/ida/symbol_exec.py
diff options
context:
space:
mode:
authorserpilliere <serpilliere@users.noreply.github.com>2018-07-03 14:34:41 +0200
committerGitHub <noreply@github.com>2018-07-03 14:34:41 +0200
commitc0afde4d7c8ff51eaa31e4a074b9e06f080b3169 (patch)
tree967c5856dcf37980cf80a2ea48cc7ee0e008e1bd /example/ida/symbol_exec.py
parentc7ca6a23768178dd49c8fe97d7c7b1e0be02cd2e (diff)
parentd314460a5a19be1f3334baedf0105d9b72fc8620 (diff)
downloadmiasm-c0afde4d7c8ff51eaa31e4a074b9e06f080b3169.tar.gz
miasm-c0afde4d7c8ff51eaa31e4a074b9e06f080b3169.zip
Merge pull request #787 from commial/feature/locationdb
LocationDB
Diffstat (limited to 'example/ida/symbol_exec.py')
-rw-r--r--example/ida/symbol_exec.py12
1 files changed, 6 insertions, 6 deletions
diff --git a/example/ida/symbol_exec.py b/example/ida/symbol_exec.py
index 0d8c63c2..43100943 100644
--- a/example/ida/symbol_exec.py
+++ b/example/ida/symbol_exec.py
@@ -37,11 +37,11 @@ class symbolicexec_t(idaapi.simplecustviewer_t):
         self.AddLine("%s = %s" % (
             expr2colorstr(
                 key,
-                symbol_pool=self.symbol_pool
+                loc_db=self.loc_db
             ),
             expr2colorstr(
                 value,
-                symbol_pool=self.symbol_pool
+                loc_db=self.loc_db
             )
         ))
 
@@ -69,12 +69,12 @@ class symbolicexec_t(idaapi.simplecustviewer_t):
         form.Compile()
         form.Execute()
 
-    def Create(self, equations, machine, symbol_pool, *args, **kwargs):
+    def Create(self, equations, machine, loc_db, *args, **kwargs):
         if not super(symbolicexec_t, self).Create(*args, **kwargs):
             return False
 
         self.machine = machine
-        self.symbol_pool = symbol_pool
+        self.loc_db = loc_db
         self.line2eq = sorted(equations.items(), key=operator.itemgetter(0))
         self.lines_expanded = set()
 
@@ -141,7 +141,7 @@ def symbolic_exec():
 
     mdis.dont_dis = [end]
     asmcfg = mdis.dis_multiblock(start)
-    ira = machine.ira(symbol_pool=mdis.symbol_pool)
+    ira = machine.ira(loc_db=mdis.loc_db)
     for block in asmcfg.blocks:
         ira.add_block(block)
 
@@ -155,7 +155,7 @@ def symbolic_exec():
 
     view = symbolicexec_t()
     all_views.append(view)
-    if not view.Create(modified, machine, mdis.symbol_pool,
+    if not view.Create(modified, machine, mdis.loc_db,
                        "Symbolic Execution - 0x%x to 0x%x"
                        % (start, idc.prev_head(end))):
         return