diff options
| author | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2019-02-27 20:12:54 +0100 |
|---|---|---|
| committer | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2019-03-05 16:52:51 +0100 |
| commit | 944806c506446c918eb74c17a605f5f56d4b75e0 (patch) | |
| tree | ba1d989b03bf8b5544c362a9f61b4e8d3284650f /example/expression/solve_condition_stp.py | |
| parent | 02bbb30efea4980c9d133947cbbf69fb599071ad (diff) | |
| download | focaccia-miasm-944806c506446c918eb74c17a605f5f56d4b75e0.tar.gz focaccia-miasm-944806c506446c918eb74c17a605f5f56d4b75e0.zip | |
Rename miasm2 to miasm
Diffstat (limited to 'example/expression/solve_condition_stp.py')
| -rw-r--r-- | example/expression/solve_condition_stp.py | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/example/expression/solve_condition_stp.py b/example/expression/solve_condition_stp.py index e0ab09da..2c654b77 100644 --- a/example/expression/solve_condition_stp.py +++ b/example/expression/solve_condition_stp.py @@ -6,15 +6,15 @@ from pdb import pm from future.utils import viewitems -from miasm2.analysis.machine import Machine -from miasm2.analysis.binary import Container -from miasm2.expression.expression import ExprInt, ExprCond, ExprId, \ +from miasm.analysis.machine import Machine +from miasm.analysis.binary import Container +from miasm.expression.expression import ExprInt, ExprCond, ExprId, \ get_expr_ids, ExprAssign, ExprLoc -from miasm2.core.bin_stream import bin_stream_str -from miasm2.ir.symbexec import SymbolicExecutionEngine, get_block -from miasm2.expression.simplifications import expr_simp -from miasm2.core import parse_asm -from miasm2.ir.translators.translator import Translator +from miasm.core.bin_stream import bin_stream_str +from miasm.ir.symbexec import SymbolicExecutionEngine, get_block +from miasm.expression.simplifications import expr_simp +from miasm.core import parse_asm +from miasm.ir.translators.translator import Translator machine = Machine("x86_32") |