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 /miasm2/ir/analysis.py | |
| parent | 5ee794990ff30ca18909dd3815eda26ac267cbf4 (diff) | |
| download | miasm-d8cbc059655bd275b5e178b2339b931d9f0b126a.tar.gz miasm-d8cbc059655bd275b5e178b2339b931d9f0b126a.zip | |
IR/Symbexec: rename symbexec to SymbolicExecutionEngine
Diffstat (limited to 'miasm2/ir/analysis.py')
| -rw-r--r-- | miasm2/ir/analysis.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/miasm2/ir/analysis.py b/miasm2/ir/analysis.py index 73391bb2..11e6eebd 100644 --- a/miasm2/ir/analysis.py +++ b/miasm2/ir/analysis.py @@ -2,7 +2,7 @@ import logging -from miasm2.ir.symbexec import symbexec +from miasm2.ir.symbexec import SymbolicExecutionEngine from miasm2.ir.ir import ir, AssignBlock from miasm2.expression.expression \ import ExprAff, ExprCond, ExprId, ExprInt, ExprMem, ExprOp @@ -300,7 +300,7 @@ class ira(ir): for irb in self.blocs.values(): symbols_init = dict(self.arch.regs.all_regs_ids_init) - sb = symbexec(self, dict(symbols_init)) + sb = SymbolicExecutionEngine(self, dict(symbols_init)) sb.emulbloc(irb) eqs = [] for n_w in sb.symbols: |