diff options
| author | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2017-02-14 15:33:17 +0100 |
|---|---|---|
| committer | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2017-03-13 13:56:26 +0100 |
| commit | d8cbc059655bd275b5e178b2339b931d9f0b126a (patch) | |
| tree | 22a198d57baab9c3b94bf0f259faa4ca0db97c52 /example/expression/graph_dataflow.py | |
| parent | 5ee794990ff30ca18909dd3815eda26ac267cbf4 (diff) | |
| download | focaccia-miasm-d8cbc059655bd275b5e178b2339b931d9f0b126a.tar.gz focaccia-miasm-d8cbc059655bd275b5e178b2339b931d9f0b126a.zip | |
IR/Symbexec: rename symbexec to SymbolicExecutionEngine
Diffstat (limited to 'example/expression/graph_dataflow.py')
| -rw-r--r-- | example/expression/graph_dataflow.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/example/expression/graph_dataflow.py b/example/expression/graph_dataflow.py index 64801e52..16dbcbb6 100644 --- a/example/expression/graph_dataflow.py +++ b/example/expression/graph_dataflow.py @@ -7,7 +7,7 @@ from miasm2.arch.x86.ira import ir_a_x86_32 from miasm2.arch.x86.disasm import dis_x86_32 from miasm2.analysis.data_analysis import intra_bloc_flow_raw, inter_bloc_flow from miasm2.core.graph import DiGraph -from miasm2.ir.symbexec import symbexec +from miasm2.ir.symbexec import SymbolicExecutionEngine parser = ArgumentParser("Simple expression use for generating dataflow graph") @@ -51,7 +51,7 @@ def get_modified_symbols(sb): def intra_bloc_flow_symb(ir_arch, flow_graph, irbloc): symbols_init = ir_arch.arch.regs.regs_init.copy() - sb = symbexec(ir_arch, symbols_init) + sb = SymbolicExecutionEngine(ir_arch, symbols_init) sb.emulbloc(irbloc) print '*' * 40 print irbloc |