diff options
Diffstat (limited to 'miasm2/analysis')
| -rw-r--r-- | miasm2/analysis/data_analysis.py | 6 | ||||
| -rw-r--r-- | miasm2/analysis/depgraph.py | 6 |
2 files changed, 6 insertions, 6 deletions
diff --git a/miasm2/analysis/data_analysis.py b/miasm2/analysis/data_analysis.py index 9fee22af..8582f2f7 100644 --- a/miasm2/analysis/data_analysis.py +++ b/miasm2/analysis/data_analysis.py @@ -1,6 +1,6 @@ from miasm2.expression.expression \ import get_expr_mem, get_list_rw, ExprId, ExprInt -from miasm2.ir.symbexec import symbexec +from miasm2.ir.symbexec import SymbolicExecutionEngine def get_node_name(label, i, n): @@ -77,7 +77,7 @@ def intra_bloc_flow_symbexec(ir_arch, flow_graph, irb): symbols_init = dict(ir_arch.arch.regs.all_regs_ids_init) - sb = symbexec(ir_arch, dict(symbols_init)) + sb = SymbolicExecutionEngine(ir_arch, dict(symbols_init)) sb.emulbloc(irb) # print "*"*40 # print irb @@ -297,7 +297,7 @@ class symb_exec_func: # print "state done" # continue - sb = symbexec(self.ir_arch, dict(s)) + sb = SymbolicExecutionEngine(self.ir_arch, dict(s)) return parent, ad, sb return None diff --git a/miasm2/analysis/depgraph.py b/miasm2/analysis/depgraph.py index 281251c2..50e9dcf8 100644 --- a/miasm2/analysis/depgraph.py +++ b/miasm2/analysis/depgraph.py @@ -4,7 +4,7 @@ import miasm2.expression.expression as m2_expr from miasm2.core.graph import DiGraph from miasm2.core.asmbloc import asm_label, expr_is_int_or_label, expr_is_label from miasm2.expression.simplifications import expr_simp -from miasm2.ir.symbexec import symbexec +from miasm2.ir.symbexec import SymbolicExecutionEngine from miasm2.ir.ir import irbloc, AssignBlock from miasm2.ir.translators import Translator from miasm2.expression.expression_helper import possible_values @@ -298,7 +298,7 @@ class DependencyResult(DependencyState): # Eval the block temp_label = asm_label("Temp") - symb_exec = symbexec(self._ira, ctx_init) + symb_exec = SymbolicExecutionEngine(self._ira, ctx_init) symb_exec.emulbloc(irbloc(temp_label, assignblks), step=step) # Return only inputs values (others could be wrongs) @@ -354,7 +354,7 @@ class DependencyResultImplicit(DependencyResult): if ctx is not None: ctx_init.update(ctx) solver = z3.Solver() - symb_exec = symbexec(self._ira, ctx_init) + symb_exec = SymbolicExecutionEngine(self._ira, ctx_init) history = self.history[::-1] history_size = len(history) translator = Translator.to_language("z3") |